Family k_ph_p results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN6727.51320.36294.07599.65598.740.476
Nenofex2773.21132.06228.3730.0843.710.476
quantor3.07247.24345.11294.47600599.950.429
QuBE6.16184.75294.51292.54126.44599.920.524
ssolve-A8432.07401.53280.75600598.880.333
ssolveB8435.91401.71280.5600598.650.333
ssolveC8428.52401.36280.97600599.020.333