The benchmarks in this directory were used as regression checks by Ultimate Automizer.
The intention of these benchmarks is to capture many corner cases related to overflows of
signed integers.
These benchmarks were submitted by Matthias Heizmann.