Family mA-t2-2qbf-5cnf-80var-2560cl results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.410.040.010.050.021
openQbf4.690.470.020.480.031
qbfbdd0.070.010.010.010.011
QbflHR0.190.020.010.020.011
QChaffLearn0.210.020.010.0201
QMRes9005.33900.530.12900.560.110
QUANTOR135.8913.590.1113.630.170
semprop0.110.010.010.010.011
skizzo_v0.4344.3934.4442.0911.244.741
skizzo_v0.5485.9548.676.1611.3717.521
sSolve0.160.020.010.020.011
WalkQSAT0.210.020.010.0201
yQuaffle0.240.020.010.020.011