Family mA-t2-5qbf-5cnf-100var-200cl results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn000001
CSBJ0.010.010.010.0101
GRL000001
openQbf0.350.180.010.1801
orSAT1802.01901.010.01901.0100
QBFL-BS0.030.020.010.0201
QBFL-JW000001
QMRes0.20.100.101
QSAT000001
QUANTOR0.020.0100.0101
QUBE-BJ1.950.980.010.9801
QUBE-LRN1.950.980.010.9801
semprop0.020.0100.0101
sSolve000001
WalkQSAT0.030.020.010.0201
yQuaffle0.430.220.170.2201