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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.030.020.010.0201
CSBJ000001
GRL0.060.0300.0301
openQbf0.650.330.010.3301
orSAT0.040.0200.0201
QBFL-BS1165.56582.78318.23582.7800.5
QBFL-JW0.870.440.320.4401
QMRes902.63451.32449.72451.3200.5
QSAT0.910.460.010.4601
QUANTOR43.5121.7620.4221.7600.5
QUBE-BJ1.9910.02101
QUBE-LRN000000
semprop0.030.020.010.0201
sSolve0.020.0100.0101
WalkQSAT0.020.0100.0101
yQuaffle0.030.020.010.0201