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

drwxr-xr-x		..
-rw-r--r--	128	ARI176e1.smt2	blob \| history \| raw
-rw-r--r--	230	agg-rew-test-cf.smt2	blob \| history \| raw
-rw-r--r--	224	agg-rew-test.smt2	blob \| history \| raw
-rw-r--r--	133	ari056.smt2	blob \| history \| raw
-rw-r--r--	490	bug269.smt2	blob \| history \| raw
-rw-r--r--	710	bug290.smt2	blob \| history \| raw
-rw-r--r--	509	bug291.smt2	blob \| history \| raw
-rw-r--r--	283	bug749-rounding.smt2	blob \| history \| raw
-rw-r--r--	257	cbqi-lia-dt-simp.smt2	blob \| history \| raw
-rw-r--r--	69	cegqi-nl-simp.cvc	blob \| history \| raw
-rw-r--r--	112	cegqi-nl-sq.smt2	blob \| history \| raw
-rw-r--r--	161	clock-10.smt2	blob \| history \| raw
-rw-r--r--	160	clock-3.smt2	blob \| history \| raw
-rw-r--r--	355	cond-var-elim-binary.smt2	blob \| history \| raw
-rw-r--r--	181	delta-simp.smt2	blob \| history \| raw
-rw-r--r--	179	double-pattern.smt2	blob \| history \| raw
-rw-r--r--	258	ex3.smt2	blob \| history \| raw
-rw-r--r--	349	ex6.smt2	blob \| history \| raw
-rw-r--r--	138	floor.smt2	blob \| history \| raw
-rw-r--r--	284	horn-ground-pre-post.smt2	blob \| history \| raw
-rw-r--r--	225	is-even-pred.smt2	blob \| history \| raw
-rw-r--r--	263	is-int.smt2	blob \| history \| raw
-rw-r--r--	233	issue1805.smt2	blob \| history \| raw
-rw-r--r--	336	issue2031-bv-var-elim.smt2	blob \| history \| raw
-rw-r--r--	282	issue2033-macro-arith.smt2	blob \| history \| raw
-rw-r--r--	1170	issue2035.smt2	blob \| history \| raw
-rw-r--r--	419	issue3655.smt2	blob \| history \| raw
-rw-r--r--	247	issue4086-infs.smt2	blob \| history \| raw
-rw-r--r--	206	lra-triv-gn.smt2	blob \| history \| raw
-rw-r--r--	198	macros-int-real.smt2	blob \| history \| raw
-rw-r--r--	368	macros-real-arg.smt2	blob \| history \| raw
-rw-r--r--	178	matching-lia-1arg.smt2	blob \| history \| raw
-rw-r--r--	338	mix-complete-strat.smt2	blob \| history \| raw
-rw-r--r--	191	mix-match.smt2	blob \| history \| raw
-rw-r--r--	177	mix-simp.smt2	blob \| history \| raw
-rw-r--r--	136	nested-delta.smt2	blob \| history \| raw
-rw-r--r--	108	nested-inf.smt2	blob \| history \| raw
-rw-r--r--	232	partial-trigger.smt2	blob \| history \| raw
-rw-r--r--	246	pure_dt_cbqi.smt2	blob \| history \| raw
-rw-r--r--	817	qarray-sel-over-store.smt2	blob \| history \| raw
-rw-r--r--	247	qbv-inequality2.smt2	blob \| history \| raw
-rw-r--r--	281	qbv-multi-lit-uge.smt2	blob \| history \| raw
-rw-r--r--	261	qbv-simp.smt2	blob \| history \| raw
-rw-r--r--	250	qbv-test-invert-bvadd-neq.smt2	blob \| history \| raw
-rw-r--r--	246	qbv-test-invert-bvand-neq.smt2	blob \| history \| raw
-rw-r--r--	252	qbv-test-invert-bvand.smt2	blob \| history \| raw
-rw-r--r--	251	qbv-test-invert-bvashr-0-neq.smt2	blob \| history \| raw
-rw-r--r--	247	qbv-test-invert-bvashr-1-neq.smt2	blob \| history \| raw
-rw-r--r--	247	qbv-test-invert-bvlshr-0-neq.smt2	blob \| history \| raw
-rw-r--r--	253	qbv-test-invert-bvlshr-0.smt2	blob \| history \| raw
-rw-r--r--	247	qbv-test-invert-bvlshr-1-neq.smt2	blob \| history \| raw
-rw-r--r--	245	qbv-test-invert-bvor-neq.smt2	blob \| history \| raw
-rw-r--r--	251	qbv-test-invert-bvor.smt2	blob \| history \| raw
-rw-r--r--	246	qbv-test-invert-bvshl-0-neq.smt2	blob \| history \| raw
-rw-r--r--	252	qbv-test-invert-bvshl-0.smt2	blob \| history \| raw
-rw-r--r--	214	qbv-test-invert-bvult-1.smt2	blob \| history \| raw
-rw-r--r--	234	qbv-test-invert-bvxor-neq.smt2	blob \| history \| raw
-rw-r--r--	209	qbv-test-invert-bvxor.smt2	blob \| history \| raw
-rw-r--r--	252	qbv-test-invert-concat-0-neq.smt2	blob \| history \| raw
-rw-r--r--	254	qbv-test-invert-concat-0.smt2	blob \| history \| raw
-rw-r--r--	252	qbv-test-invert-concat-1-neq.smt2	blob \| history \| raw
-rw-r--r--	254	qbv-test-invert-concat-1.smt2	blob \| history \| raw
-rw-r--r--	263	qbv-test-invert-sign-extend.smt2	blob \| history \| raw
-rw-r--r--	822	qcf-rel-dom-opt.smt2	blob \| history \| raw
-rw-r--r--	2850	rew-to-scala.smt2	blob \| history \| raw
-rw-r--r--	249	simp-len.smt2	blob \| history \| raw
-rw-r--r--	185	simp-typ-test.smt2	blob \| history \| raw