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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn1802901090100
CSBJ1802.02901.010901.0100
GRL1802.01901.010.01901.0100
openQbf1802.02901.010901.0100
orSAT1802.01901.010.01901.0100
QBFL-BS1802901090100
QBFL-JW1802.01901.010.01901.0100
QMRes1802.06901.030.01901.0300
QSAT1802.01901.010.01901.0100
QUANTOR21.5510.780.1110.7800
QUBE-BJ2.041.020.041.0201
QUBE-LRN3.941.970.671.9701
semprop1802.01901.010.01901.0100
sSolve45.1822.5922.5822.5901
WalkQSAT1802901090100
yQuaffle1802.02901.010901.0100