Family mB-t2-4qbf-5cnf-100var-1000cl results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.030.020.010.0201
CSBJ000001
GRL0.050.030.010.0301
openQbf3.321.660.21.6601
orSAT1802.01901.010.01901.0100
QBFL-BS1802.01901.010.01901.0100
QBFL-JW1802901090100
QMRes1802.06901.030901.0300
QSAT0.240.120.010.1201
QUANTOR33.1116.560.8916.5600
QUBE-BJ1.940.9700.9701
QUBE-LRN000000
semprop0.010.010.010.0101
sSolve000001
WalkQSAT0.040.0200.0201
yQuaffle1802901090100