Family mB-t2-2qbf-5cnf-150var-2400cl results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.040.0200.0201
CSBJ0.040.0200.0201
GRL0.090.050.010.0501
openQbf1.110.560.020.5601
orSAT1802.02901.010.01901.0100
QBFL-BS0.070.040.010.0401
QBFL-JW0.040.0200.0201
QMRes1802.06901.030901.0300
QSAT0.050.030.010.0301
QUANTOR23.99120.021200
QUBE-BJ1.960.9800.9801
QUBE-LRN000000
semprop0.030.020.010.0201
sSolve0.020.0100.0101
WalkQSAT0.050.030.010.0301
yQuaffle0.030.020.010.0201