Matches in ISWC2014 Benchmark for { ?s ?p 13.861386138613863. }
- 1430650 cpu_core_0 "13.861386138613863".
- 1431892 cpu_core_0 "13.861386138613863".
- 1431975 cpu_core_0 "13.861386138613863".
- 1432014 cpu_core_0 "13.861386138613863".
- 1432155 cpu_core_0 "13.861386138613863".
- 1433068 cpu_core_0 "13.861386138613863".
- 1433155 cpu_core_0 "13.861386138613863".
- 1433390 cpu_core_0 "13.861386138613863".
- 1433490 cpu_core_0 "13.861386138613863".
- 1434006 cpu_core_0 "13.861386138613863".
- 1434354 cpu_core_0 "13.861386138613863".
- 1434582 cpu_core_0 "13.861386138613863".
- 1434864 cpu_core_0 "13.861386138613863".
- 1435290 cpu_core_0 "13.861386138613863".
- 1435666 cpu_core_0 "13.861386138613863".
- 1437942 cpu_core_0 "13.861386138613863".
- 1437962 cpu_core_0 "13.861386138613863".
- 1438843 cpu_core_0 "13.861386138613863".
- 1439274 cpu_core_0 "13.861386138613863".
- 1440243 cpu_core_0 "13.861386138613863".
- 1440758 cpu_core_0 "13.861386138613863".
- 1440961 cpu_core_0 "13.861386138613863".
- 1441060 cpu_core_0 "13.861386138613863".
- 1441314 cpu_core_0 "13.861386138613863".
- 1442114 cpu_core_0 "13.861386138613863".
- 1442692 cpu_core_0 "13.861386138613863".
- 1443526 cpu_core_0 "13.861386138613863".
- 1443565 cpu_core_0 "13.861386138613863".
- 1443641 cpu_core_0 "13.861386138613863".
- 1443977 cpu_core_0 "13.861386138613863".
- 1444441 cpu_core_0 "13.861386138613863".
- 1445030 cpu_core_0 "13.861386138613863".
- 1446209 cpu_core_0 "13.861386138613863".
- 1446591 cpu_core_0 "13.861386138613863".
- 1448582 cpu_core_0 "13.861386138613863".
- 1450334 cpu_core_0 "13.861386138613863".
- 1451957 cpu_core_0 "13.861386138613863".
- 1452240 cpu_core_0 "13.861386138613863".
- 1452758 cpu_core_0 "13.861386138613863".
- 1453685 cpu_core_0 "13.861386138613863".
- 1453754 cpu_core_0 "13.861386138613863".
- 1453765 cpu_core_0 "13.861386138613863".
- 1454220 cpu_core_0 "13.861386138613863".
- 1454388 cpu_core_0 "13.861386138613863".
- 1454906 cpu_core_0 "13.861386138613863".
- 1455700 cpu_core_0 "13.861386138613863".
- 1456311 cpu_core_0 "13.861386138613863".
- 1456708 cpu_core_0 "13.861386138613863".
- 1457739 cpu_core_0 "13.861386138613863".
- 1460302 cpu_core_0 "13.861386138613863".
- 1462348 cpu_core_0 "13.861386138613863".
- 1462353 cpu_core_0 "13.861386138613863".
- 1463893 cpu_core_0 "13.861386138613863".
- 1464500 cpu_core_0 "13.861386138613863".
- 1468426 cpu_core_0 "13.861386138613863".
- 1468955 cpu_core_0 "13.861386138613863".
- 1468983 cpu_core_0 "13.861386138613863".
- 1469312 cpu_core_0 "13.861386138613863".
- 1471313 cpu_core_0 "13.861386138613863".
- 1473695 cpu_core_0 "13.861386138613863".
- 1474240 cpu_core_0 "13.861386138613863".
- 1474289 cpu_core_0 "13.861386138613863".
- 1474296 cpu_core_0 "13.861386138613863".
- 1474728 cpu_core_0 "13.861386138613863".
- 1474787 cpu_core_0 "13.861386138613863".
- 1475309 cpu_core_0 "13.861386138613863".
- 1475672 cpu_core_0 "13.861386138613863".
- 1476179 cpu_core_0 "13.861386138613863".
- 1476559 cpu_core_0 "13.861386138613863".
- 1477170 cpu_core_0 "13.861386138613863".
- 1477390 cpu_core_0 "13.861386138613863".
- 1478311 cpu_core_0 "13.861386138613863".
- 1479950 cpu_core_0 "13.861386138613863".
- 1480002 cpu_core_0 "13.861386138613863".
- 1480472 cpu_core_0 "13.861386138613863".
- 1481121 cpu_core_0 "13.861386138613863".
- 1481141 cpu_core_0 "13.861386138613863".
- 1481519 cpu_core_0 "13.861386138613863".
- 1481546 cpu_core_0 "13.861386138613863".
- 1481624 cpu_core_0 "13.861386138613863".
- 1481727 cpu_core_0 "13.861386138613863".
- 1481730 cpu_core_0 "13.861386138613863".
- 1482475 cpu_core_0 "13.861386138613863".
- 1482677 cpu_core_0 "13.861386138613863".
- 1483437 cpu_core_0 "13.861386138613863".
- 1483573 cpu_core_0 "13.861386138613863".
- 1483747 cpu_core_0 "13.861386138613863".
- 1483963 cpu_core_0 "13.861386138613863".
- 1486581 cpu_core_0 "13.861386138613863".
- 1486964 cpu_core_0 "13.861386138613863".
- 1487074 cpu_core_0 "13.861386138613863".
- 1487983 cpu_core_0 "13.861386138613863".
- 1488060 cpu_core_0 "13.861386138613863".
- 1488466 cpu_core_0 "13.861386138613863".
- 1488478 cpu_core_0 "13.861386138613863".
- 1488606 cpu_core_0 "13.861386138613863".
- 1488907 cpu_core_0 "13.861386138613863".
- 1489058 cpu_core_0 "13.861386138613863".
- 1489454 cpu_core_0 "13.861386138613863".
- 1489675 cpu_core_0 "13.861386138613863".