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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn929.78464.89436.12464.8900.5
CSBJ1802901090100
GRL966.24483.12417.88483.1200.5
openQbf1802901090100
orSAT1802.01901.010.01901.0100
QBFL-BS1802.01901.010.01901.0100
QBFL-JW1802901090100
QMRes1802.07901.040.01901.0400
QSAT1802.02901.010901.0100
QUANTOR22.6311.320.1211.3200
QUBE-BJ13.676.845.726.8401
QUBE-LRN2.131.070.081.0701
semprop0.220.110.040.1101
sSolve1.210.610.590.6101
WalkQSAT1802901090100
yQuaffle1802901090100