Suite Pan results for solvers
QBFEVAL'05

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL82026.62719.53346.26900.530.410.219
openQbf92990.96815.71260.98900.920.050.096
qbfbdd100921.9885.28116.96900.980.110.018
QbflHR92489.55811.31261.199010.040.114
QChaffLearn69993.44613.98401.99884.73855.050.325
QMRes29972.1262.91399.993.71899.220.693
QUANTOR5903.651.79199.80.1111.030.693
semprop46878.53411.22428.68142.57900.310.588
skizzo_v0.428988.42254.28348.9218.66628.680.491
skizzo_v0.512055.12105.75213.383.28111.520.772
sSolve80484.3706361.84900.970.80.237
WalkQSAT85553.74750.47321.49900.990.120.175
yQuaffle74721.75655.45380.33899.87790.90.281