Matches in ISWC2014 Benchmark for { ?s ?p 57.00000000000001. }
- 1385528 cpu_core_0 "57.00000000000001".
- 1395188 cpu_core_0 "57.00000000000001".
- 1395211 cpu_core_0 "57.00000000000001".
- 1395217 cpu_core_0 "57.00000000000001".
- 1401799 cpu_core_0 "57.00000000000001".
- 1404776 cpu_core_0 "57.00000000000001".
- 1421282 cpu_core_0 "57.00000000000001".
- 1428897 cpu_core_0 "57.00000000000001".
- 1429772 cpu_core_0 "57.00000000000001".
- 1431343 cpu_core_0 "57.00000000000001".
- 1439703 cpu_core_0 "57.00000000000001".
- 1445383 cpu_core_0 "57.00000000000001".
- 1497933 cpu_core_0 "57.00000000000001".
- 1509737 cpu_core_0 "57.00000000000001".
- 1542280 cpu_core_0 "57.00000000000001".
- 1554471 cpu_core_0 "57.00000000000001".
- 1563895 cpu_core_0 "57.00000000000001".
- 1578702 cpu_core_0 "57.00000000000001".
- 1582808 cpu_core_0 "57.00000000000001".
- 1583485 cpu_core_0 "57.00000000000001".
- 1595246 cpu_core_0 "57.00000000000001".
- 1595409 cpu_core_0 "57.00000000000001".
- 1598791 cpu_core_0 "57.00000000000001".
- 1655046 cpu_core_0 "57.00000000000001".
- 1655056 cpu_core_0 "57.00000000000001".
- 1655711 cpu_core_0 "57.00000000000001".
- 1656135 cpu_core_0 "57.00000000000001".
- 1656483 cpu_core_0 "57.00000000000001".
- 1656647 cpu_core_0 "57.00000000000001".
- 1656689 cpu_core_0 "57.00000000000001".
- 1656702 cpu_core_0 "57.00000000000001".
- 1656771 cpu_core_0 "57.00000000000001".
- 1656797 cpu_core_0 "57.00000000000001".
- 1656829 cpu_core_0 "57.00000000000001".
- 1657055 cpu_core_0 "57.00000000000001".
- 1657291 cpu_core_0 "57.00000000000001".
- 1657585 cpu_core_0 "57.00000000000001".
- 1657614 cpu_core_0 "57.00000000000001".
- 1657624 cpu_core_0 "57.00000000000001".
- 1657704 cpu_core_0 "57.00000000000001".
- 1658108 cpu_core_0 "57.00000000000001".
- 1658130 cpu_core_0 "57.00000000000001".
- 1658406 cpu_core_0 "57.00000000000001".
- 1658559 cpu_core_0 "57.00000000000001".
- 1658796 cpu_core_0 "57.00000000000001".
- 1658811 cpu_core_0 "57.00000000000001".
- 1658957 cpu_core_0 "57.00000000000001".
- 1659191 cpu_core_0 "57.00000000000001".
- 1659227 cpu_core_0 "57.00000000000001".
- 1659347 cpu_core_0 "57.00000000000001".
- 1659367 cpu_core_0 "57.00000000000001".
- 1659606 cpu_core_0 "57.00000000000001".
- 1659619 cpu_core_0 "57.00000000000001".
- 1660202 cpu_core_0 "57.00000000000001".
- 1660327 cpu_core_0 "57.00000000000001".
- 1660411 cpu_core_0 "57.00000000000001".
- 1660932 cpu_core_0 "57.00000000000001".
- 1660970 cpu_core_0 "57.00000000000001".
- 1661282 cpu_core_0 "57.00000000000001".
- 1661284 cpu_core_0 "57.00000000000001".
- 1661416 cpu_core_0 "57.00000000000001".
- 1661738 cpu_core_0 "57.00000000000001".
- 1661776 cpu_core_0 "57.00000000000001".
- 1661834 cpu_core_0 "57.00000000000001".
- 1661920 cpu_core_0 "57.00000000000001".
- 1662090 cpu_core_0 "57.00000000000001".
- 1662404 cpu_core_0 "57.00000000000001".
- 1662719 cpu_core_0 "57.00000000000001".
- 1662720 cpu_core_0 "57.00000000000001".
- 1662740 cpu_core_0 "57.00000000000001".
- 1662820 cpu_core_0 "57.00000000000001".
- 1663090 cpu_core_0 "57.00000000000001".
- 1663333 cpu_core_0 "57.00000000000001".
- 1663563 cpu_core_0 "57.00000000000001".
- 1664466 cpu_core_0 "57.00000000000001".
- 1664549 cpu_core_0 "57.00000000000001".
- 1664554 cpu_core_0 "57.00000000000001".
- 1664585 cpu_core_0 "57.00000000000001".
- 1664598 cpu_core_0 "57.00000000000001".
- 1664625 cpu_core_0 "57.00000000000001".
- 1664830 cpu_core_0 "57.00000000000001".
- 1665436 cpu_core_0 "57.00000000000001".
- 1665907 cpu_core_0 "57.00000000000001".
- 1665992 cpu_core_0 "57.00000000000001".
- 1665993 cpu_core_0 "57.00000000000001".
- 1666007 cpu_core_0 "57.00000000000001".
- 1666109 cpu_core_0 "57.00000000000001".
- 1666118 cpu_core_0 "57.00000000000001".
- 1666245 cpu_core_0 "57.00000000000001".
- 1666288 cpu_core_0 "57.00000000000001".
- 1666404 cpu_core_0 "57.00000000000001".
- 1666461 cpu_core_0 "57.00000000000001".
- 1666581 cpu_core_0 "57.00000000000001".
- 1666605 cpu_core_0 "57.00000000000001".
- 1666968 cpu_core_0 "57.00000000000001".
- 1667081 cpu_core_0 "57.00000000000001".
- 1667136 cpu_core_0 "57.00000000000001".
- 1667251 cpu_core_0 "57.00000000000001".
- 1667469 cpu_core_0 "57.00000000000001".
- 1667510 cpu_core_0 "57.00000000000001".