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

	Name	Last modified	Size	Description
	Parent Directory		-
	006-cbqi-ite.smt2	2024-09-15 02:50	11K
	015-psyco-pp.smt2	2024-09-15 02:50	12K
	AdditiveMethods_OwnedResults.Mz.smt2	2024-09-15 02:50	41K
	Arrays_Q1-noinfer.smt2	2024-09-15 02:50	4.1K
	NUM878.smt2	2024-09-15 02:50	191
	RND-small.smt2	2024-09-15 02:50	517
	RNDPRE_4_1-dd-nqe.smt2	2024-09-15 02:50	294
	RND_4_1-existing-inst.smt2	2024-09-15 02:50	245
	RND_4_16.smt2	2024-09-15 02:50	4.2K
	anti-sk-simp.smt2	2024-09-15 02:50	261
	ari118-bv-2occ-x.smt2	2024-09-15 02:50	210
	arith-rec-fun.smt2	2024-09-15 02:50	157
	arith-snorm.smt2	2024-09-15 02:50	33K
	array-unsat-simp3.smt2	2024-09-15 02:50	1.0K
	bi-artm-s.smt2	2024-09-15 02:50	863
	bignum_quant.smt2	2024-09-15 02:50	406
	bug802.smt2	2024-09-15 02:50	117K
	bug822.smt2	2024-09-15 02:50	139K
	bug_743.smt2	2024-09-15 02:50	22K
	burns4.smt2	2024-09-15 02:50	1.4K
	burns13.smt2	2024-09-15 02:50	2.6K
	cbqi-sdlx-fixpoint-3-dd.smt2	2024-09-15 02:50	370
	cdt-0208-to.smt2	2024-09-15 02:50	141K
	cee-npnt-dd.smt2	2024-09-15 02:50	492
	cee-os-delta.smt2	2024-09-15 02:50	339
	choice-move-delta-relt.smt2	2024-09-15 02:50	215
	const.cvc.smt2	2024-09-15 02:50	127
	constfunc.cvc.smt2	2024-09-15 02:50	209
	ddatv-delta2.smt2	2024-09-15 02:50	630
	dt-tc-opt-small.smt2	2024-09-15 02:50	446
	dump-inst-i.smt2	2024-09-15 02:50	795
	dump-inst-proof.smt2	2024-09-15 02:50	942
	dump-inst.smt2	2024-09-15 02:50	497
	eqrange_ex_1.smt2	2024-09-15 02:50	9.3K
	ext-ex-deq-trigger.smt2	2024-09-15 02:50	657
	extract-nproc.smt2	2024-09-15 02:50	384
	f993-loss-easy.smt2	2024-09-15 02:50	3.2K
	florian-case-ax.smt2	2024-09-15 02:50	6.5K
	fp-cegqi-unsat.smt2	2024-09-15 02:50	927
	gauss_init_0030.fof.smt2	2024-09-15 02:50	7.5K
	horn-simple.smt2	2024-09-15 02:50	314
	infer-arith-trigger-eq.smt2	2024-09-15 02:50	28K
	inst-max-level-segf.smt2	2024-09-15 02:50	14K
	inst-prop-simp.smt2	2024-09-15 02:50	418
	intersection-example-onelane.proof-node22337.smt2	2024-09-15 02:50	1.7K
	is-even.smt2	2024-09-15 02:50	250
	isaplanner-goal20.smt2	2024-09-15 02:50	2.6K
	issue993.smt2	2024-09-15 02:50	3.5K
	issue2970-string-var-elim.smt2	2024-09-15 02:50	309
	issue3250-syg-inf-q.smt2	2024-09-15 02:50	391
	issue3316.smt2	2024-09-15 02:50	1.2K
	issue3317.smt2	2024-09-15 02:50	2.4K
	issue3481.smt2	2024-09-15 02:50	15K
	issue3537.smt2	2024-09-15 02:50	2.0K
	issue3628.smt2	2024-09-15 02:50	305
	issue3664.smt2	2024-09-15 02:50	166
	issue3724-quant.smt2	2024-09-15 02:50	1.7K
	issue3765-quant-dd.smt2	2024-09-15 02:50	308
	issue3765.smt2	2024-09-15 02:50	354
	issue4021-ind-opts.smt2	2024-09-15 02:50	438
	issue4062-cegqi-aux.smt2	2024-09-15 02:50	263
	issue4243-prereg-inc.smt2	2024-09-15 02:50	346
	issue4290-cegqi-r.smt2	2024-09-15 02:50	476
	issue4328-nqe.smt2	2024-09-15 02:50	244
	issue4400-2-already-conf.smt2	2024-09-15 02:50	1.9K
	issue4412-cegqi-type.smt2	2024-09-15 02:50	122
	issue4420-order-sensitive.smt2	2024-09-15 02:50	2.3K
	issue4433-nqe.smt2	2024-09-15 02:50	217
	issue4620-erq-witness-unsound.smt2	2024-09-15 02:50	127
	issue4685-wrewrite.smt2	2024-09-15 02:50	192
	issue4813-qe-quant.smt2	2024-09-15 02:50	224
	issue4849-nqe.smt2	2024-09-15 02:50	221
	issue5019-cegqi-i.smt2	2024-09-15 02:50	233
	issue5278-ext-rewrite-rec.smt2	2024-09-15 02:50	202
	issue5279-nqe.smt2	2024-09-15 02:50	143
	issue5288-vts-real-int.smt2	2024-09-15 02:50	230
	issue5365-nqe.smt2	2024-09-15 02:50	396
	issue5373-1-qe-inc.smt2	2024-09-15 02:50	241
	issue5373-2.smt2	2024-09-15 02:50	553
	issue5378-witness.smt2	2024-09-15 02:50	193
	issue5469-aext.smt2	2024-09-15 02:50	275
	issue5470-aext.smt2	2024-09-15 02:50	189
	issue5471-aext.smt2	2024-09-15 02:50	272
	issue5482-rtf-no-fv.smt2	2024-09-15 02:50	374
	issue5484-qe.smt2	2024-09-15 02:50	489
	issue5484b-qe.smt2	2024-09-15 02:50	601
	issue5506-qe.smt2	2024-09-15 02:50	128
	issue5507-qe.smt2	2024-09-15 02:50	828
	issue5658-qe.smt2	2024-09-15 02:50	128
	issue5735-2-subtypes.smt2	2024-09-15 02:50	210
	issue5735-subtypes.smt2	2024-09-15 02:50	220
	issue5766-wrong-sel-trigger.smt2	2024-09-15 02:50	541
	issue5899-qe.smt2	2024-09-15 02:50	6.7K
	issue6607-witness-te.smt2	2024-09-15 02:50	208
	issue6638-sygus-inst.smt2	2024-09-15 02:50	336
	issue6642-em-types.smt2	2024-09-15 02:50	202
	issue6699-nc-shadow.smt2	2024-09-15 02:50	225
	issue6775-vts-int.smt2	2024-09-15 02:50	532
	issue6845-nl-lemma-tc.smt2	2024-09-15 02:50	317
	issue7385-sygus-inst-i.smt2	2024-09-15 02:50	166
	issue7537-cegqi-comp-types.smt2	2024-09-15 02:50	199
	issue8157-duplicate-conflicts.smt2	2024-09-15 02:50	892
	issue8344-cegqi-string-witness.smt2	2024-09-15 02:50	185
	issue8410-vts-subtypes.smt2	2024-09-15 02:50	192
	issue8456-2-syqi-ic.smt2	2024-09-15 02:50	150
	issue8456-syqi-ic.smt2	2024-09-15 02:50	302
	issue8497-syqi-str-fmf.smt2	2024-09-15 02:50	165
	issue8517-exp-exp.smt2	2024-09-15 02:50	191
	issue8520-cegqi-nl-cov.smt2	2024-09-15 02:50	184
	issue8572-sygus-inst-ic-purify.smt2	2024-09-15 02:50	188
	issue8881-rd-types.smt2	2024-09-15 02:50	181
	javafe.ast.StmtVec.009.smt2	2024-09-15 02:50	31K
	lia-witness-div-pp.smt2	2024-09-15 02:50	1.0K
	lra-vts-inf.smt2	2024-09-15 02:50	8.0K
	macro-geo-small-3.smt2	2024-09-15 02:50	531
	macro-subtype-param.smt2	2024-09-15 02:50	647
	min-ppgt-em-incomplete.smt2	2024-09-15 02:50	1.0K
	min-ppgt-em-incomplete2.smt2	2024-09-15 02:50	1.3K
	mix-coeff.smt2	2024-09-15 02:50	265
	model_6_1_bv.smt2	2024-09-15 02:50	1.2K
	mutualrec2.cvc.smt2	2024-09-15 02:50	573
	nested9_true-unreach-call.i_575.smt2	2024-09-15 02:50	795
	nl-pow-trick.smt2	2024-09-15 02:50	532
	nra-interleave-inst.smt2	2024-09-15 02:50	1.4K
	opisavailable-12.smt2	2024-09-15 02:50	16K
	parametric-lists.smt2	2024-09-15 02:50	1.0K
	pool-example.smt2	2024-09-15 02:50	320
	prenex-scholl-smt08_RNDPRE_RNDPRE_4_6.smt2	2024-09-15 02:50	1.6K
	proj-issue151-2.smt2	2024-09-15 02:50	214
	proj-issue155.smt2	2024-09-15 02:50	1.2K
	proj-issue285.smt2	2024-09-15 02:50	187
	proj-issue295.smt2	2024-09-15 02:50	222
	psyco-001-bv.smt2	2024-09-15 02:50	2.7K
	psyco-107-bv.smt2	2024-09-15 02:50	6.0K
	psyco-196.smt2	2024-09-15 02:50	15K
	qbv-disequality3.smt2	2024-09-15 02:50	260
	qbv-simple-2vars-vo.smt2	2024-09-15 02:50	352
	qbv-subcall.smt2	2024-09-15 02:50	841
	qbv-test-invert-bvashr-0.smt2	2024-09-15 02:50	256
	qbv-test-invert-bvashr-1.smt2	2024-09-15 02:50	256
	qbv-test-invert-bvcomp.smt2	2024-09-15 02:50	318
	qbv-test-invert-bvlshr-1.smt2	2024-09-15 02:50	256
	qbv-test-invert-bvmul-neq.smt2	2024-09-15 02:50	249
	qbv-test-invert-bvmul.smt2	2024-09-15 02:50	255
	qbv-test-invert-bvudiv-0-neq.smt2	2024-09-15 02:50	288
	qbv-test-invert-bvudiv-0.smt2	2024-09-15 02:50	290
	qbv-test-invert-bvudiv-1-neq.smt2	2024-09-15 02:50	288
	qbv-test-invert-bvudiv-1.smt2	2024-09-15 02:50	290
	qbv-test-invert-bvurem-1-neq.smt2	2024-09-15 02:50	250
	qbv-test-invert-bvurem-1.smt2	2024-09-15 02:50	256
	qbv-test-urem-rewrite.smt2	2024-09-15 02:50	256
	qcft-javafe.filespace.TreeWalker.006.smt2	2024-09-15 02:50	37K
	qcft-smtlib3dbc51.smt2	2024-09-15 02:50	77K
	qe-partial.smt2	2024-09-15 02:50	333
	qe-subtypes.smt2	2024-09-15 02:50	141
	qe.smt2	2024-09-15 02:50	155
	qid-debug-inst.smt2	2024-09-15 02:50	457
	qid.smt2	2024-09-15 02:50	439
	qs-has-term.smt2	2024-09-15 02:50	6.6K
	quant-wf-int-ind.smt2	2024-09-15 02:50	296
	quaternion_ds1_symm_0428.fof.smt2	2024-09-15 02:50	7.3K
	recfact.cvc.smt2	2024-09-15 02:50	497
	rel-trigger-unusable.smt2	2024-09-15 02:50	1.5K
	repair-const-nterm.smt2	2024-09-15 02:50	311
	rew-to-0211-dd.smt2	2024-09-15 02:50	19K
	ricart-agrawala6.smt2	2024-09-15 02:50	3.9K
	seq-solved-enum.smt2	2024-09-15 02:50	393
	seq-unsolved-ematch.smt2	2024-09-15 02:50	317
	seqa-unsat-unknown-110921.smt2	2024-09-15 02:50	1.1K
	set-choice-koikonomou.cvc.smt2	2024-09-15 02:50	333
	set3.smt2	2024-09-15 02:50	1.4K
	set8.smt2	2024-09-15 02:50	1.5K
	seu169+1.smt2	2024-09-15 02:50	2.0K
	small-pipeline-fixpoint-3.smt2	2024-09-15 02:50	6.9K
	smtcomp-qbv-053118.smt2	2024-09-15 02:50	598
	smtlib46f14a.smt2	2024-09-15 02:50	42K
	smtlib384a03.smt2	2024-09-15 02:50	43K
	smtlibe99bbe.smt2	2024-09-15 02:50	71K
	smtlibf957ea.smt2	2024-09-15 02:50	43K
	stream-x2014-09-18-unsat.smt2	2024-09-15 02:50	17K
	subtype-param-unk.smt2	2024-09-15 02:50	691
	subtype-param.smt2	2024-09-15 02:50	651
	sygus-infer-nested.smt2	2024-09-15 02:50	185
	sygus-inst-nia-psyco-060.smt2	2024-09-15 02:50	3.7K
	sygus-inst-ufnia-sat-t3_rw1505.smt2	2024-09-15 02:50	3.2K
	symmetric_unsat_7.smt2	2024-09-15 02:50	1.6K
	tpp-unit-fail-qbv.smt2	2024-09-15 02:50	273
	var-eq-trigger-simple.smt2	2024-09-15 02:50	311
	var-eq-trigger.smt2	2024-09-15 02:50	63K
	z3.620661-no-fv-trigger.smt2	2024-09-15 02:50	3.4K