Suite Ansotegui results for solvers
QBFEVAL'08

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN10458.29275.22283.660.69596.410.579
Nenofex5568.89146.55162.6656.84155.40
quantor3.020632.4542.96118.4760071.280.026
QuBE6.113097.11344.66279.5579.55565.160.5
ssolve-A14507.81381.78269.16600572.160.421
ssolveB15311.69402.94259.67600548.950.395
ssolveC15249.2401.29266.05600564.490.316