Index of /~ernstg/chc-comp2025/coar/test/results/pcsat.2025-05-04_04-56-45.logfiles

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]CHC-COMP2025_check-sat.false_regexp_deluxe_iter0_000.smt2.log.stdError2025-05-04 08:52 254  
[ ]CHC-COMP2025_check-sat.token_ring.7_000.smt2.log.stdError2025-05-04 08:55 254  
[ ]CHC-COMP2025_check-sat.regexp_deluxe_Conj_000.smt2.log.stdError2025-05-04 08:55 254  
[ ]CHC-COMP2025_check-sat.false_regexp_deluxe_star_plus_000.smt2.log.stdError2025-05-04 08:55 254  
[ ]CHC-COMP2025_check-sat.IF_fg_max8_000.smt2.log.stdError2025-05-04 08:55 254  
[ ]CHC-COMP2025_check-sat.split_list_test05-2.i-valid-deref-pp_000.smt2.log.stdError2025-05-04 09:00 254  
[ ]CHC-COMP2025_check-sat.transmitter.12_000.smt2.log.stdError2025-05-04 09:23 254  
[ ]CHC-COMP2025_check-sat.token_ring.8_000.smt2.log.stdError2025-05-04 09:54 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_Reverse_000.smt2.log.stdError2025-05-04 09:54 254  
[ ]CHC-COMP2025_check-sat.IF_fg_max11_000.smt2.log.stdError2025-05-04 09:55 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_PlusAssociative_000.smt2.log.stdError2025-05-04 09:57 254  
[ ]CHC-COMP2025_check-sat.regexp_deluxe_switcheroo_000.smt2.log.stdError2025-05-04 10:02 254  
[ ]CHC-COMP2025_check-sat.token_ring.9_000.smt2.log.stdError2025-05-04 10:21 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_Star_000.smt2.log.stdError2025-05-04 10:24 254  
[ ]CHC-COMP2025_check-sat.fast_1_e7_2044_000.smt2.log.stdError2025-05-04 10:27 254  
[ ]CHC-COMP2025_check-sat.regexp_RecEps_000.smt2.log.stdError2025-05-04 10:28 254  
[ ]CHC-COMP2025_check-sat.false_regexp_deluxe_iter_000.smt2.log.stdError2025-05-04 10:33 254  
[ ]CHC-COMP2025_check-sat.IF_fg_max10_000.smt2.log.stdError2025-05-04 10:51 254  
[ ]CHC-COMP2025_check-sat.regexp_RecNil_000.smt2.log.stdError2025-05-04 10:52 254  
[ ]CHC-COMP2025_check-sat.regexp_RecAtom_000.smt2.log.stdError2025-05-04 11:00 254  
[ ]CHC-COMP2025_check-sat.regexp_deluxe_FromToConj_000.smt2.log.stdError2025-05-04 11:00 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_RecSeq_000.smt2.log.stdError2025-05-04 11:19 254  
[ ]CHC-COMP2025_check-sat.regexp_Reverse_000.smt2.log.stdError2025-05-04 11:23 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_RecAtom_000.smt2.log.stdError2025-05-04 11:25 254  
[ ]CHC-COMP2025_check-sat.fast_2_e8_460_e7_43_000.smt2.log.stdError2025-05-04 11:26 254  
[ ]CHC-COMP2025_check-sat.regexp_deluxe_FromToConj_difficult_000.smt2.log.stdError2025-05-04 11:37 254  
[ ]CHC-COMP2025_check-sat.regexp_RecSeq_000.smt2.log.stdError2025-05-04 11:50 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_RecEps_000.smt2.log.stdError2025-05-04 12:00 254  
[ ]CHC-COMP2025_check-sat.regexp_deluxe_iter_000.smt2.log.stdError2025-05-04 12:03 254  
[ ]CHC-COMP2025_check-sat.false_regexp_deluxe_FromToConj_difficult_000.smt2.log.stdError2025-05-04 12:10 254  
[ ]CHC-COMP2025_check-sat.false_regexp_deluxe_star_plus_easy_000.smt2.log.stdError2025-05-04 12:12 254  
[ ]CHC-COMP2025_check-sat.IF_fg_max12_000.smt2.log.stdError2025-05-04 12:13 254  
[ ]CHC-COMP2025_check-sat.IF_fg_max6_000.smt2.log.stdError2025-05-04 12:20 254  
[ ]CHC-COMP2025_check-sat.token_ring.13_000.smt2.log.stdError2025-05-04 12:24 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_RecStar_000.smt2.log.stdError2025-05-04 12:29 254  
[ ]CHC-COMP2025_check-sat.transmitter.4_000.smt2.log.stdError2025-05-04 12:40 254  
[ ]CHC-COMP2025_check-sat.regexp_PlusAssociative_000.smt2.log.stdError2025-05-04 12:41 254  
[ ]CHC-COMP2025_check-sat.token_ring.5_000.smt2.log.stdError2025-05-04 12:54 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_RecNil_000.smt2.log.stdError2025-05-04 13:20 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_PlusCommutative_000.smt2.log.stdError2025-05-04 13:21 254  
[ ]CHC-COMP2025_check-sat.false_regexp_deluxe_Conj0_000.smt2.log.stdError2025-05-04 13:22 254  
[ ]CHC-COMP2025_check-sat.transmitter.6_000.smt2.log.stdError2025-05-04 13:48 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_PlusIdempotent_000.smt2.log.stdError2025-05-04 13:52 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_SeqDistrPlus_000.smt2.log.stdError2025-05-04 14:29 254  
[ ]CHC-COMP2025_check-sat.false_regexp_deluxe_switcheroo_000.smt2.log.stdError2025-05-04 14:36 254  
[ ]CHC-COMP2025_check-sat.regexp_RecPlus_000.smt2.log.stdError2025-05-04 14:36 254  
[ ]CHC-COMP2025_check-sat.false_regexp_deluxe_Conj_000.smt2.log.stdError2025-05-04 14:55 254  
[ ]CHC-COMP2025_check-sat.regexp_SeqAssociative_000.smt2.log.stdError2025-05-04 15:12 254  
[ ]CHC-COMP2025_check-sat.split_list_test05-1.i-valid-deref-pp_000.smt2.log.stdError2025-05-04 15:12 254  
[ ]CHC-COMP2025_check-sat.false_regexp_deluxe_star_seq_000.smt2.log.stdError2025-05-04 15:15 254  
[ ]CHC-COMP2025_check-sat.transmitter.7_000.smt2.log.stdError2025-05-04 15:19 254  
[ ]CHC-COMP2025_check-sat.IF_fg_max14_000.smt2.log.stdError2025-05-04 15:31 254  
[ ]CHC-COMP2025_check-sat.IF_fg_max13_000.smt2.log.stdError2025-05-04 15:54 254  
[ ]CHC-COMP2025_check-sat.fast_2_e7_2526_000.smt2.log.stdError2025-05-04 15:55 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_Deeps_000.smt2.log.stdError2025-05-04 16:02 254  
[ ]CHC-COMP2025_check-sat.CONST_guard1_000.smt2.log.stdError2025-05-04 16:02 254  
[ ]CHC-COMP2025_check-sat.regexp_deluxe_koen_000.smt2.log.stdError2025-05-04 16:14 254  
[ ]CHC-COMP2025_check-sat.transmitter.5_000.smt2.log.stdError2025-05-04 16:15 254  
[ ]CHC-COMP2025_check-sat.false_regexp_deluxe_bad_assoc_000.smt2.log.stdError2025-05-04 16:27 254  
[ ]CHC-COMP2025_check-sat.false_regexp_deluxe_FromToConj_000.smt2.log.stdError2025-05-04 16:30 254  
[ ]CHC-COMP2025_check-sat.regexp_deluxe_bad_assoc_000.smt2.log.stdError2025-05-04 16:31 254  
[ ]CHC-COMP2025_check-sat.regexp_PlusIdempotent_000.smt2.log.stdError2025-05-04 16:53 254  
[ ]CHC-COMP2025_check-sat.false_regexp_deluxe_koen_000.smt2.log.stdError2025-05-04 17:30 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_RecPlus_000.smt2.log.stdError2025-05-04 17:31 254  
[ ]CHC-COMP2025_check-sat.regexp_Deeps_000.smt2.log.stdError2025-05-04 17:32 254  
[ ]CHC-COMP2025_check-sat.regexp_PlusCommutative_000.smt2.log.stdError2025-05-04 17:59 254  
[ ]CHC-COMP2025_check-sat.tip2015_regexp_SeqAssociative_000.smt2.log.stdError2025-05-04 18:02 254  
[ ]CHC-COMP2025_check-sat.regexp_SeqDistrPlus_000.smt2.log.stdError2025-05-04 18:02 254  
[ ]CHC-COMP2025_check-sat.IF_fg_max15_000.smt2.log.stdError2025-05-04 18:05 254  
Apache/2.4.58 (Ubuntu) Server at www.cip.ifi.lmu.de Port 443