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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.070.040.010.0401
CSBJ0.720.360.280.3601
GRL0.220.110.050.1101
openQbf932.59466.3434.71466.300.5
orSAT1802.01901.010.01901.0100
QBFL-BS1802.02901.010.01901.0100
QBFL-JW1058.1529.05371.96529.0500.5
QMRes1802.04901.020901.0200
QSAT0.320.160.040.1601
QUANTOR27.2213.611.6313.6100
QUBE-BJ2.111.060.061.0601
QUBE-LRN1.960.9800.9801
semprop0.040.020.010.0201
sSolve0.020.0100.0101
WalkQSAT0.350.180.090.1801
yQuaffle1802.01901.010.01901.0100