Matches in ISWC2014 Benchmark for { ?s ?p 13.26530612244898. }
- 1501022 cpu_core_0 "13.26530612244898".
- 1501243 cpu_core_0 "13.26530612244898".
- 1501513 cpu_core_0 "13.26530612244898".
- 1502636 cpu_core_0 "13.26530612244898".
- 1503112 cpu_core_0 "13.26530612244898".
- 1503463 cpu_core_0 "13.26530612244898".
- 1504425 cpu_core_0 "13.26530612244898".
- 1505223 cpu_core_0 "13.26530612244898".
- 1505467 cpu_core_0 "13.26530612244898".
- 1506744 cpu_core_0 "13.26530612244898".
- 1507494 cpu_core_0 "13.26530612244898".
- 1507874 cpu_core_0 "13.26530612244898".
- 1508017 cpu_core_0 "13.26530612244898".
- 1508771 cpu_core_0 "13.26530612244898".
- 1509024 cpu_core_0 "13.26530612244898".
- 1509086 cpu_core_0 "13.26530612244898".
- 1509585 cpu_core_0 "13.26530612244898".
- 1509883 cpu_core_0 "13.26530612244898".
- 1510185 cpu_core_0 "13.26530612244898".
- 1510246 cpu_core_0 "13.26530612244898".
- 1510575 cpu_core_0 "13.26530612244898".
- 1511339 cpu_core_0 "13.26530612244898".
- 1511636 cpu_core_0 "13.26530612244898".
- 1511877 cpu_core_0 "13.26530612244898".
- 1511989 cpu_core_0 "13.26530612244898".
- 1513536 cpu_core_0 "13.26530612244898".
- 1514541 cpu_core_0 "13.26530612244898".
- 1514629 cpu_core_0 "13.26530612244898".
- 1515542 cpu_core_0 "13.26530612244898".
- 1516019 cpu_core_0 "13.26530612244898".
- 1516554 cpu_core_0 "13.26530612244898".
- 1517358 cpu_core_0 "13.26530612244898".
- 1517448 cpu_core_0 "13.26530612244898".
- 1517586 cpu_core_0 "13.26530612244898".
- 1518124 cpu_core_0 "13.26530612244898".
- 1518528 cpu_core_0 "13.26530612244898".
- 1518804 cpu_core_0 "13.26530612244898".
- 1519234 cpu_core_0 "13.26530612244898".
- 1519773 cpu_core_0 "13.26530612244898".
- 1519854 cpu_core_0 "13.26530612244898".
- 1521181 cpu_core_0 "13.26530612244898".
- 1521550 cpu_core_0 "13.26530612244898".
- 1522249 cpu_core_0 "13.26530612244898".
- 1522442 cpu_core_0 "13.26530612244898".
- 1522548 cpu_core_0 "13.26530612244898".
- 1522808 cpu_core_0 "13.26530612244898".
- 1522812 cpu_core_0 "13.26530612244898".
- 1523522 cpu_core_0 "13.26530612244898".
- 1524162 cpu_core_0 "13.26530612244898".
- 1524352 cpu_core_0 "13.26530612244898".
- 1524415 cpu_core_0 "13.26530612244898".
- 1524468 cpu_core_0 "13.26530612244898".
- 1525686 cpu_core_0 "13.26530612244898".
- 1526495 cpu_core_0 "13.26530612244898".
- 1526522 cpu_core_0 "13.26530612244898".
- 1527407 cpu_core_0 "13.26530612244898".
- 1527471 cpu_core_0 "13.26530612244898".
- 1527505 cpu_core_0 "13.26530612244898".
- 1527610 cpu_core_0 "13.26530612244898".
- 1527737 cpu_core_0 "13.26530612244898".
- 1528323 cpu_core_0 "13.26530612244898".
- 1528408 cpu_core_0 "13.26530612244898".
- 1529053 cpu_core_0 "13.26530612244898".
- 1529807 cpu_core_0 "13.26530612244898".
- 1530080 cpu_core_0 "13.26530612244898".
- 1530308 cpu_core_0 "13.26530612244898".
- 1530511 cpu_core_0 "13.26530612244898".
- 1530898 cpu_core_0 "13.26530612244898".
- 1530914 cpu_core_0 "13.26530612244898".
- 1531301 cpu_core_0 "13.26530612244898".
- 1531835 cpu_core_0 "13.26530612244898".
- 1532913 cpu_core_0 "13.26530612244898".
- 1533001 cpu_core_0 "13.26530612244898".
- 1533050 cpu_core_0 "13.26530612244898".
- 1533205 cpu_core_0 "13.26530612244898".
- 1533553 cpu_core_0 "13.26530612244898".
- 1533936 cpu_core_0 "13.26530612244898".
- 1533959 cpu_core_0 "13.26530612244898".
- 1535087 cpu_core_0 "13.26530612244898".
- 1535459 cpu_core_0 "13.26530612244898".
- 1535826 cpu_core_0 "13.26530612244898".
- 1536457 cpu_core_0 "13.26530612244898".
- 1538070 cpu_core_0 "13.26530612244898".
- 1538177 cpu_core_0 "13.26530612244898".
- 1538198 cpu_core_0 "13.26530612244898".
- 1538304 cpu_core_0 "13.26530612244898".
- 1538972 cpu_core_0 "13.26530612244898".
- 1539271 cpu_core_0 "13.26530612244898".
- 1539992 cpu_core_0 "13.26530612244898".
- 1540413 cpu_core_0 "13.26530612244898".
- 1541129 cpu_core_0 "13.26530612244898".
- 1541331 cpu_core_0 "13.26530612244898".
- 1541569 cpu_core_0 "13.26530612244898".
- 1541798 cpu_core_0 "13.26530612244898".
- 1542585 cpu_core_0 "13.26530612244898".
- 1543153 cpu_core_0 "13.26530612244898".
- 1543539 cpu_core_0 "13.26530612244898".
- 1543818 cpu_core_0 "13.26530612244898".
- 1545320 cpu_core_0 "13.26530612244898".
- 1545674 cpu_core_0 "13.26530612244898".