Family k_branch_p results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN2854.11135.91211.229.2665.080.762
Nenofex4080.22194.3158.24165.23153.710.19
quantor3.0539.6125.711.3928.098.190.143
QuBE6.19326.2444.1251.59600437.280.19
ssolve-A10307.07490.81225.9460000.19
ssolveB10311.4491.02225.5860000.19
ssolveC10300.52490.5226.4860000.19