summaryrefslogtreecommitdiff
path: root/test/regress/regress1/strings
ModeNameSize
-rw-r--r--artemis-0512-nonterm.smt2394logplain
-rw-r--r--at001.smt2263logplain
-rw-r--r--bug615.smt2756logplain
-rw-r--r--bug682.smt2401logplain
-rw-r--r--bug686dd.smt2291logplain
-rw-r--r--bug768.smt2221logplain
-rw-r--r--bug799-min.smt2393logplain
-rw-r--r--chapman150408.smt2322logplain
-rw-r--r--cmu-2db2-extf-reg.smt2256logplain
-rw-r--r--cmu-5042-0707-2.smt21155logplain
-rw-r--r--cmu-inc-nlpp-071516.smt21188logplain
-rw-r--r--cmu-substr-rw.smt21041logplain
-rw-r--r--code-sequence.smt2410logplain
-rw-r--r--complement-test.smt2432logplain
-rw-r--r--crash-1019.smt24410logplain
-rw-r--r--csp-prefix-exp-bug.smt2199logplain
-rw-r--r--double-replace.smt2225logplain
-rw-r--r--fmf001.smt2429logplain
-rw-r--r--fmf002.smt2380logplain
-rw-r--r--gm-inc-071516-2.smt2571logplain
-rw-r--r--goodAI.smt2257logplain
-rw-r--r--idof-handg.smt2231logplain
-rw-r--r--idof-nconst-index.smt2276logplain
-rw-r--r--idof-neg-index.smt2204logplain
-rw-r--r--idof-triv.smt2192logplain
-rw-r--r--ilc-l-nt.smt2353logplain
-rw-r--r--indexof_re_red.smt21094logplain
-rw-r--r--issue1105.smt2245logplain
-rw-r--r--issue1684-regex.smt2249logplain
-rw-r--r--issue2060.smt2455logplain
-rw-r--r--issue2429-code.smt21679logplain
-rw-r--r--issue2981.smt2556logplain
-rw-r--r--issue2982.smt2904logplain
-rw-r--r--issue3090.smt2202logplain
-rw-r--r--issue3217.smt2439logplain
-rw-r--r--issue3272.smt21438logplain
-rw-r--r--issue3357.smt2694logplain
-rw-r--r--issue3657-unexpectedUnsatCVC4.smt26721logplain
-rw-r--r--issue4379.smt2291logplain
-rw-r--r--issue4608-re-derive.smt2203logplain
-rw-r--r--issue4701_substr_splice.smt2344logplain
-rw-r--r--issue4735.smt2639logplain
-rw-r--r--issue4735_2.smt2259logplain
-rw-r--r--issue4759-comp-delta.smt2143logplain
-rw-r--r--issue5330.smt2220logplain
-rw-r--r--issue5330_2.smt2273logplain
-rw-r--r--issue5374-proxy-i.smt2384logplain
-rw-r--r--issue5406-eager-pp.smt2373logplain
-rw-r--r--issue5483-pp-leq.smt2268logplain
-rw-r--r--issue5510-re-consume.smt2306logplain
-rw-r--r--issue5520-re-consume.smt2302logplain
-rw-r--r--issue5610-2-infer-proxy.smt2344logplain
-rw-r--r--issue5610-infer-proxy.smt2662logplain
-rw-r--r--issue5611-deq-norm-emp.smt2881logplain
-rw-r--r--issue5692-infer-proxy.smt2330logplain
-rw-r--r--issue5940-2-skc-len-conc.smt2443logplain
-rw-r--r--issue5940-skc-len-conc.smt2453logplain
-rw-r--r--issue6057-replace-re-all-jiwonparc.smt2402logplain
-rw-r--r--issue6057-replace-re.smt2371logplain
-rw-r--r--issue6071-arith-prereg-i.smt2357logplain
-rw-r--r--issue6072-inc-no-const-reg.smt2235logplain
-rw-r--r--issue6075-repl-len-one-rr.smt2240logplain
-rw-r--r--issue6132-non-unique-skolem.smt2290logplain
-rw-r--r--issue6142-repl-inv-rew.smt2239logplain
-rw-r--r--issue6191-replace-all.smt2681logplain
-rw-r--r--issue6203-1-substr-ctn-strip.smt2456logplain
-rw-r--r--issue6203-2-re-ccache.smt2270logplain
-rw-r--r--issue6203-6-replace-re.smt2472logplain
-rw-r--r--issue6214-2-sym-re-inc.smt2329logplain
-rw-r--r--issue6214-3-sym-re-inc.smt2360logplain
-rw-r--r--issue6214-4-sym-re-inc.smt2360logplain
-rw-r--r--issue6270.smt2284logplain
-rw-r--r--issue6271-2-rnf.smt2223logplain
-rw-r--r--issue6271-rnf.smt2248logplain
-rw-r--r--issue6337-replace-re-all.smt2382logplain
-rw-r--r--issue6337-replace-re.smt2351logplain
-rw-r--r--issue6545-extr.smt2465logplain
-rw-r--r--issue6567-empty-re-range.smt2101logplain
-rw-r--r--issue6604-2.smt2305logplain
-rw-r--r--kaluza-fl.smt26442logplain
-rw-r--r--loop002.smt2178logplain
-rw-r--r--loop003.smt2264logplain
-rw-r--r--loop004.smt2256logplain
-rw-r--r--loop005.smt2380logplain
-rw-r--r--loop006.smt2299logplain
-rw-r--r--loop007.smt2260logplain
-rw-r--r--loop008.smt2187logplain
-rw-r--r--loop009.smt2184logplain
-rw-r--r--nf-ff-contains-abs.smt2460logplain
-rw-r--r--no-lazy-pp-quant.smt2257logplain
-rw-r--r--non_termination_regular_expression4.smt21237logplain
-rw-r--r--norn-13.smt2728logplain
-rw-r--r--norn-360.smt21303logplain
-rw-r--r--norn-ab.smt21053logplain
-rw-r--r--norn-nel-bug-052116.smt2888logplain
-rw-r--r--norn-simp-rew-sat.smt21013logplain
-rw-r--r--nt6-dd.smt2431logplain
-rw-r--r--nterm-re-inter-sigma.smt2278logplain
-rw-r--r--pierre150331.smt2534logplain
-rw-r--r--policy_variable.smt21604logplain
-rw-r--r--pre_ctn_no_skolem_share.smt2437logplain
-rw-r--r--proj254-re-elim-agg.smt2299logplain
-rw-r--r--query4674.smt2737logplain
-rw-r--r--query8485.smt2746logplain
-rw-r--r--re-agg-total1.smt2390logplain
-rw-r--r--re-agg-total2.smt2373logplain
-rw-r--r--re-all-char-hard.smt2610logplain
-rw-r--r--re-elim-exact.smt2265logplain
-rw-r--r--re-mod-eq.smt2532logplain
-rw-r--r--re-neg-concat-reduct.smt2321logplain
-rw-r--r--re-neg-unfold-rev-a.smt2515logplain
-rw-r--r--re-unsound-080718.smt2485logplain
-rw-r--r--regexp-strat-fix.smt2291logplain
-rw-r--r--regexp001.smt2255logplain
-rw-r--r--regexp002.smt2702logplain
-rw-r--r--regexp003.smt2351logplain
-rw-r--r--reloop.smt2531logplain
-rw-r--r--repl-empty-sem.smt2270logplain
-rw-r--r--repl-soundness-sem.smt2308logplain
-rw-r--r--replaceall-len.smt2302logplain
-rw-r--r--replaceall-replace.smt2368logplain
-rw-r--r--rev-conv1.smt2220logplain
-rw-r--r--rev-ex1.smt2238logplain
-rw-r--r--rev-ex2.smt2260logplain
-rw-r--r--rev-ex3.smt2313logplain
-rw-r--r--rev-ex4.smt2324logplain
-rw-r--r--rev-ex5.smt2175logplain
-rw-r--r--rew-020618.smt2387logplain
-rw-r--r--rew-check1.smt2437logplain
-rw-r--r--simple-re-consume.smt2216logplain
-rw-r--r--stoi-400million.smt2206logplain
-rw-r--r--stoi-solve.smt2143logplain
-rw-r--r--str-code-sat.smt2546logplain
-rw-r--r--str-code-unsat-2.smt2196logplain
-rw-r--r--str-code-unsat-3.smt2487logplain
-rw-r--r--str-code-unsat.smt2471logplain
-rw-r--r--str-rev-simple-s.smt2338logplain
-rw-r--r--str001.smt2340logplain
-rw-r--r--str002.smt2410logplain
-rw-r--r--str006.smt2279logplain
-rw-r--r--str007.smt2231logplain
-rw-r--r--string-unsound-sem.smt2471logplain
-rw-r--r--strings-index-empty.smt2366logplain
-rw-r--r--strings-leq-trans-unsat.smt2351logplain
-rw-r--r--strings-lt-len5.smt2206logplain
-rw-r--r--strings-lt-simple.smt2173logplain
-rw-r--r--strip-endpt-sound.smt2649logplain
-rw-r--r--substr001.smt2443logplain
-rw-r--r--timeout-no-resp.smt2233logplain
-rw-r--r--tolower-find.smt2299logplain
-rw-r--r--type002.smt2356logplain
-rw-r--r--type003.smt2254logplain
-rw-r--r--update-ex1.smt2180logplain
-rw-r--r--update-ex2.smt2209logplain
-rw-r--r--username_checker_min.smt2345logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback