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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve9.613.23.691.181.121
aqme-10360012000120000
depqbf3600.441200.150.011200.1400
depqbf-pre3600.471200.160.011200.160.010
nenofex-qbfeval10633.78211.2653.98235.6699.240.333
qmaiga301.81100.6141.461.091.040.667
quantor-3.13600.211200.070.071200.050.050
QuBE716.225.415.153.753.651
QuBE7-c12.74.231.473.550.681
QuBE7-m11.423.810.893.340.31
struqs-10120.4640.158.9336.144.351