Matches in ISWC2014 Benchmark for { ?s ?p 42.00000000000001. }
- 1000347 cpu_core_0 "42.00000000000001".
- 1000986 cpu_core_0 "42.00000000000001".
- 1002086 cpu_core_0 "42.00000000000001".
- 1002710 cpu_core_0 "42.00000000000001".
- 1002802 cpu_core_0 "42.00000000000001".
- 1002947 cpu_core_0 "42.00000000000001".
- 1003102 cpu_core_0 "42.00000000000001".
- 1003263 cpu_core_0 "42.00000000000001".
- 1003721 cpu_core_0 "42.00000000000001".
- 1004676 cpu_core_0 "42.00000000000001".
- 1005469 cpu_core_0 "42.00000000000001".
- 1005519 cpu_core_0 "42.00000000000001".
- 1005668 cpu_core_0 "42.00000000000001".
- 1005692 cpu_core_0 "42.00000000000001".
- 1006583 cpu_core_0 "42.00000000000001".
- 1006785 cpu_core_0 "42.00000000000001".
- 1007211 cpu_core_0 "42.00000000000001".
- 1007213 cpu_core_0 "42.00000000000001".
- 1007593 cpu_core_0 "42.00000000000001".
- 1007681 cpu_core_0 "42.00000000000001".
- 1008001 cpu_core_0 "42.00000000000001".
- 1008364 cpu_core_0 "42.00000000000001".
- 1008494 cpu_core_0 "42.00000000000001".
- 1008650 cpu_core_0 "42.00000000000001".
- 1009226 cpu_core_0 "42.00000000000001".
- 1009286 cpu_core_0 "42.00000000000001".
- 1009480 cpu_core_0 "42.00000000000001".
- 1009564 cpu_core_0 "42.00000000000001".
- 1009584 cpu_core_0 "42.00000000000001".
- 1009782 cpu_core_0 "42.00000000000001".
- 1010034 cpu_core_0 "42.00000000000001".
- 1010149 cpu_core_0 "42.00000000000001".
- 1010369 cpu_core_0 "42.00000000000001".
- 1010477 cpu_core_0 "42.00000000000001".
- 1010654 cpu_core_0 "42.00000000000001".
- 1010655 cpu_core_0 "42.00000000000001".
- 1011013 cpu_core_0 "42.00000000000001".
- 1013648 cpu_core_0 "42.00000000000001".
- 1013879 cpu_core_0 "42.00000000000001".
- 1014076 cpu_core_0 "42.00000000000001".
- 1014492 cpu_core_0 "42.00000000000001".
- 1014601 cpu_core_0 "42.00000000000001".
- 1014853 cpu_core_0 "42.00000000000001".
- 1072830 cpu_core_0 "42.00000000000001".
- 1072854 cpu_core_0 "42.00000000000001".
- 1072882 cpu_core_0 "42.00000000000001".
- 1072918 cpu_core_0 "42.00000000000001".
- 1084066 cpu_core_0 "42.00000000000001".
- 1090156 cpu_core_0 "42.00000000000001".
- 1099199 cpu_core_0 "42.00000000000001".
- 1101869 cpu_core_0 "42.00000000000001".
- 1119666 cpu_core_0 "42.00000000000001".
- 1119693 cpu_core_0 "42.00000000000001".
- 1134467 cpu_core_0 "42.00000000000001".
- 1134484 cpu_core_0 "42.00000000000001".
- 1148846 cpu_core_0 "42.00000000000001".
- 1154175 cpu_core_0 "42.00000000000001".
- 1208962 cpu_core_0 "42.00000000000001".
- 1209468 cpu_core_0 "42.00000000000001".
- 1209825 cpu_core_0 "42.00000000000001".
- 1209836 cpu_core_0 "42.00000000000001".
- 1210134 cpu_core_0 "42.00000000000001".
- 1210736 cpu_core_0 "42.00000000000001".
- 1211055 cpu_core_0 "42.00000000000001".
- 1211629 cpu_core_0 "42.00000000000001".
- 1211732 cpu_core_0 "42.00000000000001".
- 1211800 cpu_core_0 "42.00000000000001".
- 1212284 cpu_core_0 "42.00000000000001".
- 1212639 cpu_core_0 "42.00000000000001".
- 1212830 cpu_core_0 "42.00000000000001".
- 1212932 cpu_core_0 "42.00000000000001".
- 1213448 cpu_core_0 "42.00000000000001".
- 1219797 cpu_core_0 "42.00000000000001".
- 1220901 cpu_core_0 "42.00000000000001".
- 1221046 cpu_core_0 "42.00000000000001".
- 1223480 cpu_core_0 "42.00000000000001".
- 1224567 cpu_core_0 "42.00000000000001".
- 1225835 cpu_core_0 "42.00000000000001".
- 1226773 cpu_core_0 "42.00000000000001".
- 1226836 cpu_core_0 "42.00000000000001".
- 1228669 cpu_core_0 "42.00000000000001".
- 1228797 cpu_core_0 "42.00000000000001".
- 1229214 cpu_core_0 "42.00000000000001".
- 1229389 cpu_core_0 "42.00000000000001".
- 1229509 cpu_core_0 "42.00000000000001".
- 1229730 cpu_core_0 "42.00000000000001".
- 1231444 cpu_core_0 "42.00000000000001".
- 1232901 cpu_core_0 "42.00000000000001".
- 1234025 cpu_core_0 "42.00000000000001".
- 1234174 cpu_core_0 "42.00000000000001".
- 1234783 cpu_core_0 "42.00000000000001".
- 1235541 cpu_core_0 "42.00000000000001".
- 1235546 cpu_core_0 "42.00000000000001".
- 1235573 cpu_core_0 "42.00000000000001".
- 1236074 cpu_core_0 "42.00000000000001".
- 1285740 cpu_core_0 "42.00000000000001".
- 1286052 cpu_core_0 "42.00000000000001".
- 1286053 cpu_core_0 "42.00000000000001".
- 1338237 cpu_core_0 "42.00000000000001".
- 1385330 cpu_core_0 "42.00000000000001".