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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn000001
CSBJ0.020.0100.0101
GRL0.040.0200.0201
openQbf0.480.240.020.2401
orSAT1802.01901.010.01901.0100
QBFL-BS0.020.0100.0101
QBFL-JW0.050.030.020.0301
QMRes1802.03901.020.01901.0200
QSAT0.020.0100.0101
QUANTOR699.57349.79199.17349.7900
QUBE-BJ1.940.9700.9701
QUBE-LRN000000
semprop0.020.0100.0101
sSolve0.020.0100.0101
WalkQSAT0.020.0100.0101
yQuaffle925.85462.93438.08462.9300.5