Matches in ISWC2014 Benchmark for { ?s ?p 9.375. }
- 1013463 cpu_core_0 "9.375".
- 1213674 cpu_core_0 "9.375".
- 1213764 cpu_core_0 "9.375".
- 1214146 cpu_core_0 "9.375".
- 1214834 cpu_core_0 "9.375".
- 1215257 cpu_core_0 "9.375".
- 1215491 cpu_core_0 "9.375".
- 1215572 cpu_core_0 "9.375".
- 1215694 cpu_core_0 "9.375".
- 1216300 cpu_core_0 "9.375".
- 1216872 cpu_core_0 "9.375".
- 1216899 cpu_core_0 "9.375".
- 1216912 cpu_core_0 "9.375".
- 1216941 cpu_core_0 "9.375".
- 1216952 cpu_core_0 "9.375".
- 1217136 cpu_core_0 "9.375".
- 1217245 cpu_core_0 "9.375".
- 1217537 cpu_core_0 "9.375".
- 1218053 cpu_core_0 "9.375".
- 1218073 cpu_core_0 "9.375".
- 1218448 cpu_core_0 "9.375".
- 1218505 cpu_core_0 "9.375".
- 1218678 cpu_core_0 "9.375".
- 1218689 cpu_core_0 "9.375".
- 1218722 cpu_core_0 "9.375".
- 1218779 cpu_core_0 "9.375".
- 1218825 cpu_core_0 "9.375".
- 1219061 cpu_core_0 "9.375".
- 1219415 cpu_core_0 "9.375".
- 1237125 cpu_core_0 "9.375".
- 1407550 cpu_core_0 "9.375".
- 1407604 cpu_core_0 "9.375".
- 1407852 cpu_core_0 "9.375".
- 1408408 cpu_core_0 "9.375".
- 1408652 cpu_core_0 "9.375".
- 1408830 cpu_core_0 "9.375".
- 1408835 cpu_core_0 "9.375".
- 1409477 cpu_core_0 "9.375".
- 1409576 cpu_core_0 "9.375".
- 1409693 cpu_core_0 "9.375".
- 1409809 cpu_core_0 "9.375".
- 1410124 cpu_core_0 "9.375".
- 1410213 cpu_core_0 "9.375".
- 1410215 cpu_core_0 "9.375".
- 1410273 cpu_core_0 "9.375".
- 1410465 cpu_core_0 "9.375".
- 1410507 cpu_core_0 "9.375".
- 1410652 cpu_core_0 "9.375".
- 1410821 cpu_core_0 "9.375".
- 1410875 cpu_core_0 "9.375".
- 1410999 cpu_core_0 "9.375".
- 1411058 cpu_core_0 "9.375".
- 1411449 cpu_core_0 "9.375".
- 1411493 cpu_core_0 "9.375".
- 1411535 cpu_core_0 "9.375".
- 1411817 cpu_core_0 "9.375".
- 1411840 cpu_core_0 "9.375".
- 1411904 cpu_core_0 "9.375".
- 1411950 cpu_core_0 "9.375".
- 1412176 cpu_core_0 "9.375".
- 1412330 cpu_core_0 "9.375".
- 1412616 cpu_core_0 "9.375".
- 1413059 cpu_core_0 "9.375".
- 1413094 cpu_core_0 "9.375".
- 1413115 cpu_core_0 "9.375".
- 1413352 cpu_core_0 "9.375".
- 1413698 cpu_core_0 "9.375".
- 1414214 cpu_core_0 "9.375".
- 1646429 cpu_core_0 "9.375".
- 1646466 cpu_core_0 "9.375".
- 1646633 cpu_core_0 "9.375".
- 1646675 cpu_core_0 "9.375".
- 1647295 cpu_core_0 "9.375".
- 1647444 cpu_core_0 "9.375".
- 1647466 cpu_core_0 "9.375".
- 1648176 cpu_core_0 "9.375".
- 1648308 cpu_core_0 "9.375".
- 1648618 cpu_core_0 "9.375".
- 1648743 cpu_core_0 "9.375".
- 1649814 cpu_core_0 "9.375".
- 1649947 cpu_core_0 "9.375".
- 1650114 cpu_core_0 "9.375".
- 1650869 cpu_core_0 "9.375".
- 1651357 cpu_core_0 "9.375".
- 1651379 cpu_core_0 "9.375".
- 1651442 cpu_core_0 "9.375".
- 1651508 cpu_core_0 "9.375".
- 1651547 cpu_core_0 "9.375".
- 1651905 cpu_core_0 "9.375".
- 1652031 cpu_core_0 "9.375".
- 1652034 cpu_core_0 "9.375".
- 1652081 cpu_core_0 "9.375".
- 1652860 cpu_core_0 "9.375".
- 1654370 cpu_core_0 "9.375".
- 1654473 cpu_core_0 "9.375".
- 1671233 cpu_core_0 "9.375".
- 1671539 cpu_core_0 "9.375".
- 1674135 cpu_core_0 "9.375".
- 1674475 cpu_core_0 "9.375".
- 1674739 cpu_core_0 "9.375".