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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn000001
CSBJ0.020.0100.0101
GRL0.050.030.010.0301
openQbf0.590.30.030.301
orSAT1802901090100
QBFL-BS42.8521.4319.4121.4301
QBFL-JW3.481.741.591.7401
QMRes1802.03901.020.01901.0200
QSAT0.040.0200.0201
QUANTOR88.4144.210.6944.2100
QUBE-BJ1.970.990.020.9901
QUBE-LRN000000
semprop0.040.0200.0201
sSolve0.020.0100.0101
WalkQSAT0.040.0200.0201
yQuaffle3.691.851.841.8501