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

	Name	Last modified	Size	Description
	Parent Directory		-
	eq-engine-corner-case-constants-disequal.smt2	2024-09-15 02:50	349
	issue6625-unsat-core-proofs.smt2	2024-09-15 02:50	313
	macro-res-exp-crowding-lit-inside-unit.smt2	2024-09-15 02:50	33K
	macro-res-exp-singleton-after-elimCrowd.smt2	2024-09-15 02:50	32K
	qgu-fuzz-1-strings-pp.smt2	2024-09-15 02:50	349
	qgu-fuzz-arrays-1-dd-te-auto.smt2	2024-09-15 02:50	256
	quant-alpha-eq.smt2	2024-09-15 02:50	206
	sat-trivial-cycle.smt2	2024-09-15 02:50	9.4K
	str-ovf-dd.smt2	2024-09-15 02:50	236
	unsat-cores-proofs.smt2	2024-09-15 02:50	161