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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-102446.43244.64290.1611.52594.650.6
caqe-portfolio1445.09144.51136.5110.27296.270.6
squeezebf+aqme2451.72245.17289.7313.4594.390.6