Matches in ISWC2014 Benchmark for { ?s ?p 80.0. }
- 1231354 cpu_core_0 "80.0".
- 1231426 cpu_core_0 "80.0".
- 1231549 cpu_core_0 "80.0".
- 1232820 cpu_core_0 "80.0".
- 1233997 cpu_core_0 "80.0".
- 1234427 cpu_core_0 "80.0".
- 1234451 cpu_core_0 "80.0".
- 1265230 cpu_core_0 "80.0".
- 126930 cpu_core_0 "80.0".
- 1338157 cpu_core_0 "80.0".
- 1338383 cpu_core_0 "80.0".
- 1385421 cpu_core_0 "80.0".
- 1395199 cpu_core_0 "80.0".
- 1455485 cpu_core_0 "80.0".
- 1532258 cpu_core_0 "80.0".
- 1578712 cpu_core_0 "80.0".
- 1655768 cpu_core_0 "80.0".
- 1656922 cpu_core_0 "80.0".
- 1659222 cpu_core_0 "80.0".
- 1659764 cpu_core_0 "80.0".
- 1659792 cpu_core_0 "80.0".
- 1659896 cpu_core_0 "80.0".
- 1660269 cpu_core_0 "80.0".
- 1660419 cpu_core_0 "80.0".
- 1660450 cpu_core_0 "80.0".
- 1660646 cpu_core_0 "80.0".
- 1661086 cpu_core_0 "80.0".
- 1661936 cpu_core_0 "80.0".
- 1662898 cpu_core_0 "80.0".
- 1663366 cpu_core_0 "80.0".
- 1663379 cpu_core_0 "80.0".
- 1663382 cpu_core_0 "80.0".
- 1663784 cpu_core_0 "80.0".
- 1663799 cpu_core_0 "80.0".
- 1664068 cpu_core_0 "80.0".
- 1664308 cpu_core_0 "80.0".
- 1666760 cpu_core_0 "80.0".
- 1667094 cpu_core_0 "80.0".
- 1668031 cpu_core_0 "80.0".
- 1668429 cpu_core_0 "80.0".
- 1668431 cpu_core_0 "80.0".
- 1668432 cpu_core_0 "80.0".
- 1668523 cpu_core_0 "80.0".
- 1668874 cpu_core_0 "80.0".
- 1669300 cpu_core_0 "80.0".
- 1683099 cpu_core_0 "80.0".
- 1685204 cpu_core_0 "80.0".
- 1687354 cpu_core_0 "80.0".
- 1687838 cpu_core_0 "80.0".
- 1690724 cpu_core_0 "80.0".
- 1695960 cpu_core_0 "80.0".
- 1696003 cpu_core_0 "80.0".
- 1696018 cpu_core_0 "80.0".
- 1696065 cpu_core_0 "80.0".
- 1696250 cpu_core_0 "80.0".
- 1697332 cpu_core_0 "80.0".
- 1697346 cpu_core_0 "80.0".
- 1697391 cpu_core_0 "80.0".
- 1697421 cpu_core_0 "80.0".
- 1697436 cpu_core_0 "80.0".
- 1697510 cpu_core_0 "80.0".
- 1698177 cpu_core_0 "80.0".
- 1698191 cpu_core_0 "80.0".
- 1698252 cpu_core_0 "80.0".
- 1699294 cpu_core_0 "80.0".
- 1699310 cpu_core_0 "80.0".
- 1702291 cpu_core_0 "80.0".
- 1703433 cpu_core_0 "80.0".
- 1704620 cpu_core_0 "80.0".
- 1708013 cpu_core_0 "80.0".
- 1708800 cpu_core_0 "80.0".
- 1712933 cpu_core_0 "80.0".
- 1857984 cpu_core_0 "80.0".
- 1990343 cpu_core_0 "80.0".
- 1990766 cpu_core_0 "80.0".
- 2051628 cpu_core_0 "80.0".
- 2062255 cpu_core_0 "80.0".
- 209933 cpu_core_0 "80.0".
- 210040 cpu_core_0 "80.0".
- 210053 cpu_core_0 "80.0".
- 210084 cpu_core_0 "80.0".
- 210130 cpu_core_0 "80.0".
- 210879 cpu_core_0 "80.0".
- 210993 cpu_core_0 "80.0".
- 211275 cpu_core_0 "80.0".
- 211964 cpu_core_0 "80.0".
- 212071 cpu_core_0 "80.0".
- 212223 cpu_core_0 "80.0".
- 212290 cpu_core_0 "80.0".
- 212565 cpu_core_0 "80.0".
- 212796 cpu_core_0 "80.0".
- 212882 cpu_core_0 "80.0".
- 212888 cpu_core_0 "80.0".
- 213176 cpu_core_0 "80.0".
- 213642 cpu_core_0 "80.0".
- 214044 cpu_core_0 "80.0".
- 214289 cpu_core_0 "80.0".
- 214944 cpu_core_0 "80.0".
- 215187 cpu_core_0 "80.0".
- 215776 cpu_core_0 "80.0".