z3api « Test - debian-boogie - Debian packaging for Boogie

Mode	Name	Size
-rw-r--r--	Answer	9533	log plain
-rw-r--r--	Boog24.bpl	238	log plain
-rw-r--r--	bar1.bpl	299	log plain
-rw-r--r--	bar2.bpl	287	log plain
-rw-r--r--	bar3.bpl	546	log plain
-rw-r--r--	bar4.bpl	509	log plain
-rw-r--r--	bar6.bpl	586	log plain
-rw-r--r--	boog0.bpl	882	log plain
-rw-r--r--	boog1.bpl	272	log plain
-rw-r--r--	boog10.bpl	380	log plain
-rw-r--r--	boog11.bpl	199	log plain
-rw-r--r--	boog12.bpl	305	log plain
-rw-r--r--	boog13.bpl	390	log plain
-rw-r--r--	boog14.bpl	241	log plain
-rw-r--r--	boog15.bpl	214	log plain
-rw-r--r--	boog16.bpl	244	log plain
-rw-r--r--	boog17.bpl	544	log plain
-rw-r--r--	boog18.bpl	306	log plain
-rw-r--r--	boog19.bpl	9633	log plain
-rw-r--r--	boog2.bpl	349	log plain
-rw-r--r--	boog20.bpl	339	log plain
-rw-r--r--	boog21.bpl	330	log plain
-rw-r--r--	boog22.bpl	167	log plain
-rw-r--r--	boog23.bpl	14669	log plain
-rw-r--r--	boog25.bpl	12115	log plain
-rw-r--r--	boog28.bpl	240	log plain
-rw-r--r--	boog29.bpl	267	log plain
-rw-r--r--	boog3.bpl	110	log plain
-rw-r--r--	boog30.bpl	190	log plain
-rw-r--r--	boog31.bpl	170	log plain
-rw-r--r--	boog34.bpl	202	log plain
-rw-r--r--	boog35.bpl	220	log plain
-rw-r--r--	boog4.bpl	602	log plain
-rw-r--r--	boog5.bpl	527	log plain
-rw-r--r--	boog6.bpl	283	log plain
-rw-r--r--	boog7.bpl	231	log plain
-rw-r--r--	boog8.bpl	325	log plain
-rw-r--r--	boog9.bpl	352	log plain
-rw-r--r--	runtest.bat	744	log plain