Family C6288 results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn7208.06901.010901.0100
CSBJ7208.06901.010901.0100
GRL7208.04901.010.01901.010.010
openQbf7208.039010.019010.010
orSAT7208.09901.010.01901.010.020
QBFL-BS7208.06901.010.01901.010.010
QBFL-JW7208.08901.010.01901.010.020
QMRes7208.07901.010.01901.010.010
QSAT7208.05901.010.01901.010.010
QUANTOR106.5213.321.7212.52.330
QUBE-BJ7208.26901.030901.0300
QUBE-LRN7208.25901.030901.0300
semprop6310.97788.87296.68901.010.010.125
sSolve7208.05901.010.01901.010.010
WalkQSAT5409.9676.24389.3901449.510
yQuaffle7208.04901.010.01901.010.010