Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623766. }
- 1290783 cpu_core_0 "23.762376237623766".
- 1295355 cpu_core_0 "23.762376237623766".
- 1295754 cpu_core_0 "23.762376237623766".
- 1296328 cpu_core_0 "23.762376237623766".
- 1298467 cpu_core_0 "23.762376237623766".
- 1298682 cpu_core_0 "23.762376237623766".
- 1298889 cpu_core_0 "23.762376237623766".
- 1301647 cpu_core_0 "23.762376237623766".
- 1302426 cpu_core_0 "23.762376237623766".
- 1303090 cpu_core_0 "23.762376237623766".
- 1303509 cpu_core_0 "23.762376237623766".
- 1303947 cpu_core_0 "23.762376237623766".
- 1308476 cpu_core_0 "23.762376237623766".
- 1310290 cpu_core_0 "23.762376237623766".
- 131044 cpu_core_0 "23.762376237623766".
- 1318642 cpu_core_0 "23.762376237623766".
- 1318757 cpu_core_0 "23.762376237623766".
- 1321041 cpu_core_0 "23.762376237623766".
- 1321567 cpu_core_0 "23.762376237623766".
- 1322000 cpu_core_0 "23.762376237623766".
- 1323940 cpu_core_0 "23.762376237623766".
- 1324505 cpu_core_0 "23.762376237623766".
- 1325238 cpu_core_0 "23.762376237623766".
- 1326128 cpu_core_0 "23.762376237623766".
- 1326231 cpu_core_0 "23.762376237623766".
- 1327282 cpu_core_0 "23.762376237623766".
- 1328544 cpu_core_0 "23.762376237623766".
- 1332170 cpu_core_0 "23.762376237623766".
- 1333997 cpu_core_0 "23.762376237623766".
- 1334149 cpu_core_0 "23.762376237623766".
- 1336735 cpu_core_0 "23.762376237623766".
- 1337245 cpu_core_0 "23.762376237623766".
- 1340042 cpu_core_0 "23.762376237623766".
- 1342604 cpu_core_0 "23.762376237623766".
- 1343927 cpu_core_0 "23.762376237623766".
- 1344453 cpu_core_0 "23.762376237623766".
- 1344555 cpu_core_0 "23.762376237623766".
- 1344871 cpu_core_0 "23.762376237623766".
- 1345246 cpu_core_0 "23.762376237623766".
- 1345385 cpu_core_0 "23.762376237623766".
- 1345903 cpu_core_0 "23.762376237623766".
- 1347415 cpu_core_0 "23.762376237623766".
- 1348525 cpu_core_0 "23.762376237623766".
- 1349927 cpu_core_0 "23.762376237623766".
- 1349970 cpu_core_0 "23.762376237623766".
- 1352092 cpu_core_0 "23.762376237623766".
- 1352150 cpu_core_0 "23.762376237623766".
- 1353621 cpu_core_0 "23.762376237623766".
- 1355777 cpu_core_0 "23.762376237623766".
- 1356372 cpu_core_0 "23.762376237623766".
- 1356752 cpu_core_0 "23.762376237623766".
- 1357120 cpu_core_0 "23.762376237623766".
- 1359281 cpu_core_0 "23.762376237623766".
- 1359626 cpu_core_0 "23.762376237623766".
- 1360410 cpu_core_0 "23.762376237623766".
- 1361282 cpu_core_0 "23.762376237623766".
- 1362272 cpu_core_0 "23.762376237623766".
- 1366828 cpu_core_0 "23.762376237623766".
- 1368244 cpu_core_0 "23.762376237623766".
- 1370068 cpu_core_0 "23.762376237623766".
- 1372561 cpu_core_0 "23.762376237623766".
- 1374823 cpu_core_0 "23.762376237623766".
- 1375530 cpu_core_0 "23.762376237623766".
- 1376288 cpu_core_0 "23.762376237623766".
- 1377176 cpu_core_0 "23.762376237623766".
- 1377261 cpu_core_0 "23.762376237623766".
- 1377451 cpu_core_0 "23.762376237623766".
- 1377506 cpu_core_0 "23.762376237623766".
- 1378350 cpu_core_0 "23.762376237623766".
- 1378923 cpu_core_0 "23.762376237623766".
- 1382513 cpu_core_0 "23.762376237623766".
- 1382951 cpu_core_0 "23.762376237623766".
- 1387728 cpu_core_0 "23.762376237623766".
- 1388733 cpu_core_0 "23.762376237623766".
- 1392913 cpu_core_0 "23.762376237623766".
- 1392955 cpu_core_0 "23.762376237623766".
- 1392987 cpu_core_0 "23.762376237623766".
- 1393159 cpu_core_0 "23.762376237623766".
- 1393387 cpu_core_0 "23.762376237623766".
- 1394004 cpu_core_0 "23.762376237623766".
- 1394119 cpu_core_0 "23.762376237623766".
- 1394801 cpu_core_0 "23.762376237623766".
- 1395404 cpu_core_0 "23.762376237623766".
- 1397336 cpu_core_0 "23.762376237623766".
- 1397663 cpu_core_0 "23.762376237623766".
- 1398057 cpu_core_0 "23.762376237623766".
- 1399329 cpu_core_0 "23.762376237623766".
- 1399951 cpu_core_0 "23.762376237623766".
- 1400219 cpu_core_0 "23.762376237623766".
- 1400537 cpu_core_0 "23.762376237623766".
- 1400750 cpu_core_0 "23.762376237623766".
- 1400831 cpu_core_0 "23.762376237623766".
- 1401115 cpu_core_0 "23.762376237623766".
- 1401559 cpu_core_0 "23.762376237623766".
- 1401792 cpu_core_0 "23.762376237623766".
- 1401890 cpu_core_0 "23.762376237623766".
- 1402122 cpu_core_0 "23.762376237623766".
- 1402541 cpu_core_0 "23.762376237623766".
- 1404035 cpu_core_0 "23.762376237623766".
- 1405256 cpu_core_0 "23.762376237623766".