Matches in ISWC2014 Benchmark for { ?s ?p 86.00000000000001. }
- 1000059 cpu_core_0 "86.00000000000001".
- 1000505 cpu_core_0 "86.00000000000001".
- 1001580 cpu_core_0 "86.00000000000001".
- 1001674 cpu_core_0 "86.00000000000001".
- 1001709 cpu_core_0 "86.00000000000001".
- 1002049 cpu_core_0 "86.00000000000001".
- 1002136 cpu_core_0 "86.00000000000001".
- 1002217 cpu_core_0 "86.00000000000001".
- 1002543 cpu_core_0 "86.00000000000001".
- 1002548 cpu_core_0 "86.00000000000001".
- 1002752 cpu_core_0 "86.00000000000001".
- 1002971 cpu_core_0 "86.00000000000001".
- 1003198 cpu_core_0 "86.00000000000001".
- 1003307 cpu_core_0 "86.00000000000001".
- 1003349 cpu_core_0 "86.00000000000001".
- 1003397 cpu_core_0 "86.00000000000001".
- 1003419 cpu_core_0 "86.00000000000001".
- 1003553 cpu_core_0 "86.00000000000001".
- 1003977 cpu_core_0 "86.00000000000001".
- 1004445 cpu_core_0 "86.00000000000001".
- 1004586 cpu_core_0 "86.00000000000001".
- 1005038 cpu_core_0 "86.00000000000001".
- 1005168 cpu_core_0 "86.00000000000001".
- 1005217 cpu_core_0 "86.00000000000001".
- 1005429 cpu_core_0 "86.00000000000001".
- 1005728 cpu_core_0 "86.00000000000001".
- 1006047 cpu_core_0 "86.00000000000001".
- 1006086 cpu_core_0 "86.00000000000001".
- 1006151 cpu_core_0 "86.00000000000001".
- 1006424 cpu_core_0 "86.00000000000001".
- 1006910 cpu_core_0 "86.00000000000001".
- 1007034 cpu_core_0 "86.00000000000001".
- 1007332 cpu_core_0 "86.00000000000001".
- 1007604 cpu_core_0 "86.00000000000001".
- 1008358 cpu_core_0 "86.00000000000001".
- 1008885 cpu_core_0 "86.00000000000001".
- 1014264 cpu_core_0 "86.00000000000001".
- 1014501 cpu_core_0 "86.00000000000001".
- 1014625 cpu_core_0 "86.00000000000001".
- 1014645 cpu_core_0 "86.00000000000001".
- 1014708 cpu_core_0 "86.00000000000001".
- 1014875 cpu_core_0 "86.00000000000001".
- 1676782 cpu_core_0 "86.00000000000001".
- 1696588 cpu_core_0 "86.00000000000001".
- 210880 cpu_core_0 "86.00000000000001".
- 211462 cpu_core_0 "86.00000000000001".
- 211934 cpu_core_0 "86.00000000000001".
- 212218 cpu_core_0 "86.00000000000001".
- 212282 cpu_core_0 "86.00000000000001".
- 212734 cpu_core_0 "86.00000000000001".
- 213135 cpu_core_0 "86.00000000000001".
- 213236 cpu_core_0 "86.00000000000001".
- 213626 cpu_core_0 "86.00000000000001".
- 214291 cpu_core_0 "86.00000000000001".
- 215126 cpu_core_0 "86.00000000000001".
- 217946 cpu_core_0 "86.00000000000001".
- 225419 cpu_core_0 "86.00000000000001".
- 225920 cpu_core_0 "86.00000000000001".
- 226471 cpu_core_0 "86.00000000000001".
- 227439 cpu_core_0 "86.00000000000001".
- 228966 cpu_core_0 "86.00000000000001".
- 229559 cpu_core_0 "86.00000000000001".
- 230733 cpu_core_0 "86.00000000000001".
- 231968 cpu_core_0 "86.00000000000001".
- 232227 cpu_core_0 "86.00000000000001".
- 241216 cpu_core_0 "86.00000000000001".
- 243500 cpu_core_0 "86.00000000000001".
- 249322 cpu_core_0 "86.00000000000001".
- 249967 cpu_core_0 "86.00000000000001".
- 250031 cpu_core_0 "86.00000000000001".
- 250255 cpu_core_0 "86.00000000000001".
- 250854 cpu_core_0 "86.00000000000001".
- 251364 cpu_core_0 "86.00000000000001".
- 251813 cpu_core_0 "86.00000000000001".
- 251915 cpu_core_0 "86.00000000000001".
- 253270 cpu_core_0 "86.00000000000001".
- 263156 cpu_core_0 "86.00000000000001".
- 268243 cpu_core_0 "86.00000000000001".
- 269085 cpu_core_0 "86.00000000000001".
- 269927 cpu_core_0 "86.00000000000001".
- 270126 cpu_core_0 "86.00000000000001".
- 272017 cpu_core_0 "86.00000000000001".
- 272523 cpu_core_0 "86.00000000000001".
- 274665 cpu_core_0 "86.00000000000001".
- 277983 cpu_core_0 "86.00000000000001".
- 282675 cpu_core_0 "86.00000000000001".
- 283374 cpu_core_0 "86.00000000000001".
- 283880 cpu_core_0 "86.00000000000001".
- 284708 cpu_core_0 "86.00000000000001".
- 289361 cpu_core_0 "86.00000000000001".
- 296721 cpu_core_0 "86.00000000000001".
- 299792 cpu_core_0 "86.00000000000001".
- 299803 cpu_core_0 "86.00000000000001".
- 299945 cpu_core_0 "86.00000000000001".
- 299995 cpu_core_0 "86.00000000000001".
- 306530 cpu_core_0 "86.00000000000001".
- 309480 cpu_core_0 "86.00000000000001".
- 312122 cpu_core_0 "86.00000000000001".
- 312954 cpu_core_0 "86.00000000000001".
- 314739 cpu_core_0 "86.00000000000001".