Matches in ISWC2014 Benchmark for { ?s ?p 86.00000000000001. }
- 315759 cpu_core_0 "86.00000000000001".
- 318055 cpu_core_0 "86.00000000000001".
- 325796 cpu_core_0 "86.00000000000001".
- 326855 cpu_core_0 "86.00000000000001".
- 340244 cpu_core_0 "86.00000000000001".
- 345366 cpu_core_0 "86.00000000000001".
- 346998 cpu_core_0 "86.00000000000001".
- 348737 cpu_core_0 "86.00000000000001".
- 356076 cpu_core_0 "86.00000000000001".
- 358083 cpu_core_0 "86.00000000000001".
- 364689 cpu_core_0 "86.00000000000001".
- 365365 cpu_core_0 "86.00000000000001".
- 365530 cpu_core_0 "86.00000000000001".
- 365549 cpu_core_0 "86.00000000000001".
- 366224 cpu_core_0 "86.00000000000001".
- 366297 cpu_core_0 "86.00000000000001".
- 366352 cpu_core_0 "86.00000000000001".
- 366719 cpu_core_0 "86.00000000000001".
- 366737 cpu_core_0 "86.00000000000001".
- 368152 cpu_core_0 "86.00000000000001".
- 368302 cpu_core_0 "86.00000000000001".
- 368377 cpu_core_0 "86.00000000000001".
- 369259 cpu_core_0 "86.00000000000001".
- 369507 cpu_core_0 "86.00000000000001".
- 369687 cpu_core_0 "86.00000000000001".
- 369714 cpu_core_0 "86.00000000000001".
- 369860 cpu_core_0 "86.00000000000001".
- 370311 cpu_core_0 "86.00000000000001".
- 370351 cpu_core_0 "86.00000000000001".
- 370398 cpu_core_0 "86.00000000000001".
- 370548 cpu_core_0 "86.00000000000001".
- 370647 cpu_core_0 "86.00000000000001".
- 370745 cpu_core_0 "86.00000000000001".
- 371075 cpu_core_0 "86.00000000000001".
- 371256 cpu_core_0 "86.00000000000001".
- 371308 cpu_core_0 "86.00000000000001".
- 371361 cpu_core_0 "86.00000000000001".
- 371394 cpu_core_0 "86.00000000000001".
- 371446 cpu_core_0 "86.00000000000001".
- 371472 cpu_core_0 "86.00000000000001".
- 371928 cpu_core_0 "86.00000000000001".
- 371949 cpu_core_0 "86.00000000000001".
- 372287 cpu_core_0 "86.00000000000001".
- 372398 cpu_core_0 "86.00000000000001".
- 372744 cpu_core_0 "86.00000000000001".
- 373115 cpu_core_0 "86.00000000000001".
- 373137 cpu_core_0 "86.00000000000001".
- 373296 cpu_core_0 "86.00000000000001".
- 373514 cpu_core_0 "86.00000000000001".
- 373688 cpu_core_0 "86.00000000000001".
- 373991 cpu_core_0 "86.00000000000001".
- 374070 cpu_core_0 "86.00000000000001".
- 374381 cpu_core_0 "86.00000000000001".
- 374493 cpu_core_0 "86.00000000000001".
- 374676 cpu_core_0 "86.00000000000001".
- 374738 cpu_core_0 "86.00000000000001".
- 374742 cpu_core_0 "86.00000000000001".
- 374836 cpu_core_0 "86.00000000000001".
- 375108 cpu_core_0 "86.00000000000001".
- 375235 cpu_core_0 "86.00000000000001".
- 375487 cpu_core_0 "86.00000000000001".
- 375732 cpu_core_0 "86.00000000000001".
- 376016 cpu_core_0 "86.00000000000001".
- 376269 cpu_core_0 "86.00000000000001".
- 376469 cpu_core_0 "86.00000000000001".
- 376633 cpu_core_0 "86.00000000000001".
- 376922 cpu_core_0 "86.00000000000001".
- 377103 cpu_core_0 "86.00000000000001".
- 377367 cpu_core_0 "86.00000000000001".
- 378058 cpu_core_0 "86.00000000000001".
- 378085 cpu_core_0 "86.00000000000001".
- 378181 cpu_core_0 "86.00000000000001".
- 378189 cpu_core_0 "86.00000000000001".
- 378632 cpu_core_0 "86.00000000000001".
- 379663 cpu_core_0 "86.00000000000001".
- 379731 cpu_core_0 "86.00000000000001".
- 379817 cpu_core_0 "86.00000000000001".
- 380020 cpu_core_0 "86.00000000000001".
- 380678 cpu_core_0 "86.00000000000001".
- 380808 cpu_core_0 "86.00000000000001".
- 380872 cpu_core_0 "86.00000000000001".
- 380897 cpu_core_0 "86.00000000000001".
- 381751 cpu_core_0 "86.00000000000001".
- 381843 cpu_core_0 "86.00000000000001".
- 382125 cpu_core_0 "86.00000000000001".
- 383252 cpu_core_0 "86.00000000000001".
- 383343 cpu_core_0 "86.00000000000001".
- 383477 cpu_core_0 "86.00000000000001".
- 383595 cpu_core_0 "86.00000000000001".
- 383719 cpu_core_0 "86.00000000000001".
- 384003 cpu_core_0 "86.00000000000001".
- 384075 cpu_core_0 "86.00000000000001".
- 384078 cpu_core_0 "86.00000000000001".
- 384316 cpu_core_0 "86.00000000000001".
- 384340 cpu_core_0 "86.00000000000001".
- 384954 cpu_core_0 "86.00000000000001".
- 385525 cpu_core_0 "86.00000000000001".
- 386544 cpu_core_0 "86.00000000000001".
- 386558 cpu_core_0 "86.00000000000001".
- 386924 cpu_core_0 "86.00000000000001".