Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 1000224 cpu_core_0 "60.00000000000001".
- 1002191 cpu_core_0 "60.00000000000001".
- 1002270 cpu_core_0 "60.00000000000001".
- 1002640 cpu_core_0 "60.00000000000001".
- 1002683 cpu_core_0 "60.00000000000001".
- 1002803 cpu_core_0 "60.00000000000001".
- 1003210 cpu_core_0 "60.00000000000001".
- 1003609 cpu_core_0 "60.00000000000001".
- 1003912 cpu_core_0 "60.00000000000001".
- 1004166 cpu_core_0 "60.00000000000001".
- 1004548 cpu_core_0 "60.00000000000001".
- 1004742 cpu_core_0 "60.00000000000001".
- 1004818 cpu_core_0 "60.00000000000001".
- 1005089 cpu_core_0 "60.00000000000001".
- 1005336 cpu_core_0 "60.00000000000001".
- 1005342 cpu_core_0 "60.00000000000001".
- 1005650 cpu_core_0 "60.00000000000001".
- 1006048 cpu_core_0 "60.00000000000001".
- 1006767 cpu_core_0 "60.00000000000001".
- 1007201 cpu_core_0 "60.00000000000001".
- 1007432 cpu_core_0 "60.00000000000001".
- 1007477 cpu_core_0 "60.00000000000001".
- 1007501 cpu_core_0 "60.00000000000001".
- 1007630 cpu_core_0 "60.00000000000001".
- 1007750 cpu_core_0 "60.00000000000001".
- 1008866 cpu_core_0 "60.00000000000001".
- 1009261 cpu_core_0 "60.00000000000001".
- 1009262 cpu_core_0 "60.00000000000001".
- 1009637 cpu_core_0 "60.00000000000001".
- 1009992 cpu_core_0 "60.00000000000001".
- 1010494 cpu_core_0 "60.00000000000001".
- 1011228 cpu_core_0 "60.00000000000001".
- 1014017 cpu_core_0 "60.00000000000001".
- 1014099 cpu_core_0 "60.00000000000001".
- 1014756 cpu_core_0 "60.00000000000001".
- 1014775 cpu_core_0 "60.00000000000001".
- 1015195 cpu_core_0 "60.00000000000001".
- 1015316 cpu_core_0 "60.00000000000001".
- 1016123 cpu_core_0 "60.00000000000001".
- 1020509 cpu_core_0 "60.00000000000001".
- 1021188 cpu_core_0 "60.00000000000001".
- 1038497 cpu_core_0 "60.00000000000001".
- 1054229 cpu_core_0 "60.00000000000001".
- 1075751 cpu_core_0 "60.00000000000001".
- 1095763 cpu_core_0 "60.00000000000001".
- 1113524 cpu_core_0 "60.00000000000001".
- 1119757 cpu_core_0 "60.00000000000001".
- 1122013 cpu_core_0 "60.00000000000001".
- 1122376 cpu_core_0 "60.00000000000001".
- 1142727 cpu_core_0 "60.00000000000001".
- 1145648 cpu_core_0 "60.00000000000001".
- 1154139 cpu_core_0 "60.00000000000001".
- 1158395 cpu_core_0 "60.00000000000001".
- 1161146 cpu_core_0 "60.00000000000001".
- 1165887 cpu_core_0 "60.00000000000001".
- 1171862 cpu_core_0 "60.00000000000001".
- 1183500 cpu_core_0 "60.00000000000001".
- 1200450 cpu_core_0 "60.00000000000001".
- 1201190 cpu_core_0 "60.00000000000001".
- 1201252 cpu_core_0 "60.00000000000001".
- 1219600 cpu_core_0 "60.00000000000001".
- 1220395 cpu_core_0 "60.00000000000001".
- 1221031 cpu_core_0 "60.00000000000001".
- 1221057 cpu_core_0 "60.00000000000001".
- 1221462 cpu_core_0 "60.00000000000001".
- 1221600 cpu_core_0 "60.00000000000001".
- 1221611 cpu_core_0 "60.00000000000001".
- 1222039 cpu_core_0 "60.00000000000001".
- 1222051 cpu_core_0 "60.00000000000001".
- 1222791 cpu_core_0 "60.00000000000001".
- 1223529 cpu_core_0 "60.00000000000001".
- 1223601 cpu_core_0 "60.00000000000001".
- 1224007 cpu_core_0 "60.00000000000001".
- 1224368 cpu_core_0 "60.00000000000001".
- 1225031 cpu_core_0 "60.00000000000001".
- 1225464 cpu_core_0 "60.00000000000001".
- 1225901 cpu_core_0 "60.00000000000001".
- 1226341 cpu_core_0 "60.00000000000001".
- 1226763 cpu_core_0 "60.00000000000001".
- 1226925 cpu_core_0 "60.00000000000001".
- 1227213 cpu_core_0 "60.00000000000001".
- 1227303 cpu_core_0 "60.00000000000001".
- 1227510 cpu_core_0 "60.00000000000001".
- 1227525 cpu_core_0 "60.00000000000001".
- 1227751 cpu_core_0 "60.00000000000001".
- 1228366 cpu_core_0 "60.00000000000001".
- 1229771 cpu_core_0 "60.00000000000001".
- 1229929 cpu_core_0 "60.00000000000001".
- 1230040 cpu_core_0 "60.00000000000001".
- 1230766 cpu_core_0 "60.00000000000001".
- 1230825 cpu_core_0 "60.00000000000001".
- 1231568 cpu_core_0 "60.00000000000001".
- 1232897 cpu_core_0 "60.00000000000001".
- 1232934 cpu_core_0 "60.00000000000001".
- 1233251 cpu_core_0 "60.00000000000001".
- 1233820 cpu_core_0 "60.00000000000001".
- 1252406 cpu_core_0 "60.00000000000001".
- 1285773 cpu_core_0 "60.00000000000001".
- 1296690 cpu_core_0 "60.00000000000001".
- 1304723 cpu_core_0 "60.00000000000001".