Matches in ISWC2014 Benchmark for { ?s ?p 85.00000000000001. }
- 256302 cpu_core_0 "85.00000000000001".
- 266120 cpu_core_0 "85.00000000000001".
- 266173 cpu_core_0 "85.00000000000001".
- 266494 cpu_core_0 "85.00000000000001".
- 267487 cpu_core_0 "85.00000000000001".
- 268867 cpu_core_0 "85.00000000000001".
- 269449 cpu_core_0 "85.00000000000001".
- 269921 cpu_core_0 "85.00000000000001".
- 271789 cpu_core_0 "85.00000000000001".
- 271936 cpu_core_0 "85.00000000000001".
- 272010 cpu_core_0 "85.00000000000001".
- 272535 cpu_core_0 "85.00000000000001".
- 274240 cpu_core_0 "85.00000000000001".
- 274425 cpu_core_0 "85.00000000000001".
- 274778 cpu_core_0 "85.00000000000001".
- 275913 cpu_core_0 "85.00000000000001".
- 276218 cpu_core_0 "85.00000000000001".
- 276729 cpu_core_0 "85.00000000000001".
- 277157 cpu_core_0 "85.00000000000001".
- 277286 cpu_core_0 "85.00000000000001".
- 277611 cpu_core_0 "85.00000000000001".
- 277688 cpu_core_0 "85.00000000000001".
- 280180 cpu_core_0 "85.00000000000001".
- 280197 cpu_core_0 "85.00000000000001".
- 281021 cpu_core_0 "85.00000000000001".
- 282996 cpu_core_0 "85.00000000000001".
- 288576 cpu_core_0 "85.00000000000001".
- 292384 cpu_core_0 "85.00000000000001".
- 297795 cpu_core_0 "85.00000000000001".
- 299650 cpu_core_0 "85.00000000000001".
- 301435 cpu_core_0 "85.00000000000001".
- 301480 cpu_core_0 "85.00000000000001".
- 302897 cpu_core_0 "85.00000000000001".
- 305862 cpu_core_0 "85.00000000000001".
- 306084 cpu_core_0 "85.00000000000001".
- 316267 cpu_core_0 "85.00000000000001".
- 318126 cpu_core_0 "85.00000000000001".
- 318181 cpu_core_0 "85.00000000000001".
- 327701 cpu_core_0 "85.00000000000001".
- 331935 cpu_core_0 "85.00000000000001".
- 333638 cpu_core_0 "85.00000000000001".
- 340803 cpu_core_0 "85.00000000000001".
- 342507 cpu_core_0 "85.00000000000001".
- 347282 cpu_core_0 "85.00000000000001".
- 349829 cpu_core_0 "85.00000000000001".
- 350533 cpu_core_0 "85.00000000000001".
- 359175 cpu_core_0 "85.00000000000001".
- 364630 cpu_core_0 "85.00000000000001".
- 364729 cpu_core_0 "85.00000000000001".
- 364818 cpu_core_0 "85.00000000000001".
- 364820 cpu_core_0 "85.00000000000001".
- 365930 cpu_core_0 "85.00000000000001".
- 366048 cpu_core_0 "85.00000000000001".
- 366072 cpu_core_0 "85.00000000000001".
- 366171 cpu_core_0 "85.00000000000001".
- 366219 cpu_core_0 "85.00000000000001".
- 366781 cpu_core_0 "85.00000000000001".
- 366822 cpu_core_0 "85.00000000000001".
- 366926 cpu_core_0 "85.00000000000001".
- 367033 cpu_core_0 "85.00000000000001".
- 367846 cpu_core_0 "85.00000000000001".
- 367903 cpu_core_0 "85.00000000000001".
- 368276 cpu_core_0 "85.00000000000001".
- 368299 cpu_core_0 "85.00000000000001".
- 369040 cpu_core_0 "85.00000000000001".
- 369128 cpu_core_0 "85.00000000000001".
- 369132 cpu_core_0 "85.00000000000001".
- 369205 cpu_core_0 "85.00000000000001".
- 369318 cpu_core_0 "85.00000000000001".
- 369350 cpu_core_0 "85.00000000000001".
- 369630 cpu_core_0 "85.00000000000001".
- 369669 cpu_core_0 "85.00000000000001".
- 369728 cpu_core_0 "85.00000000000001".
- 369881 cpu_core_0 "85.00000000000001".
- 370169 cpu_core_0 "85.00000000000001".
- 370366 cpu_core_0 "85.00000000000001".
- 370396 cpu_core_0 "85.00000000000001".
- 370848 cpu_core_0 "85.00000000000001".
- 371035 cpu_core_0 "85.00000000000001".
- 371083 cpu_core_0 "85.00000000000001".
- 371617 cpu_core_0 "85.00000000000001".
- 371667 cpu_core_0 "85.00000000000001".
- 372198 cpu_core_0 "85.00000000000001".
- 372452 cpu_core_0 "85.00000000000001".
- 373510 cpu_core_0 "85.00000000000001".
- 373812 cpu_core_0 "85.00000000000001".
- 373951 cpu_core_0 "85.00000000000001".
- 374093 cpu_core_0 "85.00000000000001".
- 374302 cpu_core_0 "85.00000000000001".
- 374389 cpu_core_0 "85.00000000000001".
- 374443 cpu_core_0 "85.00000000000001".
- 375631 cpu_core_0 "85.00000000000001".
- 375642 cpu_core_0 "85.00000000000001".
- 375746 cpu_core_0 "85.00000000000001".
- 375996 cpu_core_0 "85.00000000000001".
- 376675 cpu_core_0 "85.00000000000001".
- 377113 cpu_core_0 "85.00000000000001".
- 377174 cpu_core_0 "85.00000000000001".
- 378155 cpu_core_0 "85.00000000000001".
- 378261 cpu_core_0 "85.00000000000001".