Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623762. }
- 1418635 cpu_core_0 "23.762376237623762".
- 1418976 cpu_core_0 "23.762376237623762".
- 1419005 cpu_core_0 "23.762376237623762".
- 1419115 cpu_core_0 "23.762376237623762".
- 1420269 cpu_core_0 "23.762376237623762".
- 1420300 cpu_core_0 "23.762376237623762".
- 1420976 cpu_core_0 "23.762376237623762".
- 1421956 cpu_core_0 "23.762376237623762".
- 1422869 cpu_core_0 "23.762376237623762".
- 1423796 cpu_core_0 "23.762376237623762".
- 1424306 cpu_core_0 "23.762376237623762".
- 1424799 cpu_core_0 "23.762376237623762".
- 1425269 cpu_core_0 "23.762376237623762".
- 1425276 cpu_core_0 "23.762376237623762".
- 1426240 cpu_core_0 "23.762376237623762".
- 1426452 cpu_core_0 "23.762376237623762".
- 1426780 cpu_core_0 "23.762376237623762".
- 1427330 cpu_core_0 "23.762376237623762".
- 1427389 cpu_core_0 "23.762376237623762".
- 1427528 cpu_core_0 "23.762376237623762".
- 1428594 cpu_core_0 "23.762376237623762".
- 1429248 cpu_core_0 "23.762376237623762".
- 1429609 cpu_core_0 "23.762376237623762".
- 1429794 cpu_core_0 "23.762376237623762".
- 1430117 cpu_core_0 "23.762376237623762".
- 1432853 cpu_core_0 "23.762376237623762".
- 1434125 cpu_core_0 "23.762376237623762".
- 1438125 cpu_core_0 "23.762376237623762".
- 1438454 cpu_core_0 "23.762376237623762".
- 1438459 cpu_core_0 "23.762376237623762".
- 1438967 cpu_core_0 "23.762376237623762".
- 1439792 cpu_core_0 "23.762376237623762".
- 1441665 cpu_core_0 "23.762376237623762".
- 1442106 cpu_core_0 "23.762376237623762".
- 1442589 cpu_core_0 "23.762376237623762".
- 1443681 cpu_core_0 "23.762376237623762".
- 1444553 cpu_core_0 "23.762376237623762".
- 1444761 cpu_core_0 "23.762376237623762".
- 1444766 cpu_core_0 "23.762376237623762".
- 1445035 cpu_core_0 "23.762376237623762".
- 1445259 cpu_core_0 "23.762376237623762".
- 1445481 cpu_core_0 "23.762376237623762".
- 1445514 cpu_core_0 "23.762376237623762".
- 1445733 cpu_core_0 "23.762376237623762".
- 1445780 cpu_core_0 "23.762376237623762".
- 1446100 cpu_core_0 "23.762376237623762".
- 1446358 cpu_core_0 "23.762376237623762".
- 1446882 cpu_core_0 "23.762376237623762".
- 1446917 cpu_core_0 "23.762376237623762".
- 1447064 cpu_core_0 "23.762376237623762".
- 1451480 cpu_core_0 "23.762376237623762".
- 1451703 cpu_core_0 "23.762376237623762".
- 1452033 cpu_core_0 "23.762376237623762".
- 1452620 cpu_core_0 "23.762376237623762".
- 1453071 cpu_core_0 "23.762376237623762".
- 1453209 cpu_core_0 "23.762376237623762".
- 1453231 cpu_core_0 "23.762376237623762".
- 1453238 cpu_core_0 "23.762376237623762".
- 1454877 cpu_core_0 "23.762376237623762".
- 1456991 cpu_core_0 "23.762376237623762".
- 1457521 cpu_core_0 "23.762376237623762".
- 1457975 cpu_core_0 "23.762376237623762".
- 1459330 cpu_core_0 "23.762376237623762".
- 1463334 cpu_core_0 "23.762376237623762".
- 1463559 cpu_core_0 "23.762376237623762".
- 1463645 cpu_core_0 "23.762376237623762".
- 1464027 cpu_core_0 "23.762376237623762".
- 1464857 cpu_core_0 "23.762376237623762".
- 1465826 cpu_core_0 "23.762376237623762".
- 1466248 cpu_core_0 "23.762376237623762".
- 1466450 cpu_core_0 "23.762376237623762".
- 1466657 cpu_core_0 "23.762376237623762".
- 1467191 cpu_core_0 "23.762376237623762".
- 1467742 cpu_core_0 "23.762376237623762".
- 1469462 cpu_core_0 "23.762376237623762".
- 1469906 cpu_core_0 "23.762376237623762".
- 1470005 cpu_core_0 "23.762376237623762".
- 1470173 cpu_core_0 "23.762376237623762".
- 1470665 cpu_core_0 "23.762376237623762".
- 1470668 cpu_core_0 "23.762376237623762".
- 1470937 cpu_core_0 "23.762376237623762".
- 1471316 cpu_core_0 "23.762376237623762".
- 1472493 cpu_core_0 "23.762376237623762".
- 1472574 cpu_core_0 "23.762376237623762".
- 1472708 cpu_core_0 "23.762376237623762".
- 1473009 cpu_core_0 "23.762376237623762".
- 1473312 cpu_core_0 "23.762376237623762".
- 1473315 cpu_core_0 "23.762376237623762".
- 1473468 cpu_core_0 "23.762376237623762".
- 1473684 cpu_core_0 "23.762376237623762".
- 1473901 cpu_core_0 "23.762376237623762".
- 1475597 cpu_core_0 "23.762376237623762".
- 1476165 cpu_core_0 "23.762376237623762".
- 1476788 cpu_core_0 "23.762376237623762".
- 1476811 cpu_core_0 "23.762376237623762".
- 1477867 cpu_core_0 "23.762376237623762".
- 1478024 cpu_core_0 "23.762376237623762".
- 1478488 cpu_core_0 "23.762376237623762".
- 1479218 cpu_core_0 "23.762376237623762".
- 1479784 cpu_core_0 "23.762376237623762".