git.libre-soc.org Git - cvc5.git/tree - test/regress/cli/regress0/proofs/

drwxr-xr-x		..
-rw-r--r--	144	cyclic-ucp.smt2	blob \| history \| raw
-rw-r--r--	682	issue277-circuit-propagator.smt2	blob \| history \| raw
-rw-r--r--	404	lfsc-test-1.smt2	blob \| history \| raw
-rw-r--r--	1220	nomerge-alethe-pf.smt2	blob \| history \| raw
-rw-r--r--	275	open-pf-datatypes.smt2	blob \| history \| raw
-rw-r--r--	519	open-pf-if-unordered-iff.smt2	blob \| history \| raw
-rw-r--r--	542	open-pf-rederivation.smt2	blob \| history \| raw
-rw-r--r--	251	proj-issue326-nl-bounds-check.smt2	blob \| history \| raw
-rw-r--r--	129	proj-issue342-eager-checking-no-proof-checking.smt2	blob \| history \| raw
-rw-r--r--	372	proj-issue430-coverings-double-negation.smt2	blob \| history \| raw
-rw-r--r--	245	proj-issue462-sat-proof-option.smt2	blob \| history \| raw
-rw-r--r--	209	proj-issue468-mkScope.smt2	blob \| history \| raw
-rw-r--r--	187	proj-issue492-skolem-lemma-pf.smt2	blob \| history \| raw
-rw-r--r--	350	project-issue317-inc-sat-conflictlit.smt2	blob \| history \| raw
-rw-r--r--	335	project-issue330-eqproof.smt2	blob \| history \| raw
-rw-r--r--	192	qgu-fuzz-1-bool-sat.smt2	blob \| history \| raw
-rw-r--r--	285	qgu-fuzz-2-bool-chainres-checking.smt2	blob \| history \| raw
-rw-r--r--	189	qgu-fuzz-3-chainres-checking.smt2	blob \| history \| raw
-rw-r--r--	202	qgu-fuzz-4-bool-chainres-postprocessing-singleton.smt2	blob \| history \| raw
-rw-r--r--	262	qgu-fuzz-5-bool-open-sat.smt2	blob \| history \| raw
-rw-r--r--	1742	scope.smt2	blob \| history \| raw
-rw-r--r--	382	tricky-sat-assumption-incremental-bookeeping.smt2	blob \| history \| raw
-rw-r--r--	214	trust-subs-eq-open.smt2	blob \| history \| raw