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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve50.5816.8612.2421.8321.811
aqme-105.411.80.831.340.251
depqbf373.08124.36175.560.370.31
depqbf-pre202.867.695.530.060.021
nenofex-qbfeval1030.6810.234.819.094.111
qmaiga73.4724.4917.3136.4736.451
quantor-3.11.940.650.690.320.311
QuBE72400.1800.03565.661200.011199.940.333
QuBE7-c2400.16800.05565.641200.021199.90.333
QuBE7-m2400.16800.05565.641200.021199.90.333
struqs-102400.45800.15565.591200.081199.790.333