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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn000001
CSBJ0.020.0100.0101
GRL0.060.0300.0301
openQbf0.610.310.010.3101
orSAT1560.51780.26120.75780.2600
QBFL-BS0.020.0100.0101
QBFL-JW0.010.010.010.0101
QMRes1802.02901.010901.0100
QSAT0.010.010.010.0101
QUANTOR27.4313.720.0513.7200
QUBE-BJ1.940.9700.9701
QUBE-LRN000000
semprop0.010.010.010.0101
sSolve0.020.0100.0101
WalkQSAT0.010.010.010.0101
yQuaffle0.040.0200.0201