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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-103650.99365.1287.97600598.780.4
caqe-portfolio1506.01150.6149.26152.27299.510.5
squeezebf+aqme3651.34365.13287.92600599.710.2