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

	Name	Last modified	Size	Description
	Parent Directory		-
	all-logic.smt2	2024-09-15 02:50	105
	coeff-sat.smt2	2024-09-15 02:50	211
	combined-uf.smt2	2024-09-15 02:50	252
	dd.fuzz01.smtv1-to-real-idem.smt2	2024-09-15 02:50	238
	dd.iand-wrong-0513-pp.smt2	2024-09-15 02:50	183
	iand-no-init.smt2	2024-09-15 02:50	106
	issue3003.smt2	2024-09-15 02:50	615
	issue3407.smt2	2024-09-15 02:50	152
	issue3411.smt2	2024-09-15 02:50	186
	issue3475.smt2	2024-09-15 02:50	170
	issue3652.smt2	2024-09-15 02:50	107
	issue3718.smt2	2024-09-15 02:50	117
	issue3719.smt2	2024-09-15 02:50	120
	issue3729-cm-solved-tf.smt2	2024-09-15 02:50	142
	issue3959.smt2	2024-09-15 02:50	275
	issue3971.smt2	2024-09-15 02:50	12K
	issue3991.smt2	2024-09-15 02:50	270
	issue4007-rint-uf.smt2	2024-09-15 02:50	179
	issue4334-sat-proof-min.smt2	2024-09-15 02:50	196
	issue4463-ack-model.smt2	2024-09-15 02:50	121
	issue5534-no-assertions.smt2	2024-09-15 02:50	234
	issue5726-downpolys.smt2	2024-09-15 02:50	238
	issue5726-sqfactor.smt2	2024-09-15 02:50	239
	issue5737-div00.smt2	2024-09-15 02:50	128
	issue5740-2-mod00.smt2	2024-09-15 02:50	310
	issue5740-mod00.smt2	2024-09-15 02:50	216
	issue6547-ran-model.smt2	2024-09-15 02:50	112
	issue6619-ran-model.smt2	2024-09-15 02:50	199
	issue8135-icp-candidates.smt2	2024-09-15 02:50	148
	issue8161-var-elim.smt2	2024-09-15 02:50	248
	issue8226-ran-refinement.smt2	2024-09-15 02:50	362
	issue8414-ran-rational.smt2	2024-09-15 02:50	365
	issue8515-cov-iand.smt2	2024-09-15 02:50	342
	issue8516-cov-sin.smt2	2024-09-15 02:50	238
	issue8638-cov-resultants.smt2	2024-09-15 02:50	236
	issue8691-3-msum-subtypes.smt2	2024-09-15 02:50	114
	issue8691-msum-subtypes.smt2	2024-09-15 02:50	190
	issue8692-idem-flatten.smt2	2024-09-15 02:50	132
	issue8712-div-toreal-rew.smt2	2024-09-15 02:50	190
	issue8744-int.smt2	2024-09-15 02:50	216
	issue8744-real-cov.smt2	2024-09-15 02:50	245
	issue8744-real.smt2	2024-09-15 02:50	219
	issue8755-nl-logic-exception.smt2	2024-09-15 02:50	215
	issue8835-int-second.smt2	2024-09-15 02:50	253
	issue8934-lr-int-mod-range.smt2	2024-09-15 02:50	239
	lazard-spurious-root.smt2	2024-09-15 02:50	477
	magnitude-wrong-1020-m.smt2	2024-09-15 02:50	2.5K
	mult-po.smt2	2024-09-15 02:50	335
	nia-wrong-tl.smt2	2024-09-15 02:50	1.2K
	nlExtPurify-test.smt2	2024-09-15 02:50	843
	nta/	2024-09-15 02:50	-
	pow2-native-0.smt2	2024-09-15 02:50	122
	pow2-native-1.smt2	2024-09-15 02:50	154
	pow2-native-2.smt2	2024-09-15 02:50	158
	pow2-native-3.smt2	2024-09-15 02:50	212
	pow2-pow-isabelle.smt2	2024-09-15 02:50	574
	pow2-pow.smt2	2024-09-15 02:50	117
	proj-issue-348.smt2	2024-09-15 02:50	205
	proj-issue-425.smt2	2024-09-15 02:50	272
	proj-issue-444-memout-eqelim.smt2	2024-09-15 02:50	322
	proj-issue-451-ran-combination-1.smt2	2024-09-15 02:50	292
	proj-issue-451-ran-combination-2.smt2	2024-09-15 02:50	220
	proj-issue-465-asan-proofs.smt2	2024-09-15 02:50	264
	real-as-int.smt2	2024-09-15 02:50	240
	real-div-ufnra.smt2	2024-09-15 02:50	280
	sin-cos-346-b-chunk-0169.smt2	2024-09-15 02:50	665
	sqrt.smt2	2024-09-15 02:50	597
	sqrt2-value.smt2	2024-09-15 02:50	274
	subs0-unsat-confirm.smt2	2024-09-15 02:50	383
	tpp-fail-pf-012921.smt2	2024-09-15 02:50	134
	very-easy-sat.smt2	2024-09-15 02:50	1.0K
	very-simple-unsat.smt2	2024-09-15 02:50	293