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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve1212.52303.13517.825.89603.890.75
aqme-102143.75535.94506.79528.211011.770.75
depqbf3858.11964.53408.131200.16471.260.25
depqbf-pre3671.38917.854891200.17564.660.25
nenofex-qbfeval10628.17157.04106.19147.82166.830.25
qmaiga870.51217.63370.315.31432.431
quantor-3.1105.0526.264.623.925.760
QuBE73441.84860.46493.561113.71679.190.25
QuBE7-c2140.54535.14431.39469.29666.890.5
QuBE7-m2404.21601.05424.02601.09625.660.5
struqs-103832.69958.17419.021200.08483.860.25