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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn1802.01901.010.01901.0100
CSBJ1802.01901.010.01901.0100
GRL1802.01901.010.01901.0100
openQbf1802901090100
orSAT1802901090100
QBFL-BS1802.01901.010.01901.0100
QBFL-JW1802.02901.010.01901.0100
QMRes1802.04901.020901.0200
QSAT1802.01901.010.01901.0100
QUANTOR22.7911.40.0811.400
QUBE-BJ2.621.310.031.3101
QUBE-LRN2.461.230.081.2301
semprop4.512.260.242.2600
sSolve901.05450.53450.49450.5300.5
WalkQSAT1802.01901.010.01901.0100
yQuaffle1802.01901.010.01901.0100