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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL0.30.030.010.030.011
openQbf3.720.370.050.370.091
qbfbdd5577.19557.72421.22900.87898.580
QbflHR7223.07722.31357.41901.01887.440.2
QChaffLearn0.210.020.010.0201
QMRes9004.03900.40.18900.420.350
QUANTOR61.156.126.115.8212.250.5
semprop0.110.010.010.0101
skizzo_v0.46.340.630.680.410.231
skizzo_v0.56.450.650.670.390.251
sSolve0.10.0100.0101
WalkQSAT0.190.0200.0201
yQuaffle0.230.020.010.020.011