Suite Mangassarian-Veneris results for solvers
QBFEVAL'08

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN26659.58156.82228.8719.74177.050.735
Nenofex43081.72253.42265.9780.6591.640.624
quantor3.013256.4977.98170.162.8552.470.859
QuBE6.167241.41395.54271.23600587.440.341
ssolve-A57600.59338.83283.18600596.770.453
ssolveB56246.32330.86283.71600595.770.447
ssolveC29608.89174.17260.0514.89597.160.365