Matches in ISWC2014 Benchmark for { ?s ?p 84.00000000000001. }
- 898568 cpu_core_0 "84.00000000000001".
- 906007 cpu_core_0 "84.00000000000001".
- 906385 cpu_core_0 "84.00000000000001".
- 907223 cpu_core_0 "84.00000000000001".
- 907943 cpu_core_0 "84.00000000000001".
- 908021 cpu_core_0 "84.00000000000001".
- 908068 cpu_core_0 "84.00000000000001".
- 910244 cpu_core_0 "84.00000000000001".
- 915028 cpu_core_0 "84.00000000000001".
- 917306 cpu_core_0 "84.00000000000001".
- 917835 cpu_core_0 "84.00000000000001".
- 918052 cpu_core_0 "84.00000000000001".
- 918055 cpu_core_0 "84.00000000000001".
- 920452 cpu_core_0 "84.00000000000001".
- 920479 cpu_core_0 "84.00000000000001".
- 925435 cpu_core_0 "84.00000000000001".
- 928093 cpu_core_0 "84.00000000000001".
- 932582 cpu_core_0 "84.00000000000001".
- 935314 cpu_core_0 "84.00000000000001".
- 936484 cpu_core_0 "84.00000000000001".
- 938335 cpu_core_0 "84.00000000000001".
- 939789 cpu_core_0 "84.00000000000001".
- 940089 cpu_core_0 "84.00000000000001".
- 941794 cpu_core_0 "84.00000000000001".
- 943682 cpu_core_0 "84.00000000000001".
- 947721 cpu_core_0 "84.00000000000001".
- 949762 cpu_core_0 "84.00000000000001".
- 950631 cpu_core_0 "84.00000000000001".
- 954579 cpu_core_0 "84.00000000000001".
- 956386 cpu_core_0 "84.00000000000001".
- 958844 cpu_core_0 "84.00000000000001".
- 961296 cpu_core_0 "84.00000000000001".
- 963733 cpu_core_0 "84.00000000000001".
- 966545 cpu_core_0 "84.00000000000001".
- 966620 cpu_core_0 "84.00000000000001".
- 969681 cpu_core_0 "84.00000000000001".
- 973513 cpu_core_0 "84.00000000000001".
- 978558 cpu_core_0 "84.00000000000001".
- 979039 cpu_core_0 "84.00000000000001".
- 986941 cpu_core_0 "84.00000000000001".
- 987879 cpu_core_0 "84.00000000000001".
- 987896 cpu_core_0 "84.00000000000001".
- 988058 cpu_core_0 "84.00000000000001".
- 995963 cpu_core_0 "84.00000000000001".
- 996290 cpu_core_0 "84.00000000000001".
- 996325 cpu_core_0 "84.00000000000001".
- 996762 cpu_core_0 "84.00000000000001".
- 996963 cpu_core_0 "84.00000000000001".
- 997221 cpu_core_0 "84.00000000000001".
- 997567 cpu_core_0 "84.00000000000001".
- 997885 cpu_core_0 "84.00000000000001".
- 997907 cpu_core_0 "84.00000000000001".
- 998065 cpu_core_0 "84.00000000000001".
- 998352 cpu_core_0 "84.00000000000001".
- 998636 cpu_core_0 "84.00000000000001".
- 998814 cpu_core_0 "84.00000000000001".
- 998916 cpu_core_0 "84.00000000000001".
- 998986 cpu_core_0 "84.00000000000001".
- 999153 cpu_core_0 "84.00000000000001".
- 999342 cpu_core_0 "84.00000000000001".
- 999523 cpu_core_0 "84.00000000000001".
- 999546 cpu_core_0 "84.00000000000001".
- 999642 cpu_core_0 "84.00000000000001".
- 999865 cpu_core_0 "84.00000000000001".
- 1026845 cpu_core_1 "84.00000000000001".
- 1166013 cpu_core_1 "84.00000000000001".
- 1338292 cpu_core_1 "84.00000000000001".
- 1508586 cpu_core_1 "84.00000000000001".
- 1695589 cpu_core_1 "84.00000000000001".
- 2072715 cpu_core_1 "84.00000000000001".
- 2072772 cpu_core_1 "84.00000000000001".
- 210280 cpu_core_1 "84.00000000000001".
- 211081 cpu_core_1 "84.00000000000001".
- 211146 cpu_core_1 "84.00000000000001".
- 211197 cpu_core_1 "84.00000000000001".
- 211834 cpu_core_1 "84.00000000000001".
- 212205 cpu_core_1 "84.00000000000001".
- 213893 cpu_core_1 "84.00000000000001".
- 214005 cpu_core_1 "84.00000000000001".
- 214497 cpu_core_1 "84.00000000000001".
- 214585 cpu_core_1 "84.00000000000001".
- 215386 cpu_core_1 "84.00000000000001".
- 215397 cpu_core_1 "84.00000000000001".
- 216155 cpu_core_1 "84.00000000000001".
- 216303 cpu_core_1 "84.00000000000001".
- 217504 cpu_core_1 "84.00000000000001".
- 217708 cpu_core_1 "84.00000000000001".
- 217713 cpu_core_1 "84.00000000000001".
- 217977 cpu_core_1 "84.00000000000001".
- 224996 cpu_core_1 "84.00000000000001".
- 225873 cpu_core_1 "84.00000000000001".
- 227167 cpu_core_1 "84.00000000000001".
- 227556 cpu_core_1 "84.00000000000001".
- 231944 cpu_core_1 "84.00000000000001".
- 232652 cpu_core_1 "84.00000000000001".
- 241650 cpu_core_1 "84.00000000000001".
- 242354 cpu_core_1 "84.00000000000001".
- 245625 cpu_core_1 "84.00000000000001".
- 246556 cpu_core_1 "84.00000000000001".
- 247418 cpu_core_1 "84.00000000000001".