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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn1802.02901.010901.0100
CSBJ1802.02901.010901.0100
GRL1802.02901.010901.0100
openQbf1802901090100
orSAT1802901090100
QBFL-BS1802.01901.010.01901.0100
QBFL-JW1802.01901.010.01901.0100
QMRes1802.04901.020.01901.0200
QSAT1802.02901.010901.0100
QUANTOR22.911.450.0211.4500
QUBE-BJ76.1338.0718.2338.0701
QUBE-LRN9.844.922.464.9201
semprop471.36235.68171.07235.6801
sSolve1.750.880.850.8801
WalkQSAT1802.01901.010.01901.0100
yQuaffle1802901090100