Matches in ISWC2014 Benchmark for { ?s ?p 12.5. }
- 1012014 cpu_core_0 "12.5".
- 1012224 cpu_core_0 "12.5".
- 1013360 cpu_core_0 "12.5".
- 1013417 cpu_core_0 "12.5".
- 1130283 cpu_core_0 "12.5".
- 1213668 cpu_core_0 "12.5".
- 1214477 cpu_core_0 "12.5".
- 1214527 cpu_core_0 "12.5".
- 1214960 cpu_core_0 "12.5".
- 1215167 cpu_core_0 "12.5".
- 1215385 cpu_core_0 "12.5".
- 1215671 cpu_core_0 "12.5".
- 1216295 cpu_core_0 "12.5".
- 1217371 cpu_core_0 "12.5".
- 1217516 cpu_core_0 "12.5".
- 1217959 cpu_core_0 "12.5".
- 1218454 cpu_core_0 "12.5".
- 1218514 cpu_core_0 "12.5".
- 1218575 cpu_core_0 "12.5".
- 1218597 cpu_core_0 "12.5".
- 1218766 cpu_core_0 "12.5".
- 1219261 cpu_core_0 "12.5".
- 1219291 cpu_core_0 "12.5".
- 1219366 cpu_core_0 "12.5".
- 1219449 cpu_core_0 "12.5".
- 1236343 cpu_core_0 "12.5".
- 1236720 cpu_core_0 "12.5".
- 1237208 cpu_core_0 "12.5".
- 1407454 cpu_core_0 "12.5".
- 1407716 cpu_core_0 "12.5".
- 1408255 cpu_core_0 "12.5".
- 1408262 cpu_core_0 "12.5".
- 1408298 cpu_core_0 "12.5".
- 1408309 cpu_core_0 "12.5".
- 1408488 cpu_core_0 "12.5".
- 1408544 cpu_core_0 "12.5".
- 1408711 cpu_core_0 "12.5".
- 1408719 cpu_core_0 "12.5".
- 1409141 cpu_core_0 "12.5".
- 1409269 cpu_core_0 "12.5".
- 1409917 cpu_core_0 "12.5".
- 1409991 cpu_core_0 "12.5".
- 1410354 cpu_core_0 "12.5".
- 1410384 cpu_core_0 "12.5".
- 1410536 cpu_core_0 "12.5".
- 1410898 cpu_core_0 "12.5".
- 1411064 cpu_core_0 "12.5".
- 1411067 cpu_core_0 "12.5".
- 1411222 cpu_core_0 "12.5".
- 1411227 cpu_core_0 "12.5".
- 1411247 cpu_core_0 "12.5".
- 1411288 cpu_core_0 "12.5".
- 1411654 cpu_core_0 "12.5".
- 1412506 cpu_core_0 "12.5".
- 1412661 cpu_core_0 "12.5".
- 1413042 cpu_core_0 "12.5".
- 1413217 cpu_core_0 "12.5".
- 1413353 cpu_core_0 "12.5".
- 1413598 cpu_core_0 "12.5".
- 1413758 cpu_core_0 "12.5".
- 1414142 cpu_core_0 "12.5".
- 1647533 cpu_core_0 "12.5".
- 1648028 cpu_core_0 "12.5".
- 1649317 cpu_core_0 "12.5".
- 1649574 cpu_core_0 "12.5".
- 1650548 cpu_core_0 "12.5".
- 1650639 cpu_core_0 "12.5".
- 1650641 cpu_core_0 "12.5".
- 1651260 cpu_core_0 "12.5".
- 1651800 cpu_core_0 "12.5".
- 1651824 cpu_core_0 "12.5".
- 1651920 cpu_core_0 "12.5".
- 1652142 cpu_core_0 "12.5".
- 1653003 cpu_core_0 "12.5".
- 1653146 cpu_core_0 "12.5".
- 1654243 cpu_core_0 "12.5".
- 1671032 cpu_core_0 "12.5".
- 1671158 cpu_core_0 "12.5".
- 1671440 cpu_core_0 "12.5".
- 1671652 cpu_core_0 "12.5".
- 1671946 cpu_core_0 "12.5".
- 1672001 cpu_core_0 "12.5".
- 1673760 cpu_core_0 "12.5".
- 1673875 cpu_core_0 "12.5".
- 1673956 cpu_core_0 "12.5".
- 1674069 cpu_core_0 "12.5".
- 1674179 cpu_core_0 "12.5".
- 1674316 cpu_core_0 "12.5".
- 1674445 cpu_core_0 "12.5".
- 1674857 cpu_core_0 "12.5".
- 1675022 cpu_core_0 "12.5".
- 1694405 cpu_core_0 "12.5".
- 1694476 cpu_core_0 "12.5".
- 1694493 cpu_core_0 "12.5".
- 1694776 cpu_core_0 "12.5".
- 1695163 cpu_core_0 "12.5".
- 1711474 cpu_core_0 "12.5".
- 1711491 cpu_core_0 "12.5".
- 1711972 cpu_core_0 "12.5".
- 1921224 cpu_core_0 "12.5".