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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.010.010.010.0101
CSBJ000001
GRL0.020.0100.0101
openQbf0.380.190.010.1901
orSAT1802.01901.010.01901.0100
QBFL-BS0.020.010.010.0101
QBFL-JW0.030.020.010.0201
QMRes916.65458.33313.32458.3301
QSAT0.020.010.010.0101
QUANTOR1509.3754.65146.37754.6500
QUBE-BJ1.950.980.010.9801
QUBE-LRN1.960.9800.9801
semprop000001
sSolve0.020.0100.0101
WalkQSAT000001
yQuaffle0.340.170.140.1701