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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]ultimateunihorn.2025-04-28_21-12-30.files/2025-04-28 21:22 -  
[DIR]ultimateunihorn.2025-05-04_04-57-31.files/2025-05-05 03:14 -  
[DIR]ultimateunihorn.2025-05-05_20-07-07.files/2025-05-05 21:05 -  
[DIR]ultimateunihorn.2025-05-05_20-41-44.files/2025-05-06 06:16 -  
[ ]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-05 03:15 10K 
[ ]ultimateunihorn.2025-04-28_21-12-30.results.CHC-COMP2024_check-sat.LIA-Lin-Arrays.xml.bz22025-04-28 21:22 12K 
[ ]ultimateunihorn.2025-05-05_20-07-07.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-05 21:06 14K 
[TXT]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.csv2025-05-05 17:23 14K 
[ ]ultimateunihorn.2025-05-07_15-32-18.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-12 10:39 15K 
[TXT]ultimateunihorn.2025-05-05_20-07-07.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.csv2025-05-07 05:08 17K 
[ ]ultimateunihorn.2025-04-28_21-12-30.results.CHC-COMP2024_check-sat.LIA-Arrays.xml.bz22025-04-28 21:22 21K 
[ ]ultimateunihorn.2025-04-28_21-12-30.results.CHC-COMP2024_check-sat.LIA-Lin.xml.bz22025-04-28 21:22 21K 
[ ]ultimateunihorn.2025-04-28_21-12-30.results.CHC-COMP2024_check-sat.LIA.xml.bz22025-04-28 21:22 21K 
[TXT]ultimateunihorn.2025-05-05_20-07-07.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.txt2025-05-05 21:06 25K 
[ ]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.LIA.xml.bz22025-05-05 03:15 61K 
[ ]ultimateunihorn.2025-04-28_21-12-30.results.CHC-COMP2024_check-sat.xml.bz22025-04-28 21:22 69K 
[TXT]ultimateunihorn.2025-04-28_21-12-30.results.CHC-COMP2024_check-sat.csv2025-04-28 23:05 101K 
[TXT]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.LIA.csv2025-05-07 05:08 112K 
[TXT]ultimateunihorn.2025-04-28_21-12-30.results.CHC-COMP2024_check-sat.txt2025-04-28 21:22 118K 
[ ]ultimateunihorn.2025-05-07_15-47-26.results.CHC-COMP2025_check-sat.LIA.xml.bz22025-05-12 10:39 122K 
[ ]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-05 03:15 127K 
[ ]ultimateunihorn.2025-05-05_20-41-44.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-12 10:39 130K 
[ ]ultimateunihorn.2025-05-07_15-37-43.results.CHC-COMP2025_check-sat.LIA-Arrays.xml.bz22025-05-12 10:39 151K 
[ ]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.LIA-Arrays.xml.bz22025-05-05 03:15 152K 
[TXT]ultimateunihorn.2025-05-05_20-41-44.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-07 05:08 158K 
[TXT]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-05 17:24 161K 
[TXT]ultimateunihorn.2025-05-05_20-41-44.results.CHC-COMP2025_check-sat.LIA-Lin.txt2025-05-06 06:16 230K 
[TXT]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.LIA-Arrays.csv2025-05-07 05:08 254K 
[ ]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.xml.bz22025-05-05 03:15 348K 
[TXT]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.csv2025-05-05 17:20 540K 
[TXT]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.txt2025-05-05 03:15 773K 
[TXT]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-05 17:23 1.2M 
[TXT]ultimateunihorn.2025-05-05_20-07-07.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-07 05:08 1.2M 
[TXT]ultimateunihorn.2025-05-07_15-32-18.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-12 10:58 1.2M 
[TXT]ultimateunihorn.2025-04-28_21-12-30.results.CHC-COMP2024_check-sat.html2025-04-28 23:05 1.6M 
[TXT]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.LIA.html2025-05-07 05:08 1.7M 
[TXT]ultimateunihorn.2025-05-07_15-47-26.results.CHC-COMP2025_check-sat.LIA.html2025-05-12 10:59 1.8M 
[TXT]ultimateunihorn.2025-05-05_20-41-44.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-12 10:58 1.8M 
[TXT]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-05 17:24 1.8M 
[TXT]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.LIA-Arrays.html2025-05-07 05:08 2.1M 
[TXT]ultimateunihorn.2025-05-07_15-37-43.results.CHC-COMP2025_check-sat.LIA-Arrays.html2025-05-12 10:58 2.2M 
[ ]ultimateunihorn.2025-05-05_20-07-07.logfiles.zip2025-05-05 21:06 2.3M 
[ ]ultimateunihorn.2025-05-07_15-32-18.logfiles.zip2025-05-07 17:15 2.4M 
[TXT]ultimateunihorn.2025-05-04_04-57-31.results.CHC-COMP2025_check-sat.html2025-05-05 17:20 3.5M 
[ ]ultimateunihorn.2025-04-28_21-12-30.logfiles.zip2025-04-28 21:22 9.3M 
[ ]ultimateunihorn.2025-05-07_15-47-26.logfiles.zip2025-05-08 00:04 13M 
[ ]ultimateunihorn.2025-05-07_15-37-43.logfiles.zip2025-05-07 17:56 16M 
[ ]ultimateunihorn.2025-05-05_20-41-44.logfiles.zip2025-05-06 06:16 17M 
[ ]ultimateunihorn.2025-05-04_04-57-31.logfiles.zip2025-05-05 03:15 41M 
Apache/2.4.58 (Ubuntu) Server at www.cip.ifi.lmu.de Port 443