![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| chococatalia.2025-05-04_04-56-29.files/ | 2025-05-04 08:55 | - | |
| chococatalia.2025-05-04_04-56-29.logfiles/ | 2025-05-04 08:55 | - | |
| chococatalia.2025-05-04_04-56-29.logfiles.zip | 2025-05-04 08:55 | 365K | |
| chococatalia.2025-05-04_04-56-29.results.CHC-COMP2025_check-sat.ADT-LIA.txt | 2025-05-04 08:55 | 150K | |
| chococatalia.2025-05-04_04-56-29.results.CHC-COMP2025_check-sat.ADT-LIA.csv | 2025-05-07 05:07 | 125K | |
| chococatalia.2025-05-04_04-56-29.results.CHC-COMP2025_check-sat.ADT-LIA.xml.bz2 | 2025-05-12 10:38 | 97K | |
| chococatalia.2025-05-04_04-56-29.results.CHC-COMP2025_check-sat.ADT-LIA.html | 2025-05-12 10:58 | 1.7M | |