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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.010.010.010.0101
CSBJ0.010.010.010.0101
GRL0.020.0100.0101
openQbf0.380.190.010.1901
orSAT1802.02901.010901.0100
QBFL-BS0.030.020.010.0201
QBFL-JW0.010.010.010.0101
QMRes0.060.030.010.0301
QSAT0.010.010.010.0101
QUANTOR0.020.010.010.0101
QUBE-BJ1.940.9700.9701
QUBE-LRN1.950.980.010.9801
semprop0.010.010.010.0101
sSolve0.010.010.010.0101
WalkQSAT0.020.010.010.0101
yQuaffle0.030.020.010.0201