NuXMV BMC Name SAT    OK
NuXMV BMC Name UNSAT  (out of memory)           with less variables: (out of memory)
NuXMV BMC Adult SAT   OK
NuXMV BMC Adult UNSAT OK

NuXMV BDD Name SAT    (out of time) with less variables: (out of time)
NuXMV BDD Name UNSAT  with less variables (out of time > 30 assertions)
NuXMV BDD Adult SAT   OK
NuXMV BDD Adult UNSAT OK  

NuXMV ic3 Name SAT    OK
NuXMV ic3 Name UNSAT  OK
NuXMV ic3 Adult SAT   OK
NuXMV ic3 Adult UNSAT OK

Black Name SAT        OK
Black Name UNSAT      OK
Black Adult SAT       OK
Black Adult UNSAT     OK  

Aalta Name SAT        OK
Aalta Name UNSAT      OK
Aalta Adult SAT       OK
Aalta Adult UNSAT     OK  

pltl (graph) Name SAT    (out of memory) -
pltl (graph) Name UNSAT  (out of memory) -  with less variables: (out of memory)
pltl (graph) Adult SAT   OK
pltl (graph) Adult UNSAT OK

pltl (tree) Name SAT     (out of memory) -
pltl (tree) Name UNSAT   (out of memory) -  with less variables: (out of memory)
pltl (tree) Adult SAT    OK
pltl (tree) Adult UNSAT  OK

TRP++ DFS Name SAT       (out of time) -
TRP++ DFS Name UNSAT     (out of time) -            with less variables: (out of time)
TRP++ DFS Adult SAT      (> 30 assertions out of time)
TRP++ DFS Adult UNSAT    (> 30 assertions out of time)

TRP++ BFS Name SAT       (out of time) -
TRP++ BFS Name UNSAT     (out of time) -            with less variables: (out of time)
TRP++ BFS Adult SAT      (> 30 assertions out of time)
TRP++ BFS) Adult UNSAT   (> 30 assertions out of time)

TSPASS Name SAT          (out of time)
TSPASS Name UNSAT           OK
TSPASS Adult SAT            OK
TSPASS Adult UNSAT          OK

TEMP Name SAT            (out of time)
TEMP Name UNSAT             OK
TEMP Adult SAT              OK
TEMP Adult UNSAT            OK