Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623766. }
- 1405487 cpu_core_0 "23.762376237623766".
- 1405788 cpu_core_0 "23.762376237623766".
- 1406224 cpu_core_0 "23.762376237623766".
- 1406347 cpu_core_0 "23.762376237623766".
- 1406610 cpu_core_0 "23.762376237623766".
- 1406930 cpu_core_0 "23.762376237623766".
- 1407979 cpu_core_0 "23.762376237623766".
- 1414658 cpu_core_0 "23.762376237623766".
- 1419055 cpu_core_0 "23.762376237623766".
- 1420530 cpu_core_0 "23.762376237623766".
- 1421993 cpu_core_0 "23.762376237623766".
- 1422050 cpu_core_0 "23.762376237623766".
- 1424890 cpu_core_0 "23.762376237623766".
- 1427184 cpu_core_0 "23.762376237623766".
- 1427412 cpu_core_0 "23.762376237623766".
- 1430439 cpu_core_0 "23.762376237623766".
- 1432773 cpu_core_0 "23.762376237623766".
- 1434399 cpu_core_0 "23.762376237623766".
- 1434620 cpu_core_0 "23.762376237623766".
- 1439428 cpu_core_0 "23.762376237623766".
- 1442730 cpu_core_0 "23.762376237623766".
- 1443201 cpu_core_0 "23.762376237623766".
- 1443531 cpu_core_0 "23.762376237623766".
- 1444149 cpu_core_0 "23.762376237623766".
- 1446963 cpu_core_0 "23.762376237623766".
- 1452008 cpu_core_0 "23.762376237623766".
- 1455846 cpu_core_0 "23.762376237623766".
- 1456303 cpu_core_0 "23.762376237623766".
- 1461203 cpu_core_0 "23.762376237623766".
- 1462684 cpu_core_0 "23.762376237623766".
- 1463273 cpu_core_0 "23.762376237623766".
- 1464771 cpu_core_0 "23.762376237623766".
- 1466251 cpu_core_0 "23.762376237623766".
- 1466275 cpu_core_0 "23.762376237623766".
- 1467905 cpu_core_0 "23.762376237623766".
- 1468229 cpu_core_0 "23.762376237623766".
- 1472479 cpu_core_0 "23.762376237623766".
- 1473420 cpu_core_0 "23.762376237623766".
- 1473525 cpu_core_0 "23.762376237623766".
- 1474760 cpu_core_0 "23.762376237623766".
- 1474865 cpu_core_0 "23.762376237623766".
- 1475072 cpu_core_0 "23.762376237623766".
- 1476099 cpu_core_0 "23.762376237623766".
- 1476667 cpu_core_0 "23.762376237623766".
- 1477604 cpu_core_0 "23.762376237623766".
- 1478391 cpu_core_0 "23.762376237623766".
- 1478571 cpu_core_0 "23.762376237623766".
- 1480184 cpu_core_0 "23.762376237623766".
- 1480767 cpu_core_0 "23.762376237623766".
- 1484383 cpu_core_0 "23.762376237623766".
- 1485796 cpu_core_0 "23.762376237623766".
- 1486397 cpu_core_0 "23.762376237623766".
- 1487072 cpu_core_0 "23.762376237623766".
- 1490319 cpu_core_0 "23.762376237623766".
- 1491791 cpu_core_0 "23.762376237623766".
- 1492118 cpu_core_0 "23.762376237623766".
- 1493534 cpu_core_0 "23.762376237623766".
- 1494594 cpu_core_0 "23.762376237623766".
- 1494912 cpu_core_0 "23.762376237623766".
- 1495234 cpu_core_0 "23.762376237623766".
- 1495475 cpu_core_0 "23.762376237623766".
- 1496307 cpu_core_0 "23.762376237623766".
- 1496920 cpu_core_0 "23.762376237623766".
- 1497107 cpu_core_0 "23.762376237623766".
- 1497946 cpu_core_0 "23.762376237623766".
- 1498323 cpu_core_0 "23.762376237623766".
- 1499102 cpu_core_0 "23.762376237623766".
- 1499340 cpu_core_0 "23.762376237623766".
- 1500685 cpu_core_0 "23.762376237623766".
- 1501388 cpu_core_0 "23.762376237623766".
- 1504854 cpu_core_0 "23.762376237623766".
- 1505221 cpu_core_0 "23.762376237623766".
- 1505224 cpu_core_0 "23.762376237623766".
- 1506126 cpu_core_0 "23.762376237623766".
- 1507409 cpu_core_0 "23.762376237623766".
- 1509040 cpu_core_0 "23.762376237623766".
- 1510465 cpu_core_0 "23.762376237623766".
- 1511546 cpu_core_0 "23.762376237623766".
- 1511732 cpu_core_0 "23.762376237623766".
- 1512243 cpu_core_0 "23.762376237623766".
- 1513180 cpu_core_0 "23.762376237623766".
- 1513473 cpu_core_0 "23.762376237623766".
- 1514316 cpu_core_0 "23.762376237623766".
- 1514942 cpu_core_0 "23.762376237623766".
- 1516407 cpu_core_0 "23.762376237623766".
- 1520572 cpu_core_0 "23.762376237623766".
- 1520610 cpu_core_0 "23.762376237623766".
- 1523921 cpu_core_0 "23.762376237623766".
- 1525090 cpu_core_0 "23.762376237623766".
- 1527408 cpu_core_0 "23.762376237623766".
- 1528070 cpu_core_0 "23.762376237623766".
- 1530873 cpu_core_0 "23.762376237623766".
- 1531383 cpu_core_0 "23.762376237623766".
- 1531471 cpu_core_0 "23.762376237623766".
- 1532151 cpu_core_0 "23.762376237623766".
- 1533625 cpu_core_0 "23.762376237623766".
- 1533929 cpu_core_0 "23.762376237623766".
- 1537229 cpu_core_0 "23.762376237623766".
- 1537351 cpu_core_0 "23.762376237623766".
- 1537404 cpu_core_0 "23.762376237623766".