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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.020.0100.0101
CSBJ0.040.0200.0201
GRL0.060.0300.0301
openQbf0.710.360.020.3601
orSAT1802.01901.010.01901.0100
QBFL-BS0.030.020.010.0201
QBFL-JW0.020.010.010.0101
QMRes1802.04901.020901.0200
QSAT0.030.020.010.0201
QUANTOR22.9811.490.0211.4900
QUBE-BJ1.950.980.010.9801
QUBE-LRN000000
semprop0.030.020.010.0201
sSolve0.030.020.010.0201
WalkQSAT0.040.0200.0201
yQuaffle0.170.090.070.0901