-------------------- houd1.bpl --------------------
Assignment computed by Houdini:
b1 = False

Boogie program verifier finished with 1 verified, 0 errors

-------------------- houd2.bpl --------------------
Assignment computed by Houdini:
b1 = False
b2 = True

Boogie program verifier finished with 1 verified, 1 error

-------------------- houd3.bpl --------------------
Assignment computed by Houdini:
b1 = False
b2 = False

Boogie program verifier finished with 2 verified, 0 errors

-------------------- houd4.bpl --------------------
Assignment computed by Houdini:
b1 = True
b2 = True
b3 = True
b4 = True

Boogie program verifier finished with 2 verified, 0 errors

-------------------- houd5.bpl --------------------
Assignment computed by Houdini:
b1 = False
b2 = True
b3 = False
b4 = True
b5 = True

Boogie program verifier finished with 2 verified, 0 errors

-------------------- houd6.bpl --------------------
Assignment computed by Houdini:
b1 = False
b2 = False
b3 = False
b4 = False
b5 = False
b6 = False
b7 = False
b8 = False

Boogie program verifier finished with 3 verified, 0 errors

-------------------- houd7.bpl --------------------
Assignment computed by Houdini:
b1 = True
b2 = False
b3 = False

Boogie program verifier finished with 2 verified, 0 errors

-------------------- houd8.bpl --------------------
Assignment computed by Houdini:
b1 = True
b2 = False
b3 = False

Boogie program verifier finished with 1 verified, 0 errors

-------------------- houd9.bpl --------------------
Assignment computed by Houdini:
b1 = True
b2 = True
b3 = True

Boogie program verifier finished with 0 verified, 1 error

-------------------- houd10.bpl --------------------
Assignment computed by Houdini:
b1 = True
b2 = True
b3 = True

Boogie program verifier finished with 0 verified, 1 error

-------------------- houd11.bpl --------------------
Assignment computed by Houdini:

Boogie program verifier finished with 0 verified, 1 error

-------------------- houd12.bpl --------------------
Assignment computed by Houdini:
b1 = False
b2 = True
b3 = True
b4 = True
b5 = True
b6 = False
b7 = False

Boogie program verifier finished with 1 verified, 0 errors