Family mB-t2-3qbf-5cnf-50var-200cl results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.010.010.010.0101
CSBJ000001
GRL000001
openQbf0.540.270.040.2701
orSAT1802901090100
QBFL-BS4.712.360.612.3601
QBFL-JW0.760.380.210.3801
QMRes0.090.050.010.0501
QSAT0.080.0400.0401
QUANTOR000001
QUBE-BJ1.940.9700.9701
QUBE-LRN000000
semprop0.020.0100.0101
sSolve0.020.0100.0101
WalkQSAT0.010.010.010.0101
yQuaffle925.4462.7438.31462.700.5