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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-103006.82300.68299.32301.79599.480.5
caqe-portfolio2.510.250.160.220.11
squeezebf+aqme3006.73300.67299.33301.8599.490.5