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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.010.010.010.0101
CSBJ000001
GRL0.020.010.010.0101
openQbf0.440.220.010.2201
orSAT901.01450.51450.5450.5100.5
QBFL-BS101.5850.799.2850.7901
QBFL-JW0.220.110.010.1101
QMRes0.510.260.210.2601
QSAT0.120.0600.0601
QUANTOR000001
QUBE-BJ1.940.9700.9701
QUBE-LRN000000
semprop0.010.010.010.0101
sSolve0.020.0100.0101
WalkQSAT0.020.0100.0101
yQuaffle0.020.0100.0101