A16	A17	A18	A19	A21	A23	A24	espresso
Correctness	OK.	O.K.	O.K.	O.K.	crash	O.K.	has wrong output
Prime implicants	21	32	18	12		31
Speed	0.080000000s		0.330000000s	0.050000000s
Memory	1.430MB		1.445MB	6.883MB
Misc