These tasks are taken from the RERS Challenge 2018,
i.e., the Rigorous Examination of Reactive Systems (RERS).

For more details please visit: http://www.rers-challenge.org/2018/

Each benchmark source file contains 100 different reachability problems
denoted as `__VERIFIER_error(0)` to `__VERIFIER_error(99)`.