Suite Messinger results for solvers
QBFEVAL'10 - Competitive Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve18.166.058.410.20.191
aqme-1026.888.9610.851.440.31
depqbf1263.43421.14551.4663.2163.160.667
depqbf-pre1306.49435.5542.43106.24106.150.667
nenofex-qbfeval101036.73345.58486.363.122.911
qmaiga35.3111.7716.520.160.161
quantor-3.1638.94212.98301.150.050.041
QuBE72400.14800.05565.661200.021199.930.333
QuBE7-c2400.25800.08565.681200.051199.950.333
QuBE7-m2400.2800.07565.671200.041199.960.333
struqs-102413.37804.46559.491200.071186.850.333