Family mA-t2-5qbf-5cnf-160var-1280cl results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL5495.53549.55430.6900.9892.020.4
openQbf9009.27900.930.02900.930.020
qbfbdd9009.959010.019010.020
QbflHR0.110.010.010.0101
QChaffLearn3876.22387.62405.03180.5862.370.6
QMRes8958.28895.839.12900.2616.930
QUANTOR109.95111.1610.891.990
semprop3608.97360.9440.981.77900.850.6
skizzo_v0.49008.85900.890.09900.890.090
skizzo_v0.59009.17900.920.11900.930.170
sSolve9009.77900.980.01900.980.020
WalkQSAT4676.07467.61433.98492.7900.340.5
yQuaffle8943.35894.340.67894.560.890