Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1318942 cpu_core_0 "9.000000000000002".
- 1319796 cpu_core_0 "9.000000000000002".
- 1319886 cpu_core_0 "9.000000000000002".
- 1319927 cpu_core_0 "9.000000000000002".
- 1319933 cpu_core_0 "9.000000000000002".
- 1319942 cpu_core_0 "9.000000000000002".
- 1320155 cpu_core_0 "9.000000000000002".
- 1320175 cpu_core_0 "9.000000000000002".
- 1320310 cpu_core_0 "9.000000000000002".
- 1320529 cpu_core_0 "9.000000000000002".
- 1320605 cpu_core_0 "9.000000000000002".
- 1320761 cpu_core_0 "9.000000000000002".
- 1321605 cpu_core_0 "9.000000000000002".
- 1322423 cpu_core_0 "9.000000000000002".
- 1322569 cpu_core_0 "9.000000000000002".
- 1322888 cpu_core_0 "9.000000000000002".
- 1322962 cpu_core_0 "9.000000000000002".
- 1322998 cpu_core_0 "9.000000000000002".
- 1323025 cpu_core_0 "9.000000000000002".
- 1323258 cpu_core_0 "9.000000000000002".
- 1323375 cpu_core_0 "9.000000000000002".
- 1323421 cpu_core_0 "9.000000000000002".
- 1323442 cpu_core_0 "9.000000000000002".
- 1323496 cpu_core_0 "9.000000000000002".
- 1323837 cpu_core_0 "9.000000000000002".
- 1324041 cpu_core_0 "9.000000000000002".
- 1324125 cpu_core_0 "9.000000000000002".
- 1324271 cpu_core_0 "9.000000000000002".
- 1324341 cpu_core_0 "9.000000000000002".
- 1324439 cpu_core_0 "9.000000000000002".
- 1324473 cpu_core_0 "9.000000000000002".
- 1324686 cpu_core_0 "9.000000000000002".
- 1324938 cpu_core_0 "9.000000000000002".
- 1325384 cpu_core_0 "9.000000000000002".
- 1325479 cpu_core_0 "9.000000000000002".
- 1325678 cpu_core_0 "9.000000000000002".
- 1326179 cpu_core_0 "9.000000000000002".
- 1326263 cpu_core_0 "9.000000000000002".
- 1326312 cpu_core_0 "9.000000000000002".
- 1326444 cpu_core_0 "9.000000000000002".
- 1326478 cpu_core_0 "9.000000000000002".
- 1326562 cpu_core_0 "9.000000000000002".
- 1326877 cpu_core_0 "9.000000000000002".
- 1327092 cpu_core_0 "9.000000000000002".
- 1327191 cpu_core_0 "9.000000000000002".
- 1327334 cpu_core_0 "9.000000000000002".
- 1327559 cpu_core_0 "9.000000000000002".
- 1327633 cpu_core_0 "9.000000000000002".
- 1328114 cpu_core_0 "9.000000000000002".
- 1328218 cpu_core_0 "9.000000000000002".
- 1328238 cpu_core_0 "9.000000000000002".
- 1328367 cpu_core_0 "9.000000000000002".
- 1328685 cpu_core_0 "9.000000000000002".
- 1328714 cpu_core_0 "9.000000000000002".
- 1328915 cpu_core_0 "9.000000000000002".
- 1329024 cpu_core_0 "9.000000000000002".
- 1329036 cpu_core_0 "9.000000000000002".
- 1329169 cpu_core_0 "9.000000000000002".
- 1329173 cpu_core_0 "9.000000000000002".
- 1329257 cpu_core_0 "9.000000000000002".
- 1329266 cpu_core_0 "9.000000000000002".
- 1329273 cpu_core_0 "9.000000000000002".
- 1329396 cpu_core_0 "9.000000000000002".
- 1329407 cpu_core_0 "9.000000000000002".
- 1329445 cpu_core_0 "9.000000000000002".
- 1329475 cpu_core_0 "9.000000000000002".
- 1329516 cpu_core_0 "9.000000000000002".
- 1329526 cpu_core_0 "9.000000000000002".
- 1329556 cpu_core_0 "9.000000000000002".
- 1329622 cpu_core_0 "9.000000000000002".
- 1329875 cpu_core_0 "9.000000000000002".
- 1329900 cpu_core_0 "9.000000000000002".
- 1330063 cpu_core_0 "9.000000000000002".
- 1330226 cpu_core_0 "9.000000000000002".
- 1330254 cpu_core_0 "9.000000000000002".
- 1330530 cpu_core_0 "9.000000000000002".
- 1330716 cpu_core_0 "9.000000000000002".
- 1330871 cpu_core_0 "9.000000000000002".
- 1330980 cpu_core_0 "9.000000000000002".
- 1330998 cpu_core_0 "9.000000000000002".
- 1331066 cpu_core_0 "9.000000000000002".
- 1331487 cpu_core_0 "9.000000000000002".
- 1331504 cpu_core_0 "9.000000000000002".
- 1331626 cpu_core_0 "9.000000000000002".
- 1331875 cpu_core_0 "9.000000000000002".
- 1331913 cpu_core_0 "9.000000000000002".
- 1332044 cpu_core_0 "9.000000000000002".
- 1332188 cpu_core_0 "9.000000000000002".
- 1332307 cpu_core_0 "9.000000000000002".
- 1332336 cpu_core_0 "9.000000000000002".
- 1332363 cpu_core_0 "9.000000000000002".
- 1332789 cpu_core_0 "9.000000000000002".
- 1332897 cpu_core_0 "9.000000000000002".
- 1332913 cpu_core_0 "9.000000000000002".
- 1333164 cpu_core_0 "9.000000000000002".
- 1333267 cpu_core_0 "9.000000000000002".
- 1333315 cpu_core_0 "9.000000000000002".
- 1333401 cpu_core_0 "9.000000000000002".
- 1333512 cpu_core_0 "9.000000000000002".
- 1333710 cpu_core_0 "9.000000000000002".