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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]ADT-LIA-Arrays.results.diff.html2025-05-12 16:05 2.7M 
[TXT]ADT-LIA-Arrays.results.table.html2025-05-12 16:05 4.7M 
[TXT]ADT-LIA.results.diff.html2025-05-12 16:05 1.8M 
[TXT]ADT-LIA.results.table.html2025-05-12 16:05 2.7M 
[TXT]BV.results.diff.html2025-05-12 16:05 1.8M 
[TXT]BV.results.table.html2025-05-12 16:05 1.9M 
[TXT]LIA-Arrays.results.diff.html2025-05-12 16:05 5.0M 
[TXT]LIA-Arrays.results.table.html2025-05-12 16:05 5.0M 
[TXT]LIA-Lin-Arrays.results.diff.html2025-05-12 16:05 1.4M 
[TXT]LIA-Lin-Arrays.results.table.html2025-05-12 16:05 1.5M 
[TXT]LIA-Lin.results.diff.html2025-05-12 16:05 6.0M 
[TXT]LIA-Lin.results.table.html2025-05-12 16:05 6.2M 
[TXT]LIA.results.diff.html2025-05-12 16:05 5.0M 
[TXT]LIA.results.table.html2025-05-12 16:05 5.0M 
[TXT]LRA-Lin.results.diff.html2025-05-12 16:05 1.6M 
[TXT]LRA-Lin.results.table.html2025-05-12 16:05 1.6M 

Apache/2.4.58 (Ubuntu) Server at www.cip.ifi.lmu.de Port 443