Family k_grz_p results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn2871.1358.89335.27347.85599.280.875
CSBJ5835.61729.45297.34901332.320.25
GRL4715.36589.42404.71901805.140.375
openQbf7208.07901.010901.0100
orSAT6262.05782.76158.25901.01283.370
QBFL-BS7208.04901.010.019010.010
QBFL-JW7208.07901.010.01901.010.010
QMRes9.191.150.761.141.331
QSAT7208.04901.010.01901.010.010
QUANTOR155.9119.4914.7819.2129.490.875
QUBE-BJ3207.49400.94381330.98776.140.75
QUBE-LRN4836.29604.54390.44901.03745.210.375
semprop3732.15466.52436.07512898.610.5
sSolve7208.06901.010901.0100
WalkQSAT4250.7531.34398.5710.99843.650.5
yQuaffle4942.32617.79368.58901722.670.375