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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.150.020.010.010.011
openQbf3.790.380.210.290.131
qbfbdd9009.44900.940.03900.950.040
QbflHR25.382.545.170.731.191
QChaffLearn0.130.010.010.010.011
QMRes9005.12900.510.14900.560.20
QUANTOR120.8112.080.3412.090.610
semprop0.050.010.010.010.011
skizzo_v0.4447.744.7741.4618.4948.921
skizzo_v0.5880.8188.0897.0618.52110.51
sSolve0.0200001
WalkQSAT0.090.010.010.010.011
yQuaffle0.170.020.020.010.021