Family k_ph_n results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN178.758.519.824.428.641
Nenofex303.714.4616.494.2526.350.667
quantor3.05074.61241.65283.338.04599.970.619
QuBE6.1159.687.613.570.585.861
ssolve-A7813.49372.07290.56600599.930.381
ssolveB7814.22372.11290.52600599.930.381
ssolveC7812.07372290.65600599.950.381