Suite Ansotegui results for solvers
QBFEVAL'07

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ982.06245.51204.96132.43254.20.75
aigqbf_s2400600060000
aigqbf_sr2400600060000
AQME-1NN7.481.871.31.161.591
AQME-C4.57.721.931.311.211.61
AQME-RIPPER7.981.991.351.261.631
EBDDRES124.9831.253.7933.174.840
ncQuBE1.01423.25355.8194.12304.08112.770
ncQuBE1.11139.05284.7653.74263.187.650
preQuel_sKizzo-0.101697.18424.3243.42543.42351.410.25
qSS14.073.520.673.381.131
QUANTOR_2.151283.59320.9107.06347.3155.910
qZilla87.3321.837.1720.7213.31
sKizzo-0.10-qck1802.46450.62258.74600298.770.25
sKizzo-0.10-std1241.78310.45236.76319.69449.340.25
squolem2400600060000
yQuaffle2400600060000