Suite Kontchakov results for solvers
QBFEVAL'16 - Solver Portfolio Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-101781.26178.13258.7113.9225.710.8
caqe-portfolio1134.26113.43130.5520.51161.320.6
squeezebf+aqme1234.17123.42217.8618.8111.20.9