Home Separation Logic Specs Tools Thanks
The set of 678 benchmarks collected has the following properties:
The problems have been split into five divisions have been used for this competition based on:
One problem is encoded by one benchmark file. The format of this file is explained on the wiki of the GitHub project of the competition.
Last modified: Thu Sep 25 18:05:53 CEST 2014