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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.010.010.010.0101
CSBJ0.010.010.010.0101
GRL000001
openQbf0.440.220.010.2201
orSAT0.020.0100.0101
QBFL-BS17.678.844.928.8401
QBFL-JW0.040.0200.0201
QMRes8.194.13.944.101
QSAT0.10.0500.0501
QUANTOR0.030.020.020.0201
QUBE-BJ210.02101
QUBE-LRN000000
semprop0.020.0100.0101
sSolve0.010.010.010.0101
WalkQSAT0.020.0100.0101
yQuaffle0.020.0100.0101