Family mA-t2-5qbf-5cnf-150var-1200cl results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn1802.02901.010901.0100
CSBJ1802901090100
GRL1802.02901.010901.0100
openQbf1802901090100
orSAT1802.01901.010.01901.0100
QBFL-BS0.030.020.010.0201
QBFL-JW000001
QMRes1802.23901.120.1901.1200
QSAT1802.01901.010.01901.0100
QUANTOR37.7518.885.5818.8800
QUBE-BJ2.461.230.231.2301
QUBE-LRN1.980.990.010.9901
semprop1802.01901.010.01901.0100
sSolve1802.01901.010.01901.0100
WalkQSAT1802.02901.010901.0100
yQuaffle1232.24616.1274.55616.1200