Matches in ISWC2014 Benchmark for { ?s ?p 86.00000000000001. }
- 881176 cpu_core_0 "86.00000000000001".
- 883304 cpu_core_0 "86.00000000000001".
- 883311 cpu_core_0 "86.00000000000001".
- 883460 cpu_core_0 "86.00000000000001".
- 887143 cpu_core_0 "86.00000000000001".
- 887157 cpu_core_0 "86.00000000000001".
- 887667 cpu_core_0 "86.00000000000001".
- 888137 cpu_core_0 "86.00000000000001".
- 890019 cpu_core_0 "86.00000000000001".
- 891472 cpu_core_0 "86.00000000000001".
- 892381 cpu_core_0 "86.00000000000001".
- 892579 cpu_core_0 "86.00000000000001".
- 892841 cpu_core_0 "86.00000000000001".
- 894497 cpu_core_0 "86.00000000000001".
- 894761 cpu_core_0 "86.00000000000001".
- 895103 cpu_core_0 "86.00000000000001".
- 895856 cpu_core_0 "86.00000000000001".
- 897171 cpu_core_0 "86.00000000000001".
- 897759 cpu_core_0 "86.00000000000001".
- 897912 cpu_core_0 "86.00000000000001".
- 898169 cpu_core_0 "86.00000000000001".
- 898186 cpu_core_0 "86.00000000000001".
- 898583 cpu_core_0 "86.00000000000001".
- 898684 cpu_core_0 "86.00000000000001".
- 898800 cpu_core_0 "86.00000000000001".
- 905331 cpu_core_0 "86.00000000000001".
- 905342 cpu_core_0 "86.00000000000001".
- 905583 cpu_core_0 "86.00000000000001".
- 905904 cpu_core_0 "86.00000000000001".
- 906672 cpu_core_0 "86.00000000000001".
- 906695 cpu_core_0 "86.00000000000001".
- 906789 cpu_core_0 "86.00000000000001".
- 907015 cpu_core_0 "86.00000000000001".
- 907139 cpu_core_0 "86.00000000000001".
- 907513 cpu_core_0 "86.00000000000001".
- 907633 cpu_core_0 "86.00000000000001".
- 907756 cpu_core_0 "86.00000000000001".
- 907879 cpu_core_0 "86.00000000000001".
- 910254 cpu_core_0 "86.00000000000001".
- 910316 cpu_core_0 "86.00000000000001".
- 910320 cpu_core_0 "86.00000000000001".
- 910837 cpu_core_0 "86.00000000000001".
- 910839 cpu_core_0 "86.00000000000001".
- 910840 cpu_core_0 "86.00000000000001".
- 910962 cpu_core_0 "86.00000000000001".
- 910968 cpu_core_0 "86.00000000000001".
- 913729 cpu_core_0 "86.00000000000001".
- 915913 cpu_core_0 "86.00000000000001".
- 924216 cpu_core_0 "86.00000000000001".
- 925342 cpu_core_0 "86.00000000000001".
- 927737 cpu_core_0 "86.00000000000001".
- 935175 cpu_core_0 "86.00000000000001".
- 943159 cpu_core_0 "86.00000000000001".
- 945303 cpu_core_0 "86.00000000000001".
- 953989 cpu_core_0 "86.00000000000001".
- 965531 cpu_core_0 "86.00000000000001".
- 966556 cpu_core_0 "86.00000000000001".
- 968189 cpu_core_0 "86.00000000000001".
- 975791 cpu_core_0 "86.00000000000001".
- 978270 cpu_core_0 "86.00000000000001".
- 982558 cpu_core_0 "86.00000000000001".
- 984932 cpu_core_0 "86.00000000000001".
- 987840 cpu_core_0 "86.00000000000001".
- 987908 cpu_core_0 "86.00000000000001".
- 987913 cpu_core_0 "86.00000000000001".
- 987914 cpu_core_0 "86.00000000000001".
- 995471 cpu_core_0 "86.00000000000001".
- 995570 cpu_core_0 "86.00000000000001".
- 995614 cpu_core_0 "86.00000000000001".
- 996131 cpu_core_0 "86.00000000000001".
- 996261 cpu_core_0 "86.00000000000001".
- 997224 cpu_core_0 "86.00000000000001".
- 997263 cpu_core_0 "86.00000000000001".
- 997303 cpu_core_0 "86.00000000000001".
- 997333 cpu_core_0 "86.00000000000001".
- 997351 cpu_core_0 "86.00000000000001".
- 997507 cpu_core_0 "86.00000000000001".
- 997552 cpu_core_0 "86.00000000000001".
- 997694 cpu_core_0 "86.00000000000001".
- 997763 cpu_core_0 "86.00000000000001".
- 997854 cpu_core_0 "86.00000000000001".
- 998025 cpu_core_0 "86.00000000000001".
- 998369 cpu_core_0 "86.00000000000001".
- 998798 cpu_core_0 "86.00000000000001".
- 998908 cpu_core_0 "86.00000000000001".
- 998933 cpu_core_0 "86.00000000000001".
- 999142 cpu_core_0 "86.00000000000001".
- 999551 cpu_core_0 "86.00000000000001".
- 1030924 cpu_core_1 "86.00000000000001".
- 1095689 cpu_core_1 "86.00000000000001".
- 1666702 cpu_core_1 "86.00000000000001".
- 210291 cpu_core_1 "86.00000000000001".
- 211075 cpu_core_1 "86.00000000000001".
- 211305 cpu_core_1 "86.00000000000001".
- 212761 cpu_core_1 "86.00000000000001".
- 214113 cpu_core_1 "86.00000000000001".
- 214233 cpu_core_1 "86.00000000000001".
- 216280 cpu_core_1 "86.00000000000001".
- 217132 cpu_core_1 "86.00000000000001".
- 218272 cpu_core_1 "86.00000000000001".