Matches in ISWC2014 Benchmark for { ?s ?p 7.142857142857142. }
- 1412832 cpu_core_0 "7.142857142857142".
- 1412865 cpu_core_0 "7.142857142857142".
- 1412882 cpu_core_0 "7.142857142857142".
- 1412964 cpu_core_0 "7.142857142857142".
- 1413036 cpu_core_0 "7.142857142857142".
- 1413108 cpu_core_0 "7.142857142857142".
- 1413118 cpu_core_0 "7.142857142857142".
- 1413146 cpu_core_0 "7.142857142857142".
- 1413216 cpu_core_0 "7.142857142857142".
- 1413393 cpu_core_0 "7.142857142857142".
- 1413488 cpu_core_0 "7.142857142857142".
- 1413628 cpu_core_0 "7.142857142857142".
- 1413633 cpu_core_0 "7.142857142857142".
- 1413707 cpu_core_0 "7.142857142857142".
- 1413753 cpu_core_0 "7.142857142857142".
- 1413816 cpu_core_0 "7.142857142857142".
- 1413853 cpu_core_0 "7.142857142857142".
- 1413991 cpu_core_0 "7.142857142857142".
- 1413997 cpu_core_0 "7.142857142857142".
- 1414092 cpu_core_0 "7.142857142857142".
- 1414192 cpu_core_0 "7.142857142857142".
- 1414483 cpu_core_0 "7.142857142857142".
- 1414717 cpu_core_0 "7.142857142857142".
- 1415169 cpu_core_0 "7.142857142857142".
- 1416421 cpu_core_0 "7.142857142857142".
- 1416581 cpu_core_0 "7.142857142857142".
- 1419470 cpu_core_0 "7.142857142857142".
- 1420872 cpu_core_0 "7.142857142857142".
- 1421931 cpu_core_0 "7.142857142857142".
- 1422225 cpu_core_0 "7.142857142857142".
- 1422477 cpu_core_0 "7.142857142857142".
- 1422841 cpu_core_0 "7.142857142857142".
- 1423256 cpu_core_0 "7.142857142857142".
- 1423633 cpu_core_0 "7.142857142857142".
- 1424061 cpu_core_0 "7.142857142857142".
- 1424899 cpu_core_0 "7.142857142857142".
- 1425651 cpu_core_0 "7.142857142857142".
- 1427055 cpu_core_0 "7.142857142857142".
- 1427909 cpu_core_0 "7.142857142857142".
- 1428537 cpu_core_0 "7.142857142857142".
- 1430003 cpu_core_0 "7.142857142857142".
- 1431806 cpu_core_0 "7.142857142857142".
- 1432653 cpu_core_0 "7.142857142857142".
- 1432720 cpu_core_0 "7.142857142857142".
- 1432751 cpu_core_0 "7.142857142857142".
- 1434595 cpu_core_0 "7.142857142857142".
- 1434709 cpu_core_0 "7.142857142857142".
- 1434762 cpu_core_0 "7.142857142857142".
- 1435208 cpu_core_0 "7.142857142857142".
- 1436922 cpu_core_0 "7.142857142857142".
- 1437859 cpu_core_0 "7.142857142857142".
- 1438405 cpu_core_0 "7.142857142857142".
- 1439856 cpu_core_0 "7.142857142857142".
- 1440365 cpu_core_0 "7.142857142857142".
- 1440993 cpu_core_0 "7.142857142857142".
- 1441213 cpu_core_0 "7.142857142857142".
- 1441296 cpu_core_0 "7.142857142857142".
- 1442607 cpu_core_0 "7.142857142857142".
- 1442612 cpu_core_0 "7.142857142857142".
- 1442690 cpu_core_0 "7.142857142857142".
- 1443039 cpu_core_0 "7.142857142857142".
- 1443175 cpu_core_0 "7.142857142857142".
- 1444632 cpu_core_0 "7.142857142857142".
- 1445450 cpu_core_0 "7.142857142857142".
- 1447493 cpu_core_0 "7.142857142857142".
- 1447734 cpu_core_0 "7.142857142857142".
- 1448660 cpu_core_0 "7.142857142857142".
- 1450447 cpu_core_0 "7.142857142857142".
- 1450720 cpu_core_0 "7.142857142857142".
- 1451928 cpu_core_0 "7.142857142857142".
- 1453907 cpu_core_0 "7.142857142857142".
- 1454460 cpu_core_0 "7.142857142857142".
- 1454845 cpu_core_0 "7.142857142857142".
- 1455415 cpu_core_0 "7.142857142857142".
- 1455479 cpu_core_0 "7.142857142857142".
- 1455703 cpu_core_0 "7.142857142857142".
- 1456347 cpu_core_0 "7.142857142857142".
- 1456902 cpu_core_0 "7.142857142857142".
- 1457576 cpu_core_0 "7.142857142857142".
- 1459504 cpu_core_0 "7.142857142857142".
- 1459888 cpu_core_0 "7.142857142857142".
- 1462589 cpu_core_0 "7.142857142857142".
- 1463093 cpu_core_0 "7.142857142857142".
- 1464477 cpu_core_0 "7.142857142857142".
- 1464575 cpu_core_0 "7.142857142857142".
- 1467424 cpu_core_0 "7.142857142857142".
- 1467648 cpu_core_0 "7.142857142857142".
- 1469337 cpu_core_0 "7.142857142857142".
- 1469703 cpu_core_0 "7.142857142857142".
- 1470648 cpu_core_0 "7.142857142857142".
- 1471364 cpu_core_0 "7.142857142857142".
- 1471531 cpu_core_0 "7.142857142857142".
- 1471880 cpu_core_0 "7.142857142857142".
- 1472319 cpu_core_0 "7.142857142857142".
- 1472762 cpu_core_0 "7.142857142857142".
- 1475860 cpu_core_0 "7.142857142857142".
- 1476180 cpu_core_0 "7.142857142857142".
- 1477429 cpu_core_0 "7.142857142857142".
- 1477532 cpu_core_0 "7.142857142857142".
- 1477864 cpu_core_0 "7.142857142857142".