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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve5.851.460.811.581.471
aqme-1091.4622.8734.084.0440.791
depqbf4800.631200.1601200.1600
depqbf-pre4800.621200.160.011200.160.010
nenofex-qbfeval10894.12223.53224.42145.14327.20.5
qmaiga5.921.480.841.591.511
quantor-3.1200.4450.1135.3455.5365.780.25
QuBE74424.881106.22162.581200.07187.770
QuBE7-c3664.72916.18171.36852.42266.340.25
QuBE7-m3918.99979.75132.52933.49197.170.25
struqs-103685.74921.44482.631200.08557.30.25