Matches in ISWC2014 Benchmark for { ?s ?p 55.00000000000001. }
- 1225264 cpu_core_0 "55.00000000000001".
- 1225281 cpu_core_0 "55.00000000000001".
- 1225307 cpu_core_0 "55.00000000000001".
- 1225379 cpu_core_0 "55.00000000000001".
- 1225383 cpu_core_0 "55.00000000000001".
- 1225386 cpu_core_0 "55.00000000000001".
- 1225393 cpu_core_0 "55.00000000000001".
- 1225431 cpu_core_0 "55.00000000000001".
- 1225455 cpu_core_0 "55.00000000000001".
- 1225459 cpu_core_0 "55.00000000000001".
- 1225866 cpu_core_0 "55.00000000000001".
- 1225870 cpu_core_0 "55.00000000000001".
- 1225893 cpu_core_0 "55.00000000000001".
- 1225897 cpu_core_0 "55.00000000000001".
- 1225906 cpu_core_0 "55.00000000000001".
- 1225922 cpu_core_0 "55.00000000000001".
- 1226001 cpu_core_0 "55.00000000000001".
- 1226014 cpu_core_0 "55.00000000000001".
- 1226073 cpu_core_0 "55.00000000000001".
- 1226455 cpu_core_0 "55.00000000000001".
- 1226480 cpu_core_0 "55.00000000000001".
- 1226484 cpu_core_0 "55.00000000000001".
- 1226494 cpu_core_0 "55.00000000000001".
- 1226506 cpu_core_0 "55.00000000000001".
- 1226509 cpu_core_0 "55.00000000000001".
- 1226537 cpu_core_0 "55.00000000000001".
- 1226558 cpu_core_0 "55.00000000000001".
- 1226569 cpu_core_0 "55.00000000000001".
- 1226583 cpu_core_0 "55.00000000000001".
- 1226585 cpu_core_0 "55.00000000000001".
- 1226611 cpu_core_0 "55.00000000000001".
- 1226845 cpu_core_0 "55.00000000000001".
- 1226854 cpu_core_0 "55.00000000000001".
- 1226859 cpu_core_0 "55.00000000000001".
- 1226867 cpu_core_0 "55.00000000000001".
- 1226871 cpu_core_0 "55.00000000000001".
- 1226886 cpu_core_0 "55.00000000000001".
- 1226906 cpu_core_0 "55.00000000000001".
- 1226924 cpu_core_0 "55.00000000000001".
- 1227063 cpu_core_0 "55.00000000000001".
- 1227065 cpu_core_0 "55.00000000000001".
- 1227086 cpu_core_0 "55.00000000000001".
- 1227236 cpu_core_0 "55.00000000000001".
- 1227318 cpu_core_0 "55.00000000000001".
- 1227341 cpu_core_0 "55.00000000000001".
- 1227342 cpu_core_0 "55.00000000000001".
- 1227566 cpu_core_0 "55.00000000000001".
- 1227589 cpu_core_0 "55.00000000000001".
- 1227620 cpu_core_0 "55.00000000000001".
- 1227639 cpu_core_0 "55.00000000000001".
- 1227645 cpu_core_0 "55.00000000000001".
- 1227686 cpu_core_0 "55.00000000000001".
- 1227863 cpu_core_0 "55.00000000000001".
- 1228084 cpu_core_0 "55.00000000000001".
- 1228274 cpu_core_0 "55.00000000000001".
- 1228315 cpu_core_0 "55.00000000000001".
- 1228317 cpu_core_0 "55.00000000000001".
- 1228415 cpu_core_0 "55.00000000000001".
- 1228461 cpu_core_0 "55.00000000000001".
- 1228463 cpu_core_0 "55.00000000000001".
- 1228510 cpu_core_0 "55.00000000000001".
- 1228526 cpu_core_0 "55.00000000000001".
- 1228579 cpu_core_0 "55.00000000000001".
- 1228608 cpu_core_0 "55.00000000000001".
- 1228615 cpu_core_0 "55.00000000000001".
- 1228894 cpu_core_0 "55.00000000000001".
- 1228991 cpu_core_0 "55.00000000000001".
- 1228993 cpu_core_0 "55.00000000000001".
- 1229314 cpu_core_0 "55.00000000000001".
- 1229350 cpu_core_0 "55.00000000000001".
- 1229437 cpu_core_0 "55.00000000000001".
- 1229549 cpu_core_0 "55.00000000000001".
- 1229803 cpu_core_0 "55.00000000000001".
- 1229859 cpu_core_0 "55.00000000000001".
- 1229898 cpu_core_0 "55.00000000000001".
- 1229950 cpu_core_0 "55.00000000000001".
- 1229971 cpu_core_0 "55.00000000000001".
- 1229988 cpu_core_0 "55.00000000000001".
- 1230110 cpu_core_0 "55.00000000000001".
- 1230184 cpu_core_0 "55.00000000000001".
- 1230219 cpu_core_0 "55.00000000000001".
- 1230251 cpu_core_0 "55.00000000000001".
- 1230258 cpu_core_0 "55.00000000000001".
- 1230373 cpu_core_0 "55.00000000000001".
- 1230611 cpu_core_0 "55.00000000000001".
- 1230634 cpu_core_0 "55.00000000000001".
- 1230635 cpu_core_0 "55.00000000000001".
- 1230686 cpu_core_0 "55.00000000000001".
- 1230687 cpu_core_0 "55.00000000000001".
- 1230697 cpu_core_0 "55.00000000000001".
- 1230746 cpu_core_0 "55.00000000000001".
- 1230747 cpu_core_0 "55.00000000000001".
- 1230785 cpu_core_0 "55.00000000000001".
- 1230791 cpu_core_0 "55.00000000000001".
- 1230793 cpu_core_0 "55.00000000000001".
- 1230873 cpu_core_0 "55.00000000000001".
- 1230882 cpu_core_0 "55.00000000000001".
- 1230967 cpu_core_0 "55.00000000000001".
- 1230977 cpu_core_0 "55.00000000000001".
- 1230983 cpu_core_0 "55.00000000000001".