Matches in ISWC2014 Benchmark for { ?s ?p 71.00000000000001. }
- 968907 cpu_core_0 "71.00000000000001".
- 969078 cpu_core_0 "71.00000000000001".
- 969814 cpu_core_0 "71.00000000000001".
- 972015 cpu_core_0 "71.00000000000001".
- 973602 cpu_core_0 "71.00000000000001".
- 974834 cpu_core_0 "71.00000000000001".
- 975655 cpu_core_0 "71.00000000000001".
- 976530 cpu_core_0 "71.00000000000001".
- 976535 cpu_core_0 "71.00000000000001".
- 976839 cpu_core_0 "71.00000000000001".
- 977368 cpu_core_0 "71.00000000000001".
- 978141 cpu_core_0 "71.00000000000001".
- 978710 cpu_core_0 "71.00000000000001".
- 978745 cpu_core_0 "71.00000000000001".
- 980908 cpu_core_0 "71.00000000000001".
- 981190 cpu_core_0 "71.00000000000001".
- 983033 cpu_core_0 "71.00000000000001".
- 983412 cpu_core_0 "71.00000000000001".
- 984058 cpu_core_0 "71.00000000000001".
- 984953 cpu_core_0 "71.00000000000001".
- 985252 cpu_core_0 "71.00000000000001".
- 986670 cpu_core_0 "71.00000000000001".
- 986908 cpu_core_0 "71.00000000000001".
- 989471 cpu_core_0 "71.00000000000001".
- 995479 cpu_core_0 "71.00000000000001".
- 995503 cpu_core_0 "71.00000000000001".
- 995706 cpu_core_0 "71.00000000000001".
- 995789 cpu_core_0 "71.00000000000001".
- 996330 cpu_core_0 "71.00000000000001".
- 996527 cpu_core_0 "71.00000000000001".
- 997625 cpu_core_0 "71.00000000000001".
- 997823 cpu_core_0 "71.00000000000001".
- 997900 cpu_core_0 "71.00000000000001".
- 998285 cpu_core_0 "71.00000000000001".
- 999746 cpu_core_0 "71.00000000000001".
- 999753 cpu_core_0 "71.00000000000001".
- 1020675 cpu_core_1 "71.00000000000001".
- 1084053 cpu_core_1 "71.00000000000001".
- 1201342 cpu_core_1 "71.00000000000001".
- 1220388 cpu_core_1 "71.00000000000001".
- 1220399 cpu_core_1 "71.00000000000001".
- 1220401 cpu_core_1 "71.00000000000001".
- 1220713 cpu_core_1 "71.00000000000001".
- 1221410 cpu_core_1 "71.00000000000001".
- 1221436 cpu_core_1 "71.00000000000001".
- 1221990 cpu_core_1 "71.00000000000001".
- 1224320 cpu_core_1 "71.00000000000001".
- 1226349 cpu_core_1 "71.00000000000001".
- 1226362 cpu_core_1 "71.00000000000001".
- 1226364 cpu_core_1 "71.00000000000001".
- 1226378 cpu_core_1 "71.00000000000001".
- 1226379 cpu_core_1 "71.00000000000001".
- 1226970 cpu_core_1 "71.00000000000001".
- 1227867 cpu_core_1 "71.00000000000001".
- 1228591 cpu_core_1 "71.00000000000001".
- 1229890 cpu_core_1 "71.00000000000001".
- 1232161 cpu_core_1 "71.00000000000001".
- 1232180 cpu_core_1 "71.00000000000001".
- 1233795 cpu_core_1 "71.00000000000001".
- 1234129 cpu_core_1 "71.00000000000001".
- 1296504 cpu_core_1 "71.00000000000001".
- 1654673 cpu_core_1 "71.00000000000001".
- 1655916 cpu_core_1 "71.00000000000001".
- 1656594 cpu_core_1 "71.00000000000001".
- 1657860 cpu_core_1 "71.00000000000001".
- 1657867 cpu_core_1 "71.00000000000001".
- 1660081 cpu_core_1 "71.00000000000001".
- 1660848 cpu_core_1 "71.00000000000001".
- 1662588 cpu_core_1 "71.00000000000001".
- 1665106 cpu_core_1 "71.00000000000001".
- 1665119 cpu_core_1 "71.00000000000001".
- 1667465 cpu_core_1 "71.00000000000001".
- 1667758 cpu_core_1 "71.00000000000001".
- 1668126 cpu_core_1 "71.00000000000001".
- 1675315 cpu_core_1 "71.00000000000001".
- 1678053 cpu_core_1 "71.00000000000001".
- 1678173 cpu_core_1 "71.00000000000001".
- 1678200 cpu_core_1 "71.00000000000001".
- 1678216 cpu_core_1 "71.00000000000001".
- 1678421 cpu_core_1 "71.00000000000001".
- 1681764 cpu_core_1 "71.00000000000001".
- 1689034 cpu_core_1 "71.00000000000001".
- 1689452 cpu_core_1 "71.00000000000001".
- 1691856 cpu_core_1 "71.00000000000001".
- 1691959 cpu_core_1 "71.00000000000001".
- 1692705 cpu_core_1 "71.00000000000001".
- 1700854 cpu_core_1 "71.00000000000001".
- 1702539 cpu_core_1 "71.00000000000001".
- 1704897 cpu_core_1 "71.00000000000001".
- 1705225 cpu_core_1 "71.00000000000001".
- 1705529 cpu_core_1 "71.00000000000001".
- 1712296 cpu_core_1 "71.00000000000001".
- 212822 cpu_core_1 "71.00000000000001".
- 212999 cpu_core_1 "71.00000000000001".
- 214179 cpu_core_1 "71.00000000000001".
- 215906 cpu_core_1 "71.00000000000001".
- 227790 cpu_core_1 "71.00000000000001".
- 230980 cpu_core_1 "71.00000000000001".
- 232086 cpu_core_1 "71.00000000000001".
- 241630 cpu_core_1 "71.00000000000001".