Index of /~ernstg/chc-comp2025/chc2c-svcomp/test/results

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]chc2c.2025-05-07_15-46-27.results.CHC-COMP2025_check-sat.LIA.html2025-05-12 10:58 1.8M 
[TXT]chc2c.2025-05-05_20-40-58.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-12 10:58 1.8M 
[ ]chc2c.2025-05-07_15-46-27.results.CHC-COMP2025_check-sat.LIA.xml.bz22025-05-12 10:39 125K 
[ ]chc2c.2025-05-05_20-40-58.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-12 10:39 133K 
[ ]chc2c.2025-05-07_15-46-27.logfiles.zip2025-05-08 03:56 2.4M 
[TXT]chc2c.2025-05-05_20-40-58.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-07 05:07 161K 
[TXT]chc2c.2025-05-04_05-00-20.results.CHC-COMP2025_check-sat.LIA.html2025-05-07 05:07 1.7M 
[TXT]chc2c.2025-05-04_05-00-20.results.CHC-COMP2025_check-sat.LIA.csv2025-05-07 05:07 114K 
[TXT]chc2c.2025-05-05_20-40-58.results.CHC-COMP2025_check-sat.LIA-Lin.txt2025-05-05 22:55 230K 
[ ]chc2c.2025-05-05_20-40-58.logfiles.zip2025-05-05 22:55 2.2M 
[DIR]chc2c.2025-05-05_20-40-58.logfiles/2025-05-05 22:55 -  
[DIR]chc2c.2025-05-05_20-40-58.files/2025-05-05 22:55 -  
[TXT]chc2c.2025-05-04_05-00-20.results.CHC-COMP2025_check-sat.LIA-Lin.html2025-05-05 17:23 1.8M 
[TXT]chc2c.2025-05-04_05-00-20.results.CHC-COMP2025_check-sat.LIA-Lin.csv2025-05-05 17:23 165K 
[TXT]chc2c.2025-05-04_05-00-20.results.CHC-COMP2025_check-sat.html2025-05-05 17:21 2.4M 
[TXT]chc2c.2025-05-04_05-00-20.results.CHC-COMP2025_check-sat.csv2025-05-05 17:21 278K 
[TXT]chc2c.2025-05-04_05-00-20.results.CHC-COMP2025_check-sat.txt2025-05-05 15:42 412K 
[ ]chc2c.2025-05-04_05-00-20.results.CHC-COMP2025_check-sat.LIA.xml.bz22025-05-05 15:42 64K 
[ ]chc2c.2025-05-04_05-00-20.logfiles.zip2025-05-05 15:42 3.3M 
[ ]chc2c.2025-05-04_05-00-20.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz22025-05-05 15:42 133K 
[ ]chc2c.2025-05-04_05-00-20.results.CHC-COMP2025_check-sat.xml.bz22025-05-05 15:41 197K 
[DIR]chc2c.2025-05-04_05-00-20.logfiles/2025-05-05 15:41 -  
[DIR]chc2c.2025-05-04_05-00-20.files/2025-05-05 15:41 -  
[TXT]chc2c.2025-04-28_23-15-45.results.CHC-COMP2024_check-sat.html2025-04-28 23:16 1.3M 
[TXT]chc2c.2025-04-28_23-15-45.results.CHC-COMP2024_check-sat.csv2025-04-28 23:16 25K 
[ ]chc2c.2025-04-28_23-15-45.results.CHC-COMP2024_check-sat.xml.bz22025-04-28 23:16 5.1K 
[TXT]chc2c.2025-04-28_23-15-45.results.CHC-COMP2024_check-sat.txt2025-04-28 23:16 26K 
[ ]chc2c.2025-04-28_23-15-45.results.CHC-COMP2024_check-sat.LIA.xml.bz22025-04-28 23:16 3.4K 
[ ]chc2c.2025-04-28_23-15-45.results.CHC-COMP2024_check-sat.LIA-Lin.xml.bz22025-04-28 23:16 3.1K 
[DIR]chc2c.2025-04-28_23-15-45.logfiles/2025-04-28 23:16 -  
[ ]chc2c.2025-04-28_23-15-45.logfiles.zip2025-04-28 23:16 25K 
[DIR]chc2c.2025-04-28_23-15-45.files/2025-04-28 23:16 -  
Apache/2.4.58 (Ubuntu) Server at www.cip.ifi.lmu.de Port 443