Matches in ISWC2014 Benchmark for { ?s ?p 86.00000000000001. }
- 691645 cpu_core_0 "86.00000000000001".
- 691847 cpu_core_0 "86.00000000000001".
- 691949 cpu_core_0 "86.00000000000001".
- 692238 cpu_core_0 "86.00000000000001".
- 693131 cpu_core_0 "86.00000000000001".
- 693493 cpu_core_0 "86.00000000000001".
- 693503 cpu_core_0 "86.00000000000001".
- 694210 cpu_core_0 "86.00000000000001".
- 694305 cpu_core_0 "86.00000000000001".
- 694710 cpu_core_0 "86.00000000000001".
- 694818 cpu_core_0 "86.00000000000001".
- 694842 cpu_core_0 "86.00000000000001".
- 694901 cpu_core_0 "86.00000000000001".
- 695109 cpu_core_0 "86.00000000000001".
- 695167 cpu_core_0 "86.00000000000001".
- 695539 cpu_core_0 "86.00000000000001".
- 695605 cpu_core_0 "86.00000000000001".
- 695623 cpu_core_0 "86.00000000000001".
- 700586 cpu_core_0 "86.00000000000001".
- 701051 cpu_core_0 "86.00000000000001".
- 719962 cpu_core_0 "86.00000000000001".
- 726766 cpu_core_0 "86.00000000000001".
- 733425 cpu_core_0 "86.00000000000001".
- 735763 cpu_core_0 "86.00000000000001".
- 748215 cpu_core_0 "86.00000000000001".
- 752135 cpu_core_0 "86.00000000000001".
- 762401 cpu_core_0 "86.00000000000001".
- 782798 cpu_core_0 "86.00000000000001".
- 786209 cpu_core_0 "86.00000000000001".
- 794366 cpu_core_0 "86.00000000000001".
- 794423 cpu_core_0 "86.00000000000001".
- 794671 cpu_core_0 "86.00000000000001".
- 794949 cpu_core_0 "86.00000000000001".
- 794963 cpu_core_0 "86.00000000000001".
- 794983 cpu_core_0 "86.00000000000001".
- 797396 cpu_core_0 "86.00000000000001".
- 797836 cpu_core_0 "86.00000000000001".
- 798386 cpu_core_0 "86.00000000000001".
- 798540 cpu_core_0 "86.00000000000001".
- 798624 cpu_core_0 "86.00000000000001".
- 799038 cpu_core_0 "86.00000000000001".
- 799217 cpu_core_0 "86.00000000000001".
- 800815 cpu_core_0 "86.00000000000001".
- 801243 cpu_core_0 "86.00000000000001".
- 801304 cpu_core_0 "86.00000000000001".
- 801572 cpu_core_0 "86.00000000000001".
- 801732 cpu_core_0 "86.00000000000001".
- 801959 cpu_core_0 "86.00000000000001".
- 802089 cpu_core_0 "86.00000000000001".
- 803496 cpu_core_0 "86.00000000000001".
- 803612 cpu_core_0 "86.00000000000001".
- 803775 cpu_core_0 "86.00000000000001".
- 805834 cpu_core_0 "86.00000000000001".
- 806221 cpu_core_0 "86.00000000000001".
- 806327 cpu_core_0 "86.00000000000001".
- 806443 cpu_core_0 "86.00000000000001".
- 807118 cpu_core_0 "86.00000000000001".
- 807857 cpu_core_0 "86.00000000000001".
- 808715 cpu_core_0 "86.00000000000001".
- 808844 cpu_core_0 "86.00000000000001".
- 809191 cpu_core_0 "86.00000000000001".
- 809258 cpu_core_0 "86.00000000000001".
- 810911 cpu_core_0 "86.00000000000001".
- 811872 cpu_core_0 "86.00000000000001".
- 812943 cpu_core_0 "86.00000000000001".
- 813161 cpu_core_0 "86.00000000000001".
- 813921 cpu_core_0 "86.00000000000001".
- 814060 cpu_core_0 "86.00000000000001".
- 814734 cpu_core_0 "86.00000000000001".
- 814940 cpu_core_0 "86.00000000000001".
- 815556 cpu_core_0 "86.00000000000001".
- 815945 cpu_core_0 "86.00000000000001".
- 816028 cpu_core_0 "86.00000000000001".
- 816672 cpu_core_0 "86.00000000000001".
- 817050 cpu_core_0 "86.00000000000001".
- 817170 cpu_core_0 "86.00000000000001".
- 817197 cpu_core_0 "86.00000000000001".
- 817317 cpu_core_0 "86.00000000000001".
- 818025 cpu_core_0 "86.00000000000001".
- 818067 cpu_core_0 "86.00000000000001".
- 819125 cpu_core_0 "86.00000000000001".
- 820058 cpu_core_0 "86.00000000000001".
- 820085 cpu_core_0 "86.00000000000001".
- 820239 cpu_core_0 "86.00000000000001".
- 820737 cpu_core_0 "86.00000000000001".
- 821110 cpu_core_0 "86.00000000000001".
- 821604 cpu_core_0 "86.00000000000001".
- 821659 cpu_core_0 "86.00000000000001".
- 822571 cpu_core_0 "86.00000000000001".
- 824020 cpu_core_0 "86.00000000000001".
- 824065 cpu_core_0 "86.00000000000001".
- 824254 cpu_core_0 "86.00000000000001".
- 826516 cpu_core_0 "86.00000000000001".
- 827913 cpu_core_0 "86.00000000000001".
- 828106 cpu_core_0 "86.00000000000001".
- 828113 cpu_core_0 "86.00000000000001".
- 828653 cpu_core_0 "86.00000000000001".
- 828868 cpu_core_0 "86.00000000000001".
- 829171 cpu_core_0 "86.00000000000001".
- 829210 cpu_core_0 "86.00000000000001".