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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve943.51235.88402.714.19466.261
aqme-101214.12303.53517.596.24603.550.75
depqbf2805.42701.35515.81794.12997.680.5
depqbf-pre3012.39753.1495.78904.6894.180.5
nenofex-qbfeval10214.6653.6771.1113.7485.930.75
qmaiga1316.06329.01502.9947.81590.360.75
quantor-3.142.110.5215.971.919.990.75
QuBE72861.28715.32502.03807.66969.490.25
QuBE7-c2757.77689.44525.92778.511021.220.25
QuBE7-m2819.03704.76516.81809.1990.590.25
struqs-104800.361200.090.011200.090.010