Family s3330 results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn7208.02901090100
CSBJ7208.07901.010901.0100
GRL7208.09901.010.01901.0100
openQbf7208.039010.019010.010
orSAT7208.02901090100
QBFL-BS7208.15901.020.01901.0200
QBFL-JW7208.1901.010.01901.010.010
QMRes1035.01129.38291.6619.663.260
QSAT6433.29804.16256.2290100
QUANTOR6461.9807.74246.769010.010.125
QUBE-BJ6308.59788.57297.55901.0300
QUBE-LRN1568.31196.04110.36187.4823.910
semprop5455.37681.92379.66901.01426.050
sSolve7208.05901.010.01901.010.010
WalkQSAT12.891.611.331.232.450
yQuaffle951.92118.999.88116.7513.320