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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve1561.24223.0340433.32154.740.857
aqme-10710.92101.56208.325.133.491
depqbf7301.781043.11384.711200.171099.40.143
depqbf-pre7321.711045.96377.731200.161079.450.143
nenofex-qbfeval101343.36191.9199.52239.7252.950.143
qmaiga734.81104.97109.1842.39171.811
quantor-3.1204.0729.155.5928.6310.70
QuBE77201.131028.73419.761200.091199.570.143
QuBE7-c4856.2693.74386.16618.99739.950.143
QuBE7-m5230.47747.21383.19680.42903.370.143
struqs-107288.431041.2389.181200.081112.180.143