Matches in ISWC2014 Benchmark for { ?s ?p 14.285714285714285. }
- 1524513 cpu_core_0 "14.285714285714285".
- 1525382 cpu_core_0 "14.285714285714285".
- 1525596 cpu_core_0 "14.285714285714285".
- 1526952 cpu_core_0 "14.285714285714285".
- 1530467 cpu_core_0 "14.285714285714285".
- 1530482 cpu_core_0 "14.285714285714285".
- 1531181 cpu_core_0 "14.285714285714285".
- 1531998 cpu_core_0 "14.285714285714285".
- 1532390 cpu_core_0 "14.285714285714285".
- 1532574 cpu_core_0 "14.285714285714285".
- 1532764 cpu_core_0 "14.285714285714285".
- 1532933 cpu_core_0 "14.285714285714285".
- 1533284 cpu_core_0 "14.285714285714285".
- 1536271 cpu_core_0 "14.285714285714285".
- 1537038 cpu_core_0 "14.285714285714285".
- 1538436 cpu_core_0 "14.285714285714285".
- 1538519 cpu_core_0 "14.285714285714285".
- 1538670 cpu_core_0 "14.285714285714285".
- 1539411 cpu_core_0 "14.285714285714285".
- 1539978 cpu_core_0 "14.285714285714285".
- 1543215 cpu_core_0 "14.285714285714285".
- 1543514 cpu_core_0 "14.285714285714285".
- 1543529 cpu_core_0 "14.285714285714285".
- 1543734 cpu_core_0 "14.285714285714285".
- 1543845 cpu_core_0 "14.285714285714285".
- 1543877 cpu_core_0 "14.285714285714285".
- 1544643 cpu_core_0 "14.285714285714285".
- 1546741 cpu_core_0 "14.285714285714285".
- 1551669 cpu_core_0 "14.285714285714285".
- 1551755 cpu_core_0 "14.285714285714285".
- 1551918 cpu_core_0 "14.285714285714285".
- 1551978 cpu_core_0 "14.285714285714285".
- 1552095 cpu_core_0 "14.285714285714285".
- 1552228 cpu_core_0 "14.285714285714285".
- 1552864 cpu_core_0 "14.285714285714285".
- 1554486 cpu_core_0 "14.285714285714285".
- 1555495 cpu_core_0 "14.285714285714285".
- 1555557 cpu_core_0 "14.285714285714285".
- 1556921 cpu_core_0 "14.285714285714285".
- 1558643 cpu_core_0 "14.285714285714285".
- 1558808 cpu_core_0 "14.285714285714285".
- 1558933 cpu_core_0 "14.285714285714285".
- 1559131 cpu_core_0 "14.285714285714285".
- 1559723 cpu_core_0 "14.285714285714285".
- 1560576 cpu_core_0 "14.285714285714285".
- 1560602 cpu_core_0 "14.285714285714285".
- 1561264 cpu_core_0 "14.285714285714285".
- 1561519 cpu_core_0 "14.285714285714285".
- 1561573 cpu_core_0 "14.285714285714285".
- 1562407 cpu_core_0 "14.285714285714285".
- 1562917 cpu_core_0 "14.285714285714285".
- 1562968 cpu_core_0 "14.285714285714285".
- 1563315 cpu_core_0 "14.285714285714285".
- 1563564 cpu_core_0 "14.285714285714285".
- 1565238 cpu_core_0 "14.285714285714285".
- 1565947 cpu_core_0 "14.285714285714285".
- 1566181 cpu_core_0 "14.285714285714285".
- 1566191 cpu_core_0 "14.285714285714285".
- 1567035 cpu_core_0 "14.285714285714285".
- 1567332 cpu_core_0 "14.285714285714285".
- 1567560 cpu_core_0 "14.285714285714285".
- 1567666 cpu_core_0 "14.285714285714285".
- 1567877 cpu_core_0 "14.285714285714285".
- 1568944 cpu_core_0 "14.285714285714285".
- 1571957 cpu_core_0 "14.285714285714285".
- 1572955 cpu_core_0 "14.285714285714285".
- 1573033 cpu_core_0 "14.285714285714285".
- 1574095 cpu_core_0 "14.285714285714285".
- 1574346 cpu_core_0 "14.285714285714285".
- 1575761 cpu_core_0 "14.285714285714285".
- 1575843 cpu_core_0 "14.285714285714285".
- 1576098 cpu_core_0 "14.285714285714285".
- 1577322 cpu_core_0 "14.285714285714285".
- 1577893 cpu_core_0 "14.285714285714285".
- 1578065 cpu_core_0 "14.285714285714285".
- 1578544 cpu_core_0 "14.285714285714285".
- 1578802 cpu_core_0 "14.285714285714285".
- 1579282 cpu_core_0 "14.285714285714285".
- 1580012 cpu_core_0 "14.285714285714285".
- 1580097 cpu_core_0 "14.285714285714285".
- 1580422 cpu_core_0 "14.285714285714285".
- 1580919 cpu_core_0 "14.285714285714285".
- 1581186 cpu_core_0 "14.285714285714285".
- 1582147 cpu_core_0 "14.285714285714285".
- 1582252 cpu_core_0 "14.285714285714285".
- 1583090 cpu_core_0 "14.285714285714285".
- 1583488 cpu_core_0 "14.285714285714285".
- 1584559 cpu_core_0 "14.285714285714285".
- 1584666 cpu_core_0 "14.285714285714285".
- 1585649 cpu_core_0 "14.285714285714285".
- 1586373 cpu_core_0 "14.285714285714285".
- 1586755 cpu_core_0 "14.285714285714285".
- 1587196 cpu_core_0 "14.285714285714285".
- 1588610 cpu_core_0 "14.285714285714285".
- 1589189 cpu_core_0 "14.285714285714285".
- 1590799 cpu_core_0 "14.285714285714285".
- 1591005 cpu_core_0 "14.285714285714285".
- 1593324 cpu_core_0 "14.285714285714285".
- 1593947 cpu_core_0 "14.285714285714285".
- 1593958 cpu_core_0 "14.285714285714285".