Family k_path_n results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN22.741.080.161.040.271
Nenofex2169.34103.3197.695.535.170.714
quantor3.00.520.020.010.030.021
QuBE6.19166.29436.49260.46600517.090.286
ssolve-A14.540.690.560.580.881
ssolveB14.960.710.570.580.921
ssolveC12.30.590.470.480.751