Family k_grz_n results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN124.15.9118.781.061.941
Nenofex56.522.693.061.592.231
quantor3.0104.14.965.661.888.71
QuBE6.14832230.1290.24.51599.740.619
ssolve-A9295.04442.62255.29600454.080.286
ssolveB9307.87443.23254.91600447.760.286
ssolveC9262.01441.05256.38600470.440.286