Commit d8ce85ec authored by Joshua Moerman's avatar Joshua Moerman
Browse files

Results from NuSMV are back

parent 826c794f
is false
is false
is true
is true
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is true
is true
is false
is false
is false
is false
is false
is false
is true
is false
is true
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is true
is true
is false
is true
is false
is false
is false
is false
is true
is false
is true
is false
is true
is false
is false
is true
is true
is true
is true
is false
is false
is true
is true
is true
is true
is true
is false
is false
is true
is false
is false
is true
is false
is true
is true
is false
is false
is true
is true
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is true
is true
is false
is true
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is true
is false
is false
is false
is false
is false
is false
is true
is false
is true
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is true
is false
is false
is false
is true
is true
is true
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is true
is false
is false
is false
is false
is false
is true
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is true
is false
is true
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is true
is false
is true
is false
is false
is false
is false
is false
is true
is false
is true
is true
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is true
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is true
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is true
is false
is true
is true
is false
is false
is false
is false
is true
is false
is false
is false
is true
is true
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is true
is false
is true
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is true
is false
is true
is false
is false
is false
is true
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is true
is false
is true
is false
is true
is true
is true
is false
is true
is false
is false
is false
is false
is true
is true
is true
is false
is false
is false
is false
is true
is false
is false
is true
is true
is false
is false
is false
is false
is true
is false
is false
is false
is false
is true
is false
is false
is true
is false
is false
is false
is false
is false
is false
is true
is true
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is true
is true
is true
is false
is false
is true
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is true
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is true
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is false