Matches in ISWC2014 Benchmark for { ?s ?p 14.285714285714285. }
- 1452392 cpu_core_0 "14.285714285714285".
- 1452647 cpu_core_0 "14.285714285714285".
- 1452862 cpu_core_0 "14.285714285714285".
- 1453377 cpu_core_0 "14.285714285714285".
- 1453552 cpu_core_0 "14.285714285714285".
- 1454418 cpu_core_0 "14.285714285714285".
- 1454871 cpu_core_0 "14.285714285714285".
- 1454901 cpu_core_0 "14.285714285714285".
- 1454940 cpu_core_0 "14.285714285714285".
- 1455178 cpu_core_0 "14.285714285714285".
- 1457608 cpu_core_0 "14.285714285714285".
- 1458069 cpu_core_0 "14.285714285714285".
- 1459175 cpu_core_0 "14.285714285714285".
- 1460046 cpu_core_0 "14.285714285714285".
- 1460419 cpu_core_0 "14.285714285714285".
- 1461065 cpu_core_0 "14.285714285714285".
- 1461528 cpu_core_0 "14.285714285714285".
- 1461985 cpu_core_0 "14.285714285714285".
- 1463558 cpu_core_0 "14.285714285714285".
- 1464483 cpu_core_0 "14.285714285714285".
- 1466731 cpu_core_0 "14.285714285714285".
- 1467992 cpu_core_0 "14.285714285714285".
- 1468010 cpu_core_0 "14.285714285714285".
- 1468019 cpu_core_0 "14.285714285714285".
- 1468468 cpu_core_0 "14.285714285714285".
- 1468646 cpu_core_0 "14.285714285714285".
- 1470533 cpu_core_0 "14.285714285714285".
- 1472768 cpu_core_0 "14.285714285714285".
- 1473169 cpu_core_0 "14.285714285714285".
- 1473532 cpu_core_0 "14.285714285714285".
- 1473564 cpu_core_0 "14.285714285714285".
- 1474064 cpu_core_0 "14.285714285714285".
- 1474160 cpu_core_0 "14.285714285714285".
- 1474241 cpu_core_0 "14.285714285714285".
- 1474278 cpu_core_0 "14.285714285714285".
- 1474336 cpu_core_0 "14.285714285714285".
- 1474482 cpu_core_0 "14.285714285714285".
- 1474487 cpu_core_0 "14.285714285714285".
- 1474645 cpu_core_0 "14.285714285714285".
- 1475449 cpu_core_0 "14.285714285714285".
- 1475506 cpu_core_0 "14.285714285714285".
- 1475552 cpu_core_0 "14.285714285714285".
- 1475868 cpu_core_0 "14.285714285714285".
- 1476898 cpu_core_0 "14.285714285714285".
- 1477375 cpu_core_0 "14.285714285714285".
- 1478636 cpu_core_0 "14.285714285714285".
- 1480874 cpu_core_0 "14.285714285714285".
- 1481298 cpu_core_0 "14.285714285714285".
- 1481882 cpu_core_0 "14.285714285714285".
- 1482444 cpu_core_0 "14.285714285714285".
- 1485026 cpu_core_0 "14.285714285714285".
- 1485136 cpu_core_0 "14.285714285714285".
- 1488401 cpu_core_0 "14.285714285714285".
- 1488499 cpu_core_0 "14.285714285714285".
- 1489866 cpu_core_0 "14.285714285714285".
- 1490217 cpu_core_0 "14.285714285714285".
- 1490307 cpu_core_0 "14.285714285714285".
- 1491397 cpu_core_0 "14.285714285714285".
- 1491759 cpu_core_0 "14.285714285714285".
- 1493626 cpu_core_0 "14.285714285714285".
- 1494024 cpu_core_0 "14.285714285714285".
- 1494765 cpu_core_0 "14.285714285714285".
- 1495469 cpu_core_0 "14.285714285714285".
- 1497191 cpu_core_0 "14.285714285714285".
- 1498858 cpu_core_0 "14.285714285714285".
- 1501889 cpu_core_0 "14.285714285714285".
- 1502209 cpu_core_0 "14.285714285714285".
- 1502612 cpu_core_0 "14.285714285714285".
- 1503134 cpu_core_0 "14.285714285714285".
- 1503369 cpu_core_0 "14.285714285714285".
- 1503659 cpu_core_0 "14.285714285714285".
- 1504002 cpu_core_0 "14.285714285714285".
- 1504497 cpu_core_0 "14.285714285714285".
- 1504538 cpu_core_0 "14.285714285714285".
- 1505607 cpu_core_0 "14.285714285714285".
- 1507066 cpu_core_0 "14.285714285714285".
- 1508665 cpu_core_0 "14.285714285714285".
- 1509469 cpu_core_0 "14.285714285714285".
- 1510135 cpu_core_0 "14.285714285714285".
- 1510492 cpu_core_0 "14.285714285714285".
- 1510823 cpu_core_0 "14.285714285714285".
- 1511069 cpu_core_0 "14.285714285714285".
- 1511309 cpu_core_0 "14.285714285714285".
- 1512437 cpu_core_0 "14.285714285714285".
- 1514782 cpu_core_0 "14.285714285714285".
- 1515285 cpu_core_0 "14.285714285714285".
- 1515501 cpu_core_0 "14.285714285714285".
- 1515885 cpu_core_0 "14.285714285714285".
- 1516239 cpu_core_0 "14.285714285714285".
- 1516248 cpu_core_0 "14.285714285714285".
- 1516502 cpu_core_0 "14.285714285714285".
- 1517046 cpu_core_0 "14.285714285714285".
- 1517143 cpu_core_0 "14.285714285714285".
- 1518646 cpu_core_0 "14.285714285714285".
- 1519197 cpu_core_0 "14.285714285714285".
- 1519451 cpu_core_0 "14.285714285714285".
- 1522020 cpu_core_0 "14.285714285714285".
- 1522038 cpu_core_0 "14.285714285714285".
- 1522674 cpu_core_0 "14.285714285714285".
- 1522934 cpu_core_0 "14.285714285714285".