Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1237167 cpu_core_0 "9.000000000000002".
- 1237501 cpu_core_0 "9.000000000000002".
- 1237568 cpu_core_0 "9.000000000000002".
- 1237680 cpu_core_0 "9.000000000000002".
- 1237718 cpu_core_0 "9.000000000000002".
- 1237822 cpu_core_0 "9.000000000000002".
- 1237959 cpu_core_0 "9.000000000000002".
- 1237969 cpu_core_0 "9.000000000000002".
- 1237978 cpu_core_0 "9.000000000000002".
- 1237989 cpu_core_0 "9.000000000000002".
- 1238050 cpu_core_0 "9.000000000000002".
- 1238105 cpu_core_0 "9.000000000000002".
- 1238208 cpu_core_0 "9.000000000000002".
- 1238237 cpu_core_0 "9.000000000000002".
- 1238539 cpu_core_0 "9.000000000000002".
- 1238613 cpu_core_0 "9.000000000000002".
- 1238654 cpu_core_0 "9.000000000000002".
- 1238778 cpu_core_0 "9.000000000000002".
- 1238821 cpu_core_0 "9.000000000000002".
- 1238880 cpu_core_0 "9.000000000000002".
- 1238893 cpu_core_0 "9.000000000000002".
- 1239141 cpu_core_0 "9.000000000000002".
- 1239199 cpu_core_0 "9.000000000000002".
- 1239261 cpu_core_0 "9.000000000000002".
- 1239822 cpu_core_0 "9.000000000000002".
- 1239916 cpu_core_0 "9.000000000000002".
- 1240463 cpu_core_0 "9.000000000000002".
- 1240567 cpu_core_0 "9.000000000000002".
- 1240725 cpu_core_0 "9.000000000000002".
- 1241240 cpu_core_0 "9.000000000000002".
- 1241290 cpu_core_0 "9.000000000000002".
- 1241313 cpu_core_0 "9.000000000000002".
- 1241407 cpu_core_0 "9.000000000000002".
- 1241508 cpu_core_0 "9.000000000000002".
- 1241736 cpu_core_0 "9.000000000000002".
- 1242187 cpu_core_0 "9.000000000000002".
- 1242197 cpu_core_0 "9.000000000000002".
- 1242301 cpu_core_0 "9.000000000000002".
- 1242559 cpu_core_0 "9.000000000000002".
- 1242808 cpu_core_0 "9.000000000000002".
- 1242877 cpu_core_0 "9.000000000000002".
- 1243279 cpu_core_0 "9.000000000000002".
- 1243310 cpu_core_0 "9.000000000000002".
- 1243346 cpu_core_0 "9.000000000000002".
- 1243524 cpu_core_0 "9.000000000000002".
- 1243566 cpu_core_0 "9.000000000000002".
- 1243684 cpu_core_0 "9.000000000000002".
- 1243777 cpu_core_0 "9.000000000000002".
- 1243855 cpu_core_0 "9.000000000000002".
- 1243872 cpu_core_0 "9.000000000000002".
- 1243891 cpu_core_0 "9.000000000000002".
- 1244149 cpu_core_0 "9.000000000000002".
- 1244156 cpu_core_0 "9.000000000000002".
- 1244693 cpu_core_0 "9.000000000000002".
- 1244950 cpu_core_0 "9.000000000000002".
- 1245034 cpu_core_0 "9.000000000000002".
- 1245126 cpu_core_0 "9.000000000000002".
- 1245271 cpu_core_0 "9.000000000000002".
- 1245490 cpu_core_0 "9.000000000000002".
- 1245513 cpu_core_0 "9.000000000000002".
- 1245537 cpu_core_0 "9.000000000000002".
- 1245703 cpu_core_0 "9.000000000000002".
- 1245951 cpu_core_0 "9.000000000000002".
- 1246017 cpu_core_0 "9.000000000000002".
- 1246114 cpu_core_0 "9.000000000000002".
- 1246182 cpu_core_0 "9.000000000000002".
- 1246957 cpu_core_0 "9.000000000000002".
- 1247358 cpu_core_0 "9.000000000000002".
- 1247754 cpu_core_0 "9.000000000000002".
- 1247852 cpu_core_0 "9.000000000000002".
- 1247920 cpu_core_0 "9.000000000000002".
- 1248132 cpu_core_0 "9.000000000000002".
- 1248233 cpu_core_0 "9.000000000000002".
- 1248274 cpu_core_0 "9.000000000000002".
- 1248360 cpu_core_0 "9.000000000000002".
- 1248580 cpu_core_0 "9.000000000000002".
- 1248666 cpu_core_0 "9.000000000000002".
- 1249211 cpu_core_0 "9.000000000000002".
- 1249279 cpu_core_0 "9.000000000000002".
- 1249283 cpu_core_0 "9.000000000000002".
- 1249374 cpu_core_0 "9.000000000000002".
- 1249532 cpu_core_0 "9.000000000000002".
- 1249652 cpu_core_0 "9.000000000000002".
- 1249864 cpu_core_0 "9.000000000000002".
- 1249906 cpu_core_0 "9.000000000000002".
- 1249912 cpu_core_0 "9.000000000000002".
- 1249928 cpu_core_0 "9.000000000000002".
- 1250004 cpu_core_0 "9.000000000000002".
- 1250016 cpu_core_0 "9.000000000000002".
- 1250045 cpu_core_0 "9.000000000000002".
- 1250131 cpu_core_0 "9.000000000000002".
- 1250507 cpu_core_0 "9.000000000000002".
- 1250640 cpu_core_0 "9.000000000000002".
- 1251046 cpu_core_0 "9.000000000000002".
- 1251184 cpu_core_0 "9.000000000000002".
- 1251232 cpu_core_0 "9.000000000000002".
- 1251258 cpu_core_0 "9.000000000000002".
- 1251544 cpu_core_0 "9.000000000000002".
- 1251637 cpu_core_0 "9.000000000000002".
- 1251730 cpu_core_0 "9.000000000000002".