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

	Name	Last modified	Size	Description
	Parent Directory		-
	cyclic-ucp.smt2	2024-09-15 02:50	144
	issue277-circuit-propagator.smt2	2024-09-15 02:50	682
	lfsc-test-1.smt2	2024-09-15 02:50	404
	nomerge-alethe-pf.smt2	2024-09-15 02:50	1.2K
	open-pf-datatypes.smt2	2024-09-15 02:50	275
	open-pf-if-unordered-iff.smt2	2024-09-15 02:50	519
	open-pf-rederivation.smt2	2024-09-15 02:50	542
	proj-issue326-nl-bounds-check.smt2	2024-09-15 02:50	251
	proj-issue342-eager-checking-no-proof-checking.smt2	2024-09-15 02:50	129
	proj-issue430-coverings-double-negation.smt2	2024-09-15 02:50	372
	proj-issue462-sat-proof-option.smt2	2024-09-15 02:50	245
	proj-issue468-mkScope.smt2	2024-09-15 02:50	209
	proj-issue492-skolem-lemma-pf.smt2	2024-09-15 02:50	187
	project-issue317-inc-sat-conflictlit.smt2	2024-09-15 02:50	350
	project-issue330-eqproof.smt2	2024-09-15 02:50	335
	qgu-fuzz-1-bool-sat.smt2	2024-09-15 02:50	192
	qgu-fuzz-2-bool-chainres-checking.smt2	2024-09-15 02:50	285
	qgu-fuzz-3-chainres-checking.smt2	2024-09-15 02:50	189
	qgu-fuzz-4-bool-chainres-postprocessing-singleton.smt2	2024-09-15 02:50	202
	qgu-fuzz-5-bool-open-sat.smt2	2024-09-15 02:50	262
	scope.smt2	2024-09-15 02:50	1.7K
	tricky-sat-assumption-incremental-bookeeping.smt2	2024-09-15 02:50	382
	trust-subs-eq-open.smt2	2024-09-15 02:50	214