./verifyta -T -S 2 -u model_configurable.xml
Options for the verification:
  Generating no trace
  Search order is breadth first
  Using aggressive space optimisation
  Using reuse optimisation
  Seed is 1685907156
  State space representation uses minimal constraint systems

Verifying formula 1 at /nta/queries/query[1]/formula
 -- Formula is satisfied.
 -- States stored : 19 states
 -- States explored : 41 states
 -- CPU user time used : 0 ms
 -- Virtual memory used : 47984 KiB
 -- Resident memory used : 10540 KiB

Verifying formula 2 at /nta/queries/query[2]/formula
 -- Formula is satisfied.
 -- States explored : 79 states
 -- CPU user time used : 0 ms
 -- Virtual memory used : 49092 KiB
 -- Resident memory used : 11964 KiB