Family mA-t2-3qbf-5cnf-20var-40cl results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.0400.0100.011
openQbf1.560.160.020.160.031
qbfbdd3054.6305.46336.3157.28358.860.8
QbflHR0.050.010.010.010.011
QChaffLearn0.0200001
QMRes0.050.010.0100.011
QUANTOR0.0200001
semprop0.0300.01001
skizzo_v0.40.080.010.010.010.011
skizzo_v0.50.120.010.010.010.011
sSolve0.0200001
WalkQSAT0.0200001
yQuaffle0.060.010.0100.011