summaryrefslogtreecommitdiff
path: root/Test/z3api
ModeNameSize
-rw-r--r--Answer9533logplain
-rw-r--r--Boog24.bpl238logplain
-rw-r--r--bar1.bpl299logplain
-rw-r--r--bar2.bpl287logplain
-rw-r--r--bar3.bpl546logplain
-rw-r--r--bar4.bpl509logplain
-rw-r--r--bar6.bpl586logplain
-rw-r--r--boog0.bpl882logplain
-rw-r--r--boog1.bpl272logplain
-rw-r--r--boog10.bpl380logplain
-rw-r--r--boog11.bpl199logplain
-rw-r--r--boog12.bpl305logplain
-rw-r--r--boog13.bpl390logplain
-rw-r--r--boog14.bpl241logplain
-rw-r--r--boog15.bpl214logplain
-rw-r--r--boog16.bpl244logplain
-rw-r--r--boog17.bpl544logplain
-rw-r--r--boog18.bpl306logplain
-rw-r--r--boog19.bpl9633logplain
-rw-r--r--boog2.bpl349logplain
-rw-r--r--boog20.bpl339logplain
-rw-r--r--boog21.bpl330logplain
-rw-r--r--boog22.bpl167logplain
-rw-r--r--boog23.bpl14669logplain
-rw-r--r--boog25.bpl12115logplain
-rw-r--r--boog28.bpl240logplain
-rw-r--r--boog29.bpl267logplain
-rw-r--r--boog3.bpl110logplain
-rw-r--r--boog30.bpl190logplain
-rw-r--r--boog31.bpl170logplain
-rw-r--r--boog34.bpl202logplain
-rw-r--r--boog35.bpl220logplain
-rw-r--r--boog4.bpl602logplain
-rw-r--r--boog5.bpl527logplain
-rw-r--r--boog6.bpl283logplain
-rw-r--r--boog7.bpl231logplain
-rw-r--r--boog8.bpl325logplain
-rw-r--r--boog9.bpl352logplain
-rw-r--r--runtest.bat744logplain