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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-10427.8942.7930.243.8158.671
caqe-portfolio3.730.370.130.370.221
squeezebf+aqme427.7442.7730.3543.2559.181