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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.080.010.010.010.011
openQbf2.20.220.030.210.051
qbfbdd104.8310.489.546.465.61
QbflHR0.160.020.010.010.011
QChaffLearn0.060.010.010.010.011
QMRes7206.16720.62360.21900.73900.510.2
QUANTOR77.037.711.640.016.41
semprop0.0200001
skizzo_v0.47.920.792.110.060.031
skizzo_v0.550.525.056.60.077.751
sSolve0.0300.01001
WalkQSAT0.060.010.010.010.011
yQuaffle0.090.010.010.010.011