Index of /~ernstg/chc-comp2025/golem-x64-linux/test/results

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]golem.2025-04-28_21-11-34.files/2025-04-28 21:16 -  
[ ]golem.2025-04-28_21-11-34.logfiles.zip2025-04-28 21:16 262K 
[ ]golem.2025-04-28_21-11-34.results.CHC-COMP2024_check-sat.LIA-Lin-Arrays.xml.bz22025-04-28 21:16 11K 
[ ]golem.2025-04-28_21-11-34.results.CHC-COMP2024_check-sat.LIA-Lin.xml.bz22025-04-28 21:16 20K 
[ ]golem.2025-04-28_21-11-34.results.CHC-COMP2024_check-sat.LIA.xml.bz22025-04-28 21:16 20K 
[TXT]golem.2025-04-28_21-11-34.results.CHC-COMP2024_check-sat.csv2025-04-28 23:13 70K 
[TXT]golem.2025-04-28_21-11-34.results.CHC-COMP2024_check-sat.html2025-04-28 23:13 1.5M 
[TXT]golem.2025-04-28_21-11-34.results.CHC-COMP2024_check-sat.txt2025-04-28 21:16 85K 
[ ]golem.2025-04-28_21-11-34.results.CHC-COMP2024_check-sat.xml.bz22025-04-28 21:16 47K 
[DIR]golem.2025-05-04_04-57-13.files/2025-05-04 19:07 -  
[ ]golem.2025-05-04_04-57-13.logfiles.zip2025-05-04 19:08 848K 
[DIR]golem.2025-05-04_04-57-13.logfiles/2025-05-04 19:07 -  
[TXT]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.csv2025-05-05 17:23 16K 
[TXT]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-05 17:23 1.2M 
[ ]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-04 19:08 11K 
[TXT]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-05 17:23 154K 
[TXT]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-05 17:23 1.8M 
[ ]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-04 19:08 108K 
[TXT]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.LIA.csv2025-05-07 05:08 109K 
[TXT]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.LIA.html2025-05-07 05:08 1.7M 
[ ]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.LIA.xml.bz22025-05-04 19:08 54K 
[TXT]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.LRA-Lin.csv2025-05-07 05:08 36K 
[TXT]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.LRA-Lin.html2025-05-12 10:59 1.3M 
[ ]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.LRA-Lin.xml.bz22025-05-12 10:39 25K 
[TXT]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.csv2025-05-05 17:20 314K 
[TXT]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.html2025-05-05 17:20 2.7M 
[TXT]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.txt2025-05-04 19:08 481K 
[ ]golem.2025-05-04_04-57-13.results.CHC-COMP2025_check-sat.xml.bz22025-05-04 19:08 196K 
[DIR]golem.2025-05-05_20-09-57.files/2025-05-05 21:19 -  
[ ]golem.2025-05-05_20-09-57.logfiles.zip2025-05-05 21:20 52K 
[DIR]golem.2025-05-05_20-09-57.logfiles/2025-05-05 21:19 -  
[TXT]golem.2025-05-05_20-09-57.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.csv2025-05-07 05:08 17K 
[TXT]golem.2025-05-05_20-09-57.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-07 05:08 1.2M 
[TXT]golem.2025-05-05_20-09-57.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.txt2025-05-05 21:20 25K 
[ ]golem.2025-05-05_20-09-57.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-05 21:20 14K 
[DIR]golem.2025-05-05_20-41-30.files/2025-05-06 01:29 -  
[ ]golem.2025-05-05_20-41-30.logfiles.zip2025-05-06 01:29 502K 
[TXT]golem.2025-05-05_20-41-30.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-07 05:08 151K 
[TXT]golem.2025-05-05_20-41-30.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-12 10:58 1.8M 
[TXT]golem.2025-05-05_20-41-30.results.CHC-COMP2025_check-sat.LIA-Lin.txt2025-05-06 01:29 230K 
[ ]golem.2025-05-05_20-41-30.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-12 10:39 108K 
[ ]golem.2025-05-07_15-32-04.logfiles.zip2025-05-07 16:59 55K 
[TXT]golem.2025-05-07_15-32-04.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.html2025-05-12 10:58 1.2M 
[ ]golem.2025-05-07_15-32-04.results.CHC-COMP2025_check-sat.LIA-Lin-Arrays.xml.bz22025-05-12 10:39 14K 
[ ]golem.2025-05-07_15-47-08.logfiles.zip2025-05-07 23:03 475K 
[TXT]golem.2025-05-07_15-47-08.results.CHC-COMP2025_check-sat.LIA.html2025-05-12 10:59 1.8M 
[ ]golem.2025-05-07_15-47-08.results.CHC-COMP2025_check-sat.LIA.xml.bz22025-05-12 10:39 104K 
Apache/2.4.58 (Ubuntu) Server at www.cip.ifi.lmu.de Port 443