regsmtparse0 regsmtparse0.smt -o regsmtparse0.log
regsmtparse1 regsmtparse1.smt -o regsmtparse1.log
regsmtparse2 regsmtparse2.smt -o regsmtparse2.log
smttrue -m -o smttrue.log smttrue.smt
smtfalse -m -o smtfalse.log smtfalse.smt
smtvar -m -o smtvar.log smtvar.smt
smtnotvar -m -o smtnotvar.log smtnotvar.smt
smtandvar -m -o smtandvar.log smtandvar.smt
smtxor -m -o smtxor.log smtxor.smt
smtor -m -o smtor.log smtor.smt
smtiff -m -o smtiff.log smtiff.smt
smtflet -o smtflet.log smtflet.smt
smtbv255 -o smtbv255.log smtbv255.smt
smtshl1 -o smtshl1.log smtshl1.smt
smtshl2 -o smtshl2.log smtshl2.smt
smtshl3 -o smtshl3.log smtshl3.smt
smtlshr1 -o smtlshr1.log smtlshr1.smt
smtlshr2 -o smtlshr2.log smtlshr2.smt
smtlshr3 -o smtlshr3.log smtlshr3.smt
smtashr1 -o smtashr1.log smtashr1.smt
smtashr2 -o smtashr2.log smtashr2.smt
smtashr3 -o smtashr3.log smtashr3.smt
smtbvbin -o smtbvbin.log smtbvbin.smt
smtbvhex -o smtbvhex.log smtbvhex.smt
smtrepeat -o smtrepeat.log smtrepeat.smt
smtzeroextend -o smtzeroextend.log smtzeroextend.smt
smtsignextend -o smtsignextend.log smtsignextend.smt
smtrotate -o smtrotate.log smtrotate.smt
uremudivaxiom4 -o uremudivaxiom4.log uremudivaxiom4.btor
uremudivaxiom4no -o uremudivaxiom4no.log uremudivaxiom4no.btor
regsmod1 -o regsmod1.log regsmod1.smt
regr-5smod3 -o regr-5smod3.log regr-5smod3.btor -m -d
regr-5srem3 -o regr-5srem3.log regr-5srem3.btor -m -d
regr5smod-3 -o regr5smod-3.log regr5smod-3.btor -m -d
regr5srem-3 -o regr5srem-3.log regr5srem-3.btor -m -d
regr-6smod3 -o regr-6smod3.log regr-6smod3.btor -m -d
regr-6srem3 -o regr-6srem3.log regr-6srem3.btor -m -d
regr6smod-3 -o regr6smod-3.log regr6smod-3.btor -m -d
regr6srem-3 -o regr6srem-3.log regr6srem-3.btor -m -d
gtewithsub -o gtewithsub.log gtewithsub.btor
smtaxiommccarthy -o smtaxiommccarthy.log smtaxiommccarthy.smt
mulassoc4 -o mulassoc4.log mulassoc4.smt
mulassoc5 -o mulassoc5.log mulassoc5.smt
mulassoc6 -o mulassoc6.log mulassoc6.smt
udiv8castdown4 -o udiv8castdown4.log udiv8castdown4.btor
udiv8castdown5 -o udiv8castdown5.log udiv8castdown5.btor
udiv8castdown6 -o udiv8castdown6.log udiv8castdown6.btor
udiv8castdown7 -o udiv8castdown7.log udiv8castdown7.btor
udiv16castdown8 -o udiv16castdown8.log udiv16castdown8.btor
lazyreadwritebug1 -o lazyreadwritebug1.log lazyreadwritebug1.btor
arrayand arrayand.btor -o arrayand.log
arrayeqerr0 arrayeqerr0.btor -o arrayeqerr0.log
arrayeqerr1 arrayeqerr1.btor -o arrayeqerr1.log
arrayeqerr2 arrayeqerr2.btor -o arrayeqerr2.log
dumpbtor1 -rwl 0 -db -o dumpbtor1.log dumpbtor1.btor
dumpbtor2 -rwl 0 -db -o dumpbtor2.log dumpbtor2.btor
dumpbtor3 -db -o dumpbtor3.log dumpbtor3.btor
dumpsmt1 -rwl 0 -ds -o dumpsmt1.log dumpsmt1.btor
dumpsmt2 -rwl 0 -ds -o dumpsmt2.log dumpsmt2.btor
smtextarrayaxiom1uf -o smtextarrayaxiom1uf.log smtextarrayaxiom1uf.smt
smtextarrayaxiom1 -o smtextarrayaxiom1.log smtextarrayaxiom1.smt
smtextarray1sat0 -o smtextarray1sat0.log smtextarray1sat0.smt
smtextarray1sat1 -o smtextarray1sat1.log smtextarray1sat1.smt
smtextarrayaxiom2uf -o smtextarrayaxiom2uf.log smtextarrayaxiom2uf.smt
smtextarrayaxiom2 -o smtextarrayaxiom2.log smtextarrayaxiom2.smt
smtextarray2sat0 -o smtextarray2sat0.log smtextarray2sat0.smt
smtextarray2sat1 -o smtextarray2sat1.log smtextarray2sat1.smt
smtextarray2sat2 -o smtextarray2sat2.log smtextarray2sat2.smt
smtextarray2sat3 -o smtextarray2sat3.log smtextarray2sat3.smt
smtextarrayaxiom3uf -o smtextarrayaxiom3uf.log smtextarrayaxiom3uf.smt
smtextarrayaxiom3 -o smtextarrayaxiom3.log smtextarrayaxiom3.smt
smtextarray3sat0 -o smtextarray3sat0.log smtextarray3sat0.smt
smtextarray3sat1 -o smtextarray3sat1.log smtextarray3sat1.smt
smtextarray3sat2 -o smtextarray3sat2.log smtextarray3sat2.smt
smtextarray3sat3 -o smtextarray3sat3.log smtextarray3sat3.smt
smtextarray3sat4 -o smtextarray3sat4.log smtextarray3sat4.smt
smtextarray3sat5 -o smtextarray3sat5.log smtextarray3sat5.smt
smtextarray3sat6 -o smtextarray3sat6.log smtextarray3sat6.smt
smtextarray3sat7 -o smtextarray3sat7.log smtextarray3sat7.smt
smtextarrayaxiom4uf -o smtextarrayaxiom4uf.log smtextarrayaxiom4uf.smt
smtextarrayaxiom4 -o smtextarrayaxiom4.log smtextarrayaxiom4.smt
extarraywrite1 -o extarraywrite1.log extarraywrite1.btor
extarraywrite2 -o extarraywrite2.log extarraywrite2.btor
extarraywrite3 -o extarraywrite3.log extarraywrite3.smt
extarraywrite3sat -o extarraywrite3sat.log extarraywrite3sat.smt
smtarraycond1 -o smtarraycond1.log smtarraycond1.smt
smtarraycond2 -o smtarraycond2.log smtarraycond2.smt
smtarraycond3 -o smtarraycond3.log smtarraycond3.smt
rwpropindexplusconst1 -o rwpropindexplusconst1.log rwpropindexplusconst1.btor
rwpropindexplusconst2 -o rwpropindexplusconst2.log rwpropindexplusconst2.btor
rwpropindexplusconst3 -o rwpropindexplusconst3.log rwpropindexplusconst3.btor
rwpropindexplusconst4 -o rwpropindexplusconst4.log rwpropindexplusconst4.btor
rwpropindexplusconst1 -rwl 0 -o rwpropindexplusconst1.log rwpropindexplusconst1.btor
rwpropindexplusconst2 -rwl 0 -o rwpropindexplusconst2.log rwpropindexplusconst2.btor
rwpropindexplusconst3 -rwl 0 -o rwpropindexplusconst3.log rwpropindexplusconst3.btor
rwpropindexplusconst4 -rwl 0 -o rwpropindexplusconst4.log rwpropindexplusconst4.btor
rwpropindexpluszero1 -o rwpropindexpluszero1.log rwpropindexpluszero1.btor
rwpropindexpluszero2 -o rwpropindexpluszero2.log rwpropindexpluszero2.btor
rwpropindexpluszero3 -o rwpropindexpluszero3.log rwpropindexpluszero3.btor
rwpropindexpluszero4 -o rwpropindexpluszero4.log rwpropindexpluszero4.btor
rwpropindexpluszero5 -o rwpropindexpluszero5.log rwpropindexpluszero5.btor
rwpropindexpluszero6 -o rwpropindexpluszero6.log rwpropindexpluszero6.btor
rwpropindexpluszero7 -o rwpropindexpluszero7.log rwpropindexpluszero7.btor
rwpropindexpluszero8 -o rwpropindexpluszero8.log rwpropindexpluszero8.btor
rwpropindexpluszero1 -rwl 0 -o rwpropindexpluszero1.log rwpropindexpluszero1.btor
rwpropindexpluszero2 -rwl 0 -o rwpropindexpluszero2.log rwpropindexpluszero2.btor
rwpropindexpluszero3 -rwl 0 -o rwpropindexpluszero3.log rwpropindexpluszero3.btor
rwpropindexpluszero4 -rwl 0 -o rwpropindexpluszero4.log rwpropindexpluszero4.btor
rwpropindexpluszero5 -rwl 0 -o rwpropindexpluszero5.log rwpropindexpluszero5.btor
rwpropindexpluszero6 -rwl 0 -o rwpropindexpluszero6.log rwpropindexpluszero6.btor
rwpropindexpluszero7 -rwl 0 -o rwpropindexpluszero7.log rwpropindexpluszero7.btor
rwpropindexpluszero8 -rwl 0 -o rwpropindexpluszero8.log rwpropindexpluszero8.btor
arraycondconst -rwl 0 -o arraycondconst.log arraycondconst.btor
arraycondconstaig -rwl 0 -o arraycondconstaig.log arraycondconstaig.btor
random1 -o random1.log random1.btor
random1btor2 -o random1btor2.log random1.btor2
random2 -o random2.log random2.btor
random3 -o random3.log random3.btor
random4 -o random4.log random4.btor
random5 -rwl 0 -o random5.log random5.btor
random5 -rwl 1 -o random5.log random5.btor
rw16 -rwl 0 -o rw16.log rw16.btor
rw16 -rwl 1 -o rw16.log rw16.btor
rw17 -rwl 0 -o rw17.log rw17.btor
rw17 -rwl 1 -o rw17.log rw17.btor
rw18 -rwl 0 -o rw18.log rw18.btor
rw18 -rwl 1 -o rw18.log rw18.btor
rw19 -rwl 0 -o rw19.log rw19.btor
rw19 -rwl 1 -o rw19.log rw19.btor
rw20 -rwl 0 -o rw20.log rw20.btor
rw20 -rwl 1 -o rw20.log rw20.btor
rw21 -rwl 0 -o rw21.log rw21.btor
rw21 -rwl 1 -o rw21.log rw21.btor
rw22 -rwl 0 -o rw22.log rw22.btor
rw22 -rwl 1 -o rw22.log rw22.btor
rw23 -rwl 0 -o rw23.log rw23.btor
rw23 -rwl 1 -o rw23.log rw23.btor
rw24 -rwl 0 -o rw24.log rw24.btor
rw24 -rwl 1 -o rw24.log rw24.btor
rw25 -rwl 0 -o rw25.log rw25.btor
rw25 -rwl 1 -o rw25.log rw25.btor
rw26 -rwl 0 -o rw26.log rw26.btor
rw26 -rwl 1 -o rw26.log rw26.btor
rw27 -rwl 0 -o rw27.log rw27.btor
rw27 -rwl 1 -o rw27.log rw27.btor
rw28 -rwl 0 -o rw28.log rw28.btor
rw28 -rwl 1 -o rw28.log rw28.btor
rw29 -rwl 0 -o rw29.log rw29.btor
rw29 -rwl 1 -o rw29.log rw29.btor
rw30 -rwl 0 -o rw30.log rw30.btor
rw30 -rwl 1 -o rw30.log rw30.btor
rw31 -rwl 0 -o rw31.log rw31.btor
rw31 -rwl 1 -o rw31.log rw31.btor
rw32 -rwl 0 -o rw32.log rw32.btor
rw32 -rwl 1 -o rw32.log rw32.btor
rw33 -rwl 0 -o rw33.log rw33.btor
rw33 -rwl 1 -o rw33.log rw33.btor
rw34 -rwl 0 -o rw34.log rw34.btor
rw34 -rwl 1 -o rw34.log rw34.btor
rw35 -rwl 0 -o rw35.log rw35.btor
rw35 -rwl 1 -o rw35.log rw35.btor
rw36 -rwl 0 -o rw36.log rw36.btor
rw36 -rwl 1 -o rw36.log rw36.btor
rw37 -rwl 0 -o rw37.log rw37.btor
rw37 -rwl 1 -o rw37.log rw37.btor
rw38 -rwl 0 -o rw38.log rw38.btor
rw38 -rwl 1 -o rw38.log rw38.btor
rw39 -rwl 0 -o rw39.log rw39.btor
rw39 -rwl 1 -o rw39.log rw39.btor
rw40 -rwl 0 -o rw40.log rw40.btor
rw40 -rwl 1 -o rw40.log rw40.btor
rw41 -rwl 0 -o rw41.log rw41.btor
rw41 -rwl 1 -o rw41.log rw41.btor
rw42 -rwl 0 -o rw42.log rw42.btor
rw42 -rwl 1 -o rw42.log rw42.btor
rw43 -rwl 0 -o rw43.log rw43.btor
rw43 -rwl 1 -o rw43.log rw43.btor
rw44 -rwl 0 -o rw44.log rw44.btor
rw44 -rwl 1 -o rw44.log rw44.btor
rw45 -rwl 0 -o rw45.log rw45.btor
rw45 -rwl 1 -o rw45.log rw45.btor
rw46 -o rw46.log rw46.btor
rw47 -o rw47.log rw47.btor
rw48 -o rw48.log rw48.btor
rw49 -o rw49.log rw49.btor
rw50 -o rw50.log rw50.btor
rw51 -o rw51.log rw51.btor
rw52 -rwl 0 -o rw52.log rw52.btor
rw52 -rwl 1 -o rw52.log rw52.btor
rw53 -rwl 0 -o rw53.log rw53.btor
rw53 -rwl 3 -o rw53.log rw53.btor
rw54 -rwl 0 -o rw54.log rw54.btor
rw54 -rwl 3 -o rw54.log rw54.btor
rw55 -rwl 0 -o rw55.log rw55.btor
rw55 -rwl 3 -o rw55.log rw55.btor
rw56 -rwl 0 -o rw56.log rw56.btor
rw56 -rwl 3 -o rw56.log rw56.btor
rw57 -rwl 0 -o rw57.log rw57.btor
rw57 -rwl 3 -o rw57.log rw57.btor
rw58 -rwl 0 -o rw58.log rw58.btor
rw58 -rwl 3 -o rw58.log rw58.btor
rw59 -rwl 0 -o rw59.log rw59.btor
rw59 -rwl 3 -o rw59.log rw59.btor
rw60 -o rw60.log rw60.btor
rw61 -rwl 0 -o rw61.log rw61.btor
rw61 -rwl 1 -o rw61.log rw61.btor
rw62 -rwl 0 -o rw62.log rw62.btor
rw62 -rwl 1 -o rw62.log rw62.btor
rw63 -rwl 0 -o rw63.log rw63.btor
rw63 -rwl 1 -o rw63.log rw63.btor
rw64 -rwl 0 -o rw64.log rw64.btor
rw64 -rwl 1 -o rw64.log rw64.btor
rw65 -rwl 0 -o rw65.log rw65.btor
rw65 -rwl 1 -o rw65.log rw65.btor
rw66 -rwl 0 -o rw66.log rw66.btor
rw66 -rwl 1 -o rw66.log rw66.btor
rw67 -rwl 0 -o rw67.log rw67.btor
rw67 -rwl 1 -o rw67.log rw67.btor
rw68 -rwl 0 -o rw68.log rw68.btor
rw68 -rwl 1 -o rw68.log rw68.btor
rw69 -rwl 0 -o rw69.log rw69.btor
rw69 -rwl 3 -o rw69.log rw69.btor
rw70 -rwl 0 -o rw70.log rw70.btor
rw70 -rwl 3 -o rw70.log rw70.btor
rw71 -rwl 0 -o rw71.log rw71.btor
rw71 -rwl 3 -o rw71.log rw71.btor
rw72 -rwl 0 -o rw72.log rw72.btor
rw72 -rwl 3 -o rw72.log rw72.btor
rw73 -rwl 0 -o rw73.log rw73.btor
rw73 -rwl 3 -o rw73.log rw73.btor
rw74 -rwl 0 -o rw74.log rw74.btor
rw74 -rwl 3 -o rw74.log rw74.btor
rw75 -rwl 0 -o rw75.log rw75.btor
rw75 -rwl 3 -o rw75.log rw75.btor
rw76 -rwl 0 -o rw76.log rw76.btor
rw76 -rwl 3 -o rw76.log rw76.btor
rw77 -rwl 0 -o rw77.log rw77.btor
rw77 -rwl 3 -o rw77.log rw77.btor
rw78 -rwl 0 -o rw78.log rw78.btor
rw78 -rwl 3 -o rw78.log rw78.btor
rw79 -rwl 0 -o rw79.log rw79.btor
rw79 -rwl 3 -o rw79.log rw79.btor
rw80 -rwl 0 -o rw80.log rw80.btor
rw80 -rwl 3 -o rw80.log rw80.btor
rw81 -rwl 0 -o rw81.log rw81.btor
rw81 -rwl 1 -o rw81.log rw81.btor
rw82 -rwl 0 -o rw82.log rw82.btor
rw82 -rwl 1 -o rw82.log rw82.btor
rw83 -rwl 0 -o rw83.log rw83.btor
rw83 -rwl 1 -o rw83.log rw83.btor
rw84 -rwl 0 -o rw84.log rw84.btor
rw84 -rwl 1 -o rw84.log rw84.btor
rw85 -rwl 0 -o rw85.log rw85.btor
rw85 -rwl 1 -o rw85.log rw85.btor
rw86 -rwl 0 -o rw86.log rw86.btor
rw86 -rwl 1 -o rw86.log rw86.btor
rw87 -rwl 0 -o rw87.log rw87.btor
rw87 -rwl 1 -o rw87.log rw87.btor
rw88 -rwl 0 -o rw88.log rw88.btor
rw88 -rwl 1 -o rw88.log rw88.btor
rw89 -rwl 0 -o rw89.log rw89.btor
rw89 -rwl 1 -o rw89.log rw89.btor
rw90 -rwl 0 -o rw90.log rw90.btor
rw90 -rwl 1 -o rw90.log rw90.btor
rw91 -rwl 0 -o rw91.log rw91.btor
rw91 -rwl 1 -o rw91.log rw91.btor
rw92 -rwl 0 -o rw92.log rw92.btor
rw92 -rwl 1 -o rw92.log rw92.btor
rw93 -rwl 0 -o rw93.log rw93.btor
rw93 -rwl 1 -o rw93.log rw93.btor
rw94 -rwl 0 -o rw94.log rw94.btor
rw94 -rwl 1 -o rw94.log rw94.btor
rw95 -rwl 0 -o rw95.log rw95.btor
rw95 -rwl 1 -o rw95.log rw95.btor
rw96 -rwl 0 -o rw96.log rw96.btor
rw96 -rwl 1 -o rw96.log rw96.btor
rw97 -rwl 0 -o rw97.log rw97.btor
rw97 -rwl 1 -o rw97.log rw97.btor
rw98 -rwl 0 -o rw98.log rw98.btor
rw98 -rwl 1 -o rw98.log rw98.btor
rw99 -rwl 0 -o rw99.log rw99.btor
rw99 -rwl 1 -o rw99.log rw99.btor
rw100 -rwl 0 -o rw100.log rw100.btor
rw100 -rwl 1 -o rw100.log rw100.btor
rw101 -rwl 0 -o rw101.log rw101.btor
rw101 -rwl 1 -o rw101.log rw101.btor
rw102 -rwl 0 -o rw102.log rw102.btor
rw102 -rwl 1 -o rw102.log rw102.btor
rw103 -rwl 0 -o rw103.log rw103.btor
rw103 -rwl 1 -o rw103.log rw103.btor
rw104 -rwl 0 -o rw104.log rw104.btor
rw104 -rwl 1 -o rw104.log rw104.btor
rw105 -rwl 0 -o rw105.log rw105.btor
rw105 -rwl 1 -o rw105.log rw105.btor
rw106 -rwl 0 -o rw106.log rw106.btor
rw106 -rwl 1 -o rw106.log rw106.btor
rw107 -rwl 0 -o rw107.log rw107.btor
rw107 -rwl 1 -o rw107.log rw107.btor
rw108 -rwl 0 -o rw108.log rw108.btor
rw108 -rwl 1 -o rw108.log rw108.btor
rw109 -rwl 0 -o rw109.log rw109.btor
rw109 -rwl 1 -o rw109.log rw109.btor
rw110 -rwl 0 -o rw110.log rw110.btor
rw110 -rwl 1 -o rw110.log rw110.btor
rw111 -rwl 0 -o rw111.log rw111.btor
rw111 -rwl 1 -o rw111.log rw111.btor
rw112 -rwl 0 -o rw112.log rw112.btor
rw112 -rwl 1 -o rw112.log rw112.btor
rw113 -rwl 0 -o rw113.log rw113.btor
rw113 -rwl 1 -o rw113.log rw113.btor
rw114 -rwl 0 -o rw114.log rw114.btor
rw114 -rwl 1 -o rw114.log rw114.btor
rw115 -rwl 0 -o rw115.log rw115.btor
rw115 -rwl 1 -o rw115.log rw115.btor
rw116 -rwl 0 -o rw116.log rw116.btor
rw116 -rwl 1 -o rw116.log rw116.btor
rw117 -rwl 0 -o rw117.log rw117.btor
rw117 -rwl 1 -o rw117.log rw117.btor
rw118 -rwl 0 -o rw118.log rw118.btor
rw118 -rwl 1 -o rw118.log rw118.btor
rw119 -rwl 0 -o rw119.log rw119.btor
rw119 -rwl 1 -o rw119.log rw119.btor
rw120 -rwl 0 -o rw120.log rw120.btor
rw120 -rwl 1 -o rw120.log rw120.btor
rw121 -rwl 0 -o rw121.log rw121.btor
rw121 -rwl 1 -o rw121.log rw121.btor
rw122 -rwl 0 -o rw122.log rw122.btor
rw122 -rwl 1 -o rw122.log rw122.btor
rw123 -rwl 0 -o rw123.log rw123.btor
rw123 -rwl 1 -o rw123.log rw123.btor
rw124 -rwl 0 -o rw124.log rw124.btor
rw124 -rwl 1 -o rw124.log rw124.btor
rw125 -rwl 0 -o rw125.log rw125.btor
rw125 -rwl 3 -o rw125.log rw125.btor
rw126 -rwl 0 -o rw126.log rw126.btor
rw126 -rwl 3 -o rw126.log rw126.btor
rw127 -rwl 0 -o rw127.log rw127.btor
rw127 -rwl 3 -o rw127.log rw127.btor
rw128 -rwl 0 -o rw128.log rw128.btor
rw128 -rwl 3 -o rw128.log rw128.btor
rw129 -rwl 0 -o rw129.log rw129.btor
rw129 -rwl 3 -o rw129.log rw129.btor
rw130 -rwl 0 -o rw130.log rw130.btor
rw130 -rwl 1 -o rw130.log rw130.btor
rw131 -rwl 0 -o rw131.log rw131.btor
rw131 -rwl 1 -o rw131.log rw131.btor
rw132 -rwl 0 -o rw132.log rw132.btor
rw132 -rwl 1 -o rw132.log rw132.btor
rw133 -rwl 0 -o rw133.log rw133.btor
rw133 -rwl 1 -o rw133.log rw133.btor
rw134 -rwl 0 -o rw134.log rw134.btor
rw134 -rwl 3 -o rw134.log rw134.btor
rw135 -rwl 0 -o rw135.log rw135.btor
rw135 -rwl 3 -o rw135.log rw135.btor
rw136 -rwl 0 -o rw136.log rw136.btor
rw136 -rwl 3 -o rw136.log rw136.btor
rw137 -rwl 0 -o rw137.log rw137.btor
rw137 -rwl 3 -o rw137.log rw137.btor
rw138 -rwl 0 -o rw138.log rw138.btor
rw138 -rwl 3 -o rw138.log rw138.btor
rw139 -rwl 0 -o rw139.log rw139.btor
rw139 -rwl 3 -o rw139.log rw139.btor
rw140 -rwl 0 -o rw140.log rw140.btor
rw140 -rwl 3 -o rw140.log rw140.btor
rw141 -rwl 0 -o rw141.log rw141.btor
rw141 -rwl 3 -o rw141.log rw141.btor
rw142 -rwl 0 -o rw142.log rw142.btor
rw142 -rwl 3 -o rw142.log rw142.btor
rw143 -rwl 0 -o rw143.log rw143.btor
rw143 -rwl 3 -o rw143.log rw143.btor
rw144 -rwl 0 -o rw144.log rw144.btor
rw144 -rwl 3 -o rw144.log rw144.btor
rw145 -rwl 0 -o rw145.log rw145.btor
rw145 -rwl 3 -o rw145.log rw145.btor
rw146 -rwl 0 -o rw146.log rw146.btor
rw146 -rwl 3 -o rw146.log rw146.btor
rw147 -rwl 0 -o rw147.log rw147.btor
rw147 -rwl 3 -o rw147.log rw147.btor
rw148 -rwl 0 -o rw148.log rw148.btor
rw148 -rwl 3 -o rw148.log rw148.btor
rw149 -rwl 0 -o rw149.log rw149.btor
rw149 -rwl 3 -o rw149.log rw149.btor
rw150 -rwl 0 -o rw150.log rw150.btor
rw150 -rwl 3 -o rw150.log rw150.btor
rw151 -rwl 0 -o rw151.log rw151.btor
rw151 -rwl 3 -o rw151.log rw151.btor
rw152 -rwl 0 -o rw152.log rw152.btor
rw152 -rwl 3 -o rw152.log rw152.btor
rw153 -rwl 0 -o rw153.log rw153.btor
rw153 -rwl 3 -o rw153.log rw153.btor
rw154 -rwl 0 -o rw154.log rw154.btor
rw154 -rwl 1 -o rw154.log rw154.btor
rw155 -rwl 0 -o rw155.log rw155.btor
rw155 -rwl 1 -o rw155.log rw155.btor
rw156 -rwl 0 -o rw156.log rw156.btor
rw156 -rwl 1 -o rw156.log rw156.btor
rw157 -o rw157.log rw157.btor
rw158 -rwl 1 -o rw158.log rw158.btor
rw159 -rwl 1 -o rw159.log rw159.btor
rw160 -rwl 1 -o rw160.log rw160.btor
rw161 -rwl 1 -o rw161.log rw161.btor
rw162 -rwl 1 -o rw162.log rw162.btor
rw163 -rwl 1 -o rw163.log rw163.btor
rw164 -rwl 1 -o rw164.log rw164.btor
rw165 -rwl 1 -o rw165.log rw165.btor
rw166 -rwl 1 -o rw166.log rw166.btor
rw167 -rwl 1 -o rw167.log rw167.btor
rw168 -rwl 1 -o rw168.log rw168.btor
rw169 -rwl 1 -o rw169.log rw169.btor
rw170 -rwl 1 -o rw170.log rw170.btor
rw171 -rwl 1 -o rw171.log rw171.btor
rw172 -rwl 1 -o rw172.log rw172.btor
rw173 -rwl 1 -o rw173.log rw173.btor
rw174 -rwl 1 -o rw174.log rw174.btor
rw175 -rwl 1 -o rw175.log rw175.btor
rw176 -rwl 1 -o rw176.log rw176.btor
rw177 -rwl 1 -o rw177.log rw177.btor
rw178 -rwl 3 -o rw178.log rw178.btor
rw179 -rwl 3 -o rw179.log rw179.btor
rw180 -rwl 3 -o rw180.log rw180.btor
rw181 -rwl 3 -o rw181.log rw181.btor
rw182 -rwl 3 -o rw182.log rw182.btor
rw183 -rwl 3 -o rw183.log rw183.btor
rw184 -rwl 3 -o rw184.log rw184.btor
rw185 -rwl 3 -o rw185.log rw185.btor
rw186 -rwl 3 -o rw186.log rw186.btor
rw187 -rwl 3 -o rw187.log rw187.btor
rw188 -rwl 3 -o rw188.log rw188.btor
rw189 -rwl 3 -o rw189.log rw189.btor
rw190 -rwl 3 -o rw190.log rw190.btor
rw191 -rwl 3 -o rw191.log rw191.btor
rw192 -rwl 3 -o rw192.log rw192.btor
rw193 -rwl 3 -o rw193.log rw193.btor
rw194 -rwl 3 -o rw194.log rw194.btor
rw195 -rwl 3 -o rw195.log rw195.btor
rw196 -rwl 3 -o rw196.log rw196.btor
rw197 -rwl 3 -o rw197.log rw197.btor
rw198 -rwl 3 -o rw198.log rw198.btor
rw199 -rwl 3 -o rw199.log rw199.btor
rw200 -rwl 3 -o rw200.log rw200.btor
rw201 -rwl 3 -o rw201.log rw201.btor
rw202 -rwl 3 -o rw202.log rw202.btor
rw203 -rwl 3 -o rw203.log rw203.btor
rw204 -rwl 3 -o rw204.log rw204.btor
rw205 -rwl 3 -o rw205.log rw205.btor
rw206 -rwl 3 -o rw206.log rw206.btor
rw207 -rwl 3 -o rw207.log rw207.btor
rw208 -rwl 3 -o rw208.log rw208.btor
rw209 -rwl 3 -o rw209.log rw209.btor
rw210 -rwl 3 -o rw210.log rw210.btor
rw211 -rwl 3 -o rw211.log rw211.btor
rw212 -rwl 3 -o rw212.log rw212.smt
rw213 -rwl 3 -o rw213.log rw213.smt
rw214 -rwl 3 -o rw214.log rw214.smt
rw215 -rwl 3 -o rw215.log rw215.smt
rw216 -rwl 3 -o rw216.log rw216.smt
rw217 -rwl 3 -o rw217.log rw217.smt2
rw218 -rwl 3 -o rw218.log rw218.smt2
rw217 -rwl 3 -o rw217.log rw217.smt2
rw219 -rwl 3 -o rw219.log rw219.smt2
rw220 -rwl 3 -o rw220.log rw220.smt2
rw221 -rwl 3 -o rw221.log rw221.smt2
rww1 -rwl 3 -o rww1.log rww1.btor
rwr1 -rwl 3 -bra -o rwr1.log rwr1.btor
hd1 -rwl 0 -o hd1.log hd1.btor
hd1 -rwl 1 -o hd1.log hd1.btor
hd2 -rwl 0 -o hd2.log hd2.btor
hd2 -rwl 1 -o hd2.log hd2.btor
hd3 -rwl 0 -o hd3.log hd3.btor
hd3 -rwl 1 -o hd3.log hd3.btor
hd4 -rwl 0 -o hd4.log hd4.btor
hd4 -rwl 1 -o hd4.log hd4.btor
hd5 -rwl 0 -o hd5.log hd5.btor
hd5 -rwl 1 -o hd5.log hd5.btor
hd6 -rwl 0 -o hd6.log hd6.btor
hd6 -rwl 1 -o hd6.log hd6.btor
hd7 -rwl 0 -o hd7.log hd7.btor
hd7 -rwl 1 -o hd7.log hd7.btor
hd8 -rwl 0 -o hd8.log hd8.btor
hd8 -rwl 1 -o hd8.log hd8.btor
hd9 -rwl 0 -o hd9.log hd9.btor
hd9 -rwl 1 -o hd9.log hd9.btor
hd10 -rwl 0 -o hd10.log hd10.btor
hd10 -rwl 1 -o hd10.log hd10.btor
hd11 -rwl 0 -o hd11.log hd11.btor
hd11 -rwl 1 -o hd11.log hd11.btor
hd12 -rwl 0 -o hd12.log hd12.btor
hd12 -rwl 1 -o hd12.log hd12.btor
hd13 -rwl 0 -o hd13.log hd13.btor
hd13 -rwl 1 -o hd13.log hd13.btor
hd14 -rwl 0 -o hd14.log hd14.btor
hd14 -rwl 1 -o hd14.log hd14.btor
hd15 -rwl 0 -o hd15.log hd15.btor
hd15 -rwl 1 -o hd15.log hd15.btor
hd16 -rwl 0 -o hd16.log hd16.btor
hd16 -rwl 1 -o hd16.log hd16.btor
hd17 -rwl 0 -o hd17.log hd17.btor
hd17 -rwl 1 -o hd17.log hd17.btor
hd18 -rwl 0 -o hd18.log hd18.btor
hd18 -rwl 1 -o hd18.log hd18.btor
hd19 -o hd19.log hd19.btor
hd20 -o hd20.log hd20.btor
hd21 -o hd21.log hd21.btor
proxybug -o proxybug.log proxybug.btor
prim8bugreduced -o prim8bugreduced.log prim8bugreduced.btor
bubsort002un -o bubsort002un.log bubsort002un.smt
selsort002un -o selsort002un.log selsort002un.smt
swapmem002se -o swapmem002se.log swapmem002se.smt
swapmem002ue -o swapmem002ue.log swapmem002ue.smt
wchains002se -o wchains002se.log wchains002se.smt
wchains002ue -o wchains002ue.log wchains002ue.smt
dubreva002ue -o dubreva002ue.log dubreva002ue.smt
binarysearch32s016 -o binarysearch32s016.log binarysearch32s016.smt
countbits016 -o countbits016.log countbits016.smt
fifo32bc04k05 -o fifo32bc04k05.log fifo32bc04k05.smt
fifo32ia04k05 -o fifo32ia04k05.log fifo32ia04k05.smt
fifo32in04k05 -o fifo32in04k05.log fifo32in04k05.smt
nextpoweroftwo016 -o nextpoweroftwo016.log nextpoweroftwo016.smt
memcpy02 -o memcpy02.log memcpy02.smt
regrw8simp -o regrw8simp.log regrw8simp.btor
regprim11simp -o regprim11simp.log regprim11simp.btor
#regexit0basic -o regexit0basic.log regexit0basic.btor
#nextcounter1 -o nextcounter1.log nextcounter1.btor
#nextcounter2 -o nextcounter2.log nextcounter2.btor
#nextcounter3 -o nextcounter3.log nextcounter3.btor
#nextcounter4 -o nextcounter4.log nextcounter4.btor
#nextcounter5 -o nextcounter5.log nextcounter5.btor
#nextautomata1 -o nextautomata1.log nextautomata1.btor
#nextautomata2 -o nextautomata2.log nextautomata2.btor
#nextautomata3 -o nextautomata3.log nextautomata3.btor
#nextautomata4 -o nextautomata4.log nextautomata4.btor
#nextarray1 -o nextarray1.log nextarray1.btor
#nextarray2 -o nextarray2.log nextarray2.btor
#nextarray3 -o nextarray3.log nextarray3.btor
#nextarray4 -o nextarray4.log nextarray4.btor
#nextarray5 -o nextarray5.log nextarray5.btor
#nextarray6 -o nextarray6.log nextarray6.btor
#nextarray7 -o nextarray7.log nextarray7.btor
#nextarray8 -o nextarray8.log nextarray8.btor
#nextarray8 -rwl 0 -o nextarray8.log nextarray8.btor
#nextarrayinput1 -rwl 0 -o nextarrayinput1.log nextarrayinput1.btor
regpicoprepsqrt4 -o regpicoprepsqrt4.log regpicoprepsqrt4.btor
substcyclic1 -o substcyclic1.log substcyclic1.btor
lin0 -o lin0.log lin0.btor
lin1 -o lin1.log lin1.btor
lin2 -o lin2.log lin2.btor
lin3 -o lin3.log lin3.btor
lin4 -o lin4.log lin4.btor
twocomplementassub -o twocomplementassub.log twocomplementassub.btor
regsubslapd149921red -o regsubslapd149921red.log regsubslapd149921red.btor
inc_rwl0 -rwl 0 -o inc_rwl0.log inc.btor
inc_rwl3 -o inc_rwl3.log inc.btor
dec_rwl0 -rwl 0 -o dec_rwl0.log dec.btor
dec_rwl3 -o dec_rwl3.log dec.btor
regrembeddedconstraint1 -rwl 0 -o regrembeddedconstraint1.log regrembeddedconstraint1.btor
regrembeddedconstraint1 -rwl 1 -o regrembeddedconstraint1.log regrembeddedconstraint1.btor
regrembeddedconstraint1 -rwl 2 -o regrembeddedconstraint1.log regrembeddedconstraint1.btor
regrembeddedconstraint1 -rwl 3 -o regrembeddedconstraint1.log regrembeddedconstraint1.btor
regrembeddedconstraint2 -rwl 0 -o regrembeddedconstraint2.log regrembeddedconstraint2.btor
regrembeddedconstraint2 -rwl 1 -o regrembeddedconstraint2.log regrembeddedconstraint2.btor
regrembeddedconstraint2 -rwl 2 -o regrembeddedconstraint2.log regrembeddedconstraint2.btor
regrembeddedconstraint2 -rwl 3 -o regrembeddedconstraint2.log regrembeddedconstraint2.btor
regrembeddedconstraint3 -rwl 0 -o regrembeddedconstraint3.log regrembeddedconstraint3.btor
regrembeddedconstraint3 -rwl 1 -o regrembeddedconstraint3.log regrembeddedconstraint3.btor
regrembeddedconstraint3 -rwl 2 -o regrembeddedconstraint3.log regrembeddedconstraint3.btor
regrembeddedconstraint3 -rwl 3 -o regrembeddedconstraint3.log regrembeddedconstraint3.btor
regrembeddedconstraint4 -rwl 0 -o regrembeddedconstraint4.log regrembeddedconstraint4.btor
regrembeddedconstraint4 -rwl 1 -o regrembeddedconstraint4.log regrembeddedconstraint4.btor
regrembeddedconstraint4 -rwl 2 -o regrembeddedconstraint4.log regrembeddedconstraint4.btor
regrembeddedconstraint4 -rwl 3 -o regrembeddedconstraint4.log regrembeddedconstraint4.btor
regrembeddedconstraint5 -rwl 0 -o regrembeddedconstraint5.log regrembeddedconstraint5.btor
regrembeddedconstraint5 -rwl 1 -o regrembeddedconstraint5.log regrembeddedconstraint5.btor
regrembeddedconstraint5 -rwl 2 -o regrembeddedconstraint5.log regrembeddedconstraint5.btor
regrembeddedconstraint5 -rwl 3 -o regrembeddedconstraint5.log regrembeddedconstraint5.btor
regrembeddedconstraint6 -rwl 0 -o regrembeddedconstraint6.log regrembeddedconstraint6.btor
regrembeddedconstraint6 -rwl 1 -o regrembeddedconstraint6.log regrembeddedconstraint6.btor
regrembeddedconstraint6 -rwl 2 -o regrembeddedconstraint6.log regrembeddedconstraint6.btor
regrembeddedconstraint6 -rwl 3 -o regrembeddedconstraint6.log regrembeddedconstraint6.btor
regrembeddedconstraint7 -rwl 0 -o regrembeddedconstraint7.log regrembeddedconstraint7.btor
regrembeddedconstraint7 -rwl 1 -o regrembeddedconstraint7.log regrembeddedconstraint7.btor
regrembeddedconstraint7 -rwl 2 -o regrembeddedconstraint7.log regrembeddedconstraint7.btor
regrembeddedconstraint7 -rwl 3 -o regrembeddedconstraint7.log regrembeddedconstraint7.btor
regrembeddedconstraint8 -rwl 0 -o regrembeddedconstraint8.log regrembeddedconstraint8.btor
regrembeddedconstraint8 -rwl 1 -o regrembeddedconstraint8.log regrembeddedconstraint8.btor
regrembeddedconstraint8 -rwl 2 -o regrembeddedconstraint8.log regrembeddedconstraint8.btor
regrembeddedconstraint8 -rwl 3 -o regrembeddedconstraint8.log regrembeddedconstraint8.btor
regrembeddedconstraint9 -rwl 0 -o regrembeddedconstraint9.log regrembeddedconstraint9.btor
regrembeddedconstraint9 -rwl 1 -o regrembeddedconstraint9.log regrembeddedconstraint9.btor
regrembeddedconstraint9 -rwl 2 -o regrembeddedconstraint9.log regrembeddedconstraint9.btor
regrembeddedconstraint9 -rwl 3 -o regrembeddedconstraint9.log regrembeddedconstraint9.btor
regrembeddedconstraint10 -rwl 0 -o regrembeddedconstraint10.log regrembeddedconstraint10.btor
regrembeddedconstraint10 -rwl 1 -o regrembeddedconstraint10.log regrembeddedconstraint10.btor
regrembeddedconstraint10 -rwl 2 -o regrembeddedconstraint10.log regrembeddedconstraint10.btor
regrembeddedconstraint10 -rwl 3 -o regrembeddedconstraint10.log regrembeddedconstraint10.btor
regrembeddedconstraint11 -rwl 0 -o regrembeddedconstraint11.log regrembeddedconstraint11.btor
regrembeddedconstraint11 -rwl 1 -o regrembeddedconstraint11.log regrembeddedconstraint11.btor
regrembeddedconstraint11 -rwl 2 -o regrembeddedconstraint11.log regrembeddedconstraint11.btor
regrembeddedconstraint11 -rwl 3 -o regrembeddedconstraint11.log regrembeddedconstraint11.btor
regrembeddedconstraint12 -rwl 0 -o regrembeddedconstraint12.log regrembeddedconstraint12.btor
regrembeddedconstraint12 -rwl 1 -o regrembeddedconstraint12.log regrembeddedconstraint12.btor
regrembeddedconstraint12 -rwl 2 -o regrembeddedconstraint12.log regrembeddedconstraint12.btor
regrembeddedconstraint12 -rwl 3 -o regrembeddedconstraint12.log regrembeddedconstraint12.btor
regrembeddedconstraint13 -rwl 0 -o regrembeddedconstraint13.log regrembeddedconstraint13.btor
regrembeddedconstraint13 -rwl 1 -o regrembeddedconstraint13.log regrembeddedconstraint13.btor
regrembeddedconstraint13 -rwl 2 -o regrembeddedconstraint13.log regrembeddedconstraint13.btor
regrembeddedconstraint13 -rwl 3 -o regrembeddedconstraint13.log regrembeddedconstraint13.btor
regrembeddedconstraint14 -rwl 0 -o regrembeddedconstraint14.log regrembeddedconstraint14.btor
regrembeddedconstraint14 -rwl 1 -o regrembeddedconstraint14.log regrembeddedconstraint14.btor
regrembeddedconstraint14 -rwl 2 -o regrembeddedconstraint14.log regrembeddedconstraint14.btor
regrembeddedconstraint14 -rwl 3 -o regrembeddedconstraint14.log regrembeddedconstraint14.btor
regrbfs1 -rwl 3 -o regrbfs1.log regrbfs1.btor
regrbfs1 -rwl 2 -o regrbfs1.log regrbfs1.btor
regrbfs1 -rwl 1 -o regrbfs1.log regrbfs1.btor
regrbfs1 -rwl 0 -o regrbfs1.log regrbfs1.btor
regrmark1 -rwl 3 -o regrmark1.log regrmark1.btor
regrmark1 -rwl 2 -o regrmark1.log regrmark1.btor
regrmark1 -rwl 1 -o regrmark1.log regrmark1.btor
regrmark1 -rwl 0 -o regrmark1.log regrmark1.btor
regrmark2 -rwl 3 -o regrmark2.log regrmark2.btor
regrmark2 -rwl 2 -o regrmark2.log regrmark2.btor
regrmark2 -rwl 1 -o regrmark2.log regrmark2.btor
regrmark2 -rwl 0 -o regrmark2.log regrmark2.btor
regrmark3 -rwl 3 -o regrmark3.log regrmark3.btor
regrmark3 -rwl 2 -o regrmark3.log regrmark3.btor
regrmark3 -rwl 1 -o regrmark3.log regrmark3.btor
regrmark3 -rwl 0 -o regrmark3.log regrmark3.btor
regr3vl1 -rwl 3 -o regr3vl1.log regr3vl1.btor
regr3vl1 -rwl 2 -o regr3vl1.log regr3vl1.btor
regr3vl1 -rwl 1 -o regr3vl1.log regr3vl1.btor
regr3vl1 -rwl 0 -o regr3vl1.log regr3vl1.btor
regr3vl2 -rwl 3 -o regr3vl2.log regr3vl2.btor
regr3vl2 -rwl 2 -o regr3vl2.log regr3vl2.btor
regr3vl2 -rwl 1 -o regr3vl2.log regr3vl2.btor
regr3vl2 -rwl 0 -o regr3vl2.log regr3vl2.btor
regr3vl3 -rwl 3 -o regr3vl3.log regr3vl3.btor
regr3vl3 -rwl 2 -o regr3vl3.log regr3vl3.btor
regr3vl3 -rwl 1 -o regr3vl3.log regr3vl3.btor
regr3vl3 -rwl 0 -o regr3vl3.log regr3vl3.btor
regr3vl4 -rwl 3 -o regr3vl4.log regr3vl4.btor
regr3vl4 -rwl 2 -o regr3vl4.log regr3vl4.btor
regr3vl4 -rwl 1 -o regr3vl4.log regr3vl4.btor
regr3vl4 -rwl 0 -o regr3vl4.log regr3vl4.btor
regrexpleak1 -rwl 3 -o regrexpleak1.log regrexpleak1.btor
regrexpleak1 -rwl 2 -o regrexpleak1.log regrexpleak1.btor
regrexpleak1 -rwl 1 -o regrexpleak1.log regrexpleak1.btor
regrexpleak1 -rwl 0 -o regrexpleak1.log regrexpleak1.btor
regrexpleak2 -rwl 3 -o regrexpleak2.log regrexpleak2.btor
regrexpleak2 -rwl 2 -o regrexpleak2.log regrexpleak2.btor
regrexpleak2 -rwl 1 -o regrexpleak2.log regrexpleak2.btor
regrexpleak2 -rwl 0 -o regrexpleak2.log regrexpleak2.btor
regrpointerchasing1 -o regrpointerchasing1.log regrpointerchasing1.btor
3vl1 -rwl 2 -o 3vl1.log 3vl1.btor
3vl1 -rwl 0 -o 3vl1.log 3vl1.btor
3vl2 -rwl 2 -o 3vl2.log 3vl2.btor
3vl2 -rwl 0 -o 3vl2.log 3vl2.btor
3vl3 -rwl 2 -o 3vl3.log 3vl3.btor
3vl3 -rwl 0 -o 3vl3.log 3vl3.btor
3vl4 -rwl 2 -o 3vl4.log 3vl4.btor
3vl4 -rwl 0 -o 3vl4.log 3vl4.btor
3vl5 -rwl 2 -o 3vl5.log 3vl5.btor
3vl5 -rwl 0 -o 3vl5.log 3vl5.btor
3vl6 -rwl 2 -o 3vl6.log 3vl6.btor
3vl6 -rwl 0 -o 3vl6.log 3vl6.btor
udivtheorem1 -o udivtheorem1.log udivtheorem1.btor
uremtheorem1 -o uremtheorem1.log uremtheorem1.btor
ulttheorem1 -o ulttheorem1.log ulttheorem1.btor
ultsubst1 -rwl 0 -o ultsubst1.log ultsubst1.btor
ultsubst1 -rwl 2 -o ultsubst1.log ultsubst1.btor
ultsubst2 -rwl 0 -o ultsubst2.log ultsubst2.btor
ultsubst2 -rwl 2 -o ultsubst2.log ultsubst2.btor
ultsubst3 -rwl 0 -o ultsubst3.log ultsubst3.btor
ultsubst3 -rwl 2 -o ultsubst3.log ultsubst3.btor
ultsubst4 -rwl 0 -o ultsubst4.log ultsubst4.btor
ultsubst4 -rwl 2 -o ultsubst4.log ultsubst4.btor
ultsubst5 -rwl 0 -o ultsubst5.log ultsubst5.btor
ultsubst5 -rwl 2 -o ultsubst5.log ultsubst5.btor
ultsubst6 -rwl 0 -o ultsubst6.log ultsubst6.btor
ultsubst6 -rwl 2 -o ultsubst6.log ultsubst6.btor
ultsubst7 -rwl 0 -o ultsubst7.log ultsubst7.btor
ultsubst7 -rwl 2 -o ultsubst7.log ultsubst7.btor
ultsubst8 -rwl 0 -o ultsubst8.log ultsubst8.btor
ultsubst8 -rwl 2 -o ultsubst8.log ultsubst8.btor
ultsubst9 -rwl 0 -o ultsubst9.log ultsubst9.btor
ultsubst9 -rwl 2 -o ultsubst9.log ultsubst9.btor
slicesubst1 -rwl 0 -o slicesubst1.log slicesubst1.btor
slicesubst1 -rwl 2 -o slicesubst1.log slicesubst1.btor
regrdomabst1 -o regrdomabst1.log regrdomabst1.btor
regrdomabst2 -o regrdomabst2.log regrdomabst2.btor
regrdomabst3 -o regrdomabst3.log regrdomabst3.btor
regrdomabst4 -o regrdomabst4.log regrdomabst4.btor
problem_130 -m -o problem_130.log problem_130.smt
distri1 -o distri1.log distri1.btor
distri2 -o distri2.log distri2.btor
distri3 -o distri3.log distri3.btor
distri4 -o distri4.log distri4.btor
distri5 -o distri5.log distri5.btor
distri6 -o distri6.log distri6.btor
distri7 -o distri7.log distri7.btor
distri8 -o distri8.log distri8.btor
redor3 -o redor3.log redor3.btor
redand3twice -o redand3twice.log redand3twice.btor
painc -i -I 1 -o painc.log painc.smt
sult -o sult.log sult.btor
sult2 -o sult2.log sult2.btor
concatslice1 -rwl 1 -db -o concatslice1.log concatslice1.btor
concatslice2 -rwl 1 -db -o concatslice2.log concatslice2.btor
regaddnorm1 -db -o regaddnorm1.log regaddnorm1.btor
regaddnorm2 -db -o regaddnorm2.log regaddnorm2.btor
regnegadd1 -db -o regnegadd1.log regnegadd1.btor
sc12fuzzcheck2 -o sc12fuzzcheck2.log sc12fuzzcheck2.smt2
regmismatch regmismatch.smt2 -o regmismatch.log
regrbetacache1 -bra -o regrbetacache1.log regrbetacache1.btor
regrbetacache2 -bra -o regrbetacache2.log regrbetacache2.btor
regrencparamapps -o regrencparamapps.log regrencparamapps.smt2
nestedfun1 -rwl 2 -o nestedfun1.log nestedfun1.smt2
regrcollectprem -o regrcollectprem.log regrcollectprem.btor
regrlemmaloop_embeddedconstraints -rwl 1 -o regrlemmaloop_embeddedconstraints.log regrlemmaloop_embeddedconstraints.btor
addnegmul1 -o addnegmul1.log addnegmul1.btor
normaddneg0 -o normaddneg0.log normaddneg0.btor
normaddneg1 -o normaddneg1.log normaddneg1.btor
normaddneg2 -o normaddneg2.log normaddneg2.btor
normaddneg3 -o normaddneg3.log normaddneg3.btor
exactlyone -o exactlyone.log exactlyone.btor
normalize_add_incomplete -db -o normalize_add_incomplete.log normalize_add_incomplete.btor
normalize_mul_incomplete -db -o normalize_mul_incomplete.log normalize_mul_incomplete.btor
normalize_and_incomplete -db -o normalize_and_incomplete.log normalize_and_incomplete.btor
getvalue1 -o getvalue1.log getvalue1.smt2
getvalue2 -o getvalue2.log getvalue2.smt2
getvalue3 -o getvalue3.log getvalue3.smt2
invalidmodel1 -o invalidmodel1.log invalidmodel1.smt2
invalidmodel2 -xl=0 -ml=0 -rwl=2 -o invalidmodel2.log invalidmodel2.smt2
invalidmodel3 -o invalidmodel3.log invalidmodel3.btor
regr-distinct -o regr-distinct.log regr-distinct.smt2
regsmtparselet -o regsmtparselet.log regsmtparselet.smt2
smt2pushpop0 -o smt2pushpop0.log smt2pushpop0.smt2 -i
