2021 AINNCS Benchmarks

Here is a link to all the benchmarks from last year:

https://github.com/verivital/ARCH-COMP2020/tree/master/benchmarks

Let us know if you have any suggestions for this year's competition such as new benchmarks, or modifications on existing benchmarks such as new specifications or initial conditions.

Here is the link to the ARCH-COMP 2020 final with a detailed description and the results for each benchmark:

https://easychair.org/publications/open/Jvwg