Matches in ISWC2014 Benchmark for { ?s ?p 85.00000000000001. }
- 1000063 cpu_core_0 "85.00000000000001".
- 1000284 cpu_core_0 "85.00000000000001".
- 1000463 cpu_core_0 "85.00000000000001".
- 1000801 cpu_core_0 "85.00000000000001".
- 1000949 cpu_core_0 "85.00000000000001".
- 1001534 cpu_core_0 "85.00000000000001".
- 1001576 cpu_core_0 "85.00000000000001".
- 1001994 cpu_core_0 "85.00000000000001".
- 1001996 cpu_core_0 "85.00000000000001".
- 1002438 cpu_core_0 "85.00000000000001".
- 1002455 cpu_core_0 "85.00000000000001".
- 1002636 cpu_core_0 "85.00000000000001".
- 1002912 cpu_core_0 "85.00000000000001".
- 1003106 cpu_core_0 "85.00000000000001".
- 1003320 cpu_core_0 "85.00000000000001".
- 1004499 cpu_core_0 "85.00000000000001".
- 1004861 cpu_core_0 "85.00000000000001".
- 1004867 cpu_core_0 "85.00000000000001".
- 1004894 cpu_core_0 "85.00000000000001".
- 1004905 cpu_core_0 "85.00000000000001".
- 1005056 cpu_core_0 "85.00000000000001".
- 1005134 cpu_core_0 "85.00000000000001".
- 1005388 cpu_core_0 "85.00000000000001".
- 1005569 cpu_core_0 "85.00000000000001".
- 1006535 cpu_core_0 "85.00000000000001".
- 1006611 cpu_core_0 "85.00000000000001".
- 1007073 cpu_core_0 "85.00000000000001".
- 1007289 cpu_core_0 "85.00000000000001".
- 1007500 cpu_core_0 "85.00000000000001".
- 1007712 cpu_core_0 "85.00000000000001".
- 1007768 cpu_core_0 "85.00000000000001".
- 1008009 cpu_core_0 "85.00000000000001".
- 1008659 cpu_core_0 "85.00000000000001".
- 1008983 cpu_core_0 "85.00000000000001".
- 1009062 cpu_core_0 "85.00000000000001".
- 1013783 cpu_core_0 "85.00000000000001".
- 1013915 cpu_core_0 "85.00000000000001".
- 1014031 cpu_core_0 "85.00000000000001".
- 1014032 cpu_core_0 "85.00000000000001".
- 1014074 cpu_core_0 "85.00000000000001".
- 1014276 cpu_core_0 "85.00000000000001".
- 1014465 cpu_core_0 "85.00000000000001".
- 1015143 cpu_core_0 "85.00000000000001".
- 1223073 cpu_core_0 "85.00000000000001".
- 1659511 cpu_core_0 "85.00000000000001".
- 1675743 cpu_core_0 "85.00000000000001".
- 1691082 cpu_core_0 "85.00000000000001".
- 211064 cpu_core_0 "85.00000000000001".
- 211078 cpu_core_0 "85.00000000000001".
- 212666 cpu_core_0 "85.00000000000001".
- 213274 cpu_core_0 "85.00000000000001".
- 213630 cpu_core_0 "85.00000000000001".
- 213759 cpu_core_0 "85.00000000000001".
- 214464 cpu_core_0 "85.00000000000001".
- 215000 cpu_core_0 "85.00000000000001".
- 216447 cpu_core_0 "85.00000000000001".
- 216640 cpu_core_0 "85.00000000000001".
- 217373 cpu_core_0 "85.00000000000001".
- 221189 cpu_core_0 "85.00000000000001".
- 223593 cpu_core_0 "85.00000000000001".
- 223839 cpu_core_0 "85.00000000000001".
- 225775 cpu_core_0 "85.00000000000001".
- 226164 cpu_core_0 "85.00000000000001".
- 227477 cpu_core_0 "85.00000000000001".
- 227817 cpu_core_0 "85.00000000000001".
- 230280 cpu_core_0 "85.00000000000001".
- 230377 cpu_core_0 "85.00000000000001".
- 230739 cpu_core_0 "85.00000000000001".
- 231476 cpu_core_0 "85.00000000000001".
- 231782 cpu_core_0 "85.00000000000001".
- 232040 cpu_core_0 "85.00000000000001".
- 243127 cpu_core_0 "85.00000000000001".
- 243202 cpu_core_0 "85.00000000000001".
- 244798 cpu_core_0 "85.00000000000001".
- 245158 cpu_core_0 "85.00000000000001".
- 246527 cpu_core_0 "85.00000000000001".
- 246636 cpu_core_0 "85.00000000000001".
- 246907 cpu_core_0 "85.00000000000001".
- 248242 cpu_core_0 "85.00000000000001".
- 248799 cpu_core_0 "85.00000000000001".
- 249152 cpu_core_0 "85.00000000000001".
- 250118 cpu_core_0 "85.00000000000001".
- 250414 cpu_core_0 "85.00000000000001".
- 250506 cpu_core_0 "85.00000000000001".
- 250940 cpu_core_0 "85.00000000000001".
- 251336 cpu_core_0 "85.00000000000001".
- 251349 cpu_core_0 "85.00000000000001".
- 251372 cpu_core_0 "85.00000000000001".
- 252072 cpu_core_0 "85.00000000000001".
- 252811 cpu_core_0 "85.00000000000001".
- 252895 cpu_core_0 "85.00000000000001".
- 252942 cpu_core_0 "85.00000000000001".
- 253033 cpu_core_0 "85.00000000000001".
- 253170 cpu_core_0 "85.00000000000001".
- 253810 cpu_core_0 "85.00000000000001".
- 253858 cpu_core_0 "85.00000000000001".
- 254038 cpu_core_0 "85.00000000000001".
- 254461 cpu_core_0 "85.00000000000001".
- 256012 cpu_core_0 "85.00000000000001".
- 256207 cpu_core_0 "85.00000000000001".