Suite Egly-Seidl-Tompits-Woltran-Zolda results for solvers
QBFEVAL'05

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL807205.11747.41333.86900.850.180.18
openQbf730405.97676.3381.78900.92638.490.262
qbfbdd969359.71897.5654.71900.940.180.004
QbflHR777325.98719.75355.169010.010.213
QChaffLearn731317.72677.15350.36864.4757.630.234
QMRes955876.45885.07114.97900.80.250.019
QUANTOR18113.9116.7744.2415.074.240.181
semprop635057.05588.02416.95900.99894.770.364
skizzo_v0.4724693.15671.01382.18900.66439.290.245
skizzo_v0.5682977.67632.39394.93900.38826.870.277
sSolve649714.7601.59416.24900.98897.120.351
WalkQSAT579396.41536.48435.58900.97900.880.412
yQuaffle699048.17647.27372.64864.63629.330.269