Suite Cashmore-Fox-Giunchiglia results for solvers
QBFEVAL'16 - Solver Portfolio Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-101544.19220.62656.83334.290.714
caqe-portfolio1263.64180.52139.11299.8299.40.429
squeezebf+aqme1553.58221.94265.288.24341.910.714