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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-10124.8312.4819.223.297.211
caqe-portfolio1379.39137.94137.883.78298.840.6
squeezebf+aqme128.9812.919.783.487.481