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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn19.959.987.389.9801
CSBJ20.310.157.4910.1501
GRL54.6827.3426.7127.3401
openQbf166.683.339.2883.301
orSAT1802.01901.010.01901.0100
QBFL-BS0.020.0100.0101
QBFL-JW0.020.0100.0101
QMRes1041.73520.87380.15520.8700.5
QSAT1802.01901.010.01901.0100
QUANTOR256.75128.3814.1128.3800
QUBE-BJ2.051.030.021.0301
QUBE-LRN1.9910.01101
semprop1.590.80.160.801
sSolve000001
WalkQSAT13.576.795.286.7901
yQuaffle933.56466.78434.23466.7800.5