## Industrial LTL Problems

**Each participating team is invited to briefly present their approach to the RERS benchmarks
at the corresponding event.**

__Important update (Mar. 9th):__

### The C99 code has been replaced. Please only submit your solutions based on the new version.

The problems are divided into two categories: Arithmetic and Data Structures. In contrast to the first category, the second one also features arrays in the source code. Achievements can be earned separately in each of these two categories.

Useful information regarding these problems can be found on the problem description page. The rewards page explains the corresponding ranking and achievements as well as available prizes. Training problems with solutions can be downloaded in order to test an approach before submitting to the challenge.

Property files are provided in their own .zip file. Regarding the source code, the following files are contained in each problem's directory:

- .java file: Java version of the source code.
- .c file: C99 version of the source code.
- "...alphabet_mapping_C_version.txt" file: Bijection between the integer values in the C99 version and the input/output symbols in the Java file/property descriptions.
- .traces file: Execution logs provided by ASML. See the problem description for details.

** The source code of the problems is provided as a .zip archive**.

** LTL properties are available as a separate .zip archive**.

### Industrial Reachability Problems

The following lists provide an overview of this year's challenge problems in the industrial tracks. The table contains the problem identifiers for each of the two categories. Note that the problems are*not*ordered according to difficulty.

Arithmetic Category | ||||

m24 | m45 | m54 | m55 | m76 |

m95 | m135 | m158 | m159 | m164 |

m172 | m181 | m183 | m185 | m201 |

Data Structures Category | ||||

m22 | m27 | m41 | m49 | m65 |

m106 | m131 | m132 | m167 | m173 |

m182 | m189 | m190 | m196 | m199 |