Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623762. }
- 1155748 cpu_core_0 "23.762376237623762".
- 1156056 cpu_core_0 "23.762376237623762".
- 1156908 cpu_core_0 "23.762376237623762".
- 1157007 cpu_core_0 "23.762376237623762".
- 1157108 cpu_core_0 "23.762376237623762".
- 1157688 cpu_core_0 "23.762376237623762".
- 1157839 cpu_core_0 "23.762376237623762".
- 1158142 cpu_core_0 "23.762376237623762".
- 1158241 cpu_core_0 "23.762376237623762".
- 1158243 cpu_core_0 "23.762376237623762".
- 1158566 cpu_core_0 "23.762376237623762".
- 115881 cpu_core_0 "23.762376237623762".
- 1158840 cpu_core_0 "23.762376237623762".
- 1158982 cpu_core_0 "23.762376237623762".
- 1159470 cpu_core_0 "23.762376237623762".
- 1159475 cpu_core_0 "23.762376237623762".
- 1159831 cpu_core_0 "23.762376237623762".
- 1160025 cpu_core_0 "23.762376237623762".
- 1160229 cpu_core_0 "23.762376237623762".
- 1160481 cpu_core_0 "23.762376237623762".
- 1162724 cpu_core_0 "23.762376237623762".
- 1164752 cpu_core_0 "23.762376237623762".
- 1165242 cpu_core_0 "23.762376237623762".
- 1166290 cpu_core_0 "23.762376237623762".
- 1166430 cpu_core_0 "23.762376237623762".
- 1167414 cpu_core_0 "23.762376237623762".
- 1168999 cpu_core_0 "23.762376237623762".
- 1169181 cpu_core_0 "23.762376237623762".
- 1169588 cpu_core_0 "23.762376237623762".
- 1170804 cpu_core_0 "23.762376237623762".
- 1171818 cpu_core_0 "23.762376237623762".
- 1172052 cpu_core_0 "23.762376237623762".
- 1174548 cpu_core_0 "23.762376237623762".
- 1175413 cpu_core_0 "23.762376237623762".
- 1175520 cpu_core_0 "23.762376237623762".
- 1176417 cpu_core_0 "23.762376237623762".
- 1178221 cpu_core_0 "23.762376237623762".
- 1180467 cpu_core_0 "23.762376237623762".
- 1181637 cpu_core_0 "23.762376237623762".
- 1183252 cpu_core_0 "23.762376237623762".
- 1183349 cpu_core_0 "23.762376237623762".
- 1185097 cpu_core_0 "23.762376237623762".
- 1186067 cpu_core_0 "23.762376237623762".
- 1187681 cpu_core_0 "23.762376237623762".
- 1188260 cpu_core_0 "23.762376237623762".
- 1188286 cpu_core_0 "23.762376237623762".
- 1189621 cpu_core_0 "23.762376237623762".
- 1189651 cpu_core_0 "23.762376237623762".
- 1190471 cpu_core_0 "23.762376237623762".
- 1191015 cpu_core_0 "23.762376237623762".
- 1191018 cpu_core_0 "23.762376237623762".
- 1191664 cpu_core_0 "23.762376237623762".
- 1192258 cpu_core_0 "23.762376237623762".
- 1193110 cpu_core_0 "23.762376237623762".
- 1193264 cpu_core_0 "23.762376237623762".
- 1193403 cpu_core_0 "23.762376237623762".
- 1193637 cpu_core_0 "23.762376237623762".
- 1193896 cpu_core_0 "23.762376237623762".
- 1194582 cpu_core_0 "23.762376237623762".
- 1194661 cpu_core_0 "23.762376237623762".
- 1195142 cpu_core_0 "23.762376237623762".
- 1195185 cpu_core_0 "23.762376237623762".
- 1195285 cpu_core_0 "23.762376237623762".
- 1195596 cpu_core_0 "23.762376237623762".
- 1196339 cpu_core_0 "23.762376237623762".
- 1198041 cpu_core_0 "23.762376237623762".
- 1198656 cpu_core_0 "23.762376237623762".
- 1198844 cpu_core_0 "23.762376237623762".
- 1200794 cpu_core_0 "23.762376237623762".
- 1200997 cpu_core_0 "23.762376237623762".
- 1201377 cpu_core_0 "23.762376237623762".
- 1203832 cpu_core_0 "23.762376237623762".
- 1204256 cpu_core_0 "23.762376237623762".
- 1204488 cpu_core_0 "23.762376237623762".
- 1205350 cpu_core_0 "23.762376237623762".
- 1205353 cpu_core_0 "23.762376237623762".
- 1206951 cpu_core_0 "23.762376237623762".
- 1208000 cpu_core_0 "23.762376237623762".
- 1208150 cpu_core_0 "23.762376237623762".
- 1208439 cpu_core_0 "23.762376237623762".
- 1208445 cpu_core_0 "23.762376237623762".
- 1208982 cpu_core_0 "23.762376237623762".
- 1209376 cpu_core_0 "23.762376237623762".
- 1209953 cpu_core_0 "23.762376237623762".
- 1210113 cpu_core_0 "23.762376237623762".
- 1210126 cpu_core_0 "23.762376237623762".
- 1210455 cpu_core_0 "23.762376237623762".
- 1211495 cpu_core_0 "23.762376237623762".
- 1211763 cpu_core_0 "23.762376237623762".
- 1213199 cpu_core_0 "23.762376237623762".
- 1213393 cpu_core_0 "23.762376237623762".
- 1221344 cpu_core_0 "23.762376237623762".
- 1221626 cpu_core_0 "23.762376237623762".
- 1221738 cpu_core_0 "23.762376237623762".
- 1221952 cpu_core_0 "23.762376237623762".
- 1227133 cpu_core_0 "23.762376237623762".
- 1227773 cpu_core_0 "23.762376237623762".
- 1227800 cpu_core_0 "23.762376237623762".
- 1230463 cpu_core_0 "23.762376237623762".
- 1231460 cpu_core_0 "23.762376237623762".