Matches in ISWC2014 Benchmark for { ?s ?p 7.142857142857142. }
- 1480088 cpu_core_0 "7.142857142857142".
- 1481376 cpu_core_0 "7.142857142857142".
- 1481422 cpu_core_0 "7.142857142857142".
- 1481722 cpu_core_0 "7.142857142857142".
- 1483092 cpu_core_0 "7.142857142857142".
- 1483352 cpu_core_0 "7.142857142857142".
- 1485466 cpu_core_0 "7.142857142857142".
- 1487716 cpu_core_0 "7.142857142857142".
- 1487718 cpu_core_0 "7.142857142857142".
- 1488141 cpu_core_0 "7.142857142857142".
- 1488222 cpu_core_0 "7.142857142857142".
- 1488228 cpu_core_0 "7.142857142857142".
- 1488852 cpu_core_0 "7.142857142857142".
- 1489193 cpu_core_0 "7.142857142857142".
- 1489785 cpu_core_0 "7.142857142857142".
- 1490888 cpu_core_0 "7.142857142857142".
- 1491216 cpu_core_0 "7.142857142857142".
- 1491467 cpu_core_0 "7.142857142857142".
- 1492129 cpu_core_0 "7.142857142857142".
- 1492861 cpu_core_0 "7.142857142857142".
- 1493269 cpu_core_0 "7.142857142857142".
- 1494180 cpu_core_0 "7.142857142857142".
- 1494333 cpu_core_0 "7.142857142857142".
- 1494367 cpu_core_0 "7.142857142857142".
- 1494481 cpu_core_0 "7.142857142857142".
- 1494779 cpu_core_0 "7.142857142857142".
- 1495784 cpu_core_0 "7.142857142857142".
- 1495992 cpu_core_0 "7.142857142857142".
- 1497407 cpu_core_0 "7.142857142857142".
- 1498292 cpu_core_0 "7.142857142857142".
- 1498357 cpu_core_0 "7.142857142857142".
- 1500570 cpu_core_0 "7.142857142857142".
- 1501114 cpu_core_0 "7.142857142857142".
- 1501762 cpu_core_0 "7.142857142857142".
- 1502109 cpu_core_0 "7.142857142857142".
- 1502284 cpu_core_0 "7.142857142857142".
- 1502589 cpu_core_0 "7.142857142857142".
- 1503541 cpu_core_0 "7.142857142857142".
- 1504725 cpu_core_0 "7.142857142857142".
- 1504830 cpu_core_0 "7.142857142857142".
- 1504865 cpu_core_0 "7.142857142857142".
- 1506220 cpu_core_0 "7.142857142857142".
- 1507371 cpu_core_0 "7.142857142857142".
- 1507846 cpu_core_0 "7.142857142857142".
- 1510740 cpu_core_0 "7.142857142857142".
- 1511006 cpu_core_0 "7.142857142857142".
- 1511669 cpu_core_0 "7.142857142857142".
- 1512318 cpu_core_0 "7.142857142857142".
- 1513484 cpu_core_0 "7.142857142857142".
- 1514615 cpu_core_0 "7.142857142857142".
- 1515301 cpu_core_0 "7.142857142857142".
- 1515417 cpu_core_0 "7.142857142857142".
- 1515513 cpu_core_0 "7.142857142857142".
- 1516473 cpu_core_0 "7.142857142857142".
- 1516492 cpu_core_0 "7.142857142857142".
- 1516863 cpu_core_0 "7.142857142857142".
- 1517745 cpu_core_0 "7.142857142857142".
- 1519359 cpu_core_0 "7.142857142857142".
- 1522668 cpu_core_0 "7.142857142857142".
- 1523107 cpu_core_0 "7.142857142857142".
- 1523401 cpu_core_0 "7.142857142857142".
- 1523447 cpu_core_0 "7.142857142857142".
- 1524175 cpu_core_0 "7.142857142857142".
- 1525266 cpu_core_0 "7.142857142857142".
- 1526808 cpu_core_0 "7.142857142857142".
- 1527363 cpu_core_0 "7.142857142857142".
- 1528483 cpu_core_0 "7.142857142857142".
- 1528532 cpu_core_0 "7.142857142857142".
- 1528911 cpu_core_0 "7.142857142857142".
- 1529178 cpu_core_0 "7.142857142857142".
- 1529450 cpu_core_0 "7.142857142857142".
- 1531777 cpu_core_0 "7.142857142857142".
- 1535101 cpu_core_0 "7.142857142857142".
- 1535140 cpu_core_0 "7.142857142857142".
- 1535746 cpu_core_0 "7.142857142857142".
- 1535757 cpu_core_0 "7.142857142857142".
- 1535959 cpu_core_0 "7.142857142857142".
- 1536891 cpu_core_0 "7.142857142857142".
- 1537250 cpu_core_0 "7.142857142857142".
- 1538423 cpu_core_0 "7.142857142857142".
- 1539883 cpu_core_0 "7.142857142857142".
- 1540238 cpu_core_0 "7.142857142857142".
- 1543367 cpu_core_0 "7.142857142857142".
- 1543590 cpu_core_0 "7.142857142857142".
- 1543650 cpu_core_0 "7.142857142857142".
- 1543742 cpu_core_0 "7.142857142857142".
- 1544000 cpu_core_0 "7.142857142857142".
- 1544134 cpu_core_0 "7.142857142857142".
- 1544324 cpu_core_0 "7.142857142857142".
- 1544353 cpu_core_0 "7.142857142857142".
- 1544924 cpu_core_0 "7.142857142857142".
- 1547245 cpu_core_0 "7.142857142857142".
- 1551266 cpu_core_0 "7.142857142857142".
- 1552696 cpu_core_0 "7.142857142857142".
- 1553691 cpu_core_0 "7.142857142857142".
- 1556276 cpu_core_0 "7.142857142857142".
- 1558427 cpu_core_0 "7.142857142857142".
- 1560454 cpu_core_0 "7.142857142857142".
- 1561793 cpu_core_0 "7.142857142857142".
- 1562024 cpu_core_0 "7.142857142857142".