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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn1802.01901.010.01901.0100
CSBJ1802901090100
GRL1802.01901.010.01901.0100
openQbf1802.02901.010901.0100
orSAT1802901090100
QBFL-BS1802901090100
QBFL-JW1802.02901.010901.0100
QMRes1802.07901.040.02901.0400
QSAT1802901090100
QUANTOR21.4610.730.0210.7300
QUBE-BJ12.146.073.166.0701
QUBE-LRN5.862.930.42.9301
semprop1802901090100
sSolve1802.01901.010.01901.0100
WalkQSAT1802.01901.010.01901.0100
yQuaffle1802.01901.010.01901.0100