Family mB-t2-5qbf-5cnf-50var-300cl results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.010.010.010.0101
CSBJ000001
GRL0.050.030.010.0301
openQbf9.434.724.414.7201
orSAT1802901090100
QBFL-BS243.36121.68104.17121.6801
QBFL-JW27.1113.5612.7213.5601
QMRes0.690.350.030.3501
QSAT36.0718.0417.7918.0401
QUANTOR0.170.090.060.0901
QUBE-BJ1.950.980.010.9801
QUBE-LRN000000
semprop0.020.0100.0101
sSolve0.010.010.010.0101
WalkQSAT0.020.0100.0101
yQuaffle901.3450.65450.36450.6500.5