Matches in ISWC2014 Benchmark for { ?s ?p 61.00000000000001. }
- 1000535 cpu_core_0 "61.00000000000001".
- 1001746 cpu_core_0 "61.00000000000001".
- 1003447 cpu_core_0 "61.00000000000001".
- 1009492 cpu_core_0 "61.00000000000001".
- 1010824 cpu_core_0 "61.00000000000001".
- 1015547 cpu_core_0 "61.00000000000001".
- 1020727 cpu_core_0 "61.00000000000001".
- 1054875 cpu_core_0 "61.00000000000001".
- 1055726 cpu_core_0 "61.00000000000001".
- 1055876 cpu_core_0 "61.00000000000001".
- 1072691 cpu_core_0 "61.00000000000001".
- 1078573 cpu_core_0 "61.00000000000001".
- 1095765 cpu_core_0 "61.00000000000001".
- 1125052 cpu_core_0 "61.00000000000001".
- 1132610 cpu_core_0 "61.00000000000001".
- 1171997 cpu_core_0 "61.00000000000001".
- 1172948 cpu_core_0 "61.00000000000001".
- 1183382 cpu_core_0 "61.00000000000001".
- 1200743 cpu_core_0 "61.00000000000001".
- 1220989 cpu_core_0 "61.00000000000001".
- 1221024 cpu_core_0 "61.00000000000001".
- 1221040 cpu_core_0 "61.00000000000001".
- 1221592 cpu_core_0 "61.00000000000001".
- 1222103 cpu_core_0 "61.00000000000001".
- 1222342 cpu_core_0 "61.00000000000001".
- 1223077 cpu_core_0 "61.00000000000001".
- 1225784 cpu_core_0 "61.00000000000001".
- 1226276 cpu_core_0 "61.00000000000001".
- 1226443 cpu_core_0 "61.00000000000001".
- 1227024 cpu_core_0 "61.00000000000001".
- 1227258 cpu_core_0 "61.00000000000001".
- 1228884 cpu_core_0 "61.00000000000001".
- 1229080 cpu_core_0 "61.00000000000001".
- 1229766 cpu_core_0 "61.00000000000001".
- 1231111 cpu_core_0 "61.00000000000001".
- 1231765 cpu_core_0 "61.00000000000001".
- 1232728 cpu_core_0 "61.00000000000001".
- 1232911 cpu_core_0 "61.00000000000001".
- 1233650 cpu_core_0 "61.00000000000001".
- 1233701 cpu_core_0 "61.00000000000001".
- 1234273 cpu_core_0 "61.00000000000001".
- 1234307 cpu_core_0 "61.00000000000001".
- 1253742 cpu_core_0 "61.00000000000001".
- 1256512 cpu_core_0 "61.00000000000001".
- 1285206 cpu_core_0 "61.00000000000001".
- 1309892 cpu_core_0 "61.00000000000001".
- 1338188 cpu_core_0 "61.00000000000001".
- 1385650 cpu_core_0 "61.00000000000001".
- 1431217 cpu_core_0 "61.00000000000001".
- 1444427 cpu_core_0 "61.00000000000001".
- 1455464 cpu_core_0 "61.00000000000001".
- 1534202 cpu_core_0 "61.00000000000001".
- 1623269 cpu_core_0 "61.00000000000001".
- 1658001 cpu_core_0 "61.00000000000001".
- 1658553 cpu_core_0 "61.00000000000001".
- 1659080 cpu_core_0 "61.00000000000001".
- 1659087 cpu_core_0 "61.00000000000001".
- 1659503 cpu_core_0 "61.00000000000001".
- 1659504 cpu_core_0 "61.00000000000001".
- 1659585 cpu_core_0 "61.00000000000001".
- 1660226 cpu_core_0 "61.00000000000001".
- 1661329 cpu_core_0 "61.00000000000001".
- 1665128 cpu_core_0 "61.00000000000001".
- 1665287 cpu_core_0 "61.00000000000001".
- 1667712 cpu_core_0 "61.00000000000001".
- 1675589 cpu_core_0 "61.00000000000001".
- 1675614 cpu_core_0 "61.00000000000001".
- 1677147 cpu_core_0 "61.00000000000001".
- 1678455 cpu_core_0 "61.00000000000001".
- 1681900 cpu_core_0 "61.00000000000001".
- 1682356 cpu_core_0 "61.00000000000001".
- 1682719 cpu_core_0 "61.00000000000001".
- 1684324 cpu_core_0 "61.00000000000001".
- 1685111 cpu_core_0 "61.00000000000001".
- 1685717 cpu_core_0 "61.00000000000001".
- 1687274 cpu_core_0 "61.00000000000001".
- 1688996 cpu_core_0 "61.00000000000001".
- 1689322 cpu_core_0 "61.00000000000001".
- 1691697 cpu_core_0 "61.00000000000001".
- 1692378 cpu_core_0 "61.00000000000001".
- 1692382 cpu_core_0 "61.00000000000001".
- 1692678 cpu_core_0 "61.00000000000001".
- 1693146 cpu_core_0 "61.00000000000001".
- 1697054 cpu_core_0 "61.00000000000001".
- 1697104 cpu_core_0 "61.00000000000001".
- 1697107 cpu_core_0 "61.00000000000001".
- 1697376 cpu_core_0 "61.00000000000001".
- 1698207 cpu_core_0 "61.00000000000001".
- 1698385 cpu_core_0 "61.00000000000001".
- 1699145 cpu_core_0 "61.00000000000001".
- 1699932 cpu_core_0 "61.00000000000001".
- 1704139 cpu_core_0 "61.00000000000001".
- 1704877 cpu_core_0 "61.00000000000001".
- 1706335 cpu_core_0 "61.00000000000001".
- 1709580 cpu_core_0 "61.00000000000001".
- 1710582 cpu_core_0 "61.00000000000001".
- 1721475 cpu_core_0 "61.00000000000001".
- 1779351 cpu_core_0 "61.00000000000001".
- 2065572 cpu_core_0 "61.00000000000001".
- 215508 cpu_core_0 "61.00000000000001".