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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.010.010.010.0101
CSBJ000001
GRL0.030.020.010.0201
openQbf0.510.260.020.2601
orSAT0.020.0100.0101
QBFL-BS1.70.850.490.8501
QBFL-JW0.050.030.010.0301
QMRes572.83286.42286.26286.4201
QSAT0.130.070.010.0701
QUANTOR0.060.030.020.0301
QUBE-BJ1.960.9800.9801
QUBE-LRN000000
semprop0.010.010.010.0101
sSolve0.030.020.010.0201
WalkQSAT0.010.010.010.0101
yQuaffle0.020.0100.0101