git.libre-soc.org Git - cvc5.git/tree - test/regress/regress1/strings/

drwxr-xr-x		..
-rw-r--r--	394	artemis-0512-nonterm.smt2	blob \| history \| raw
-rw-r--r--	263	at001.smt2	blob \| history \| raw
-rw-r--r--	756	bug615.smt2	blob \| history \| raw
-rw-r--r--	401	bug682.smt2	blob \| history \| raw
-rw-r--r--	291	bug686dd.smt2	blob \| history \| raw
-rw-r--r--	221	bug768.smt2	blob \| history \| raw
-rw-r--r--	393	bug799-min.smt2	blob \| history \| raw
-rw-r--r--	329	cee-norn-aes-trivially.smt2	blob \| history \| raw
-rw-r--r--	322	chapman150408.smt2	blob \| history \| raw
-rw-r--r--	246	cmu-2db2-extf-reg.smt2	blob \| history \| raw
-rw-r--r--	1145	cmu-5042-0707-2.smt2	blob \| history \| raw
-rw-r--r--	1178	cmu-inc-nlpp-071516.smt2	blob \| history \| raw
-rw-r--r--	1031	cmu-substr-rw.smt2	blob \| history \| raw
-rw-r--r--	410	code-sequence.smt2	blob \| history \| raw
-rw-r--r--	432	complement-test.smt2	blob \| history \| raw
-rw-r--r--	4400	crash-1019.smt2	blob \| history \| raw
-rw-r--r--	199	csp-prefix-exp-bug.smt2	blob \| history \| raw
-rw-r--r--	225	double-replace.smt2	blob \| history \| raw
-rw-r--r--	429	fmf001.smt2	blob \| history \| raw
-rw-r--r--	380	fmf002.smt2	blob \| history \| raw
-rw-r--r--	561	gm-inc-071516-2.smt2	blob \| history \| raw
-rw-r--r--	257	goodAI.smt2	blob \| history \| raw
-rw-r--r--	221	idof-handg.smt2	blob \| history \| raw
-rw-r--r--	266	idof-nconst-index.smt2	blob \| history \| raw
-rw-r--r--	194	idof-neg-index.smt2	blob \| history \| raw
-rw-r--r--	182	idof-triv.smt2	blob \| history \| raw
-rw-r--r--	343	ilc-l-nt.smt2	blob \| history \| raw
-rw-r--r--	1094	indexof_re_red.smt2	blob \| history \| raw
-rw-r--r--	376	instance3303-delta.smt2	blob \| history \| raw
-rw-r--r--	283	instance7075-delta.smt2	blob \| history \| raw
-rw-r--r--	245	issue1105.smt2	blob \| history \| raw
-rw-r--r--	249	issue1684-regex.smt2	blob \| history \| raw
-rw-r--r--	455	issue2060.smt2	blob \| history \| raw
-rw-r--r--	1679	issue2429-code.smt2	blob \| history \| raw
-rw-r--r--	556	issue2981.smt2	blob \| history \| raw
-rw-r--r--	904	issue2982.smt2	blob \| history \| raw
-rw-r--r--	192	issue3090.smt2	blob \| history \| raw
-rw-r--r--	429	issue3217.smt2	blob \| history \| raw
-rw-r--r--	1428	issue3272.smt2	blob \| history \| raw
-rw-r--r--	684	issue3357.smt2	blob \| history \| raw
-rw-r--r--	6721	issue3657-unexpectedUnsatCVC4.smt2	blob \| history \| raw
-rw-r--r--	291	issue4379.smt2	blob \| history \| raw
-rw-r--r--	203	issue4608-re-derive.smt2	blob \| history \| raw
-rw-r--r--	344	issue4701_substr_splice.smt2	blob \| history \| raw
-rw-r--r--	639	issue4735.smt2	blob \| history \| raw
-rw-r--r--	259	issue4735_2.smt2	blob \| history \| raw
-rw-r--r--	143	issue4759-comp-delta.smt2	blob \| history \| raw
-rw-r--r--	220	issue5330.smt2	blob \| history \| raw
-rw-r--r--	273	issue5330_2.smt2	blob \| history \| raw
-rw-r--r--	384	issue5374-proxy-i.smt2	blob \| history \| raw
-rw-r--r--	373	issue5406-eager-pp.smt2	blob \| history \| raw
-rw-r--r--	268	issue5483-pp-leq.smt2	blob \| history \| raw
-rw-r--r--	306	issue5510-re-consume.smt2	blob \| history \| raw
-rw-r--r--	302	issue5520-re-consume.smt2	blob \| history \| raw
-rw-r--r--	344	issue5610-2-infer-proxy.smt2	blob \| history \| raw
-rw-r--r--	662	issue5610-infer-proxy.smt2	blob \| history \| raw
-rw-r--r--	881	issue5611-deq-norm-emp.smt2	blob \| history \| raw
-rw-r--r--	330	issue5692-infer-proxy.smt2	blob \| history \| raw
-rw-r--r--	443	issue5940-2-skc-len-conc.smt2	blob \| history \| raw
-rw-r--r--	453	issue5940-skc-len-conc.smt2	blob \| history \| raw
-rw-r--r--	402	issue6057-replace-re-all-jiwonparc.smt2	blob \| history \| raw
-rw-r--r--	371	issue6057-replace-re.smt2	blob \| history \| raw
-rw-r--r--	357	issue6071-arith-prereg-i.smt2	blob \| history \| raw
-rw-r--r--	235	issue6072-inc-no-const-reg.smt2	blob \| history \| raw
-rw-r--r--	240	issue6075-repl-len-one-rr.smt2	blob \| history \| raw
-rw-r--r--	207	issue6101-2.smt2	blob \| history \| raw
-rw-r--r--	373	issue6101.smt2	blob \| history \| raw
-rw-r--r--	290	issue6132-non-unique-skolem.smt2	blob \| history \| raw
-rw-r--r--	239	issue6142-repl-inv-rew.smt2	blob \| history \| raw
-rw-r--r--	285	issue6180-2-proxy-vars.smt2	blob \| history \| raw
-rw-r--r--	347	issue6180-proxy-vars.smt2	blob \| history \| raw
-rw-r--r--	703	issue6184-unsat-core.smt2	blob \| history \| raw
-rw-r--r--	681	issue6191-replace-all.smt2	blob \| history \| raw
-rw-r--r--	456	issue6203-1-substr-ctn-strip.smt2	blob \| history \| raw
-rw-r--r--	270	issue6203-2-re-ccache.smt2	blob \| history \| raw
-rw-r--r--	472	issue6203-6-replace-re.smt2	blob \| history \| raw
-rw-r--r--	329	issue6214-2-sym-re-inc.smt2	blob \| history \| raw
-rw-r--r--	360	issue6214-3-sym-re-inc.smt2	blob \| history \| raw
-rw-r--r--	360	issue6214-4-sym-re-inc.smt2	blob \| history \| raw
-rw-r--r--	284	issue6270.smt2	blob \| history \| raw
-rw-r--r--	223	issue6271-2-rnf.smt2	blob \| history \| raw
-rw-r--r--	248	issue6271-rnf.smt2	blob \| history \| raw
-rw-r--r--	382	issue6337-replace-re-all.smt2	blob \| history \| raw
-rw-r--r--	351	issue6337-replace-re.smt2	blob \| history \| raw
-rw-r--r--	465	issue6545-extr.smt2	blob \| history \| raw
-rw-r--r--	101	issue6567-empty-re-range.smt2	blob \| history \| raw
-rw-r--r--	305	issue6604-2.smt2	blob \| history \| raw
-rw-r--r--	282	issue6635-rre.smt2	blob \| history \| raw
-rw-r--r--	216	issue6653-2-update-c-len.smt2	blob \| history \| raw
-rw-r--r--	244	issue6653-3-seq.smt2	blob \| history \| raw
-rw-r--r--	241	issue6653-4-rre.smt2	blob \| history \| raw
-rw-r--r--	215	issue6653-rre-small.smt2	blob \| history \| raw
-rw-r--r--	324	issue6653-rre.smt2	blob \| history \| raw
-rw-r--r--	318	issue6766-re-elim-bv.smt2	blob \| history \| raw
-rw-r--r--	304	issue6777-seq-nth-eval-cm.smt2	blob \| history \| raw
-rw-r--r--	269	issue6913.smt2	blob \| history \| raw
-rw-r--r--	552	issue6973-dup-lemma-conc.smt2	blob \| history \| raw
-rw-r--r--	401	issue7677-test-const-rv.smt2	blob \| history \| raw
-rw-r--r--	6442	kaluza-fl.smt2	blob \| history \| raw
-rw-r--r--	178	loop002.smt2	blob \| history \| raw
-rw-r--r--	264	loop003.smt2	blob \| history \| raw
-rw-r--r--	256	loop004.smt2	blob \| history \| raw
-rw-r--r--	380	loop005.smt2	blob \| history \| raw
-rw-r--r--	299	loop006.smt2	blob \| history \| raw
-rw-r--r--	260	loop007.smt2	blob \| history \| raw
-rw-r--r--	187	loop008.smt2	blob \| history \| raw
-rw-r--r--	184	loop009.smt2	blob \| history \| raw
-rw-r--r--	460	nf-ff-contains-abs.smt2	blob \| history \| raw
-rw-r--r--	257	no-lazy-pp-quant.smt2	blob \| history \| raw
-rw-r--r--	866	non-terminating-rewrite-aent.smt2	blob \| history \| raw
-rw-r--r--	1237	non_termination_regular_expression4.smt2	blob \| history \| raw
-rw-r--r--	728	norn-13.smt2	blob \| history \| raw
-rw-r--r--	1303	norn-360.smt2	blob \| history \| raw
-rw-r--r--	1053	norn-ab.smt2	blob \| history \| raw
-rw-r--r--	888	norn-nel-bug-052116.smt2	blob \| history \| raw
-rw-r--r--	1013	norn-simp-rew-sat.smt2	blob \| history \| raw
-rw-r--r--	431	nt6-dd.smt2	blob \| history \| raw
-rw-r--r--	278	nterm-re-inter-sigma.smt2	blob \| history \| raw
-rw-r--r--	257	open-pf-merge.smt2	blob \| history \| raw
-rw-r--r--	1419	pattern1.smt2	blob \| history \| raw
-rw-r--r--	534	pierre150331.smt2	blob \| history \| raw
-rw-r--r--	1604	policy_variable.smt2	blob \| history \| raw
-rw-r--r--	437	pre_ctn_no_skolem_share.smt2	blob \| history \| raw
-rw-r--r--	333	proj-issue331.smt2	blob \| history \| raw
-rw-r--r--	299	proj254-re-elim-agg.smt2	blob \| history \| raw
-rw-r--r--	737	query4674.smt2	blob \| history \| raw
-rw-r--r--	746	query8485.smt2	blob \| history \| raw
-rw-r--r--	390	re-agg-total1.smt2	blob \| history \| raw
-rw-r--r--	373	re-agg-total2.smt2	blob \| history \| raw
-rw-r--r--	610	re-all-char-hard.smt2	blob \| history \| raw
-rw-r--r--	265	re-elim-exact.smt2	blob \| history \| raw
-rw-r--r--	532	re-mod-eq.smt2	blob \| history \| raw
-rw-r--r--	321	re-neg-concat-reduct.smt2	blob \| history \| raw
-rw-r--r--	515	re-neg-unfold-rev-a.smt2	blob \| history \| raw
-rw-r--r--	485	re-unsound-080718.smt2	blob \| history \| raw
-rw-r--r--	291	regexp-strat-fix.smt2	blob \| history \| raw
-rw-r--r--	255	regexp001.smt2	blob \| history \| raw
-rw-r--r--	425	regexp002.smt2	blob \| history \| raw
-rw-r--r--	351	regexp003.smt2	blob \| history \| raw
-rw-r--r--	531	reloop.smt2	blob \| history \| raw
-rw-r--r--	270	repl-empty-sem.smt2	blob \| history \| raw
-rw-r--r--	308	repl-soundness-sem.smt2	blob \| history \| raw
-rw-r--r--	302	replaceall-len.smt2	blob \| history \| raw
-rw-r--r--	368	replaceall-replace.smt2	blob \| history \| raw
-rw-r--r--	220	rev-conv1.smt2	blob \| history \| raw
-rw-r--r--	238	rev-ex1.smt2	blob \| history \| raw
-rw-r--r--	260	rev-ex2.smt2	blob \| history \| raw
-rw-r--r--	313	rev-ex3.smt2	blob \| history \| raw
-rw-r--r--	324	rev-ex4.smt2	blob \| history \| raw
-rw-r--r--	175	rev-ex5.smt2	blob \| history \| raw
-rw-r--r--	387	rew-020618.smt2	blob \| history \| raw
-rw-r--r--	437	rew-check1.smt2	blob \| history \| raw
-rw-r--r--	275	seq-cardinality.smt2	blob \| history \| raw
-rw-r--r--	615	seq-quant-infinite-branch.smt2	blob \| history \| raw
-rw-r--r--	225	seq-skeleton-gap.smt2	blob \| history \| raw
-rw-r--r--	216	simple-re-consume.smt2	blob \| history \| raw
-rw-r--r--	186	stoi-400million.smt2	blob \| history \| raw
-rw-r--r--	143	stoi-solve.smt2	blob \| history \| raw
-rw-r--r--	546	str-code-sat.smt2	blob \| history \| raw
-rw-r--r--	196	str-code-unsat-2.smt2	blob \| history \| raw
-rw-r--r--	487	str-code-unsat-3.smt2	blob \| history \| raw
-rw-r--r--	471	str-code-unsat.smt2	blob \| history \| raw
-rw-r--r--	338	str-rev-simple-s.smt2	blob \| history \| raw
-rw-r--r--	340	str001.smt2	blob \| history \| raw
-rw-r--r--	410	str002.smt2	blob \| history \| raw
-rw-r--r--	279	str006.smt2	blob \| history \| raw
-rw-r--r--	231	str007.smt2	blob \| history \| raw
-rw-r--r--	471	string-unsound-sem.smt2	blob \| history \| raw
-rw-r--r--	366	strings-index-empty.smt2	blob \| history \| raw
-rw-r--r--	351	strings-leq-trans-unsat.smt2	blob \| history \| raw
-rw-r--r--	206	strings-lt-len5.smt2	blob \| history \| raw
-rw-r--r--	173	strings-lt-simple.smt2	blob \| history \| raw
-rw-r--r--	649	strip-endpt-sound.smt2	blob \| history \| raw
-rw-r--r--	443	substr001.smt2	blob \| history \| raw
-rw-r--r--	233	timeout-no-resp.smt2	blob \| history \| raw
-rw-r--r--	289	tolower-find.smt2	blob \| history \| raw
-rw-r--r--	356	type002.smt2	blob \| history \| raw
-rw-r--r--	254	type003.smt2	blob \| history \| raw
-rw-r--r--	180	update-ex1.smt2	blob \| history \| raw
-rw-r--r--	209	update-ex2.smt2	blob \| history \| raw
-rw-r--r--	345	username_checker_min.smt2	blob \| history \| raw