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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ultimatetreeautomizer.2025-05-07_15-47-43.results.CHC-COMP2025_check-sat.LIA.xml.bz22025-05-12 10:39 118K 
[TXT]ultimatetreeautomizer.2025-05-07_15-47-43.results.CHC-COMP2025_check-sat.LIA.html2025-05-12 10:59 1.8M 
[ ]ultimatetreeautomizer.2025-05-07_15-47-43.logfiles.zip2025-05-08 02:09 2.1M 
[ ]ultimatetreeautomizer.2025-05-07_15-37-53.results.CHC-COMP2025_check-sat.LIA-Arrays.xml.bz22025-05-12 10:39 161K 
[TXT]ultimatetreeautomizer.2025-05-07_15-37-53.results.CHC-COMP2025_check-sat.LIA-Arrays.html2025-05-12 10:58 2.2M 
[ ]ultimatetreeautomizer.2025-05-07_15-37-53.logfiles.zip2025-05-07 21:17 3.9M 
[ ]ultimatetreeautomizer.2025-05-07_15-32-26.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-12 10:39 14K 
[TXT]ultimatetreeautomizer.2025-05-07_15-32-26.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-12 10:58 1.2M 
[ ]ultimatetreeautomizer.2025-05-07_15-32-26.logfiles.zip2025-05-07 17:17 259K 
[ ]ultimatetreeautomizer.2025-05-05_20-41-43.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-12 10:39 124K 
[TXT]ultimatetreeautomizer.2025-05-05_20-41-43.results.CHC-COMP2025_check-sat.LIA-Lin.txt2025-05-06 08:06 230K 
[TXT]ultimatetreeautomizer.2025-05-05_20-41-43.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-12 10:58 1.8M 
[TXT]ultimatetreeautomizer.2025-05-05_20-41-43.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-07 05:08 159K 
[ ]ultimatetreeautomizer.2025-05-05_20-41-43.logfiles.zip2025-05-06 08:06 2.9M 
[DIR]ultimatetreeautomizer.2025-05-05_20-41-43.files/2025-05-06 08:05 -  
[ ]ultimatetreeautomizer.2025-05-05_20-07-08.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-05 21:07 13K 
[TXT]ultimatetreeautomizer.2025-05-05_20-07-08.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.txt2025-05-05 21:07 25K 
[TXT]ultimatetreeautomizer.2025-05-05_20-07-08.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-07 05:08 1.2M 
[TXT]ultimatetreeautomizer.2025-05-05_20-07-08.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.csv2025-05-07 05:08 17K 
[ ]ultimatetreeautomizer.2025-05-05_20-07-08.logfiles.zip2025-05-05 21:07 246K 
[DIR]ultimatetreeautomizer.2025-05-05_20-07-08.files/2025-05-05 21:07 -  
[ ]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.xml.bz22025-05-05 10:53 348K 
[TXT]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.txt2025-05-05 10:53 773K 
[TXT]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.html2025-05-05 17:21 3.6M 
[TXT]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.csv2025-05-05 17:21 550K 
[ ]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.LIA.xml.bz22025-05-05 10:53 59K 
[TXT]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.LIA.html2025-05-07 05:08 1.7M 
[TXT]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.LIA.csv2025-05-07 05:08 113K 
[ ]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-05 10:53 121K 
[TXT]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-05 17:24 1.9M 
[TXT]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-05 17:24 162K 
[ ]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-05 10:53 10K 
[TXT]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-05 17:24 1.2M 
[TXT]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.csv2025-05-05 17:24 14K 
[ ]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.LIA-Arrays.xml.bz22025-05-05 10:53 160K 
[TXT]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.LIA-Arrays.html2025-05-07 05:08 2.2M 
[TXT]ultimatetreeautomizer.2025-05-04_04-57-36.results.CHC-COMP2025_check-sat.LIA-Arrays.csv2025-05-07 05:08 263K 
[ ]ultimatetreeautomizer.2025-05-04_04-57-36.logfiles.zip2025-05-05 10:53 7.7M 
[DIR]ultimatetreeautomizer.2025-05-04_04-57-36.files/2025-05-05 10:52 -  
[ ]ultimatetreeautomizer.2025-04-28_21-12-20.results.CHC-COMP2024_check-sat.xml.bz22025-04-28 21:21 68K 
[TXT]ultimatetreeautomizer.2025-04-28_21-12-20.results.CHC-COMP2024_check-sat.txt2025-04-28 21:21 118K 
[TXT]ultimatetreeautomizer.2025-04-28_21-12-20.results.CHC-COMP2024_check-sat.html2025-04-28 23:05 1.6M 
[TXT]ultimatetreeautomizer.2025-04-28_21-12-20.results.CHC-COMP2024_check-sat.csv2025-04-28 23:05 101K 
[ ]ultimatetreeautomizer.2025-04-28_21-12-20.results.CHC-COMP2024_check-sat.LIA.xml.bz22025-04-28 21:21 21K 
[ ]ultimatetreeautomizer.2025-04-28_21-12-20.results.CHC-COMP2024_check-sat.LIA-Lin.xml.bz22025-04-28 21:21 21K 
[ ]ultimatetreeautomizer.2025-04-28_21-12-20.results.CHC-COMP2024_check-sat.LIA-Lin-Arrays.xml.bz22025-04-28 21:21 12K 
[ ]ultimatetreeautomizer.2025-04-28_21-12-20.results.CHC-COMP2024_check-sat.LIA-Arrays.xml.bz22025-04-28 21:21 21K 
[ ]ultimatetreeautomizer.2025-04-28_21-12-20.logfiles.zip2025-04-28 21:21 2.3M 
[DIR]ultimatetreeautomizer.2025-04-28_21-12-20.files/2025-04-28 21:21 -  
Apache/2.4.58 (Ubuntu) Server at www.cip.ifi.lmu.de Port 443