Booster has been evaluated on the following sets of benchmarks.
- standard - Programs with arrays used in related works on array analysis.
- sorting - Sorting procedures for arrays.
- data_structures - Programs exploiting arrays for defining more complex data-structures (e.g., sets).
- sanfoundry - Programs taken and adapted from the webpage www.sanfoundry.com/c-programming-examples-arrays/.
Some Booster programs have been adopted by the SV-COMP organizers for a new track of the competition (see svn.sosy-lab.org/software/sv-benchmarks/trunk/c/array-examples/).
Results of the experimental evaluation of Booster are available for the safe and unsafe benchmarks.