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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]theta.2025-05-06_14-30-21.results.CHC-COMP2025_check-sat.LRA-Lin.xml.bz22025-05-12 10:39 26K 
[TXT]theta.2025-05-06_14-30-21.results.CHC-COMP2025_check-sat.LRA-Lin.txt2025-05-06 20:47 43K 
[TXT]theta.2025-05-06_14-30-21.results.CHC-COMP2025_check-sat.LRA-Lin.html2025-05-12 10:59 1.3M 
[TXT]theta.2025-05-06_14-30-21.results.CHC-COMP2025_check-sat.LRA-Lin.csv2025-05-07 05:08 38K 
[ ]theta.2025-05-06_14-30-21.logfiles.zip2025-05-06 20:47 274K 
[DIR]theta.2025-05-06_14-30-21.files/2025-05-06 20:47 -  
[ ]theta.2025-05-06_14-30-15.results.CHC-COMP2025_check-sat.BV.xml.bz22025-05-12 10:38 53K 
[TXT]theta.2025-05-06_14-30-15.results.CHC-COMP2025_check-sat.BV.txt2025-05-06 20:27 93K 
[TXT]theta.2025-05-06_14-30-15.results.CHC-COMP2025_check-sat.BV.html2025-05-12 10:58 1.4M 
[TXT]theta.2025-05-06_14-30-15.results.CHC-COMP2025_check-sat.BV.csv2025-05-07 05:08 71K 
[ ]theta.2025-05-06_14-30-15.logfiles.zip2025-05-06 20:27 720K 
[DIR]theta.2025-05-06_14-30-15.files/2025-05-06 20:27 -  
[ ]theta.2025-05-06_14-30-11.results.CHC-COMP2025_check-sat.LIA-Arrays.xml.bz22025-05-12 10:39 154K 
[TXT]theta.2025-05-06_14-30-11.results.CHC-COMP2025_check-sat.LIA-Arrays.txt2025-05-06 19:41 315K 
[TXT]theta.2025-05-06_14-30-11.results.CHC-COMP2025_check-sat.LIA-Arrays.html2025-05-12 10:58 2.2M 
[TXT]theta.2025-05-06_14-30-11.results.CHC-COMP2025_check-sat.LIA-Arrays.csv2025-05-07 05:08 257K 
[ ]theta.2025-05-06_14-30-11.logfiles.zip2025-05-06 19:41 3.0M 
[DIR]theta.2025-05-06_14-30-11.files/2025-05-06 19:41 -  
[ ]theta.2025-05-06_14-29-52.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-12 10:39 15K 
[TXT]theta.2025-05-06_14-29-52.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.txt2025-05-06 19:21 26K 
[TXT]theta.2025-05-06_14-29-52.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-12 10:58 1.2M 
[TXT]theta.2025-05-06_14-29-52.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.csv2025-05-07 05:08 18K 
[ ]theta.2025-05-06_14-29-52.logfiles.zip2025-05-06 19:21 178K 
[DIR]theta.2025-05-06_14-29-52.files/2025-05-06 19:21 -  
[ ]theta.2025-05-06_14-29-12.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-12 10:39 121K 
[TXT]theta.2025-05-06_14-29-12.results.CHC-COMP2025_check-sat.LIA-Lin.txt2025-05-06 19:10 230K 
[TXT]theta.2025-05-06_14-29-12.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-12 10:58 1.8M 
[TXT]theta.2025-05-06_14-29-12.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-07 05:08 160K 
[ ]theta.2025-05-06_14-29-12.logfiles.zip2025-05-06 19:10 1.5M 
[DIR]theta.2025-05-06_14-29-12.files/2025-05-06 19:09 -  
[ ]theta.2025-05-06_14-29-00.results.CHC-COMP2025_check-sat.LIA.xml.bz22025-05-12 10:39 124K 
[TXT]theta.2025-05-06_14-29-00.results.CHC-COMP2025_check-sat.LIA.txt2025-05-06 16:39 209K 
[TXT]theta.2025-05-06_14-29-00.results.CHC-COMP2025_check-sat.LIA.html2025-05-12 10:59 1.8M 
[TXT]theta.2025-05-06_14-29-00.results.CHC-COMP2025_check-sat.LIA.csv2025-05-07 05:08 159K 
[ ]theta.2025-05-06_14-29-00.logfiles.zip2025-05-06 16:39 2.6M 
[DIR]theta.2025-05-06_14-29-00.files/2025-05-06 16:39 -  
[ ]theta.2025-05-05_21-25-53.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-05 21:31 11K 
[TXT]theta.2025-05-05_21-25-53.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.txt2025-05-05 21:31 26K 
[TXT]theta.2025-05-05_21-25-53.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-07 05:08 1.2M 
[TXT]theta.2025-05-05_21-25-53.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.csv2025-05-07 05:08 16K 
[ ]theta.2025-05-05_21-25-53.logfiles.zip2025-05-05 21:31 177K 
[DIR]theta.2025-05-05_21-25-53.files/2025-05-05 21:31 -  
[ ]theta.2025-05-05_21-13-23.results.CHC-COMP2025_check-sat.LIA-Arrays.xml.bz22025-05-05 21:30 112K 
[TXT]theta.2025-05-05_21-13-23.results.CHC-COMP2025_check-sat.LIA-Arrays.txt2025-05-05 21:30 311K 
[TXT]theta.2025-05-05_21-13-23.results.CHC-COMP2025_check-sat.LIA-Arrays.html2025-05-07 05:08 2.0M 
[TXT]theta.2025-05-05_21-13-23.results.CHC-COMP2025_check-sat.LIA-Arrays.csv2025-05-07 05:08 235K 
[ ]theta.2025-05-05_21-13-23.logfiles.zip2025-05-05 21:30 2.8M 
[DIR]theta.2025-05-05_21-13-23.files/2025-05-05 21:30 -  
[ ]theta.2025-05-05_21-13-11.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-05 21:13 1.6K 
[TXT]theta.2025-05-05_21-13-11.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.txt2025-05-05 21:13 9.5K 
[TXT]theta.2025-05-05_21-13-11.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-07 05:08 1.1M 
[TXT]theta.2025-05-05_21-13-11.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.csv2025-05-07 05:08 5.3K 
Apache/2.4.58 (Ubuntu) Server at www.cip.ifi.lmu.de Port 443