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

drwxr-xr-x		..
-rw-r--r--	21182	Arrow_Order-smtlib.778341.smtv1.smt2	blob \| history \| raw
-rw-r--r--	4433	QEpres-uf.855035.smtv1.smt2	blob \| history \| raw
-rw-r--r--	373	array_card.smt2	blob \| history \| raw
-rw-r--r--	382	bounded_sets.smt2	blob \| history \| raw
-rw-r--r--	247	bug-041417-set-options.cvc	blob \| history \| raw
-rw-r--r--	578	bug652.smt2	blob \| history \| raw
-rw-r--r--	597	bug782.smt2	blob \| history \| raw
-rw-r--r--	373	cruanes-no-minimal-unk.smt2	blob \| history \| raw
-rw-r--r--	175	fc-simple.smt2	blob \| history \| raw
-rw-r--r--	323	fc-unsat-pent.smt2	blob \| history \| raw
-rw-r--r--	216	fc-unsat-tot-2.smt2	blob \| history \| raw
-rw-r--r--	157	fd-false.smt2	blob \| history \| raw
-rw-r--r--	627	fmc_unsound_model.smt2	blob \| history \| raw
-rw-r--r--	453	fmf-strange-bounds-2.smt2	blob \| history \| raw
-rw-r--r--	244	forall_unit_data2.smt2	blob \| history \| raw
-rw-r--r--	189	issue3661-ccard-dec.smt2	blob \| history \| raw
-rw-r--r--	811	krs-sat.smt2	blob \| history \| raw
-rw-r--r--	496	no-minimal-sat.smt2	blob \| history \| raw
-rw-r--r--	510	quant_real_univ.cvc	blob \| history \| raw
-rw-r--r--	175	sat-logic.smt2	blob \| history \| raw
-rw-r--r--	1087	sc_bad_model_1221.smt2	blob \| history \| raw
-rw-r--r--	189	sort-infer-typed-082718.smt2	blob \| history \| raw
-rw-r--r--	374	syn002-si-real-int.smt2	blob \| history \| raw
-rw-r--r--	305	tail_rec.smt2	blob \| history \| raw