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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]mucyc.2025-04-28_21-11-53.files/2025-04-28 21:17 -  
[DIR]mucyc.2025-05-04_04-58-31.files/2025-05-05 12:20 -  
[DIR]mucyc.2025-05-05_20-41-25.files/2025-05-06 01:40 -  
[DIR]pcsat.2025-04-28_21-12-02.files/2025-04-28 21:20 -  
[DIR]pcsat.2025-05-04_04-29-39.files/2025-05-04 04:36 -  
[DIR]pcsat.2025-05-04_04-56-45.files/2025-05-04 18:50 -  
[DIR]pcsat.2025-05-04_04-56-45.logfiles/2025-05-04 18:51 -  
[DIR]pcsat.2025-05-05_20-06-31.files/2025-05-05 20:46 -  
[DIR]pcsat.2025-05-05_20-41-23.files/2025-05-06 00:49 -  
[ ]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-04 04:37 7.7K 
[ ]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-04 18:51 9.9K 
[ ]pcsat.2025-04-28_21-12-02.results.CHC-COMP2024_check-sat.LIA-Lin-Arrays.xml.bz22025-04-28 21:20 11K 
[ ]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LRA-Lin.xml.bz22025-05-04 04:37 13K 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.csv2025-05-05 17:24 13K 
[ ]pcsat.2025-05-05_20-06-31.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-05 20:46 13K 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.csv2025-05-05 17:24 14K 
[ ]pcsat.2025-05-07_15-31-46.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-12 10:39 15K 
[TXT]pcsat.2025-05-05_20-06-31.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.csv2025-05-07 05:07 17K 
[ ]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LRA-Lin.xml.bz22025-05-04 18:51 18K 
[ ]pcsat.2025-04-28_21-12-02.results.CHC-COMP2024_check-sat.LIA-Lin.xml.bz22025-04-28 21:20 19K 
[ ]pcsat.2025-04-28_21-12-02.results.CHC-COMP2024_check-sat.ADT-LIA.xml.bz22025-04-28 21:20 19K 
[ ]pcsat.2025-04-28_21-12-02.results.CHC-COMP2024_check-sat.LIA-Arrays.xml.bz22025-04-28 21:20 20K 
[ ]pcsat.2025-04-28_21-12-02.results.CHC-COMP2024_check-sat.LIA.xml.bz22025-04-28 21:20 20K 
[ ]pcsat.2025-04-28_21-12-02.results.CHC-COMP2024_check-sat.ADT-LIA-Arrays.xml.bz22025-04-28 21:20 20K 
[ ]mucyc.2025-04-28_21-11-53.results.CHC-COMP2024_check-sat.LIA-Lin.xml.bz22025-04-28 21:17 20K 
[ ]mucyc.2025-04-28_21-11-53.results.CHC-COMP2024_check-sat.LIA.xml.bz22025-04-28 21:17 20K 
[TXT]pcsat.2025-05-05_20-06-31.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.txt2025-05-05 20:46 25K 
[ ]pcsat.2025-05-07_15-22-40.results.CHC-COMP2025_check-sat.LRA-Lin.xml.bz22025-05-12 10:39 25K 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LRA-Lin.csv2025-05-05 17:24 29K 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LRA-Lin.csv2025-05-07 05:07 32K 
[ ]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.BV.xml.bz22025-05-04 04:37 35K 
[ ]mucyc.2025-04-28_21-11-53.results.CHC-COMP2024_check-sat.xml.bz22025-04-28 21:17 39K 
[ ]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LIA.xml.bz22025-05-04 04:37 44K 
[ ]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.BV.xml.bz22025-05-12 10:38 46K 
[ ]pcsat.2025-05-05_20-06-31.logfiles.zip2025-05-05 20:46 48K 
[ ]pcsat.2025-05-07_15-31-46.logfiles.zip2025-05-07 17:04 51K 
[TXT]mucyc.2025-04-28_21-11-53.results.CHC-COMP2024_check-sat.csv2025-04-28 23:11 55K 
[ ]mucyc.2025-05-04_04-58-31.results.CHC-COMP2025_check-sat.LIA.xml.bz22025-05-05 12:21 58K 
[ ]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LIA.xml.bz22025-05-04 18:51 58K 
[TXT]mucyc.2025-04-28_21-11-53.results.CHC-COMP2024_check-sat.txt2025-04-28 21:17 60K 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.BV.csv2025-05-05 17:24 64K 
[ ]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.ADT-LIA.xml.bz22025-05-04 04:37 66K 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.BV.csv2025-05-07 05:07 70K 
[ ]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-04 04:37 81K 
[ ]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.ADT-LIA.xml.bz22025-05-12 10:38 94K 
[ ]pcsat.2025-05-07_15-22-40.logfiles.zip2025-05-07 16:41 98K 
[ ]pcsat.2025-04-28_21-12-02.results.CHC-COMP2024_check-sat.xml.bz22025-04-28 21:20 99K 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LIA.csv2025-05-07 05:07 104K 
[ ]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LIA-Arrays.xml.bz22025-05-04 04:37 108K 
[TXT]mucyc.2025-05-04_04-58-31.results.CHC-COMP2025_check-sat.LIA.csv2025-05-07 05:07 110K 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LIA.csv2025-05-05 17:24 111K 
[ ]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-04 18:51 113K 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.ADT-LIA.csv2025-05-05 17:24 113K 
[ ]pcsat.2025-05-07_15-46-53.results.CHC-COMP2025_check-sat.LIA.xml.bz22025-05-12 10:39 113K 
[ ]mucyc.2025-05-04_04-58-31.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-05 12:21 117K 
[ ]mucyc.2025-05-05_20-41-25.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-12 10:39 119K 
[ ]pcsat.2025-05-05_20-41-23.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-12 10:39 120K 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.ADT-LIA.csv2025-05-07 05:07 128K 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-05 17:24 141K 
[ ]pcsat.2025-05-07_15-37-19.results.CHC-COMP2025_check-sat.LIA-Arrays.xml.bz22025-05-12 10:38 142K 
[ ]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LIA-Arrays.xml.bz22025-05-04 18:51 142K 
[TXT]mucyc.2025-05-05_20-41-25.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-07 05:07 154K 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-05 17:24 155K 
[TXT]pcsat.2025-05-05_20-41-23.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-07 05:07 157K 
[TXT]mucyc.2025-05-04_04-58-31.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-05 17:24 157K 
[TXT]pcsat.2025-04-28_21-12-02.results.CHC-COMP2024_check-sat.csv2025-04-28 23:11 161K 
[ ]mucyc.2025-05-04_04-58-31.results.CHC-COMP2025_check-sat.xml.bz22025-05-05 12:20 175K 
[TXT]pcsat.2025-04-28_21-12-02.results.CHC-COMP2024_check-sat.txt2025-04-28 21:20 185K 
[ ]mucyc.2025-04-28_21-11-53.logfiles.zip2025-04-28 21:17 187K 
[ ]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.ADT-LIA-Arrays.xml.bz22025-05-04 04:37 221K 
[TXT]mucyc.2025-05-05_20-41-25.results.CHC-COMP2025_check-sat.LIA-Lin.txt2025-05-06 01:40 230K 
[TXT]pcsat.2025-05-05_20-41-23.results.CHC-COMP2025_check-sat.LIA-Lin.txt2025-05-06 00:49 230K 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LIA-Arrays.csv2025-05-05 17:24 234K 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LIA-Arrays.csv2025-05-07 05:07 251K 
[TXT]mucyc.2025-05-04_04-58-31.results.CHC-COMP2025_check-sat.csv2025-05-05 17:21 267K 
[ ]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.ADT-LIA-Arrays.xml.bz22025-05-12 10:38 305K 
[TXT]mucyc.2025-05-04_04-58-31.results.CHC-COMP2025_check-sat.txt2025-05-05 12:21 412K 
[ ]pcsat.2025-05-07_15-46-53.logfiles.zip2025-05-07 22:45 437K 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.ADT-LIA-Arrays.csv2025-05-05 17:24 443K 
[ ]pcsat.2025-05-05_20-41-23.logfiles.zip2025-05-06 00:49 445K 
[ ]mucyc.2025-05-05_20-41-25.logfiles.zip2025-05-06 01:40 449K 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.ADT-LIA-Arrays.csv2025-05-07 05:07 482K 
[ ]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.xml.bz22025-05-04 04:37 568K 
[ ]pcsat.2025-04-28_21-12-02.logfiles.zip2025-04-28 21:20 621K 
[ ]mucyc.2025-05-04_04-58-31.logfiles.zip2025-05-05 12:21 633K 
[ ]pcsat.2025-05-07_15-37-19.logfiles.zip2025-05-07 17:44 686K 
[ ]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.xml.bz22025-05-04 18:51 777K 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-05 17:24 1.2M 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-05 17:24 1.2M 
[TXT]pcsat.2025-05-05_20-06-31.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-07 05:07 1.2M 
[TXT]pcsat.2025-05-07_15-31-46.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-12 10:58 1.2M 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.csv2025-05-05 17:21 1.2M 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LRA-Lin.html2025-05-05 17:24 1.2M 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LRA-Lin.html2025-05-07 05:07 1.2M 
[TXT]pcsat.2025-05-07_15-22-40.results.CHC-COMP2025_check-sat.LRA-Lin.html2025-05-12 10:59 1.3M 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.BV.html2025-05-05 17:24 1.4M 
[TXT]mucyc.2025-04-28_21-11-53.results.CHC-COMP2024_check-sat.html2025-04-28 23:11 1.4M 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.BV.html2025-05-12 10:58 1.4M 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LIA.html2025-05-07 05:07 1.6M 
[TXT]mucyc.2025-05-04_04-58-31.results.CHC-COMP2025_check-sat.LIA.html2025-05-07 05:07 1.7M 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.ADT-LIA.html2025-05-05 17:24 1.7M 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LIA.html2025-05-05 17:24 1.7M 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.txt2025-05-04 04:37 1.7M 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.txt2025-05-04 18:51 1.7M 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.ADT-LIA.html2025-05-12 10:58 1.8M 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-05 17:24 1.8M 
[TXT]pcsat.2025-05-07_15-46-53.results.CHC-COMP2025_check-sat.LIA.html2025-05-12 10:59 1.8M 
[TXT]mucyc.2025-05-05_20-41-25.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-12 10:58 1.8M 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-05 17:24 1.9M 
[TXT]mucyc.2025-05-04_04-58-31.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-05 17:24 1.9M 
[TXT]pcsat.2025-05-05_20-41-23.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-12 10:58 1.9M 
[TXT]pcsat.2025-04-28_21-12-02.results.CHC-COMP2024_check-sat.html2025-04-28 23:11 1.9M 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.LIA-Arrays.html2025-05-05 17:24 2.1M 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.LIA-Arrays.html2025-05-07 05:07 2.2M 
[TXT]pcsat.2025-05-07_15-37-19.results.CHC-COMP2025_check-sat.LIA-Arrays.html2025-05-12 10:58 2.2M 
[TXT]mucyc.2025-05-04_04-58-31.results.CHC-COMP2025_check-sat.html2025-05-05 17:21 2.4M 
[TXT]pcsat.2025-05-04_04-29-39.results.CHC-COMP2025_check-sat.ADT-LIA-Arrays.html2025-05-05 17:24 3.0M 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.ADT-LIA-Arrays.html2025-05-12 10:58 3.3M 
[ ]pcsat.2025-05-04_04-29-39.logfiles.zip2025-05-04 04:37 3.8M 
[ ]pcsat.2025-05-04_04-56-45.logfiles.zip2025-05-04 18:51 3.9M 
[TXT]pcsat.2025-05-04_04-56-45.results.CHC-COMP2025_check-sat.html2025-05-05 17:21 6.8M 
Apache/2.4.58 (Ubuntu) Server at www.cip.ifi.lmu.de Port 443