Matches in ISWC2014 Benchmark for { ?s ?p 55.00000000000001. }
- 1682294 cpu_core_0 "55.00000000000001".
- 1682412 cpu_core_0 "55.00000000000001".
- 1682475 cpu_core_0 "55.00000000000001".
- 1682489 cpu_core_0 "55.00000000000001".
- 1682528 cpu_core_0 "55.00000000000001".
- 1682561 cpu_core_0 "55.00000000000001".
- 1682606 cpu_core_0 "55.00000000000001".
- 1682614 cpu_core_0 "55.00000000000001".
- 1682844 cpu_core_0 "55.00000000000001".
- 1682966 cpu_core_0 "55.00000000000001".
- 1682977 cpu_core_0 "55.00000000000001".
- 1682979 cpu_core_0 "55.00000000000001".
- 1682996 cpu_core_0 "55.00000000000001".
- 1683051 cpu_core_0 "55.00000000000001".
- 1683082 cpu_core_0 "55.00000000000001".
- 1683124 cpu_core_0 "55.00000000000001".
- 1683182 cpu_core_0 "55.00000000000001".
- 1683202 cpu_core_0 "55.00000000000001".
- 1683214 cpu_core_0 "55.00000000000001".
- 1684335 cpu_core_0 "55.00000000000001".
- 1684676 cpu_core_0 "55.00000000000001".
- 1684748 cpu_core_0 "55.00000000000001".
- 1685073 cpu_core_0 "55.00000000000001".
- 1685493 cpu_core_0 "55.00000000000001".
- 1685583 cpu_core_0 "55.00000000000001".
- 1685651 cpu_core_0 "55.00000000000001".
- 1685671 cpu_core_0 "55.00000000000001".
- 1685682 cpu_core_0 "55.00000000000001".
- 1685706 cpu_core_0 "55.00000000000001".
- 1685816 cpu_core_0 "55.00000000000001".
- 1685840 cpu_core_0 "55.00000000000001".
- 1685940 cpu_core_0 "55.00000000000001".
- 1685948 cpu_core_0 "55.00000000000001".
- 1686031 cpu_core_0 "55.00000000000001".
- 1686220 cpu_core_0 "55.00000000000001".
- 1686225 cpu_core_0 "55.00000000000001".
- 1686299 cpu_core_0 "55.00000000000001".
- 1686306 cpu_core_0 "55.00000000000001".
- 1686338 cpu_core_0 "55.00000000000001".
- 1686370 cpu_core_0 "55.00000000000001".
- 1686371 cpu_core_0 "55.00000000000001".
- 1686383 cpu_core_0 "55.00000000000001".
- 1686413 cpu_core_0 "55.00000000000001".
- 1686421 cpu_core_0 "55.00000000000001".
- 1686434 cpu_core_0 "55.00000000000001".
- 1686444 cpu_core_0 "55.00000000000001".
- 1686458 cpu_core_0 "55.00000000000001".
- 1686459 cpu_core_0 "55.00000000000001".
- 1686461 cpu_core_0 "55.00000000000001".
- 1686522 cpu_core_0 "55.00000000000001".
- 1686840 cpu_core_0 "55.00000000000001".
- 1686857 cpu_core_0 "55.00000000000001".
- 1686864 cpu_core_0 "55.00000000000001".
- 1687144 cpu_core_0 "55.00000000000001".
- 1687382 cpu_core_0 "55.00000000000001".
- 1687439 cpu_core_0 "55.00000000000001".
- 1687460 cpu_core_0 "55.00000000000001".
- 1687491 cpu_core_0 "55.00000000000001".
- 1687499 cpu_core_0 "55.00000000000001".
- 1687535 cpu_core_0 "55.00000000000001".
- 1687589 cpu_core_0 "55.00000000000001".
- 1687609 cpu_core_0 "55.00000000000001".
- 1687633 cpu_core_0 "55.00000000000001".
- 1687637 cpu_core_0 "55.00000000000001".
- 1687753 cpu_core_0 "55.00000000000001".
- 1687770 cpu_core_0 "55.00000000000001".
- 1687802 cpu_core_0 "55.00000000000001".
- 1687879 cpu_core_0 "55.00000000000001".
- 1688145 cpu_core_0 "55.00000000000001".
- 1688181 cpu_core_0 "55.00000000000001".
- 1688214 cpu_core_0 "55.00000000000001".
- 1688230 cpu_core_0 "55.00000000000001".
- 1688383 cpu_core_0 "55.00000000000001".
- 1688425 cpu_core_0 "55.00000000000001".
- 1688494 cpu_core_0 "55.00000000000001".
- 1688502 cpu_core_0 "55.00000000000001".
- 1688519 cpu_core_0 "55.00000000000001".
- 1688588 cpu_core_0 "55.00000000000001".
- 1688601 cpu_core_0 "55.00000000000001".
- 1688635 cpu_core_0 "55.00000000000001".
- 1688681 cpu_core_0 "55.00000000000001".
- 1688710 cpu_core_0 "55.00000000000001".
- 1688713 cpu_core_0 "55.00000000000001".
- 1688714 cpu_core_0 "55.00000000000001".
- 1688717 cpu_core_0 "55.00000000000001".
- 1688728 cpu_core_0 "55.00000000000001".
- 1688788 cpu_core_0 "55.00000000000001".
- 1688857 cpu_core_0 "55.00000000000001".
- 1688886 cpu_core_0 "55.00000000000001".
- 1688919 cpu_core_0 "55.00000000000001".
- 1688933 cpu_core_0 "55.00000000000001".
- 1688949 cpu_core_0 "55.00000000000001".
- 1689334 cpu_core_0 "55.00000000000001".
- 1689447 cpu_core_0 "55.00000000000001".
- 1689559 cpu_core_0 "55.00000000000001".
- 1689719 cpu_core_0 "55.00000000000001".
- 1689735 cpu_core_0 "55.00000000000001".
- 1689749 cpu_core_0 "55.00000000000001".
- 1689839 cpu_core_0 "55.00000000000001".
- 1689905 cpu_core_0 "55.00000000000001".