Index of /s/sys/buster-libre-soc/home/mdasoh/src/hdl_tools/cvc5/test/regress/cli/regress0/fmf

	Name	Last modified	Size	Description
	Parent Directory		-
	Arrow_Order-smtlib.778341.smtv1.smt2	2024-09-15 02:50	21K
	QEpres-uf.855035.smtv1.smt2	2024-09-15 02:50	4.3K
	array_card.smt2	2024-09-15 02:50	373
	bounded_sets.smt2	2024-09-15 02:50	398
	bug-041417-set-options.cvc.smt2	2024-09-15 02:50	413
	bug782.smt2	2024-09-15 02:50	603
	cruanes-no-minimal-unk.smt2	2024-09-15 02:50	356
	fc-simple.smt2	2024-09-15 02:50	179
	fc-unsat-pent.smt2	2024-09-15 02:50	326
	fc-unsat-tot-2.smt2	2024-09-15 02:50	219
	fd-false.smt2	2024-09-15 02:50	153
	fmc_unsound_model.smt2	2024-09-15 02:50	617
	fmf-strange-bounds-2.smt2	2024-09-15 02:50	461
	forall_unit_data2.smt2	2024-09-15 02:50	234
	issue3661-ccard-dec.smt2	2024-09-15 02:50	213
	issue4260-arrays-card-one.smt2	2024-09-15 02:50	191
	issue4850-force-card.smt2	2024-09-15 02:50	123
	issue4872-qf_ufc.smt2	2024-09-15 02:50	152
	issue5239-uf-ss-tot.smt2	2024-09-15 02:50	117
	issue5922-fmf-not-x.smt2	2024-09-15 02:50	203
	krs-sat.smt2	2024-09-15 02:50	801
	no-minimal-sat.smt2	2024-09-15 02:50	496
	quant_real_univ.cvc.smt2	2024-09-15 02:50	686
	sat-logic.smt2	2024-09-15 02:50	175
	sc_bad_model_1221.smt2	2024-09-15 02:50	1.0K
	sort-infer-typed-082718.smt2	2024-09-15 02:50	177
	syn002-si-real-int.smt2	2024-09-15 02:50	368
	tail_rec.smt2	2024-09-15 02:50	301