Family k_grz_p results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN31.271.490.91.080.361
Nenofex46.432.212.61.061.571
quantor3.0105.595.035.942.268.481
QuBE6.14565.71217.41275.666.02530.570.81
ssolve-A9392.9447.28252.93600406.40.286
ssolveB9468.94450.9252.44600368.440.286
ssolveC9346.21445.06253.79600429.410.286