*** This is NuSMV 2.1.2 (compiled 2002-11-22 12:00:00)
*** For more information of NuSMV see <http://nusmv.irst.itc.it>
*** or email to <nusmv-users@irst.itc.it>.
*** Please report bugs to <nusmv-users@irst.itc.it>.
-- specification AG (!(b0 & b1)) is false
-- as demonstrated by the following execution sequence
-> State 1.1 <-
    b0 = 1
    b1 = 0
    b2 = 1
    b3 = 0
    b4 = 0
    b5 = 0
    b6 = 0
    b7 = 0
    b8 = 1
    b9 = 0
    b10 = 0
    b11 = 0
    b12 = 1
-> State 1.2 <-
    b4 = 1
    b5 = 1
    b8 = 0
    b10 = 1
    b12 = 0
-> State 1.3 <-
    b4 = 0
    b5 = 0
-> State 1.4 <-
    b5 = 1
    b8 = 1
    b10 = 0
    b12 = 1
-> State 1.5 <-
    b3 = 1
    b4 = 1
    b5 = 0
-> State 1.6 <-
    b1 = 1
    b3 = 0
