Matches in ISWC2014 Benchmark for { ?s ?p 85.85858585858585. }
- 1000647 cpu_core_0 "85.85858585858585".
- 1000862 cpu_core_0 "85.85858585858585".
- 1001320 cpu_core_0 "85.85858585858585".
- 1001947 cpu_core_0 "85.85858585858585".
- 1002083 cpu_core_0 "85.85858585858585".
- 1002617 cpu_core_0 "85.85858585858585".
- 1003048 cpu_core_0 "85.85858585858585".
- 1003141 cpu_core_0 "85.85858585858585".
- 1003800 cpu_core_0 "85.85858585858585".
- 1004341 cpu_core_0 "85.85858585858585".
- 1004371 cpu_core_0 "85.85858585858585".
- 1004649 cpu_core_0 "85.85858585858585".
- 1005100 cpu_core_0 "85.85858585858585".
- 1005233 cpu_core_0 "85.85858585858585".
- 1005554 cpu_core_0 "85.85858585858585".
- 1005793 cpu_core_0 "85.85858585858585".
- 1005891 cpu_core_0 "85.85858585858585".
- 1006113 cpu_core_0 "85.85858585858585".
- 1006587 cpu_core_0 "85.85858585858585".
- 1006887 cpu_core_0 "85.85858585858585".
- 1007338 cpu_core_0 "85.85858585858585".
- 1007687 cpu_core_0 "85.85858585858585".
- 1013651 cpu_core_0 "85.85858585858585".
- 1013658 cpu_core_0 "85.85858585858585".
- 1013975 cpu_core_0 "85.85858585858585".
- 1014558 cpu_core_0 "85.85858585858585".
- 1014715 cpu_core_0 "85.85858585858585".
- 1044270 cpu_core_0 "85.85858585858585".
- 1044316 cpu_core_0 "85.85858585858585".
- 1050397 cpu_core_0 "85.85858585858585".
- 1055830 cpu_core_0 "85.85858585858585".
- 1101837 cpu_core_0 "85.85858585858585".
- 1171898 cpu_core_0 "85.85858585858585".
- 1177683 cpu_core_0 "85.85858585858585".
- 1177756 cpu_core_0 "85.85858585858585".
- 1207301 cpu_core_0 "85.85858585858585".
- 1207342 cpu_core_0 "85.85858585858585".
- 1223424 cpu_core_0 "85.85858585858585".
- 1224774 cpu_core_0 "85.85858585858585".
- 1231202 cpu_core_0 "85.85858585858585".
- 1231232 cpu_core_0 "85.85858585858585".
- 1233487 cpu_core_0 "85.85858585858585".
- 1233681 cpu_core_0 "85.85858585858585".
- 1234602 cpu_core_0 "85.85858585858585".
- 1286011 cpu_core_0 "85.85858585858585".
- 1338145 cpu_core_0 "85.85858585858585".
- 1338493 cpu_core_0 "85.85858585858585".
- 1661512 cpu_core_0 "85.85858585858585".
- 1662338 cpu_core_0 "85.85858585858585".
- 1662354 cpu_core_0 "85.85858585858585".
- 1663014 cpu_core_0 "85.85858585858585".
- 1666505 cpu_core_0 "85.85858585858585".
- 1666609 cpu_core_0 "85.85858585858585".
- 1666625 cpu_core_0 "85.85858585858585".
- 1696521 cpu_core_0 "85.85858585858585".
- 1965230 cpu_core_0 "85.85858585858585".
- 1968772 cpu_core_0 "85.85858585858585".
- 1968801 cpu_core_0 "85.85858585858585".
- 2051590 cpu_core_0 "85.85858585858585".
- 2063511 cpu_core_0 "85.85858585858585".
- 210063 cpu_core_0 "85.85858585858585".
- 210064 cpu_core_0 "85.85858585858585".
- 210354 cpu_core_0 "85.85858585858585".
- 210786 cpu_core_0 "85.85858585858585".
- 210844 cpu_core_0 "85.85858585858585".
- 210969 cpu_core_0 "85.85858585858585".
- 211180 cpu_core_0 "85.85858585858585".
- 211437 cpu_core_0 "85.85858585858585".
- 211529 cpu_core_0 "85.85858585858585".
- 211564 cpu_core_0 "85.85858585858585".
- 211691 cpu_core_0 "85.85858585858585".
- 211816 cpu_core_0 "85.85858585858585".
- 211900 cpu_core_0 "85.85858585858585".
- 211963 cpu_core_0 "85.85858585858585".
- 212020 cpu_core_0 "85.85858585858585".
- 212261 cpu_core_0 "85.85858585858585".
- 212331 cpu_core_0 "85.85858585858585".
- 212430 cpu_core_0 "85.85858585858585".
- 212800 cpu_core_0 "85.85858585858585".
- 212913 cpu_core_0 "85.85858585858585".
- 213022 cpu_core_0 "85.85858585858585".
- 213088 cpu_core_0 "85.85858585858585".
- 213191 cpu_core_0 "85.85858585858585".
- 213204 cpu_core_0 "85.85858585858585".
- 213786 cpu_core_0 "85.85858585858585".
- 214340 cpu_core_0 "85.85858585858585".
- 214345 cpu_core_0 "85.85858585858585".
- 214826 cpu_core_0 "85.85858585858585".
- 215135 cpu_core_0 "85.85858585858585".
- 215414 cpu_core_0 "85.85858585858585".
- 215610 cpu_core_0 "85.85858585858585".
- 216448 cpu_core_0 "85.85858585858585".
- 216657 cpu_core_0 "85.85858585858585".
- 216719 cpu_core_0 "85.85858585858585".
- 216933 cpu_core_0 "85.85858585858585".
- 217035 cpu_core_0 "85.85858585858585".
- 217233 cpu_core_0 "85.85858585858585".
- 217290 cpu_core_0 "85.85858585858585".
- 217384 cpu_core_0 "85.85858585858585".
- 217498 cpu_core_0 "85.85858585858585".