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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn1802.01901.010.01901.0100
CSBJ1802901090100
GRL1802.02901.010901.0100
openQbf1802.01901.010.01901.0100
orSAT1802901090100
QBFL-BS1802.02901.010901.0100
QBFL-JW1802.01901.010.01901.0100
QMRes1802.04901.020901.0200
QSAT1802901090100
QUANTOR23.7911.90.0411.900
QUBE-BJ2.161.080.11.0801
QUBE-LRN2.421.210.081.2101
semprop1802.02901.010901.0100
sSolve1283.96641.98259.03641.9800.5
WalkQSAT1802.01901.010.01901.0100
yQuaffle1802.01901.010.01901.0100