Suite Ayari results for solvers
QBFEVAL'08

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN11143.12156.95226.8214.21477.730.718
Nenofex14885.8209.66262.638.19525.380.648
quantor3.04485.0463.17146.1421.1734.840.479
QuBE6.118912.73266.38293.8922.72599.530.563
ssolve-A14981.44211.01277.4211.31599.660.676
ssolveB18051.69254.25289.1222.82599.620.592
ssolveC16434.5231.47285.2410.99599.680.634