Matches in ISWC2014 Benchmark for { ?s ?p 85.0. }
- 725993 cpu_core_0 "85.0".
- 726575 cpu_core_0 "85.0".
- 733590 cpu_core_0 "85.0".
- 739681 cpu_core_0 "85.0".
- 741334 cpu_core_0 "85.0".
- 743999 cpu_core_0 "85.0".
- 747146 cpu_core_0 "85.0".
- 752103 cpu_core_0 "85.0".
- 753952 cpu_core_0 "85.0".
- 754909 cpu_core_0 "85.0".
- 755102 cpu_core_0 "85.0".
- 755977 cpu_core_0 "85.0".
- 768479 cpu_core_0 "85.0".
- 770608 cpu_core_0 "85.0".
- 771977 cpu_core_0 "85.0".
- 772937 cpu_core_0 "85.0".
- 781054 cpu_core_0 "85.0".
- 782143 cpu_core_0 "85.0".
- 793834 cpu_core_0 "85.0".
- 795044 cpu_core_0 "85.0".
- 797259 cpu_core_0 "85.0".
- 800015 cpu_core_0 "85.0".
- 811858 cpu_core_0 "85.0".
- 832023 cpu_core_0 "85.0".
- 847690 cpu_core_0 "85.0".
- 850929 cpu_core_0 "85.0".
- 851459 cpu_core_0 "85.0".
- 859416 cpu_core_0 "85.0".
- 860098 cpu_core_0 "85.0".
- 862342 cpu_core_0 "85.0".
- 872853 cpu_core_0 "85.0".
- 879335 cpu_core_0 "85.0".
- 882774 cpu_core_0 "85.0".
- 884505 cpu_core_0 "85.0".
- 885306 cpu_core_0 "85.0".
- 892977 cpu_core_0 "85.0".
- 906401 cpu_core_0 "85.0".
- 908634 cpu_core_0 "85.0".
- 910847 cpu_core_0 "85.0".
- 927156 cpu_core_0 "85.0".
- 927234 cpu_core_0 "85.0".
- 928151 cpu_core_0 "85.0".
- 939550 cpu_core_0 "85.0".
- 947095 cpu_core_0 "85.0".
- 948054 cpu_core_0 "85.0".
- 969663 cpu_core_0 "85.0".
- 973777 cpu_core_0 "85.0".
- 979481 cpu_core_0 "85.0".
- 997537 cpu_core_0 "85.0".
- 1002369 cpu_core_1 "85.0".
- 1020885 cpu_core_1 "85.0".
- 1023753 cpu_core_1 "85.0".
- 1044156 cpu_core_1 "85.0".
- 1044285 cpu_core_1 "85.0".
- 1066963 cpu_core_1 "85.0".
- 1072756 cpu_core_1 "85.0".
- 1072911 cpu_core_1 "85.0".
- 1072926 cpu_core_1 "85.0".
- 1101818 cpu_core_1 "85.0".
- 1148687 cpu_core_1 "85.0".
- 1159954 cpu_core_1 "85.0".
- 1165993 cpu_core_1 "85.0".
- 1189411 cpu_core_1 "85.0".
- 1207357 cpu_core_1 "85.0".
- 1222520 cpu_core_1 "85.0".
- 1223153 cpu_core_1 "85.0".
- 1223229 cpu_core_1 "85.0".
- 1229452 cpu_core_1 "85.0".
- 1230885 cpu_core_1 "85.0".
- 1231159 cpu_core_1 "85.0".
- 1231426 cpu_core_1 "85.0".
- 1233577 cpu_core_1 "85.0".
- 1233651 cpu_core_1 "85.0".
- 1233889 cpu_core_1 "85.0".
- 1265230 cpu_core_1 "85.0".
- 1296457 cpu_core_1 "85.0".
- 1338504 cpu_core_1 "85.0".
- 1595597 cpu_core_1 "85.0".
- 1656205 cpu_core_1 "85.0".
- 1656355 cpu_core_1 "85.0".
- 1656400 cpu_core_1 "85.0".
- 1657101 cpu_core_1 "85.0".
- 1658311 cpu_core_1 "85.0".
- 1659847 cpu_core_1 "85.0".
- 1660509 cpu_core_1 "85.0".
- 1662040 cpu_core_1 "85.0".
- 1662232 cpu_core_1 "85.0".
- 1663001 cpu_core_1 "85.0".
- 1663888 cpu_core_1 "85.0".
- 1664175 cpu_core_1 "85.0".
- 1685306 cpu_core_1 "85.0".
- 1686270 cpu_core_1 "85.0".
- 1686365 cpu_core_1 "85.0".
- 1695930 cpu_core_1 "85.0".
- 1698281 cpu_core_1 "85.0".
- 1699174 cpu_core_1 "85.0".
- 1712870 cpu_core_1 "85.0".
- 1964918 cpu_core_1 "85.0".
- 1964988 cpu_core_1 "85.0".
- 1992517 cpu_core_1 "85.0".