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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve125978.42926.31403.331200486.850.228
aqme-1071438.09525.28524.51169.281113.540.662
depqbf9500.0169.85114.236.79112.761
depqbf-pre9095.6966.88101.36.54109.421
nenofex-qbfeval10118108.53868.45261.8907.49413.350
qmaiga122249.08898.89389.661200542.960.346
quantor-3.120421.06150.15106.77118.31103.930.007
QuBE759066.65434.31461.16199.4873.80.853
QuBE7-c72619.61533.97521.69266.71174.020.684
QuBE7-m72435.14532.61517.14243.831176.810.706
struqs-10141796.971042.62391.591200.080.010.14