Experiments

The following experimental results were obtained from our collection of programs, transformed by HOSA. The indicated results were obtained with GUBS, version 3. The examples and configuration can be obtained here.

- hosa