Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1113932 cpu_core_0 "12.000000000000002".
- 1113944 cpu_core_0 "12.000000000000002".
- 1113958 cpu_core_0 "12.000000000000002".
- 1113962 cpu_core_0 "12.000000000000002".
- 1114087 cpu_core_0 "12.000000000000002".
- 1114088 cpu_core_0 "12.000000000000002".
- 1114133 cpu_core_0 "12.000000000000002".
- 1114144 cpu_core_0 "12.000000000000002".
- 1114390 cpu_core_0 "12.000000000000002".
- 1114397 cpu_core_0 "12.000000000000002".
- 1114446 cpu_core_0 "12.000000000000002".
- 1114505 cpu_core_0 "12.000000000000002".
- 1114523 cpu_core_0 "12.000000000000002".
- 1114529 cpu_core_0 "12.000000000000002".
- 1114548 cpu_core_0 "12.000000000000002".
- 1114551 cpu_core_0 "12.000000000000002".
- 1114571 cpu_core_0 "12.000000000000002".
- 1114613 cpu_core_0 "12.000000000000002".
- 1114691 cpu_core_0 "12.000000000000002".
- 1114771 cpu_core_0 "12.000000000000002".
- 1114849 cpu_core_0 "12.000000000000002".
- 1114884 cpu_core_0 "12.000000000000002".
- 1114915 cpu_core_0 "12.000000000000002".
- 1115055 cpu_core_0 "12.000000000000002".
- 1115134 cpu_core_0 "12.000000000000002".
- 1115144 cpu_core_0 "12.000000000000002".
- 1115297 cpu_core_0 "12.000000000000002".
- 1115451 cpu_core_0 "12.000000000000002".
- 1115527 cpu_core_0 "12.000000000000002".
- 1115612 cpu_core_0 "12.000000000000002".
- 1115766 cpu_core_0 "12.000000000000002".
- 1115783 cpu_core_0 "12.000000000000002".
- 1115854 cpu_core_0 "12.000000000000002".
- 1115939 cpu_core_0 "12.000000000000002".
- 1116252 cpu_core_0 "12.000000000000002".
- 1116432 cpu_core_0 "12.000000000000002".
- 1116454 cpu_core_0 "12.000000000000002".
- 1116468 cpu_core_0 "12.000000000000002".
- 1116702 cpu_core_0 "12.000000000000002".
- 1116842 cpu_core_0 "12.000000000000002".
- 1116913 cpu_core_0 "12.000000000000002".
- 1117127 cpu_core_0 "12.000000000000002".
- 1117208 cpu_core_0 "12.000000000000002".
- 1117385 cpu_core_0 "12.000000000000002".
- 1117746 cpu_core_0 "12.000000000000002".
- 1117799 cpu_core_0 "12.000000000000002".
- 1117809 cpu_core_0 "12.000000000000002".
- 1117816 cpu_core_0 "12.000000000000002".
- 1117932 cpu_core_0 "12.000000000000002".
- 1117993 cpu_core_0 "12.000000000000002".
- 1118056 cpu_core_0 "12.000000000000002".
- 1118061 cpu_core_0 "12.000000000000002".
- 1118158 cpu_core_0 "12.000000000000002".
- 1118170 cpu_core_0 "12.000000000000002".
- 1118371 cpu_core_0 "12.000000000000002".
- 1118574 cpu_core_0 "12.000000000000002".
- 1118595 cpu_core_0 "12.000000000000002".
- 1118902 cpu_core_0 "12.000000000000002".
- 1119249 cpu_core_0 "12.000000000000002".
- 1119338 cpu_core_0 "12.000000000000002".
- 1119388 cpu_core_0 "12.000000000000002".
- 1119514 cpu_core_0 "12.000000000000002".
- 1119617 cpu_core_0 "12.000000000000002".
- 1119852 cpu_core_0 "12.000000000000002".
- 1119953 cpu_core_0 "12.000000000000002".
- 1120015 cpu_core_0 "12.000000000000002".
- 1120226 cpu_core_0 "12.000000000000002".
- 1120377 cpu_core_0 "12.000000000000002".
- 1120381 cpu_core_0 "12.000000000000002".
- 1120392 cpu_core_0 "12.000000000000002".
- 1120458 cpu_core_0 "12.000000000000002".
- 1120538 cpu_core_0 "12.000000000000002".
- 1120560 cpu_core_0 "12.000000000000002".
- 1120562 cpu_core_0 "12.000000000000002".
- 1120564 cpu_core_0 "12.000000000000002".
- 1120589 cpu_core_0 "12.000000000000002".
- 1120615 cpu_core_0 "12.000000000000002".
- 1120671 cpu_core_0 "12.000000000000002".
- 1120680 cpu_core_0 "12.000000000000002".
- 1120759 cpu_core_0 "12.000000000000002".
- 1120828 cpu_core_0 "12.000000000000002".
- 1120903 cpu_core_0 "12.000000000000002".
- 1120918 cpu_core_0 "12.000000000000002".
- 1120942 cpu_core_0 "12.000000000000002".
- 1120988 cpu_core_0 "12.000000000000002".
- 1121030 cpu_core_0 "12.000000000000002".
- 1121121 cpu_core_0 "12.000000000000002".
- 1121131 cpu_core_0 "12.000000000000002".
- 1121242 cpu_core_0 "12.000000000000002".
- 1121292 cpu_core_0 "12.000000000000002".
- 1121343 cpu_core_0 "12.000000000000002".
- 1121371 cpu_core_0 "12.000000000000002".
- 1121583 cpu_core_0 "12.000000000000002".
- 1121768 cpu_core_0 "12.000000000000002".
- 1121854 cpu_core_0 "12.000000000000002".
- 1121964 cpu_core_0 "12.000000000000002".
- 1122018 cpu_core_0 "12.000000000000002".
- 1122145 cpu_core_0 "12.000000000000002".
- 1122147 cpu_core_0 "12.000000000000002".
- 1122199 cpu_core_0 "12.000000000000002".