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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve480012000120000
aqme-102421.09605.27594.74608.191189.460.5
depqbf4800.611200.1501200.150.010
depqbf-pre4800.641200.1601200.1600
nenofex-qbfeval10896.08224.0265.74201.94109.860
qmaiga480012000120000
quantor-3.1102.5325.631.0525.371.560
QuBE73600.58900.15519.411200.02599.770.25
QuBE7-c3600.56900.14519.411200.02599.760.25
QuBE7-m3600.59900.15519.411200.03599.760.25
struqs-103607.09901.77516.681200.08596.610.25