Index of /~ernstg/chc-comp2025/ChocoCatalia/test/results

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]chococatalia.2025-05-03_07-34-57.results.CHC-COMP2024_check-sat.ADT-LIA.xml.bz22025-05-03 13:43 20K 
[TXT]chococatalia.2025-05-03_07-34-57.results.CHC-COMP2024_check-sat.ADT-LIA.txt2025-05-03 13:43 28K 
[TXT]chococatalia.2025-05-03_07-34-57.results.CHC-COMP2024_check-sat.ADT-LIA.html2025-05-03 13:43 1.2M 
[TXT]chococatalia.2025-05-03_07-34-57.results.CHC-COMP2024_check-sat.ADT-LIA.csv2025-05-03 13:43 26K 
[ ]chococatalia.2025-05-03_07-34-57.logfiles.zip2025-05-03 13:43 98K 
[DIR]chococatalia.2025-05-03_07-34-57.files/2025-05-03 13:39 -  
[ ]chococatalia.2025-04-28_21-10-55.results.CHC-COMP2024_check-sat.ADT-LIA.xml.bz22025-04-28 21:13 21K 
[TXT]chococatalia.2025-04-28_21-10-55.results.CHC-COMP2024_check-sat.ADT-LIA.txt2025-04-28 21:13 28K 
[TXT]chococatalia.2025-04-28_21-10-55.results.CHC-COMP2024_check-sat.ADT-LIA.html2025-04-28 22:30 1.2M 
[TXT]chococatalia.2025-04-28_21-10-55.results.CHC-COMP2024_check-sat.ADT-LIA.csv2025-04-28 22:30 26K 
[ ]chococatalia.2025-04-28_21-10-55.logfiles.zip2025-04-28 21:13 98K 
[DIR]chococatalia.2025-04-28_21-10-55.files/2025-04-28 21:13 -  
Apache/2.4.58 (Ubuntu) Server at www.cip.ifi.lmu.de Port 443