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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn1802.01901.010.01901.0100
CSBJ1802.02901.010901.0100
GRL1802.01901.010.01901.0100
openQbf1802.01901.010.01901.0100
orSAT1802.01901.010.01901.0100
QBFL-BS1802.02901.010.01901.0100
QBFL-JW1802.02901.010901.0100
QMRes1802.03901.020.01901.0200
QSAT369.72184.86178.38184.8601
QUANTOR24.9912.50.3312.500
QUBE-BJ5.842.920.692.9201
QUBE-LRN2.181.090.021.0901
semprop14.997.56.197.500.5
sSolve0.080.0400.0401
WalkQSAT1802.01901.010.01901.0100
yQuaffle1802901090100