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

	Name	Last modified	Size	Description
	Parent Directory		-
	ARI176e1.smt2	2024-09-15 02:50	128
	agg-rew-test-cf.smt2	2024-09-15 02:50	230
	agg-rew-test.smt2	2024-09-15 02:50	224
	ari056.smt2	2024-09-15 02:50	134
	bug269.smt2	2024-09-15 02:50	490
	bug290.smt2	2024-09-15 02:50	710
	bug291.smt2	2024-09-15 02:50	509
	bug749-rounding.smt2	2024-09-15 02:50	283
	cbqi-lia-dt-simp.smt2	2024-09-15 02:50	214
	cegqi-needs-justify.smt2	2024-09-15 02:50	244
	cegqi-nl-simp.cvc.smt2	2024-09-15 02:50	177
	cegqi-nl-sq.smt2	2024-09-15 02:50	112
	cegqi-par-dt-simple.smt2	2024-09-15 02:50	204
	clock-3.smt2	2024-09-15 02:50	160
	clock-10.smt2	2024-09-15 02:50	161
	cond-var-elim-binary.smt2	2024-09-15 02:50	355
	delta-simp.smt2	2024-09-15 02:50	163
	double-pattern.smt2	2024-09-15 02:50	179
	ex3.smt2	2024-09-15 02:50	258
	ex6.smt2	2024-09-15 02:50	349
	floor.smt2	2024-09-15 02:50	138
	global_negate.smt2	2024-09-15 02:50	348
	horn-ground-pre-post.smt2	2024-09-15 02:50	284
	is-even-pred.smt2	2024-09-15 02:50	215
	is-int.smt2	2024-09-15 02:50	270
	issue1805.smt2	2024-09-15 02:50	233
	issue2031-bv-var-elim.smt2	2024-09-15 02:50	336
	issue2033-macro-arith.smt2	2024-09-15 02:50	282
	issue2035.smt2	2024-09-15 02:50	1.1K
	issue3655.smt2	2024-09-15 02:50	419
	issue4086-infs.smt2	2024-09-15 02:50	251
	issue4275-qcf-cegqi-rep.smt2	2024-09-15 02:50	266
	issue4437-unc-quant.smt2	2024-09-15 02:50	328
	issue4576.smt2	2024-09-15 02:50	194
	issue5645-dt-cm-spurious.smt2	2024-09-15 02:50	162
	issue5693-prenex.smt2	2024-09-15 02:50	278
	issue6475-rr-const.smt2	2024-09-15 02:50	248
	issue6603-dt-bool-cegqi.smt2	2024-09-15 02:50	130
	issue6838-qpdt.smt2	2024-09-15 02:50	151
	issue6996-trivial-elim.smt2	2024-09-15 02:50	205
	issue6999-deq-elim.smt2	2024-09-15 02:50	186
	issue7353-var-elim-par-dt.smt2	2024-09-15 02:50	261
	issue8001-mem-leak.smt2	2024-09-15 02:50	105
	issue8159-3-qext-nterm.smt2	2024-09-15 02:50	248
	issue8227-subs-shadow.smt2	2024-09-15 02:50	233
	issue8466-syqi-bool.smt2	2024-09-15 02:50	149
	issue8609-subtype-assert.smt2	2024-09-15 02:50	135
	issue8821-enum-interleave-types.smt2	2024-09-15 02:50	135
	lra-triv-gn.smt2	2024-09-15 02:50	218
	macro-back-subs-sat.smt2	2024-09-15 02:50	269
	macros-int-real.smt2	2024-09-15 02:50	198
	macros-real-arg.smt2	2024-09-15 02:50	370
	matching-lia-1arg.smt2	2024-09-15 02:50	168
	mbqi-simple.smt2	2024-09-15 02:50	292
	mix-complete-strat.smt2	2024-09-15 02:50	321
	mix-match.smt2	2024-09-15 02:50	236
	mix-simp.smt2	2024-09-15 02:50	181
	nested-delta.smt2	2024-09-15 02:50	136
	nested-inf.smt2	2024-09-15 02:50	108
	partial-trigger.smt2	2024-09-15 02:50	222
	proj-issue152-2-non-std-nterm-ext-rew.smt2	2024-09-15 02:50	191
	proj-issue512-has-skolem.smt2	2024-09-15 02:50	157
	pure_dt_cbqi.smt2	2024-09-15 02:50	219
	qarray-sel-over-store.smt2	2024-09-15 02:50	817
	qbv-inequality2.smt2	2024-09-15 02:50	249
	qbv-multi-lit-uge.smt2	2024-09-15 02:50	267
	qbv-simp.smt2	2024-09-15 02:50	263
	qbv-test-invert-bvadd-neq.smt2	2024-09-15 02:50	253
	qbv-test-invert-bvand-neq.smt2	2024-09-15 02:50	249
	qbv-test-invert-bvand.smt2	2024-09-15 02:50	255
	qbv-test-invert-bvashr-0-neq.smt2	2024-09-15 02:50	254
	qbv-test-invert-bvashr-1-neq.smt2	2024-09-15 02:50	250
	qbv-test-invert-bvlshr-0-neq.smt2	2024-09-15 02:50	250
	qbv-test-invert-bvlshr-0.smt2	2024-09-15 02:50	256
	qbv-test-invert-bvlshr-1-neq.smt2	2024-09-15 02:50	250
	qbv-test-invert-bvor-neq.smt2	2024-09-15 02:50	248
	qbv-test-invert-bvor.smt2	2024-09-15 02:50	254
	qbv-test-invert-bvshl-0-neq.smt2	2024-09-15 02:50	249
	qbv-test-invert-bvshl-0.smt2	2024-09-15 02:50	255
	qbv-test-invert-bvult-1.smt2	2024-09-15 02:50	217
	qbv-test-invert-bvxor-neq.smt2	2024-09-15 02:50	237
	qbv-test-invert-bvxor.smt2	2024-09-15 02:50	212
	qbv-test-invert-concat-0-neq.smt2	2024-09-15 02:50	255
	qbv-test-invert-concat-0.smt2	2024-09-15 02:50	257
	qbv-test-invert-concat-1-neq.smt2	2024-09-15 02:50	255
	qbv-test-invert-concat-1.smt2	2024-09-15 02:50	257
	qbv-test-invert-sign-extend.smt2	2024-09-15 02:50	266
	qcf-rel-dom-opt.smt2	2024-09-15 02:50	822
	quant-model-simplification.smt2	2024-09-15 02:50	218
	rew-to-scala.smt2	2024-09-15 02:50	2.9K
	selector-trigger.smt2	2024-09-15 02:50	240
	simp-len.smt2	2024-09-15 02:50	239
	simp-typ-test.smt2	2024-09-15 02:50	188
	ufnia-fv-delta.smt2	2024-09-15 02:50	205
	veqt-delta.smt2	2024-09-15 02:50	203