*** 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) is false
-- as demonstrated by the following execution sequence
-> State 1.1 <-
    b0 = 0
    b1 = 0
    b2 = 0
    b3 = 0
    b4 = 0
    b5 = 1
    b6 = 1
    b7 = 1
    b8 = 0
    b9 = 0
    b10 = 0
    b11 = 1
    b12 = 1
    b13 = 1
    b14 = 1
    b15 = 0
    b16 = 0
    b17 = 0
    b18 = 0
-> State 1.2 <-
    b13 = 0
-> State 1.3 <-
    b5 = 0
    b7 = 0
    b8 = 1
    b11 = 0
    b13 = 1
-> State 1.4 <-
    b1 = 1
    b5 = 1
    b8 = 0
    b10 = 1
    b11 = 1
-> State 1.5 <-
    b1 = 0
    b2 = 1
    b10 = 0
-> State 1.6 <-
    b2 = 0
    b3 = 1
-> State 1.7 <-
    b1 = 1
    b2 = 1
    b3 = 0
-> State 1.8 <-
    b0 = 1
    b2 = 0
    b3 = 1
