Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623762. }
- 1231476 cpu_core_0 "23.762376237623762".
- 1231483 cpu_core_0 "23.762376237623762".
- 1234052 cpu_core_0 "23.762376237623762".
- 1234754 cpu_core_0 "23.762376237623762".
- 1235247 cpu_core_0 "23.762376237623762".
- 1235979 cpu_core_0 "23.762376237623762".
- 1236205 cpu_core_0 "23.762376237623762".
- 1239868 cpu_core_0 "23.762376237623762".
- 1241203 cpu_core_0 "23.762376237623762".
- 1241557 cpu_core_0 "23.762376237623762".
- 1242315 cpu_core_0 "23.762376237623762".
- 1245449 cpu_core_0 "23.762376237623762".
- 1247105 cpu_core_0 "23.762376237623762".
- 1247799 cpu_core_0 "23.762376237623762".
- 1248346 cpu_core_0 "23.762376237623762".
- 1248542 cpu_core_0 "23.762376237623762".
- 1249681 cpu_core_0 "23.762376237623762".
- 1249699 cpu_core_0 "23.762376237623762".
- 1250523 cpu_core_0 "23.762376237623762".
- 1251979 cpu_core_0 "23.762376237623762".
- 1252039 cpu_core_0 "23.762376237623762".
- 1252329 cpu_core_0 "23.762376237623762".
- 1252507 cpu_core_0 "23.762376237623762".
- 1253369 cpu_core_0 "23.762376237623762".
- 1253836 cpu_core_0 "23.762376237623762".
- 1254276 cpu_core_0 "23.762376237623762".
- 1254367 cpu_core_0 "23.762376237623762".
- 1255190 cpu_core_0 "23.762376237623762".
- 1255362 cpu_core_0 "23.762376237623762".
- 1257213 cpu_core_0 "23.762376237623762".
- 1257973 cpu_core_0 "23.762376237623762".
- 1259170 cpu_core_0 "23.762376237623762".
- 1261112 cpu_core_0 "23.762376237623762".
- 1262306 cpu_core_0 "23.762376237623762".
- 1263319 cpu_core_0 "23.762376237623762".
- 1263431 cpu_core_0 "23.762376237623762".
- 1264481 cpu_core_0 "23.762376237623762".
- 1264578 cpu_core_0 "23.762376237623762".
- 1266442 cpu_core_0 "23.762376237623762".
- 1266659 cpu_core_0 "23.762376237623762".
- 1268242 cpu_core_0 "23.762376237623762".
- 1269099 cpu_core_0 "23.762376237623762".
- 1270726 cpu_core_0 "23.762376237623762".
- 1272815 cpu_core_0 "23.762376237623762".
- 1273006 cpu_core_0 "23.762376237623762".
- 1274152 cpu_core_0 "23.762376237623762".
- 1274651 cpu_core_0 "23.762376237623762".
- 1274924 cpu_core_0 "23.762376237623762".
- 1274938 cpu_core_0 "23.762376237623762".
- 1275245 cpu_core_0 "23.762376237623762".
- 1277661 cpu_core_0 "23.762376237623762".
- 1278623 cpu_core_0 "23.762376237623762".
- 1278635 cpu_core_0 "23.762376237623762".
- 1278710 cpu_core_0 "23.762376237623762".
- 1278904 cpu_core_0 "23.762376237623762".
- 1279200 cpu_core_0 "23.762376237623762".
- 1279712 cpu_core_0 "23.762376237623762".
- 1280822 cpu_core_0 "23.762376237623762".
- 1280847 cpu_core_0 "23.762376237623762".
- 1281079 cpu_core_0 "23.762376237623762".
- 1282737 cpu_core_0 "23.762376237623762".
- 1282965 cpu_core_0 "23.762376237623762".
- 1283452 cpu_core_0 "23.762376237623762".
- 1284307 cpu_core_0 "23.762376237623762".
- 1284783 cpu_core_0 "23.762376237623762".
- 1284927 cpu_core_0 "23.762376237623762".
- 1293587 cpu_core_0 "23.762376237623762".
- 1294086 cpu_core_0 "23.762376237623762".
- 1295866 cpu_core_0 "23.762376237623762".
- 1296452 cpu_core_0 "23.762376237623762".
- 1299691 cpu_core_0 "23.762376237623762".
- 1299855 cpu_core_0 "23.762376237623762".
- 1299973 cpu_core_0 "23.762376237623762".
- 1302260 cpu_core_0 "23.762376237623762".
- 1304607 cpu_core_0 "23.762376237623762".
- 1304617 cpu_core_0 "23.762376237623762".
- 1304801 cpu_core_0 "23.762376237623762".
- 1306193 cpu_core_0 "23.762376237623762".
- 1306781 cpu_core_0 "23.762376237623762".
- 1309010 cpu_core_0 "23.762376237623762".
- 1309516 cpu_core_0 "23.762376237623762".
- 1310366 cpu_core_0 "23.762376237623762".
- 1310804 cpu_core_0 "23.762376237623762".
- 1310857 cpu_core_0 "23.762376237623762".
- 1312958 cpu_core_0 "23.762376237623762".
- 1313481 cpu_core_0 "23.762376237623762".
- 1316759 cpu_core_0 "23.762376237623762".
- 1317296 cpu_core_0 "23.762376237623762".
- 1320164 cpu_core_0 "23.762376237623762".
- 1321585 cpu_core_0 "23.762376237623762".
- 1321732 cpu_core_0 "23.762376237623762".
- 1322002 cpu_core_0 "23.762376237623762".
- 1322125 cpu_core_0 "23.762376237623762".
- 1322966 cpu_core_0 "23.762376237623762".
- 1324434 cpu_core_0 "23.762376237623762".
- 1324828 cpu_core_0 "23.762376237623762".
- 1326367 cpu_core_0 "23.762376237623762".
- 1326613 cpu_core_0 "23.762376237623762".
- 1327553 cpu_core_0 "23.762376237623762".
- 1328445 cpu_core_0 "23.762376237623762".