Family k_ph_p results for solvers
QBFEVAL'10 - Competitive Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve2412.1603.02596.98604.751193.950.5
aqme-102362.38590.6553.16607.31105.310.5
depqbf2569.68642.42560.19679.381115.480.5
depqbf-pre2595.49648.87554.78692.831102.580.5
nenofex-qbfeval102562.73640.68559.54645.7511190.5
qmaiga2423.99606594.04610.741188.010.5
quantor-3.12406.11601.53598.47602.841196.940.5
QuBE7642.59160.65265.4911.02320.321
QuBE7-c2420.12605.03595.04609.7311900.5
QuBE7-m2446.85611.71588.56622.941176.690.5
struqs-102536.41634.1567.4662.521131.950.5