Matches in ISWC2014 Benchmark for { ?s ?p 13.26530612244898. }
- 1456085 cpu_core_0 "13.26530612244898".
- 1456094 cpu_core_0 "13.26530612244898".
- 1456411 cpu_core_0 "13.26530612244898".
- 1457242 cpu_core_0 "13.26530612244898".
- 1457711 cpu_core_0 "13.26530612244898".
- 1457714 cpu_core_0 "13.26530612244898".
- 1457953 cpu_core_0 "13.26530612244898".
- 1458547 cpu_core_0 "13.26530612244898".
- 1458558 cpu_core_0 "13.26530612244898".
- 1458677 cpu_core_0 "13.26530612244898".
- 1458965 cpu_core_0 "13.26530612244898".
- 1459164 cpu_core_0 "13.26530612244898".
- 1459635 cpu_core_0 "13.26530612244898".
- 1459975 cpu_core_0 "13.26530612244898".
- 1461016 cpu_core_0 "13.26530612244898".
- 1461291 cpu_core_0 "13.26530612244898".
- 1461624 cpu_core_0 "13.26530612244898".
- 1461662 cpu_core_0 "13.26530612244898".
- 1461870 cpu_core_0 "13.26530612244898".
- 1462507 cpu_core_0 "13.26530612244898".
- 1462652 cpu_core_0 "13.26530612244898".
- 1463310 cpu_core_0 "13.26530612244898".
- 1463686 cpu_core_0 "13.26530612244898".
- 1463688 cpu_core_0 "13.26530612244898".
- 1463793 cpu_core_0 "13.26530612244898".
- 1464542 cpu_core_0 "13.26530612244898".
- 1464895 cpu_core_0 "13.26530612244898".
- 1465446 cpu_core_0 "13.26530612244898".
- 1465521 cpu_core_0 "13.26530612244898".
- 1465889 cpu_core_0 "13.26530612244898".
- 1466541 cpu_core_0 "13.26530612244898".
- 1468068 cpu_core_0 "13.26530612244898".
- 1468156 cpu_core_0 "13.26530612244898".
- 1469748 cpu_core_0 "13.26530612244898".
- 1470431 cpu_core_0 "13.26530612244898".
- 1471188 cpu_core_0 "13.26530612244898".
- 1471398 cpu_core_0 "13.26530612244898".
- 1472705 cpu_core_0 "13.26530612244898".
- 1472922 cpu_core_0 "13.26530612244898".
- 1473552 cpu_core_0 "13.26530612244898".
- 1474099 cpu_core_0 "13.26530612244898".
- 1474172 cpu_core_0 "13.26530612244898".
- 1474311 cpu_core_0 "13.26530612244898".
- 1474990 cpu_core_0 "13.26530612244898".
- 1475447 cpu_core_0 "13.26530612244898".
- 1476067 cpu_core_0 "13.26530612244898".
- 1476194 cpu_core_0 "13.26530612244898".
- 1476531 cpu_core_0 "13.26530612244898".
- 1477372 cpu_core_0 "13.26530612244898".
- 1477992 cpu_core_0 "13.26530612244898".
- 1478204 cpu_core_0 "13.26530612244898".
- 1479000 cpu_core_0 "13.26530612244898".
- 1479392 cpu_core_0 "13.26530612244898".
- 1480273 cpu_core_0 "13.26530612244898".
- 1480315 cpu_core_0 "13.26530612244898".
- 1480561 cpu_core_0 "13.26530612244898".
- 1480678 cpu_core_0 "13.26530612244898".
- 1481018 cpu_core_0 "13.26530612244898".
- 1481032 cpu_core_0 "13.26530612244898".
- 1481047 cpu_core_0 "13.26530612244898".
- 1481059 cpu_core_0 "13.26530612244898".
- 1481276 cpu_core_0 "13.26530612244898".
- 1481553 cpu_core_0 "13.26530612244898".
- 1481628 cpu_core_0 "13.26530612244898".
- 1482313 cpu_core_0 "13.26530612244898".
- 1482339 cpu_core_0 "13.26530612244898".
- 1482683 cpu_core_0 "13.26530612244898".
- 1482879 cpu_core_0 "13.26530612244898".
- 1483287 cpu_core_0 "13.26530612244898".
- 1484299 cpu_core_0 "13.26530612244898".
- 1484497 cpu_core_0 "13.26530612244898".
- 1484658 cpu_core_0 "13.26530612244898".
- 1486169 cpu_core_0 "13.26530612244898".
- 1486942 cpu_core_0 "13.26530612244898".
- 1487849 cpu_core_0 "13.26530612244898".
- 1488053 cpu_core_0 "13.26530612244898".
- 1489331 cpu_core_0 "13.26530612244898".
- 1489592 cpu_core_0 "13.26530612244898".
- 1489781 cpu_core_0 "13.26530612244898".
- 1491266 cpu_core_0 "13.26530612244898".
- 1491709 cpu_core_0 "13.26530612244898".
- 1491876 cpu_core_0 "13.26530612244898".
- 1492932 cpu_core_0 "13.26530612244898".
- 1493031 cpu_core_0 "13.26530612244898".
- 1493148 cpu_core_0 "13.26530612244898".
- 1493173 cpu_core_0 "13.26530612244898".
- 1493499 cpu_core_0 "13.26530612244898".
- 1493973 cpu_core_0 "13.26530612244898".
- 1494316 cpu_core_0 "13.26530612244898".
- 1495782 cpu_core_0 "13.26530612244898".
- 1495986 cpu_core_0 "13.26530612244898".
- 1496045 cpu_core_0 "13.26530612244898".
- 1496406 cpu_core_0 "13.26530612244898".
- 1496630 cpu_core_0 "13.26530612244898".
- 1496925 cpu_core_0 "13.26530612244898".
- 1497447 cpu_core_0 "13.26530612244898".
- 1498275 cpu_core_0 "13.26530612244898".
- 1499566 cpu_core_0 "13.26530612244898".
- 1499632 cpu_core_0 "13.26530612244898".
- 1500935 cpu_core_0 "13.26530612244898".