Empirical Evaluation of: Alternating Runtime and Size Complexity Analysis of Integer Programs

Include examples that are

recursive	or	non recursive	and
linear	or	non linear

Comparison of Prover Results

Compare two provers

Detailed Result Tables

Only show examples that

Sort by filename analysis time degree of bound # of variables in bound

ascending descending

of tool