Suite Ansotegui results for solvers
QBFEVAL'05

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL22372.4588.75416.47900.49899.620.368
openQbf27577.18725.72333.69900.92167.830.237
qbfbdd28533.11750.87280.12900.12110.290.237
QbflHR27003.28710.61349.02900.97444.650.237
QChaffLearn14905.04392.24431.6139.68885.240.368
QMRes27203.19715.87357.65900.490.510
QUANTOR17544.59461.7358.39249.8734.990.026
semprop24621.63647.94382.11900.92801.380.289
skizzo_v0.410748.68282.86294.63189.35363.430.263
skizzo_v0.513850.54364.49331.75293.86419.730.263
sSolve28323.45745.35329.37900.950.150.184
WalkQSAT21111.58555.57428.32900.71891.630.237
yQuaffle25765.08678.03345.49854.24226.030.263