Index of /~ernstg/chc-comp2025/Chocolat/test/results/chococatalia.2025-05-04_04-56-29.files/CHC-COMP2025_check-sat

	Name	Last modified	Size	Description
	Parent Directory		-
	0-simple-01_unsat.Z3.0_000.smt2/	2025-05-04 07:52	-
	0-simple-04_recursive_unsat.Z3.0_000.smt2/	2025-05-04 08:19	-
	0-simple-05_recursive_sat.Z3.0_000.smt2/	2025-05-04 08:17	-
	0-simple-06_loop_unsat.Z3.0_000.smt2/	2025-05-04 07:28	-
	0-simple-unique_scalar.Z3.0_000.smt2/	2025-05-04 06:56	-
	1-bmc-test-bmc-1-false.Z3.0_000.smt2/	2025-05-04 07:48	-
	1-bmc-test-bmc-1-true.Z3.0_000.smt2/	2025-05-04 07:18	-
	1-bmc-test-bmc-2-false.Z3.0_000.smt2/	2025-05-04 06:53	-
	1-bmc-test-bmc-2-true.Z3.0_000.smt2/	2025-05-04 06:53	-
	1-bmc-test-bmc-3-false.Z3.0_000.smt2/	2025-05-04 07:30	-
	1-bmc-test-bmc-3-true.Z3.0_000.smt2/	2025-05-04 07:47	-
	1-bmc-test-bmc-diamond-1-false.Z3.0_000.smt2/	2025-05-04 08:20	-
	1-bmc-test-bmc-diamond-1-true.Z3.0_000.smt2/	2025-05-04 07:33	-
	1-bmc-test-bmc-diamond-2-false.Z3.0_000.smt2/	2025-05-04 07:19	-
	1-bmc-test-bmc-diamond-2-true.Z3.0_000.smt2/	2025-05-04 06:47	-
	2-inc-max-inc-max-00-0.Z3.0_000.smt2/	2025-05-04 07:48	-
	2-inc-max-inc-max-00-1.Z3.0_000.smt2/	2025-05-04 08:20	-
	2-inc-max-inc-max-01-0.Z3.0_000.smt2/	2025-05-04 07:50	-
	2-inc-max-inc-max-01-1.Z3.0_000.smt2/	2025-05-04 07:46	-
	2-inc-max-inc-max-10-0.Z3.0_000.smt2/	2025-05-04 07:52	-
	2-inc-max-inc-max-10-1.Z3.0_000.smt2/	2025-05-04 07:20	-
	2-inc-max-inc-max-11-0.Z3.0_000.smt2/	2025-05-04 08:10	-
	2-inc-max-inc-max-11-1.Z3.0_000.smt2/	2025-05-04 07:53	-
	3-swap-dec-swap-dec-00-0.Z3.0_000.smt2/	2025-05-04 06:50	-
	3-swap-dec-swap-dec-00-1.Z3.0_000.smt2/	2025-05-04 07:16	-
	3-swap-dec-swap-dec-01-0.Z3.0_000.smt2/	2025-05-04 08:28	-
	3-swap-dec-swap-dec-01-1.Z3.0_000.smt2/	2025-05-04 07:07	-
	3-swap-dec-swap-dec-10-0.Z3.0_000.smt2/	2025-05-04 08:23	-
	3-swap-dec-swap-dec-10-1.Z3.0_000.smt2/	2025-05-04 07:18	-
	3-swap-dec-swap-dec-11-0.Z3.0_000.smt2/	2025-05-04 07:19	-
	3-swap-dec-swap-dec-11-1.Z3.0_000.smt2/	2025-05-04 06:59	-
	4-just-rec-just-rec-00-0.Z3.0_000.smt2/	2025-05-04 07:50	-
	4-just-rec-just-rec-00-1.Z3.0_000.smt2/	2025-05-04 07:46	-
	5-linger-dec-linger-dec-00-0.Z3.0_000.smt2/	2025-05-04 07:47	-
	5-linger-dec-linger-dec-00-1.Z3.0_000.smt2/	2025-05-04 07:52	-
	5-linger-dec-linger-dec-01-0.Z3.0_000.smt2/	2025-05-04 06:51	-
	5-linger-dec-linger-dec-01-1.Z3.0_000.smt2/	2025-05-04 08:01	-
	5-linger-dec-linger-dec-10-0.Z3.0_000.smt2/	2025-05-04 07:16	-
	5-linger-dec-linger-dec-10-1.Z3.0_000.smt2/	2025-05-04 06:48	-
	5-linger-dec-linger-dec-11-0.Z3.0_000.smt2/	2025-05-04 08:48	-
	5-linger-dec-linger-dec-11-1.Z3.0_000.smt2/	2025-05-04 08:19	-
	6-lists-0-append-sum-0.Z3.0_000.smt2/	2025-05-04 08:30	-
	6-lists-0-append-sum-1.Z3.0_000.smt2/	2025-05-04 08:23	-
	6-lists-1-inc-sum-length-0.Z3.0_000.smt2/	2025-05-04 08:22	-
	6-lists-1-inc-sum-length-1.Z3.0_000.smt2/	2025-05-04 06:48	-
	6-lists-2-inc-some-0.Z3.0_000.smt2/	2025-05-04 08:27	-
	6-lists-2-inc-some-1.Z3.0_000.smt2/	2025-05-04 07:20	-
	6-lists-3-inc-some-two-0.Z3.0_000.smt2/	2025-05-04 08:19	-
	6-lists-3-inc-some-two-1.Z3.0_000.smt2/	2025-05-04 08:22	-
	7-trees-0-append-some-sum-0.Z3.0_000.smt2/	2025-05-04 07:17	-
	7-trees-0-append-some-sum-1.Z3.0_000.smt2/	2025-05-04 08:20	-
	7-trees-1-inc-sum-size-0.Z3.0_000.smt2/	2025-05-04 07:47	-
	7-trees-1-inc-sum-size-1.Z3.0_000.smt2/	2025-05-04 06:50	-
	7-trees-2-inc-some-0.Z3.0_000.smt2/	2025-05-04 08:17	-
	7-trees-2-inc-some-1.Z3.0_000.smt2/	2025-05-04 08:20	-
	7-trees-3-inc-some-two-0.Z3.0_000.smt2/	2025-05-04 08:26	-
	7-trees-3-inc-some-two-1.Z3.0_000.smt2/	2025-05-04 07:47	-
	amortize-queue-goal3_000.smt2/	2025-05-04 08:19	-
	amortize-queue-goal4_000.smt2/	2025-05-04 07:18	-
	amortize-queue-goal5_000.smt2/	2025-05-04 08:19	-
	amortize-queue-goal6_000.smt2/	2025-05-04 06:50	-
	amortize-queue-goal7_000.smt2/	2025-05-04 07:50	-
	amortize-queue-goal9_000.smt2/	2025-05-04 08:05	-
	amortize-queue-goal11_000.smt2/	2025-05-04 08:17	-
	amortize-queue-goal12_000.smt2/	2025-05-04 08:20	-
	amortize-queue-goal13_000.smt2/	2025-05-04 07:23	-
	amortize-queue-goal14_000.smt2/	2025-05-04 08:18	-
	amortize-queue-goal15_000.smt2/	2025-05-04 08:23	-
	bin_distrib_000.smt2/	2025-05-04 08:48	-
	bin_nat_distrib_000.smt2/	2025-05-04 07:21	-
	bin_nat_plus_000.smt2/	2025-05-04 07:21	-
	bin_nat_plus_assoc_000.smt2/	2025-05-04 08:19	-
	bin_nat_plus_comm_000.smt2/	2025-05-04 08:50	-
	bin_nat_s_000.smt2/	2025-05-04 07:19	-
	bin_nat_times_000.smt2/	2025-05-04 08:51	-
	bin_nat_times_assoc_000.smt2/	2025-05-04 07:54	-
	bin_nat_times_comm_000.smt2/	2025-05-04 07:49	-
	bin_plus_000.smt2/	2025-05-04 07:54	-
	bin_plus_assoc_000.smt2/	2025-05-04 08:51	-
	bin_plus_comm_000.smt2/	2025-05-04 07:47	-
	bin_s_000.smt2/	2025-05-04 08:53	-
	bin_times_000.smt2/	2025-05-04 07:20	-
	bin_times_assoc_000.smt2/	2025-05-04 07:23	-
	bin_times_comm_000.smt2/	2025-05-04 07:23	-
	bsearch-tree-goal1_000.smt2/	2025-05-04 06:52	-
	bsearch-tree-goal2_000.smt2/	2025-05-04 07:47	-
	bsearch-tree-goal3_000.smt2/	2025-05-04 08:23	-
	bsearch-tree-goal4_000.smt2/	2025-05-04 06:57	-
	bsearch-tree-goal5_000.smt2/	2025-05-04 07:54	-
	bsearch-tree-goal6_000.smt2/	2025-05-04 08:19	-
	bsearch-tree-goal7_000.smt2/	2025-05-04 07:47	-
	bsearch-tree-goal8_000.smt2/	2025-05-04 08:23	-
	bsearch-tree-goal9_000.smt2/	2025-05-04 07:23	-
	bsearch-tree-goal10_000.smt2/	2025-05-04 08:19	-
	bsearch-tree-goal11_000.smt2/	2025-05-04 08:22	-
	bsearch-tree-goal12_000.smt2/	2025-05-04 07:51	-
	bsearch-tree-goal13_000.smt2/	2025-05-04 07:19	-
	bsearch-tree-goal14_000.smt2/	2025-05-04 08:47	-
	bsearch-tree-goal15_000.smt2/	2025-05-04 07:21	-
	bsearch-tree-goal16_000.smt2/	2025-05-04 07:46	-
	bsearch-tree-goal17_000.smt2/	2025-05-04 06:53	-
	bsearch-tree-goal18_000.smt2/	2025-05-04 06:53	-
	cfg5_unambig_000.smt2/	2025-05-04 08:53	-
	dunsat-bsearch-tree-goal10_000.smt2/	2025-05-04 08:21	-
	dunsat-goal3_000.smt2/	2025-05-04 07:02	-
	dunsat-goal6_000.smt2/	2025-05-04 06:53	-
	dunsat-goal48_000.smt2/	2025-05-04 07:47	-
	dunsat-heap-goal6_000.smt2/	2025-05-04 07:16	-
	escape_Injective_000.smt2/	2025-05-04 08:21	-
	escape_NoSpecial_000.smt2/	2025-05-04 07:20	-
	false_cfg5_unambig_000.smt2/	2025-05-04 08:17	-
	false_graph_bt3_000.smt2/	2025-05-04 08:21	-
	false_graph_bt4_000.smt2/	2025-05-04 07:10	-
	false_graph_bt5_000.smt2/	2025-05-04 08:21	-
	false_graph_btp5_000.smt2/	2025-05-04 08:19	-
	false_graph_d5_000.smt2/	2025-05-04 07:51	-
	false_graph_d7_000.smt2/	2025-05-04 08:50	-
	false_graph_p5_000.smt2/	2025-05-04 08:18	-
	false_graph_p7_000.smt2/	2025-05-04 08:48	-
	false_graph_p9_000.smt2/	2025-05-04 08:51	-
	false_graph_p11_000.smt2/	2025-05-04 07:53	-
	false_graph_p21_000.smt2/	2025-05-04 08:49	-
	false_graph_p31_000.smt2/	2025-05-04 08:19	-
	false_graph_t3_000.smt2/	2025-05-04 07:56	-
	false_graph_t5_000.smt2/	2025-05-04 08:49	-
	false_graph_tp5_000.smt2/	2025-05-04 08:50	-
	false_hotel_key_safe0_000.smt2/	2025-05-04 07:47	-
	false_hotel_key_safe1_000.smt2/	2025-05-04 04:56	-
	false_hotel_key_safe2_000.smt2/	2025-05-04 08:51	-
	false_hotel_key_safe3_000.smt2/	2025-05-04 07:24	-
	false_mergesort_merge_comm_000.smt2/	2025-05-04 08:49	-
	false_productive_use_of_failure_app_inj1_000.smt2/	2025-05-04 07:23	-
	false_productive_use_of_failure_app_inj2_000.smt2/	2025-05-04 08:16	-
	false_productive_use_of_failure_drop_comm_000.smt2/	2025-05-04 06:51	-
	false_productive_use_of_failure_drop_idem_000.smt2/	2025-05-04 08:17	-
	false_productive_use_of_failure_drop_inj1_000.smt2/	2025-05-04 07:24	-
	false_productive_use_of_failure_drop_inj2_000.smt2/	2025-05-04 07:52	-
	false_productive_use_of_failure_drop_invol_000.smt2/	2025-05-04 07:52	-
	false_productive_use_of_failure_len_bs_000.smt2/	2025-05-04 06:53	-
	false_productive_use_of_failure_rot_bogus_000.smt2/	2025-05-04 08:47	-
	false_productive_use_of_failure_rot_comm_000.smt2/	2025-05-04 07:51	-
	false_productive_use_of_failure_rot_inj0_000.smt2/	2025-05-04 08:22	-
	false_productive_use_of_failure_rot_inj00_000.smt2/	2025-05-04 07:19	-
	false_productive_use_of_failure_rot_inj1_000.smt2/	2025-05-04 08:19	-
	false_productive_use_of_failure_rot_uhhh_000.smt2/	2025-05-04 07:53	-
	false_productive_use_of_failure_rot_uhhhw1_000.smt2/	2025-05-04 07:18	-
	false_productive_use_of_failure_rot_uhhhw2_000.smt2/	2025-05-04 07:52	-
	false_productive_use_of_failure_union_comm_000.smt2/	2025-05-04 08:20	-
	false_productive_use_of_failure_union_idem_000.smt2/	2025-05-04 08:48	-
	false_queue1_QueueL_000.smt2/	2025-05-04 08:18	-
	false_queue1_QueueR_000.smt2/	2025-05-04 08:24	-
	false_queue2_QueueL_000.smt2/	2025-05-04 08:47	-
	false_queue2_QueueR_000.smt2/	2025-05-04 08:47	-
	false_queue3_QueueL_000.smt2/	2025-05-04 07:51	-
	false_queue3_QueueR_000.smt2/	2025-05-04 07:18	-
	false_regexp_bad_assoc_000.smt2/	2025-05-04 07:50	-
	false_regexp_deluxe_Conj0_000.smt2/	2025-05-04 08:19	-
	false_regexp_deluxe_Conj_000.smt2/	2025-05-04 07:53	-
	false_regexp_deluxe_FromToConj_000.smt2/	2025-05-04 08:19	-
	false_regexp_deluxe_FromToConj_difficult_000.smt2/	2025-05-04 08:23	-
	false_regexp_deluxe_bad_assoc_000.smt2/	2025-05-04 07:22	-
	false_regexp_deluxe_iter0_000.smt2/	2025-05-04 08:08	-
	false_regexp_deluxe_iter_000.smt2/	2025-05-04 07:19	-
	false_regexp_deluxe_koen_000.smt2/	2025-05-04 08:24	-
	false_regexp_deluxe_star_plus_000.smt2/	2025-05-04 07:56	-
	false_regexp_deluxe_star_plus_easy_000.smt2/	2025-05-04 07:51	-
	false_regexp_deluxe_star_seq_000.smt2/	2025-05-04 08:49	-
	false_regexp_deluxe_switcheroo_000.smt2/	2025-05-04 08:54	-
	false_regexp_find1_000.smt2/	2025-05-04 07:50	-
	false_regexp_find2_000.smt2/	2025-05-04 08:17	-
	false_regexp_find3_000.smt2/	2025-05-04 07:17	-
	false_regexp_find4_000.smt2/	2025-05-04 07:29	-
	false_regexp_find5_000.smt2/	2025-05-04 08:24	-
	false_regexp_find6_000.smt2/	2025-05-04 08:19	-
	false_regexp_find7_000.smt2/	2025-05-04 08:17	-
	false_regexp_kfind1_000.smt2/	2025-05-04 07:48	-
	false_regexp_kfind2_000.smt2/	2025-05-04 07:57	-
	false_regexp_kfind3_000.smt2/	2025-05-04 07:51	-
	false_regexp_kfind4_000.smt2/	2025-05-04 07:28	-
	false_regexp_kfind5_000.smt2/	2025-05-04 07:46	-
	false_regexp_kfind6_000.smt2/	2025-05-04 08:51	-
	false_regexp_kfind7_000.smt2/	2025-05-04 08:00	-
	false_regexp_koen_000.smt2/	2025-05-04 07:51	-
	false_regexp_koen_easy_000.smt2/	2025-05-04 08:51	-
	false_regexp_same_000.smt2/	2025-05-04 08:07	-
	false_regexp_star_plus_000.smt2/	2025-05-04 07:18	-
	false_regexp_star_plus_1_000.smt2/	2025-05-04 08:22	-
	false_regexp_star_plus_2_000.smt2/	2025-05-04 08:17	-
	false_regexp_star_plus_easy_000.smt2/	2025-05-04 07:22	-
	false_regexp_star_plus_easy_1_000.smt2/	2025-05-04 07:56	-
	false_regexp_star_plus_easy_2_000.smt2/	2025-05-04 07:20	-
	false_regexp_star_seq_000.smt2/	2025-05-04 08:19	-
	false_regexp_switcheroo_000.smt2/	2025-05-04 08:40	-
	false_show_bin_lists_assoc_000.smt2/	2025-05-04 07:18	-
	fermat_last_000.smt2/	2025-05-04 07:20	-
	goal1_000.smt2/	2025-05-04 06:48	-
	goal2_000.smt2/	2025-05-04 07:52	-
	goal3_000.smt2/	2025-05-04 08:20	-
	goal4_000.smt2/	2025-05-04 07:51	-
	goal5_000.smt2/	2025-05-04 06:56	-
	goal6_000.smt2/	2025-05-04 07:21	-
	goal7_000.smt2/	2025-05-04 06:48	-
	goal8_000.smt2/	2025-05-04 07:21	-
	goal9_000.smt2/	2025-05-04 07:51	-
	goal10_000.smt2/	2025-05-04 08:18	-
	goal11_000.smt2/	2025-05-04 07:17	-
	goal12_000.smt2/	2025-05-04 07:58	-
	goal13_000.smt2/	2025-05-04 06:53	-
	goal14_000.smt2/	2025-05-04 07:51	-
	goal15_000.smt2/	2025-05-04 06:49	-
	goal16_000.smt2/	2025-05-04 07:04	-
	goal17_000.smt2/	2025-05-04 07:48	-
	goal18_000.smt2/	2025-05-04 08:19	-
	goal19_000.smt2/	2025-05-04 07:22	-
	goal20_000.smt2/	2025-05-04 07:53	-
	goal21_000.smt2/	2025-05-04 07:52	-
	goal22_000.smt2/	2025-05-04 07:01	-
	goal23_000.smt2/	2025-05-04 07:52	-
	goal25_000.smt2/	2025-05-04 08:21	-
	goal26_000.smt2/	2025-05-04 07:22	-
	goal27_000.smt2/	2025-05-04 07:04	-
	goal28_000.smt2/	2025-05-04 07:21	-
	goal29_000.smt2/	2025-05-04 06:48	-
	goal30_000.smt2/	2025-05-04 07:20	-
	goal31_000.smt2/	2025-05-04 07:50	-
	goal32_000.smt2/	2025-05-04 08:22	-
	goal37_000.smt2/	2025-05-04 08:17	-
	goal38_000.smt2/	2025-05-04 06:56	-
	goal39_000.smt2/	2025-05-04 06:52	-
	goal40_000.smt2/	2025-05-04 08:22	-
	goal41_000.smt2/	2025-05-04 08:47	-
	goal42_000.smt2/	2025-05-04 06:49	-
	goal43_000.smt2/	2025-05-04 07:16	-
	goal44_000.smt2/	2025-05-04 08:08	-
	goal45_000.smt2/	2025-05-04 07:30	-
	goal46_000.smt2/	2025-05-04 07:52	-
	goal47_000.smt2/	2025-05-04 07:17	-
	goal48_000.smt2/	2025-05-04 07:49	-
	goal49_000.smt2/	2025-05-04 07:24	-
	goal50_000.smt2/	2025-05-04 06:48	-
	goal51_000.smt2/	2025-05-04 06:48	-
	goal52_000.smt2/	2025-05-04 07:47	-
	goal53_000.smt2/	2025-05-04 07:33	-
	goal54_000.smt2/	2025-05-04 07:56	-
	goal55_000.smt2/	2025-05-04 07:49	-
	goal56_000.smt2/	2025-05-04 06:47	-
	goal57_000.smt2/	2025-05-04 07:47	-
	goal58_000.smt2/	2025-05-04 07:49	-
	goal59_000.smt2/	2025-05-04 07:53	-
	goal60_000.smt2/	2025-05-04 07:18	-
	goal61_000.smt2/	2025-05-04 07:56	-
	goal62_000.smt2/	2025-05-04 08:22	-
	goal63_000.smt2/	2025-05-04 07:53	-
	goal64_000.smt2/	2025-05-04 06:49	-
	goal65_000.smt2/	2025-05-04 06:49	-
	goal67_000.smt2/	2025-05-04 07:18	-
	goal68_000.smt2/	2025-05-04 07:54	-
	goal69_000.smt2/	2025-05-04 06:50	-
	goal70_000.smt2/	2025-05-04 08:28	-
	goal71_000.smt2/	2025-05-04 07:17	-
	goal72_000.smt2/	2025-05-04 07:22	-
	goal73_000.smt2/	2025-05-04 06:49	-
	goal74_000.smt2/	2025-05-04 07:49	-
	goal75_000.smt2/	2025-05-04 07:17	-
	goal76_000.smt2/	2025-05-04 07:21	-
	goal77_000.smt2/	2025-05-04 07:21	-
	goal78_000.smt2/	2025-05-04 06:53	-
	goal79_000.smt2/	2025-05-04 07:50	-
	goal80_000.smt2/	2025-05-04 08:21	-
	goal81_000.smt2/	2025-05-04 07:22	-
	goal82_000.smt2/	2025-05-04 07:35	-
	goal83_000.smt2/	2025-05-04 08:17	-
	goal84_000.smt2/	2025-05-04 07:52	-
	goal85_000.smt2/	2025-05-04 08:28	-
	goal86_000.smt2/	2025-05-04 07:23	-
	goal87_000.smt2/	2025-05-04 08:48	-
	grammars_packrat_unambigPackrat_000.smt2/	2025-05-04 08:30	-
	grammars_simp_expr_unambig1_000.smt2/	2025-05-04 08:18	-
	grammars_simp_expr_unambig2_000.smt2/	2025-05-04 07:48	-
	grammars_simp_expr_unambig3_000.smt2/	2025-05-04 08:21	-
	grammars_simp_expr_unambig4_000.smt2/	2025-05-04 07:17	-
	grammars_simp_expr_unambig5_000.smt2/	2025-05-04 07:46	-
	graph_bt3_000.smt2/	2025-05-04 08:50	-
	graph_bt4_000.smt2/	2025-05-04 08:19	-
	graph_bt5_000.smt2/	2025-05-04 07:47	-
	graph_btp5_000.smt2/	2025-05-04 08:48	-
	graph_d5_000.smt2/	2025-05-04 08:23	-
	graph_d7_000.smt2/	2025-05-04 08:20	-
	graph_p5_000.smt2/	2025-05-04 08:22	-
	graph_p7_000.smt2/	2025-05-04 08:38	-
	graph_p9_000.smt2/	2025-05-04 07:52	-
	graph_p11_000.smt2/	2025-05-04 08:00	-
	graph_p21_000.smt2/	2025-05-04 08:01	-
	graph_p31_000.smt2/	2025-05-04 08:21	-
	graph_t3_000.smt2/	2025-05-04 07:54	-
	graph_t5_000.smt2/	2025-05-04 07:54	-
	graph_tp5_000.smt2/	2025-05-04 07:24	-
	heap-goal1_000.smt2/	2025-05-04 08:00	-
	heap-goal2_000.smt2/	2025-05-04 07:49	-
	heap-goal3_000.smt2/	2025-05-04 07:49	-
	heap-goal4_000.smt2/	2025-05-04 07:53	-
	heap-goal5_000.smt2/	2025-05-04 07:18	-
	heap-goal6_000.smt2/	2025-05-04 08:19	-
	heap-goal7_000.smt2/	2025-05-04 08:50	-
	heap-goal8_000.smt2/	2025-05-04 07:49	-
	heap-goal9_000.smt2/	2025-05-04 07:21	-
	heap-goal10_000.smt2/	2025-05-04 07:17	-
	heap-goal12_000.smt2/	2025-05-04 07:27	-
	heap-goal13_000.smt2/	2025-05-04 08:26	-
	heap_size.Z3.0_000.smt2/	2025-05-04 07:53	-
	hotel_key_safe0_000.smt2/	2025-05-04 08:20	-
	hotel_key_safe1_000.smt2/	2025-05-04 08:37	-
	hotel_key_safe2_000.smt2/	2025-05-04 08:50	-
	hotel_key_safe3_000.smt2/	2025-05-04 07:17	-
	inc-max-1-base-safe_000.smt2/	2025-05-04 08:22	-
	inc-max-1-base-unsafe_000.smt2/	2025-05-04 07:17	-
	inc-max-2-base3-safe_000.smt2/	2025-05-04 06:51	-
	inc-max-2-base3-unsafe_000.smt2/	2025-05-04 08:21	-
	inc-max-3-repeat-safe_000.smt2/	2025-05-04 08:18	-
	inc-max-3-repeat-unsafe_000.smt2/	2025-05-04 07:18	-
	inc-max-4-repeat3-safe_000.smt2/	2025-05-04 06:58	-
	inc-max-4-repeat3-unsafe_000.smt2/	2025-05-04 07:49	-
	int_add_assoc_000.smt2/	2025-05-04 07:23	-
	int_add_comm_000.smt2/	2025-05-04 07:05	-
	int_add_ident_left_000.smt2/	2025-05-04 08:17	-
	int_add_ident_right_000.smt2/	2025-05-04 07:27	-
	int_add_inv_left_000.smt2/	2025-05-04 08:24	-
	int_add_inv_right_000.smt2/	2025-05-04 07:22	-
	int_left_distrib_000.smt2/	2025-05-04 08:17	-
	int_mul_assoc_000.smt2/	2025-05-04 07:19	-
	int_mul_comm_000.smt2/	2025-05-04 07:19	-
	int_mul_ident_left_000.smt2/	2025-05-04 07:21	-
	int_mul_ident_right_000.smt2/	2025-05-04 08:22	-
	int_right_distrib_000.smt2/	2025-05-04 08:48	-
	isaplanner_prop_01_000.smt2/	2025-05-04 07:20	-
	isaplanner_prop_02_000.smt2/	2025-05-04 07:47	-
	isaplanner_prop_03_000.smt2/	2025-05-04 08:20	-
	isaplanner_prop_04_000.smt2/	2025-05-04 07:23	-
	isaplanner_prop_05_000.smt2/	2025-05-04 08:47	-
	isaplanner_prop_11_000.smt2/	2025-05-04 07:50	-
	isaplanner_prop_13_000.smt2/	2025-05-04 08:24	-
	isaplanner_prop_15_000.smt2/	2025-05-04 06:50	-
	isaplanner_prop_16_000.smt2/	2025-05-04 08:22	-
	isaplanner_prop_19_000.smt2/	2025-05-04 08:23	-
	isaplanner_prop_20_000.smt2/	2025-05-04 07:20	-
	isaplanner_prop_26_000.smt2/	2025-05-04 08:47	-
	isaplanner_prop_27_000.smt2/	2025-05-04 08:23	-
	isaplanner_prop_28_000.smt2/	2025-05-04 07:25	-
	isaplanner_prop_29_000.smt2/	2025-05-04 08:28	-
	isaplanner_prop_30_000.smt2/	2025-05-04 07:20	-
	isaplanner_prop_37_000.smt2/	2025-05-04 07:29	-
	isaplanner_prop_38_000.smt2/	2025-05-04 07:16	-
	isaplanner_prop_39_000.smt2/	2025-05-04 07:52	-
	isaplanner_prop_40_000.smt2/	2025-05-04 07:17	-
	isaplanner_prop_42_000.smt2/	2025-05-04 07:19	-
	isaplanner_prop_44_000.smt2/	2025-05-04 07:20	-
	isaplanner_prop_45_000.smt2/	2025-05-04 08:27	-
	isaplanner_prop_46_000.smt2/	2025-05-04 07:52	-
	isaplanner_prop_47_000.smt2/	2025-05-04 07:18	-
	isaplanner_prop_48_000.smt2/	2025-05-04 07:47	-
	isaplanner_prop_49_000.smt2/	2025-05-04 07:52	-
	isaplanner_prop_50_000.smt2/	2025-05-04 06:54	-
	isaplanner_prop_51_000.smt2/	2025-05-04 08:22	-
	isaplanner_prop_52_000.smt2/	2025-05-04 08:46	-
	isaplanner_prop_53_000.smt2/	2025-05-04 07:16	-
	isaplanner_prop_55_000.smt2/	2025-05-04 06:51	-
	isaplanner_prop_56_000.smt2/	2025-05-04 06:58	-
	isaplanner_prop_57_000.smt2/	2025-05-04 07:49	-
	isaplanner_prop_58_000.smt2/	2025-05-04 08:51	-
	isaplanner_prop_59_000.smt2/	2025-05-04 08:54	-
	isaplanner_prop_60_000.smt2/	2025-05-04 06:50	-
	isaplanner_prop_61_000.smt2/	2025-05-04 08:47	-
	isaplanner_prop_62_000.smt2/	2025-05-04 08:23	-
	isaplanner_prop_63_000.smt2/	2025-05-04 08:05	-
	isaplanner_prop_64_000.smt2/	2025-05-04 06:53	-
	isaplanner_prop_67_000.smt2/	2025-05-04 04:56	-
	isaplanner_prop_68_000.smt2/	2025-05-04 08:21	-
	isaplanner_prop_71_000.smt2/	2025-05-04 08:48	-
	isaplanner_prop_72_000.smt2/	2025-05-04 07:18	-
	isaplanner_prop_74_000.smt2/	2025-05-04 07:22	-
	isaplanner_prop_75_000.smt2/	2025-05-04 07:47	-
	isaplanner_prop_76_000.smt2/	2025-05-04 07:18	-
	isaplanner_prop_77_000.smt2/	2025-05-04 07:53	-
	isaplanner_prop_78_000.smt2/	2025-05-04 08:48	-
	isaplanner_prop_80_000.smt2/	2025-05-04 07:21	-
	isaplanner_prop_81_000.smt2/	2025-05-04 07:17	-
	isaplanner_prop_82_000.smt2/	2025-05-04 07:49	-
	isaplanner_prop_83_000.smt2/	2025-05-04 08:22	-
	isaplanner_prop_84_000.smt2/	2025-05-04 07:52	-
	isaplanner_prop_85_000.smt2/	2025-05-04 08:21	-
	isaplanner_prop_86_000.smt2/	2025-05-04 07:53	-
	just-rec-1-base-safe_000.smt2/	2025-05-04 06:53	-
	just-rec-1-base-unsafe_000.smt2/	2025-05-04 06:53	-
	linger-dec-1-basic-safe_000.smt2/	2025-05-04 07:52	-
	linger-dec-1-basic-unsafe_000.smt2/	2025-05-04 08:18	-
	linger-dec-2-basic3-safe_000.smt2/	2025-05-04 06:46	-
	linger-dec-2-basic3-unsafe_000.smt2/	2025-05-04 07:17	-
	linger-dec-3-exact-safe_000.smt2/	2025-05-04 07:49	-
	linger-dec-3-exact-unsafe_000.smt2/	2025-05-04 07:51	-
	linger-dec-4-exact3-safe_000.smt2/	2025-05-04 07:19	-
	linger-dec-4-exact3-unsafe_000.smt2/	2025-05-04 06:47	-
	list_Interleave_000.smt2/	2025-05-04 08:51	-
	list_PairUnpair_000.smt2/	2025-05-04 07:49	-
	list_append_inj_1_000.smt2/	2025-05-04 07:07	-
	list_append_inj_2_000.smt2/	2025-05-04 08:22	-
	list_append_len.Z3.0_000.smt2/	2025-05-04 07:20	-
	list_append_nil.Z3.0_000.smt2/	2025-05-04 08:22	-
	list_interleave.Z3.0_000.smt2/	2025-05-04 08:49	-
	list_len.Z3.0_000.smt2/	2025-05-04 06:47	-
	list_len_butlast.Z3.0_000.smt2/	2025-05-04 07:20	-
	list_len_stren.Z3.0_000.smt2/	2025-05-04 07:49	-
	list_nat_Interleave_000.smt2/	2025-05-04 07:18	-
	list_nat_PairUnpair_000.smt2/	2025-05-04 07:58	-
	list_nat_append_inj_1_000.smt2/	2025-05-04 08:22	-
	list_nat_append_inj_2_000.smt2/	2025-05-04 07:49	-
	list_rev2_len.Z3.0_000.smt2/	2025-05-04 07:05	-
	list_weird_is_normal_000.smt2/	2025-05-04 08:26	-
	lists-1-append-safe_000.smt2/	2025-05-04 07:20	-
	lists-1-append-unsafe_000.smt2/	2025-05-04 06:54	-
	lists-2-inc-all-safe_000.smt2/	2025-05-04 07:58	-
	lists-2-inc-all-unsafe_000.smt2/	2025-05-04 06:49	-
	lists-3-inc-some-safe_000.smt2/	2025-05-04 07:19	-
	lists-3-inc-some-unsafe_000.smt2/	2025-05-04 08:18	-
	lists-4-inc-some2-safe_000.smt2/	2025-05-04 07:22	-
	lists-4-inc-some2-unsafe_000.smt2/	2025-05-04 08:52	-
	mccarthy91_M1_000.smt2/	2025-05-04 08:17	-
	mccarthy91_M2_000.smt2/	2025-05-04 07:51	-
	mergesort_merge_comm_000.smt2/	2025-05-04 08:23	-
	mod_same_000.smt2/	2025-05-04 06:49	-
	nat_acc_alt_mul_assoc_000.smt2/	2025-05-04 08:19	-
	nat_acc_alt_mul_comm_000.smt2/	2025-05-04 08:52	-
	nat_acc_alt_mul_same_000.smt2/	2025-05-04 08:53	-
	nat_acc_plus_assoc_000.smt2/	2025-05-04 07:53	-
	nat_acc_plus_comm_000.smt2/	2025-05-04 07:48	-
	nat_acc_plus_same_000.smt2/	2025-05-04 07:18	-
	nat_alt_mul_assoc_000.smt2/	2025-05-04 08:22	-
	nat_alt_mul_comm_000.smt2/	2025-05-04 08:52	-
	nat_alt_mul_same_000.smt2/	2025-05-04 08:50	-
	nat_boring_ge_antisym_000.smt2/	2025-05-04 07:21	-
	nat_boring_ge_reflexive_000.smt2/	2025-05-04 07:22	-
	nat_boring_ge_trans_000.smt2/	2025-05-04 06:52	-
	nat_boring_gt_asymmetric_000.smt2/	2025-05-04 06:56	-
	nat_boring_gt_irreflexive_000.smt2/	2025-05-04 06:47	-
	nat_boring_gt_trans_000.smt2/	2025-05-04 06:47	-
	nat_boring_max_min_abs_000.smt2/	2025-05-04 07:48	-
	nat_boring_max_min_distrib_000.smt2/	2025-05-04 07:26	-
	nat_boring_min_assoc_000.smt2/	2025-05-04 07:28	-
	nat_boring_min_comm_000.smt2/	2025-05-04 07:51	-
	nat_boring_min_idem_000.smt2/	2025-05-04 08:17	-
	nat_le_antisym_000.smt2/	2025-05-04 07:28	-
	nat_le_ge_eq_000.smt2/	2025-05-04 08:24	-
	nat_le_ne_lt_000.smt2/	2025-05-04 08:17	-
	nat_le_reflexive_000.smt2/	2025-05-04 08:23	-
	nat_le_trans_000.smt2/	2025-05-04 08:20	-
	nat_lt_asymmetric_000.smt2/	2025-05-04 07:47	-
	nat_lt_irreflexive_000.smt2/	2025-05-04 08:22	-
	nat_lt_ne_000.smt2/	2025-05-04 07:50	-
	nat_lt_trans_000.smt2/	2025-05-04 07:19	-
	nat_max_assoc_000.smt2/	2025-05-04 08:24	-
	nat_max_comm_000.smt2/	2025-05-04 07:23	-
	nat_max_idem_000.smt2/	2025-05-04 07:55	-
	nat_min_max_abs_000.smt2/	2025-05-04 07:56	-
	nat_min_max_distrib_000.smt2/	2025-05-04 06:53	-
	nat_pow_le_factorial_000.smt2/	2025-05-04 08:54	-
	nat_pow_one_000.smt2/	2025-05-04 08:49	-
	nat_pow_pow_000.smt2/	2025-05-04 07:18	-
	nat_pow_times_000.smt2/	2025-05-04 07:18	-
	nicomachus_theorem_000.smt2/	2025-05-04 08:25	-
	packrat_unambigPackrat_000.smt2/	2025-05-04 08:50	-
	prod_prop_02_000.smt2/	2025-05-04 07:51	-
	prod_prop_03_000.smt2/	2025-05-04 07:21	-
	prod_prop_04_000.smt2/	2025-05-04 07:22	-
	prod_prop_05_000.smt2/	2025-05-04 07:21	-
	prod_prop_06_000.smt2/	2025-05-04 07:23	-
	prod_prop_07_000.smt2/	2025-05-04 06:53	-
	prod_prop_08_000.smt2/	2025-05-04 07:22	-
	prod_prop_09_000.smt2/	2025-05-04 07:18	-
	prod_prop_10_000.smt2/	2025-05-04 07:23	-
	prod_prop_11_000.smt2/	2025-05-04 08:19	-
	prod_prop_12_000.smt2/	2025-05-04 06:52	-
	prod_prop_14_000.smt2/	2025-05-04 08:23	-
	prod_prop_17_000.smt2/	2025-05-04 06:48	-
	prod_prop_18_000.smt2/	2025-05-04 08:53	-
	prod_prop_19_000.smt2/	2025-05-04 08:18	-
	prod_prop_20_000.smt2/	2025-05-04 07:48	-
	prod_prop_21_000.smt2/	2025-05-04 08:35	-
	prod_prop_22_000.smt2/	2025-05-04 08:21	-
	prod_prop_23_000.smt2/	2025-05-04 06:51	-
	prod_prop_25_000.smt2/	2025-05-04 07:24	-
	prod_prop_27_000.smt2/	2025-05-04 06:53	-
	prod_prop_28_000.smt2/	2025-05-04 07:49	-
	prod_prop_29_000.smt2/	2025-05-04 07:35	-
	prod_prop_30_000.smt2/	2025-05-04 07:21	-
	prod_prop_31_000.smt2/	2025-05-04 06:49	-
	prod_prop_32_000.smt2/	2025-05-04 07:18	-
	prod_prop_36_000.smt2/	2025-05-04 08:23	-
	prod_prop_37_000.smt2/	2025-05-04 08:47	-
	prod_prop_38_000.smt2/	2025-05-04 07:22	-
	prod_prop_39_000.smt2/	2025-05-04 08:05	-
	prod_prop_40_000.smt2/	2025-05-04 08:17	-
	prod_prop_41_000.smt2/	2025-05-04 07:48	-
	prod_prop_42_000.smt2/	2025-05-04 07:58	-
	prod_prop_43_000.smt2/	2025-05-04 07:53	-
	prod_prop_44_000.smt2/	2025-05-04 06:53	-
	prod_prop_45_000.smt2/	2025-05-04 07:52	-
	prod_prop_46_000.smt2/	2025-05-04 08:49	-
	prod_prop_47_000.smt2/	2025-05-04 07:49	-
	prod_prop_48_000.smt2/	2025-05-04 07:53	-
	prod_prop_49_000.smt2/	2025-05-04 08:23	-
	prod_prop_50_000.smt2/	2025-05-04 08:28	-
	productive_use_of_failure_app_inj1_000.smt2/	2025-05-04 07:47	-
	productive_use_of_failure_app_inj2_000.smt2/	2025-05-04 06:48	-
	productive_use_of_failure_drop_comm_000.smt2/	2025-05-04 06:51	-
	productive_use_of_failure_drop_idem_000.smt2/	2025-05-04 06:50	-
	productive_use_of_failure_drop_inj1_000.smt2/	2025-05-04 06:51	-
	productive_use_of_failure_drop_inj2_000.smt2/	2025-05-04 06:49	-
	productive_use_of_failure_drop_invol_000.smt2/	2025-05-04 07:28	-
	productive_use_of_failure_len_bs_000.smt2/	2025-05-04 08:21	-
	productive_use_of_failure_rot_bogus_000.smt2/	2025-05-04 07:23	-
	productive_use_of_failure_rot_comm_000.smt2/	2025-05-04 08:16	-
	productive_use_of_failure_rot_inj0_000.smt2/	2025-05-04 07:17	-
	productive_use_of_failure_rot_inj1_000.smt2/	2025-05-04 07:48	-
	productive_use_of_failure_rot_uhhh_000.smt2/	2025-05-04 08:52	-
	productive_use_of_failure_rot_uhhhw1_000.smt2/	2025-05-04 06:49	-
	productive_use_of_failure_rot_uhhhw2_000.smt2/	2025-05-04 07:22	-
	productive_use_of_failure_union_comm_000.smt2/	2025-05-04 08:50	-
	productive_use_of_failure_union_idem_000.smt2/	2025-05-04 07:17	-
	prop_01_000.smt2/	2025-05-04 06:53	-
	prop_02_000.smt2/	2025-05-04 07:55	-
	prop_03_000.smt2/	2025-05-04 07:20	-
	prop_04_000.smt2/	2025-05-04 06:47	-
	prop_05_000.smt2/	2025-05-04 07:18	-
	prop_06_000.smt2/	2025-05-04 07:18	-
	prop_07_000.smt2/	2025-05-04 07:54	-
	prop_08_000.smt2/	2025-05-04 07:19	-
	prop_09_000.smt2/	2025-05-04 07:53	-
	prop_10_000.smt2/	2025-05-04 06:47	-
	prop_11_000.smt2/	2025-05-04 06:53	-
	prop_12_000.smt2/	2025-05-04 08:22	-
	prop_13_000.smt2/	2025-05-04 07:18	-
	prop_14_000.smt2/	2025-05-04 08:51	-
	prop_15_000.smt2/	2025-05-04 06:54	-
	prop_16_000.smt2/	2025-05-04 06:50	-
	prop_17_000.smt2/	2025-05-04 06:53	-
	prop_18_000.smt2/	2025-05-04 07:54	-
	prop_19_000.smt2/	2025-05-04 07:18	-
	prop_20_000.smt2/	2025-05-04 06:48	-
	prop_21_000.smt2/	2025-05-04 07:51	-
	prop_22_000.smt2/	2025-05-04 07:27	-
	prop_23_000.smt2/	2025-05-04 07:18	-
	prop_24_000.smt2/	2025-05-04 07:47	-
	prop_25_000.smt2/	2025-05-04 06:54	-
	prop_26_000.smt2/	2025-05-04 07:55	-
	prop_27_000.smt2/	2025-05-04 07:17	-
	prop_28_000.smt2/	2025-05-04 07:17	-
	prop_29_000.smt2/	2025-05-04 07:19	-
	prop_30_000.smt2/	2025-05-04 06:49	-
	prop_31_000.smt2/	2025-05-04 07:17	-
	prop_32_000.smt2/	2025-05-04 08:22	-
	prop_33_000.smt2/	2025-05-04 07:19	-
	prop_34_000.smt2/	2025-05-04 06:48	-
	prop_35_000.smt2/	2025-05-04 08:25	-
	prop_36_000.smt2/	2025-05-04 07:17	-
	prop_37_000.smt2/	2025-05-04 07:48	-
	prop_38_000.smt2/	2025-05-04 08:19	-
	prop_39_000.smt2/	2025-05-04 07:28	-
	prop_40_000.smt2/	2025-05-04 07:47	-
	prop_41_000.smt2/	2025-05-04 08:18	-
	prop_42_000.smt2/	2025-05-04 07:23	-
	prop_43_000.smt2/	2025-05-04 08:48	-
	prop_44_000.smt2/	2025-05-04 08:17	-
	prop_45_000.smt2/	2025-05-04 08:22	-
	prop_46_000.smt2/	2025-05-04 07:17	-
	prop_47_000.smt2/	2025-05-04 07:21	-
	prop_48_000.smt2/	2025-05-04 06:50	-
	prop_49_000.smt2/	2025-05-04 07:52	-
	prop_50_000.smt2/	2025-05-04 07:16	-
	prop_51_000.smt2/	2025-05-04 07:47	-
	prop_52_000.smt2/	2025-05-04 07:27	-
	prop_53_000.smt2/	2025-05-04 08:17	-
	prop_54_000.smt2/	2025-05-04 07:31	-
	prop_55_000.smt2/	2025-05-04 07:24	-
	prop_56_000.smt2/	2025-05-04 06:49	-
	prop_57_000.smt2/	2025-05-04 08:18	-
	prop_58_000.smt2/	2025-05-04 08:50	-
	prop_59_000.smt2/	2025-05-04 08:23	-
	prop_60_000.smt2/	2025-05-04 08:22	-
	prop_61_000.smt2/	2025-05-04 07:51	-
	prop_62_000.smt2/	2025-05-04 08:01	-
	prop_63_000.smt2/	2025-05-04 08:48	-
	prop_64_000.smt2/	2025-05-04 08:19	-
	prop_65_000.smt2/	2025-05-04 08:24	-
	prop_67_000.smt2/	2025-05-04 07:24	-
	prop_68_000.smt2/	2025-05-04 08:50	-
	prop_69_000.smt2/	2025-05-04 07:53	-
	prop_70_000.smt2/	2025-05-04 08:20	-
	prop_71_000.smt2/	2025-05-04 07:33	-
	prop_72_000.smt2/	2025-05-04 08:17	-
	prop_74_000.smt2/	2025-05-04 07:51	-
	prop_75_000.smt2/	2025-05-04 08:22	-
	prop_76_000.smt2/	2025-05-04 08:23	-
	prop_77_000.smt2/	2025-05-04 08:22	-
	prop_78_000.smt2/	2025-05-04 07:53	-
	prop_79_000.smt2/	2025-05-04 07:56	-
	prop_80_000.smt2/	2025-05-04 08:47	-
	prop_81_000.smt2/	2025-05-04 07:48	-
	prop_82_000.smt2/	2025-05-04 08:22	-
	prop_83_000.smt2/	2025-05-04 08:21	-
	prop_84_000.smt2/	2025-05-04 07:23	-
	prop_85_000.smt2/	2025-05-04 07:17	-
	prop_86_000.smt2/	2025-05-04 07:53	-
	propositional_AndCommutative_000.smt2/	2025-05-04 08:53	-
	propositional_AndIdempotent_000.smt2/	2025-05-04 08:49	-
	propositional_AndImplication_000.smt2/	2025-05-04 07:21	-
	propositional_Okay_000.smt2/	2025-05-04 07:46	-
	propositional_Sound_000.smt2/	2025-05-04 07:49	-
	prusti-3-pass-paper_examples-points-compress_000.smt2/	2025-05-04 06:53	-
	prusti-4-pass-paper_examples-borrows_align_000.smt2/	2025-05-04 08:05	-
	prusti-5-pass-demos-account_000.smt2/	2025-05-04 08:23	-
	prusti-6-fail-demos-account_error_1_000.smt2/	2025-05-04 08:19	-
	prusti-7-pass-mut_borrows-restore_000.smt2/	2025-05-04 08:19	-
	queue1_QueueL_000.smt2/	2025-05-04 08:51	-
	queue1_QueueR_000.smt2/	2025-05-04 08:51	-
	queue2_QueueL_000.smt2/	2025-05-04 07:48	-
	queue2_QueueR_000.smt2/	2025-05-04 07:48	-
	queue3_QueueL_000.smt2/	2025-05-04 07:49	-
	queue3_QueueR_000.smt2/	2025-05-04 07:30	-
	regexp_Deeps_000.smt2/	2025-05-04 08:18	-
	regexp_PlusAssociative_000.smt2/	2025-05-04 08:20	-
	regexp_PlusCommutative_000.smt2/	2025-05-04 08:22	-
	regexp_PlusIdempotent_000.smt2/	2025-05-04 07:50	-
	regexp_RecAtom_000.smt2/	2025-05-04 07:47	-
	regexp_RecEps_000.smt2/	2025-05-04 07:56	-
	regexp_RecNil_000.smt2/	2025-05-04 08:48	-
	regexp_RecPlus_000.smt2/	2025-05-04 08:51	-
	regexp_RecSeq_000.smt2/	2025-05-04 08:53	-
	regexp_Reverse_000.smt2/	2025-05-04 08:25	-
	regexp_SeqAssociative_000.smt2/	2025-05-04 08:48	-
	regexp_SeqDistrPlus_000.smt2/	2025-05-04 07:20	-
	regexp_bad_assoc_000.smt2/	2025-05-04 07:17	-
	regexp_deluxe_Conj_000.smt2/	2025-05-04 08:17	-
	regexp_deluxe_FromToConj_000.smt2/	2025-05-04 07:18	-
	regexp_deluxe_FromToConj_difficult_000.smt2/	2025-05-04 08:50	-
	regexp_deluxe_bad_assoc_000.smt2/	2025-05-04 07:49	-
	regexp_deluxe_iter_000.smt2/	2025-05-04 08:55	-
	regexp_deluxe_koen_000.smt2/	2025-05-04 08:49	-
	regexp_deluxe_switcheroo_000.smt2/	2025-05-04 07:23	-
	regexp_find1_000.smt2/	2025-05-04 07:23	-
	regexp_find2_000.smt2/	2025-05-04 08:19	-
	regexp_find3_000.smt2/	2025-05-04 08:47	-
	regexp_find4_000.smt2/	2025-05-04 08:49	-
	regexp_find5_000.smt2/	2025-05-04 07:47	-
	regexp_find6_000.smt2/	2025-05-04 08:53	-
	regexp_find7_000.smt2/	2025-05-04 07:19	-
	regexp_kfind1_000.smt2/	2025-05-04 08:17	-
	regexp_kfind2_000.smt2/	2025-05-04 08:53	-
	regexp_kfind3_000.smt2/	2025-05-04 07:19	-
	regexp_kfind4_000.smt2/	2025-05-04 07:32	-
	regexp_kfind5_000.smt2/	2025-05-04 07:51	-
	regexp_kfind6_000.smt2/	2025-05-04 07:20	-
	regexp_kfind7_000.smt2/	2025-05-04 07:48	-
	regexp_koen_000.smt2/	2025-05-04 07:52	-
	regexp_koen_easy_000.smt2/	2025-05-04 07:20	-
	regexp_same_000.smt2/	2025-05-04 07:53	-
	regexp_switcheroo_000.smt2/	2025-05-04 06:57	-
	relaxedprefix_correct_000.smt2/	2025-05-04 07:47	-
	relaxedprefix_is_prefix_1_000.smt2/	2025-05-04 08:20	-
	relaxedprefix_is_prefix_2_000.smt2/	2025-05-04 07:26	-
	relaxedprefix_is_prefix_3_000.smt2/	2025-05-04 07:52	-
	relaxedprefix_is_prefix_4_000.smt2/	2025-05-04 07:20	-
	rev-equiv-goal1_000.smt2/	2025-05-04 08:10	-
	rev-equiv-goal3_000.smt2/	2025-05-04 08:23	-
	rev-equiv-goal4_000.smt2/	2025-05-04 07:48	-
	rev-equiv-goal5_000.smt2/	2025-05-04 06:53	-
	rev-equiv-goal6_000.smt2/	2025-05-04 08:23	-
	rev-equiv-goal7_000.smt2/	2025-05-04 06:51	-
	rev-equiv-goal8_000.smt2/	2025-05-04 06:50	-
	rotate-goal3_000.smt2/	2025-05-04 07:21	-
	rotate-goal4_000.smt2/	2025-05-04 07:18	-
	rotate-goal5_000.smt2/	2025-05-04 07:50	-
	rotate-goal7_000.smt2/	2025-05-04 07:58	-
	rotate_mod_000.smt2/	2025-05-04 07:22	-
	rotate_self_000.smt2/	2025-05-04 07:52	-
	rotate_snoc_000.smt2/	2025-05-04 07:18	-
	rotate_snoc_self_000.smt2/	2025-05-04 07:21	-
	rotate_structural_mod_000.smt2/	2025-05-04 08:18	-
	show_bin_lists_assoc_000.smt2/	2025-05-04 07:53	-
	simp_expr_unambig1_000.smt2/	2025-05-04 08:52	-
	simp_expr_unambig2_000.smt2/	2025-05-04 08:49	-
	simp_expr_unambig3_000.smt2/	2025-05-04 08:21	-
	simp_expr_unambig4_000.smt2/	2025-05-04 07:16	-
	simp_expr_unambig5_000.smt2/	2025-05-04 08:01	-
	simple-6-unique_scalar_000.smt2/	2025-05-04 07:47	-
	sort_BSortCount_000.smt2/	2025-05-04 08:20	-
	sort_BSortIsSort_000.smt2/	2025-05-04 07:48	-
	sort_BSortSorts_000.smt2/	2025-05-04 07:51	-
	sort_BubSortCount_000.smt2/	2025-05-04 07:18	-
	sort_BubSortIsSort_000.smt2/	2025-05-04 08:22	-
	sort_BubSortSorts_000.smt2/	2025-05-04 08:00	-
	sort_HSort2Count_000.smt2/	2025-05-04 07:22	-
	sort_HSort2IsSort_000.smt2/	2025-05-04 08:35	-
	sort_HSort2Sorts_000.smt2/	2025-05-04 07:46	-
	sort_HSortCount_000.smt2/	2025-05-04 07:22	-
	sort_HSortIsSort_000.smt2/	2025-05-04 08:16	-
	sort_HSortSorts_000.smt2/	2025-05-04 07:19	-
	sort_ISortCount_000.smt2/	2025-05-04 07:17	-
	sort_ISortSorts_000.smt2/	2025-05-04 07:58	-
	sort_MSortBU2Count_000.smt2/	2025-05-04 08:17	-
	sort_MSortBU2IsSort_000.smt2/	2025-05-04 08:29	-
	sort_MSortBU2Sorts_000.smt2/	2025-05-04 07:47	-
	sort_MSortTDCount_000.smt2/	2025-05-04 08:21	-
	sort_MSortTDIsSort_000.smt2/	2025-05-04 07:21	-
	sort_MSortTDSorts_000.smt2/	2025-05-04 08:20	-
	sort_NMSortTDCount_000.smt2/	2025-05-04 08:49	-
	sort_NMSortTDIsSort_000.smt2/	2025-05-04 08:38	-
	sort_NMSortTDSorts_000.smt2/	2025-05-04 07:22	-
	sort_NStoogeSort2Count_000.smt2/	2025-05-04 07:22	-
	sort_NStoogeSort2IsSort_000.smt2/	2025-05-04 07:51	-
	sort_NStoogeSort2Sorts_000.smt2/	2025-05-04 07:21	-
	sort_NStoogeSortCount_000.smt2/	2025-05-04 08:52	-
	sort_NStoogeSortIsSort_000.smt2/	2025-05-04 07:31	-
	sort_NStoogeSortSorts_000.smt2/	2025-05-04 07:20	-
	sort_StoogeSort2Count_000.smt2/	2025-05-04 07:19	-
	sort_StoogeSort2IsSort_000.smt2/	2025-05-04 07:17	-
	sort_StoogeSort2Sorts_000.smt2/	2025-05-04 08:21	-
	sort_StoogeSortCount_000.smt2/	2025-05-04 07:50	-
	sort_StoogeSortIsSort_000.smt2/	2025-05-04 08:26	-
	sort_StoogeSortSorts_000.smt2/	2025-05-04 07:50	-
	sort_TSortCount_000.smt2/	2025-05-04 07:49	-
	sort_TSortIsSort_000.smt2/	2025-05-04 07:19	-
	sort_TSortSorts_000.smt2/	2025-05-04 07:47	-
	sort_nat_BSortCount_000.smt2/	2025-05-04 08:49	-
	sort_nat_BSortIsSort_000.smt2/	2025-05-04 07:48	-
	sort_nat_BSortSorts_000.smt2/	2025-05-04 07:00	-
	sort_nat_BubSortCount_000.smt2/	2025-05-04 07:47	-
	sort_nat_BubSortIsSort_000.smt2/	2025-05-04 08:19	-
	sort_nat_BubSortSorts_000.smt2/	2025-05-04 07:48	-
	sort_nat_HSort2Count_000.smt2/	2025-05-04 07:53	-
	sort_nat_HSort2IsSort_000.smt2/	2025-05-04 07:40	-
	sort_nat_HSort2Sorts_000.smt2/	2025-05-04 08:19	-
	sort_nat_HSortCount_000.smt2/	2025-05-04 07:47	-
	sort_nat_HSortIsSort_000.smt2/	2025-05-04 08:50	-
	sort_nat_HSortSorts_000.smt2/	2025-05-04 07:17	-
	sort_nat_ISortCount_000.smt2/	2025-05-04 07:52	-
	sort_nat_ISortSorts_000.smt2/	2025-05-04 08:52	-
	sort_nat_MSortBU2Count_000.smt2/	2025-05-04 07:21	-
	sort_nat_MSortBU2IsSort_000.smt2/	2025-05-04 08:23	-
	sort_nat_MSortBU2Sorts_000.smt2/	2025-05-04 07:22	-
	sort_nat_MSortTDCount_000.smt2/	2025-05-04 07:53	-
	sort_nat_MSortTDIsSort_000.smt2/	2025-05-04 07:49	-
	sort_nat_MSortTDSorts_000.smt2/	2025-05-04 07:18	-
	sort_nat_NMSortTDCount_000.smt2/	2025-05-04 07:49	-
	sort_nat_NMSortTDIsSort_000.smt2/	2025-05-04 08:21	-
	sort_nat_NMSortTDSorts_000.smt2/	2025-05-04 07:47	-
	sort_nat_NStoogeSort2Count_000.smt2/	2025-05-04 07:50	-
	sort_nat_NStoogeSort2IsSort_000.smt2/	2025-05-04 08:20	-
	sort_nat_NStoogeSort2Sorts_000.smt2/	2025-05-04 08:50	-
	sort_nat_NStoogeSortCount_000.smt2/	2025-05-04 08:23	-
	sort_nat_NStoogeSortIsSort_000.smt2/	2025-05-04 08:17	-
	sort_nat_NStoogeSortSorts_000.smt2/	2025-05-04 08:49	-
	sort_nat_StoogeSort2Count_000.smt2/	2025-05-04 07:49	-
	sort_nat_StoogeSort2IsSort_000.smt2/	2025-05-04 08:17	-
	sort_nat_StoogeSort2Sorts_000.smt2/	2025-05-04 08:23	-
	sort_nat_StoogeSortCount_000.smt2/	2025-05-04 08:47	-
	sort_nat_StoogeSortIsSort_000.smt2/	2025-05-04 07:54	-
	sort_nat_StoogeSortSorts_000.smt2/	2025-05-04 08:23	-
	sort_nat_TSortCount_000.smt2/	2025-05-04 08:16	-
	sort_nat_TSortIsSort_000.smt2/	2025-05-04 07:49	-
	sort_nat_TSortSorts_000.smt2/	2025-05-04 07:22	-
	swap-dec-1-base-safe_000.smt2/	2025-05-04 06:49	-
	swap-dec-1-base-unsafe_000.smt2/	2025-05-04 07:51	-
	swap-dec-2-base3-safe_000.smt2/	2025-05-04 07:23	-
	swap-dec-2-base3-unsafe_000.smt2/	2025-05-04 08:21	-
	swap-dec-3-exact-safe_000.smt2/	2025-05-04 07:19	-
	swap-dec-3-exact-unsafe_000.smt2/	2025-05-04 07:20	-
	swap-dec-4-exact3-safe_000.smt2/	2025-05-04 08:24	-
	swap-dec-4-exact3-unsafe_000.smt2/	2025-05-04 06:52	-
	swap2-dec-1-base-safe_000.smt2/	2025-05-04 07:56	-
	swap2-dec-1-base-unsafe_000.smt2/	2025-05-04 07:47	-
	swap2-dec-2-base3-safe_000.smt2/	2025-05-04 07:24	-
	swap2-dec-2-base3-unsafe_000.smt2/	2025-05-04 07:19	-
	swap2-dec-3-exact-safe_000.smt2/	2025-05-04 06:51	-
	swap2-dec-3-exact-unsafe_000.smt2/	2025-05-04 07:53	-
	swap2-dec-4-exact3-safe_000.smt2/	2025-05-04 06:51	-
	swap2-dec-4-exact3-unsafe_000.smt2/	2025-05-04 07:21	-
	tip2015_bin_distrib_000.smt2/	2025-05-04 07:51	-
	tip2015_bin_nat_distrib_000.smt2/	2025-05-04 08:51	-
	tip2015_bin_nat_plus_000.smt2/	2025-05-04 08:53	-
	tip2015_bin_nat_plus_assoc_000.smt2/	2025-05-04 07:23	-
	tip2015_bin_nat_plus_comm_000.smt2/	2025-05-04 08:52	-
	tip2015_bin_nat_s_000.smt2/	2025-05-04 08:04	-
	tip2015_bin_nat_times_000.smt2/	2025-05-04 07:53	-
	tip2015_bin_nat_times_assoc_000.smt2/	2025-05-04 07:50	-
	tip2015_bin_nat_times_comm_000.smt2/	2025-05-04 07:18	-
	tip2015_bin_plus_000.smt2/	2025-05-04 07:17	-
	tip2015_bin_plus_assoc_000.smt2/	2025-05-04 07:27	-
	tip2015_bin_plus_comm_000.smt2/	2025-05-04 07:19	-
	tip2015_bin_s_000.smt2/	2025-05-04 08:53	-
	tip2015_bin_times_000.smt2/	2025-05-04 08:49	-
	tip2015_bin_times_assoc_000.smt2/	2025-05-04 07:53	-
	tip2015_bin_times_comm_000.smt2/	2025-05-04 08:55	-
	tip2015_escape_Injective_000.smt2/	2025-05-04 08:32	-
	tip2015_escape_NoSpecial_000.smt2/	2025-05-04 07:18	-
	tip2015_list_Interleave_000.smt2/	2025-05-04 07:25	-
	tip2015_list_PairUnpair_000.smt2/	2025-05-04 07:18	-
	tip2015_list_append_inj_1_000.smt2/	2025-05-04 07:51	-
	tip2015_list_append_inj_2_000.smt2/	2025-05-04 07:40	-
	tip2015_list_nat_Interleave_000.smt2/	2025-05-04 08:31	-
	tip2015_list_nat_PairUnpair_000.smt2/	2025-05-04 07:23	-
	tip2015_list_nat_append_inj_1_000.smt2/	2025-05-04 08:20	-
	tip2015_list_nat_append_inj_2_000.smt2/	2025-05-04 07:17	-
	tip2015_list_weird_is_normal_000.smt2/	2025-05-04 07:17	-
	tip2015_propositional_AndCommutative_000.smt2/	2025-05-04 08:17	-
	tip2015_propositional_AndIdempotent_000.smt2/	2025-05-04 07:22	-
	tip2015_propositional_AndImplication_000.smt2/	2025-05-04 07:50	-
	tip2015_propositional_Okay_000.smt2/	2025-05-04 07:52	-
	tip2015_propositional_Sound_000.smt2/	2025-05-04 07:23	-
	tip2015_regexp_Deeps_000.smt2/	2025-05-04 07:51	-
	tip2015_regexp_PlusAssociative_000.smt2/	2025-05-04 08:46	-
	tip2015_regexp_PlusCommutative_000.smt2/	2025-05-04 08:52	-
	tip2015_regexp_PlusIdempotent_000.smt2/	2025-05-04 08:03	-
	tip2015_regexp_RecAtom_000.smt2/	2025-05-04 07:51	-
	tip2015_regexp_RecEps_000.smt2/	2025-05-04 07:54	-
	tip2015_regexp_RecNil_000.smt2/	2025-05-04 07:22	-
	tip2015_regexp_RecPlus_000.smt2/	2025-05-04 07:48	-
	tip2015_regexp_RecSeq_000.smt2/	2025-05-04 07:27	-
	tip2015_regexp_RecStar_000.smt2/	2025-05-04 08:47	-
	tip2015_regexp_Reverse_000.smt2/	2025-05-04 08:01	-
	tip2015_regexp_SeqAssociative_000.smt2/	2025-05-04 08:22	-
	tip2015_regexp_SeqDistrPlus_000.smt2/	2025-05-04 07:49	-
	tip2015_regexp_Star_000.smt2/	2025-05-04 07:23	-
	tip2015_relaxedprefix_correct_000.smt2/	2025-05-04 07:47	-
	tip2015_relaxedprefix_is_prefix_1_000.smt2/	2025-05-04 08:20	-
	tip2015_relaxedprefix_is_prefix_2_000.smt2/	2025-05-04 07:18	-
	tip2015_relaxedprefix_is_prefix_3_000.smt2/	2025-05-04 07:19	-
	tip2015_relaxedprefix_is_prefix_4_000.smt2/	2025-05-04 07:49	-
	tip2015_rotate_mod_000.smt2/	2025-05-04 06:53	-
	tip2015_rotate_self_000.smt2/	2025-05-04 07:26	-
	tip2015_rotate_snoc_000.smt2/	2025-05-04 07:51	-
	tip2015_rotate_snoc_self_000.smt2/	2025-05-04 07:49	-
	tip2015_rotate_structural_mod_000.smt2/	2025-05-04 07:50	-
	tip2015_sort_BSortCount_000.smt2/	2025-05-04 07:21	-
	tip2015_sort_BSortIsSort_000.smt2/	2025-05-04 07:17	-
	tip2015_sort_BSortSorts_000.smt2/	2025-05-04 06:48	-
	tip2015_sort_BubSortCount_000.smt2/	2025-05-04 08:51	-
	tip2015_sort_BubSortIsSort_000.smt2/	2025-05-04 08:52	-
	tip2015_sort_BubSortSorts_000.smt2/	2025-05-04 07:49	-
	tip2015_sort_HSort2Count_000.smt2/	2025-05-04 08:20	-
	tip2015_sort_HSort2IsSort_000.smt2/	2025-05-04 07:34	-
	tip2015_sort_HSort2Sorts_000.smt2/	2025-05-04 08:08	-
	tip2015_sort_HSortCount_000.smt2/	2025-05-04 07:19	-
	tip2015_sort_HSortIsSort_000.smt2/	2025-05-04 07:21	-
	tip2015_sort_HSortSorts_000.smt2/	2025-05-04 08:19	-
	tip2015_sort_ISortCount_000.smt2/	2025-05-04 08:47	-
	tip2015_sort_ISortSorts_000.smt2/	2025-05-04 08:26	-
	tip2015_sort_MSortBU2Count_000.smt2/	2025-05-04 08:19	-
	tip2015_sort_MSortBU2IsSort_000.smt2/	2025-05-04 08:34	-
	tip2015_sort_MSortBU2Sorts_000.smt2/	2025-05-04 08:26	-
	tip2015_sort_MSortTDIsSort_000.smt2/	2025-05-04 08:52	-
	tip2015_sort_MSortTDSorts_000.smt2/	2025-05-04 08:02	-
	tip2015_sort_NMSortTDCount_000.smt2/	2025-05-04 08:28	-
	tip2015_sort_NMSortTDIsSort_000.smt2/	2025-05-04 07:22	-
	tip2015_sort_NMSortTDSorts_000.smt2/	2025-05-04 07:48	-
	tip2015_sort_NStoogeSort2Count_000.smt2/	2025-05-04 07:52	-
	tip2015_sort_NStoogeSort2IsSort_000.smt2/	2025-05-04 08:21	-
	tip2015_sort_NStoogeSort2Sorts_000.smt2/	2025-05-04 07:19	-
	tip2015_sort_NStoogeSortCount_000.smt2/	2025-05-04 07:26	-
	tip2015_sort_NStoogeSortIsSort_000.smt2/	2025-05-04 07:56	-
	tip2015_sort_NStoogeSortSorts_000.smt2/	2025-05-04 07:17	-
	tip2015_sort_StoogeSort2Count_000.smt2/	2025-05-04 07:17	-
	tip2015_sort_StoogeSortCount_000.smt2/	2025-05-04 06:55	-
	tip2015_sort_StoogeSortIsSort_000.smt2/	2025-05-04 07:38	-
	tip2015_sort_StoogeSortSorts_000.smt2/	2025-05-04 07:21	-
	tip2015_sort_TSortCount_000.smt2/	2025-05-04 07:23	-
	tip2015_sort_TSortIsSort_000.smt2/	2025-05-04 08:18	-
	tip2015_sort_TSortSorts_000.smt2/	2025-05-04 07:49	-
	tip2015_sort_nat_BSortCount_000.smt2/	2025-05-04 08:21	-
	tip2015_sort_nat_BSortIsSort_000.smt2/	2025-05-04 06:52	-
	tip2015_sort_nat_BSortSorts_000.smt2/	2025-05-04 07:18	-
	tip2015_sort_nat_BubSortCount_000.smt2/	2025-05-04 07:35	-
	tip2015_sort_nat_BubSortIsSort_000.smt2/	2025-05-04 08:19	-
	tip2015_sort_nat_BubSortSorts_000.smt2/	2025-05-04 07:20	-
	tip2015_sort_nat_HSort2Count_000.smt2/	2025-05-04 08:35	-
	tip2015_sort_nat_HSort2IsSort_000.smt2/	2025-05-04 08:54	-
	tip2015_sort_nat_HSort2Sorts_000.smt2/	2025-05-04 07:04	-
	tip2015_sort_nat_HSortCount_000.smt2/	2025-05-04 07:47	-
	tip2015_sort_nat_HSortIsSort_000.smt2/	2025-05-04 08:53	-
	tip2015_sort_nat_HSortSorts_000.smt2/	2025-05-04 07:37	-
	tip2015_sort_nat_ISortCount_000.smt2/	2025-05-04 07:19	-
	tip2015_sort_nat_ISortSorts_000.smt2/	2025-05-04 07:21	-
	tip2015_sort_nat_MSortBU2Count_000.smt2/	2025-05-04 08:54	-
	tip2015_sort_nat_MSortBU2IsSort_000.smt2/	2025-05-04 07:50	-
	tip2015_sort_nat_MSortBU2Sorts_000.smt2/	2025-05-04 08:22	-
	tip2015_sort_nat_MSortTDCount_000.smt2/	2025-05-04 07:52	-
	tip2015_sort_nat_MSortTDIsSort_000.smt2/	2025-05-04 07:49	-
	tip2015_sort_nat_MSortTDSorts_000.smt2/	2025-05-04 07:19	-
	tip2015_sort_nat_NMSortTDCount_000.smt2/	2025-05-04 07:52	-
	tip2015_sort_nat_NMSortTDIsSort_000.smt2/	2025-05-04 08:17	-
	tip2015_sort_nat_NMSortTDSorts_000.smt2/	2025-05-04 07:19	-
	tip2015_sort_nat_NStoogeSort2Count_000.smt2/	2025-05-04 07:52	-
	tip2015_sort_nat_NStoogeSort2IsSort_000.smt2/	2025-05-04 08:47	-
	tip2015_sort_nat_NStoogeSort2Sorts_000.smt2/	2025-05-04 08:17	-
	tip2015_sort_nat_NStoogeSortCount_000.smt2/	2025-05-04 08:26	-
	tip2015_sort_nat_NStoogeSortIsSort_000.smt2/	2025-05-04 08:10	-
	tip2015_sort_nat_NStoogeSortSorts_000.smt2/	2025-05-04 08:23	-
	tip2015_sort_nat_StoogeSort2Count_000.smt2/	2025-05-04 08:47	-
	tip2015_sort_nat_StoogeSort2Sorts_000.smt2/	2025-05-04 07:19	-
	tip2015_sort_nat_StoogeSortCount_000.smt2/	2025-05-04 08:20	-
	tip2015_sort_nat_StoogeSortIsSort_000.smt2/	2025-05-04 08:49	-
	tip2015_sort_nat_StoogeSortSorts_000.smt2/	2025-05-04 07:21	-
	tip2015_sort_nat_TSortCount_000.smt2/	2025-05-04 07:50	-
	tip2015_sort_nat_TSortIsSort_000.smt2/	2025-05-04 07:59	-
	tip2015_sort_nat_TSortSorts_000.smt2/	2025-05-04 07:49	-
	tip2015_tree_Flatten1_000.smt2/	2025-05-04 07:18	-
	tip2015_tree_Flatten2_000.smt2/	2025-05-04 08:20	-
	tip2015_tree_Flatten3_000.smt2/	2025-05-04 08:30	-
	tip2015_tree_SwapAB_000.smt2/	2025-05-04 07:17	-
	tree-insert-all-size.Z3.0_000.smt2/	2025-05-04 07:49	-
	tree_Flatten1_000.smt2/	2025-05-04 08:19	-
	tree_Flatten2_000.smt2/	2025-05-04 07:49	-
	tree_Flatten3_000.smt2/	2025-05-04 08:20	-
	tree_SwapAB_000.smt2/	2025-05-04 07:52	-
	tree_size.Z3.0_000.smt2/	2025-05-04 07:48	-
	trees-1-append-safe_000.smt2/	2025-05-04 07:54	-
	trees-1-append-unsafe_000.smt2/	2025-05-04 08:19	-
	trees-2-inc-all-safe_000.smt2/	2025-05-04 08:24	-
	trees-2-inc-all-unsafe_000.smt2/	2025-05-04 07:28	-
	trees-3-inc-some-safe_000.smt2/	2025-05-04 06:53	-
	trees-3-inc-some-unsafe_000.smt2/	2025-05-04 08:23	-
	trees-4-inc-some2-safe_000.smt2/	2025-05-04 06:53	-
	trees-4-inc-some2-unsafe_000.smt2/	2025-05-04 07:19	-
	unsat-amortize-queue-goal3_000.smt2/	2025-05-04 07:23	-
	unsat-amortize-queue-goal4_000.smt2/	2025-05-04 06:50	-
	unsat-amortize-queue-goal7_000.smt2/	2025-05-04 07:52	-
	unsat-amortize-queue-goal9_000.smt2/	2025-05-04 07:56	-
	unsat-amortize-queue-goal11_000.smt2/	2025-05-04 06:54	-
	unsat-amortize-queue-goal13_000.smt2/	2025-05-04 07:22	-
	unsat-bsearch-tree-goal1_000.smt2/	2025-05-04 04:56	-
	unsat-bsearch-tree-goal4_000.smt2/	2025-05-04 08:23	-
	unsat-bsearch-tree-goal7_000.smt2/	2025-05-04 07:49	-
	unsat-bsearch-tree-goal8_000.smt2/	2025-05-04 06:49	-
	unsat-bsearch-tree-goal12_000.smt2/	2025-05-04 08:25	-
	unsat-bsearch-tree-goal14_000.smt2/	2025-05-04 07:58	-
	unsat-bsearch-tree-goal16_000.smt2/	2025-05-04 07:28	-
	unsat-bsearch-tree-goal18_000.smt2/	2025-05-04 07:18	-
	unsat-goal1_000.smt2/	2025-05-04 07:53	-
	unsat-goal2_000.smt2/	2025-05-04 06:52	-
	unsat-goal3_000.smt2/	2025-05-04 06:53	-
	unsat-goal4_000.smt2/	2025-05-04 07:47	-
	unsat-goal5_000.smt2/	2025-05-04 06:49	-
	unsat-goal7_000.smt2/	2025-05-04 07:56	-
	unsat-goal9_000.smt2/	2025-05-04 07:02	-
	unsat-goal10_000.smt2/	2025-05-04 08:18	-
	unsat-goal11_000.smt2/	2025-05-04 08:17	-
	unsat-goal12_000.smt2/	2025-05-04 07:21	-
	unsat-goal14_000.smt2/	2025-05-04 07:58	-
	unsat-goal17_000.smt2/	2025-05-04 07:19	-
	unsat-goal18_000.smt2/	2025-05-04 07:50	-
	unsat-goal27_000.smt2/	2025-05-04 06:50	-
	unsat-goal28_000.smt2/	2025-05-04 06:49	-
	unsat-goal30_000.smt2/	2025-05-04 07:23	-
	unsat-goal38_000.smt2/	2025-05-04 06:50	-
	unsat-goal39_000.smt2/	2025-05-04 06:58	-
	unsat-goal40_000.smt2/	2025-05-04 07:19	-
	unsat-goal42_000.smt2/	2025-05-04 06:52	-
	unsat-goal43_000.smt2/	2025-05-04 07:52	-
	unsat-goal45_000.smt2/	2025-05-04 07:27	-
	unsat-goal46_000.smt2/	2025-05-04 08:23	-
	unsat-goal50_000.smt2/	2025-05-04 07:18	-
	unsat-goal52_000.smt2/	2025-05-04 07:52	-
	unsat-goal54_000.smt2/	2025-05-04 08:22	-
	unsat-goal55_000.smt2/	2025-05-04 07:28	-
	unsat-goal58_000.smt2/	2025-05-04 07:54	-
	unsat-goal59_000.smt2/	2025-05-04 06:52	-
	unsat-goal60_000.smt2/	2025-05-04 08:20	-
	unsat-goal61_000.smt2/	2025-05-04 06:52	-
	unsat-goal65_000.smt2/	2025-05-04 06:49	-
	unsat-goal67_000.smt2/	2025-05-04 06:49	-
	unsat-goal70_000.smt2/	2025-05-04 07:47	-
	unsat-goal72_000.smt2/	2025-05-04 06:47	-
	unsat-goal74_000.smt2/	2025-05-04 08:01	-
	unsat-goal77_000.smt2/	2025-05-04 07:52	-
	unsat-goal78_000.smt2/	2025-05-04 08:22	-
	unsat-goal80_000.smt2/	2025-05-04 07:49	-
	unsat-goal81_000.smt2/	2025-05-04 07:47	-
	unsat-goal82_000.smt2/	2025-05-04 06:53	-
	unsat-goal84_000.smt2/	2025-05-04 06:48	-
	unsat-goal85_000.smt2/	2025-05-04 06:50	-
	unsat-heap-goal2_000.smt2/	2025-05-04 06:48	-
	unsat-heap-goal3_000.smt2/	2025-05-04 07:26	-
	unsat-heap-goal4_000.smt2/	2025-05-04 06:48	-
	unsat-heap-goal6_000.smt2/	2025-05-04 06:53	-
	unsat-heap-goal7_000.smt2/	2025-05-04 07:48	-
	unsat-heap-goal10_000.smt2/	2025-05-04 08:20	-
	unsat-heap-goal12_000.smt2/	2025-05-04 06:50	-
	unsat-rev-equiv-goal1_000.smt2/	2025-05-04 08:20	-
	unsat-rev-equiv-goal3_000.smt2/	2025-05-04 07:56	-
	unsat-rev-equiv-goal5_000.smt2/	2025-05-04 07:20	-
	unsat-rotate-goal3_000.smt2/	2025-05-04 07:51	-
	unsat-rotate-goal5_000.smt2/	2025-05-04 08:22	-
	unsat-rotate-goal7_000.smt2/	2025-05-04 07:17	-
	weird_nat_add3_assoc1_000.smt2/	2025-05-04 07:35	-
	weird_nat_add3_assoc2_000.smt2/	2025-05-04 07:51	-
	weird_nat_add3_assoc3_000.smt2/	2025-05-04 06:50	-
	weird_nat_add3_comm12_000.smt2/	2025-05-04 07:49	-
	weird_nat_add3_comm13_000.smt2/	2025-05-04 07:30	-
	weird_nat_add3_comm23_000.smt2/	2025-05-04 06:47	-
	weird_nat_add3_rot_000.smt2/	2025-05-04 07:17	-
	weird_nat_add3_rrot_000.smt2/	2025-05-04 07:49	-
	weird_nat_add3_same_000.smt2/	2025-05-04 07:49	-
	weird_nat_add3_spec_000.smt2/	2025-05-04 07:52	-
	weird_nat_add3acc_assoc1_000.smt2/	2025-05-04 06:51	-
	weird_nat_add3acc_assoc2_000.smt2/	2025-05-04 08:17	-
	weird_nat_add3acc_assoc3_000.smt2/	2025-05-04 07:21	-
	weird_nat_add3acc_comm12_000.smt2/	2025-05-04 06:46	-
	weird_nat_add3acc_comm13_000.smt2/	2025-05-04 07:31	-
	weird_nat_add3acc_comm23_000.smt2/	2025-05-04 08:17	-
	weird_nat_add3acc_rot_000.smt2/	2025-05-04 07:18	-
	weird_nat_add3acc_rrot_000.smt2/	2025-05-04 08:20	-
	weird_nat_add3acc_spec_000.smt2/	2025-05-04 06:48	-
	weird_nat_mul2_assoc_000.smt2/	2025-05-04 07:57	-
	weird_nat_mul2_comm_000.smt2/	2025-05-04 08:18	-
	weird_nat_mul3_assoc1_000.smt2/	2025-05-04 08:54	-
	weird_nat_mul3_assoc2_000.smt2/	2025-05-04 08:52	-
	weird_nat_mul3_assoc3_000.smt2/	2025-05-04 08:51	-
	weird_nat_mul3_comm12_000.smt2/	2025-05-04 08:48	-
	weird_nat_mul3_comm13_000.smt2/	2025-05-04 08:38	-
	weird_nat_mul3_comm23_000.smt2/	2025-05-04 08:47	-
	weird_nat_mul3_rot_000.smt2/	2025-05-04 08:52	-
	weird_nat_mul3_rrot_000.smt2/	2025-05-04 08:18	-
	weird_nat_mul3_same_000.smt2/	2025-05-04 06:51	-
	weird_nat_mul3_spec_000.smt2/	2025-05-04 08:18	-
	weird_nat_mul3acc_assoc1_000.smt2/	2025-05-04 07:58	-
	weird_nat_mul3acc_assoc2_000.smt2/	2025-05-04 06:57	-
	weird_nat_mul3acc_assoc3_000.smt2/	2025-05-04 08:25	-
	weird_nat_mul3acc_comm12_000.smt2/	2025-05-04 07:24	-
	weird_nat_mul3acc_comm13_000.smt2/	2025-05-04 08:21	-
	weird_nat_mul3acc_comm23_000.smt2/	2025-05-04 08:55	-
	weird_nat_mul3acc_rot_000.smt2/	2025-05-04 07:18	-
	weird_nat_mul3acc_rrot_000.smt2/	2025-05-04 08:31	-
	weird_nat_mul3acc_spec_000.smt2/	2025-05-04 07:52	-
	weird_nat_op_assoc2_000.smt2/	2025-05-04 07:20	-
	weird_nat_op_assoc_000.smt2/	2025-05-04 07:48	-
	weird_nat_op_comm_comm_000.smt2/	2025-05-04 08:05	-
	weird_nat_op_spec_000.smt2/	2025-05-04 07:55	-