Matches in ISWC2014 Benchmark for { ?s ?p 14.285714285714285. }
- 1407737 cpu_core_0 "14.285714285714285".
- 1407784 cpu_core_0 "14.285714285714285".
- 1407844 cpu_core_0 "14.285714285714285".
- 1408193 cpu_core_0 "14.285714285714285".
- 1408220 cpu_core_0 "14.285714285714285".
- 1408241 cpu_core_0 "14.285714285714285".
- 1408357 cpu_core_0 "14.285714285714285".
- 1408360 cpu_core_0 "14.285714285714285".
- 1408475 cpu_core_0 "14.285714285714285".
- 1408708 cpu_core_0 "14.285714285714285".
- 1408768 cpu_core_0 "14.285714285714285".
- 1408770 cpu_core_0 "14.285714285714285".
- 1409034 cpu_core_0 "14.285714285714285".
- 1409130 cpu_core_0 "14.285714285714285".
- 1409132 cpu_core_0 "14.285714285714285".
- 1409137 cpu_core_0 "14.285714285714285".
- 1409198 cpu_core_0 "14.285714285714285".
- 1409390 cpu_core_0 "14.285714285714285".
- 1409483 cpu_core_0 "14.285714285714285".
- 1409770 cpu_core_0 "14.285714285714285".
- 1409918 cpu_core_0 "14.285714285714285".
- 1409992 cpu_core_0 "14.285714285714285".
- 1410060 cpu_core_0 "14.285714285714285".
- 1410700 cpu_core_0 "14.285714285714285".
- 1411309 cpu_core_0 "14.285714285714285".
- 1411428 cpu_core_0 "14.285714285714285".
- 1411429 cpu_core_0 "14.285714285714285".
- 1411441 cpu_core_0 "14.285714285714285".
- 1411451 cpu_core_0 "14.285714285714285".
- 1411728 cpu_core_0 "14.285714285714285".
- 1411929 cpu_core_0 "14.285714285714285".
- 1412382 cpu_core_0 "14.285714285714285".
- 1412624 cpu_core_0 "14.285714285714285".
- 1412667 cpu_core_0 "14.285714285714285".
- 1412761 cpu_core_0 "14.285714285714285".
- 1413579 cpu_core_0 "14.285714285714285".
- 1413653 cpu_core_0 "14.285714285714285".
- 1413773 cpu_core_0 "14.285714285714285".
- 1413897 cpu_core_0 "14.285714285714285".
- 1413937 cpu_core_0 "14.285714285714285".
- 1415116 cpu_core_0 "14.285714285714285".
- 1415751 cpu_core_0 "14.285714285714285".
- 1416487 cpu_core_0 "14.285714285714285".
- 1416788 cpu_core_0 "14.285714285714285".
- 1417318 cpu_core_0 "14.285714285714285".
- 1417415 cpu_core_0 "14.285714285714285".
- 1417891 cpu_core_0 "14.285714285714285".
- 1418019 cpu_core_0 "14.285714285714285".
- 1418709 cpu_core_0 "14.285714285714285".
- 1419094 cpu_core_0 "14.285714285714285".
- 1420150 cpu_core_0 "14.285714285714285".
- 1420152 cpu_core_0 "14.285714285714285".
- 1420494 cpu_core_0 "14.285714285714285".
- 1421063 cpu_core_0 "14.285714285714285".
- 1421747 cpu_core_0 "14.285714285714285".
- 1421760 cpu_core_0 "14.285714285714285".
- 1422282 cpu_core_0 "14.285714285714285".
- 1422294 cpu_core_0 "14.285714285714285".
- 1422725 cpu_core_0 "14.285714285714285".
- 1423066 cpu_core_0 "14.285714285714285".
- 1423212 cpu_core_0 "14.285714285714285".
- 1424750 cpu_core_0 "14.285714285714285".
- 1424855 cpu_core_0 "14.285714285714285".
- 1425255 cpu_core_0 "14.285714285714285".
- 1425991 cpu_core_0 "14.285714285714285".
- 1426860 cpu_core_0 "14.285714285714285".
- 1427317 cpu_core_0 "14.285714285714285".
- 1427695 cpu_core_0 "14.285714285714285".
- 1428825 cpu_core_0 "14.285714285714285".
- 1432087 cpu_core_0 "14.285714285714285".
- 1432515 cpu_core_0 "14.285714285714285".
- 1432783 cpu_core_0 "14.285714285714285".
- 1432793 cpu_core_0 "14.285714285714285".
- 1433242 cpu_core_0 "14.285714285714285".
- 1433272 cpu_core_0 "14.285714285714285".
- 1435020 cpu_core_0 "14.285714285714285".
- 1436654 cpu_core_0 "14.285714285714285".
- 1437269 cpu_core_0 "14.285714285714285".
- 1437970 cpu_core_0 "14.285714285714285".
- 1438190 cpu_core_0 "14.285714285714285".
- 1438461 cpu_core_0 "14.285714285714285".
- 1438798 cpu_core_0 "14.285714285714285".
- 1439188 cpu_core_0 "14.285714285714285".
- 1440043 cpu_core_0 "14.285714285714285".
- 1440480 cpu_core_0 "14.285714285714285".
- 1440591 cpu_core_0 "14.285714285714285".
- 1440757 cpu_core_0 "14.285714285714285".
- 1440920 cpu_core_0 "14.285714285714285".
- 1443367 cpu_core_0 "14.285714285714285".
- 1443372 cpu_core_0 "14.285714285714285".
- 1443802 cpu_core_0 "14.285714285714285".
- 1444910 cpu_core_0 "14.285714285714285".
- 1445231 cpu_core_0 "14.285714285714285".
- 1446436 cpu_core_0 "14.285714285714285".
- 1447836 cpu_core_0 "14.285714285714285".
- 1448753 cpu_core_0 "14.285714285714285".
- 1450390 cpu_core_0 "14.285714285714285".
- 1450842 cpu_core_0 "14.285714285714285".
- 1451193 cpu_core_0 "14.285714285714285".
- 1451437 cpu_core_0 "14.285714285714285".