Family s298 results for solvers
QBFEVAL'07


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ600.19300.1299.9300.100.5
aigqbf_s91.8645.9344.2745.9301
aigqbf_sr211.94105.97102.96105.9701
AQME-1NN5.692.842.22.8401
AQME-C4.55.712.862.172.8601
AQME-RIPPER5.882.942.22.9401
EBDDRES46.1823.090.0523.0900
ncQuBE1.02.061.030.941.0301
ncQuBE1.13.311.651.561.6501
preQuel_sKizzo-0.10600.24300.12299.88300.1200.5
qSS17.88.98.68.901
QUANTOR_2.1518.249.128.949.1201
qZilla600.18300.09299.91300.0900.5
sKizzo-0.10-qck21.1610.5810.3410.5801
sKizzo-0.10-std16.838.428.188.4201
squolem1200600060000
yQuaffle1200600060000