N=4 buffer size=5
 ./verifyta -T -S 2 -u model.xml
Options for the verification:
  Generating no trace
  Search order is breadth first
  Using aggressive space optimisation
  Using reuse optimisation
  Seed is 1685897160
  State space representation uses minimal constraint systems

Verifying formula 1 at /nta/queries/query[1]/formula
 -- Formula is satisfied.
 -- States stored : 14751623 states
 -- States explored : 51999065 states
 -- CPU user time used : 148290 ms
 -- Virtual memory used : 1762344 KiB
 -- Resident memory used : 1725932 KiB

Verifying formula 2 at /nta/queries/query[2]/formula
 -- Formula is satisfied.
 -- States stored : 14751623 states
 -- States explored : 25584278 states
 -- CPU user time used : 178960 ms
 -- Virtual memory used : 1762344 KiB
 -- Resident memory used : 1725932 KiB

Verifying formula 3 at /nta/queries/query[3]/formula
 -- Formula is satisfied.
 -- States stored : 14751623 states
 -- States explored : 25584278 states
 -- CPU user time used : 114210 ms
 -- Virtual memory used : 1500180 KiB
 -- Resident memory used : 1496252 KiB

Verifying formula 4 at /nta/queries/query[4]/formula
 -- Formula is NOT satisfied.
 -- States explored : 24 states
 -- CPU user time used : 2710 ms
 -- Virtual memory used : 1394984 KiB
 -- Resident memory used : 1390828 KiB
--------------------------------------------------------------------

N=5  buffer size=3


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

Verifying formula 1 at /nta/queries/query[1]/formula
 -- Formula is satisfied.
 -- States stored : 118680005 states
 -- States explored : 426454001 states
 -- CPU user time used : 1842200 ms
 -- Virtual memory used : 12999600 KiB
 -- Resident memory used : 12967008 KiB

Verifying formula 2 at /nta/queries/query[2]/formula
 -- Formula is satisfied.
 -- States stored : 118680005 states
 -- States explored : 189186495 states
 -- CPU user time used : 2338670 ms
 -- Virtual memory used : 12999600 KiB
 -- Resident memory used : 12967600 KiB

Verifying formula 3 at /nta/queries/query[3]/formula
 -- Formula is satisfied.
 -- States stored : 118680005 states
 -- States explored : 189186495 states
 -- CPU user time used : 1588060 ms
 -- Virtual memory used : 11656076 KiB
 -- Resident memory used : 10192724 KiB

Verifying formula 4 at /nta/queries/query[4]/formula
 -- Formula is NOT satisfied.
 -- States explored : 28 states
 -- CPU user time used : 23880 ms
 -- Virtual memory used : 10375828 KiB
 -- Resident memory used : 10228416 KiB