Family s298 results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn7208.02901090100
CSBJ7208.05901.010.01901.010.010
GRL7208.16901.020.01901.0200
openQbf7208.04901.010.01901.010.010
orSAT7208.05901.010.01901.010.010
QBFL-BS7208.09901.010.01901.010.010
QBFL-JW7208.07901.010.01901.0100
QMRes1825.18228.15271.5324.78495.090
QSAT7208.04901.010.01901.010.010
QUANTOR6759.98845148.1890100.125
QUBE-BJ7208.25901.030901.0300
QUBE-LRN2342.14292.77138.37227.4101.280
semprop7208.04901.010.01901.010.010
sSolve7208.05901.010.01901.010.010
WalkQSAT1.010.130.060.140.110
yQuaffle1409.99176.25143.9596.01128.010