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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL8108.33810.83270.27900.940.090.1
openQbf9009.01900.90.04900.920.060
qbfbdd9009.35900.940.03900.940.070
QbflHR9010.019010.0190100
QChaffLearn7674.64767.46255.85852.39.030.1
QMRes9004.25900.430.13900.440.20
QUANTOR89.078.910.128.90.20
semprop2852.4285.24403.8333.7274.790.7
skizzo_v0.41562.49156.25252.6296.46103.920.9
skizzo_v0.51953.24195.32249.34122.07174.090.9
sSolve3.110.310.520.020.071
WalkQSAT8114.39811.44268.689010.010.1
yQuaffle8998.48899.850.23899.870.460