Family Chain results for solvers
QBFEVAL'16 - Solver Portfolio Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-106.980.70.050.710.071
caqe-portfolio1.60.160.050.120.11
squeezebf+aqme3363.59336.36282.71480.69599.450.5