About the Execution of 2020-gold for ASLink-PT-06a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7810.699 | 3600000.00 | 6734020.00 | 10450.00 | TFFTFTTT?FTFFTFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r011-tall-162038005900047.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is ASLink-PT-06a, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-tall-162038005900047
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 912K
-rw-r--r-- 1 mcc users 7.2K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 101K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 23 01:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 01:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 22 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 22 09:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 597K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-00
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-01
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-02
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-03
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-04
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-05
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-06
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-07
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-08
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-09
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-10
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-11
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-12
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-13
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-14
FORMULA_NAME ASLink-PT-06a-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1620403233034
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-07 16:00:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-07 16:00:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-07 16:00:34] [INFO ] Load time of PNML (sax parser for PT used): 130 ms
[2021-05-07 16:00:34] [INFO ] Transformed 1406 places.
[2021-05-07 16:00:34] [INFO ] Transformed 2100 transitions.
[2021-05-07 16:00:34] [INFO ] Found NUPN structural information;
[2021-05-07 16:00:34] [INFO ] Parsed PT model containing 1406 places and 2100 transitions in 186 ms.
Ensure Unique test removed 22 transitions
Reduce redundant transitions removed 22 transitions.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 75 ms.
Working with output stream class java.io.PrintStream
FORMULA ASLink-PT-06a-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-06a-ReachabilityCardinality-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-06a-ReachabilityCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-06a-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-06a-ReachabilityCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-06a-ReachabilityCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-06a-ReachabilityCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-06a-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 59 resets, run finished after 100 ms. (steps per millisecond=100 ) properties seen :[0, 1, 1, 0, 1, 0, 0, 1]
FORMULA ASLink-PT-06a-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-06a-ReachabilityCardinality-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-06a-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-06a-ReachabilityCardinality-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 23 ms. (steps per millisecond=434 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 23 ms. (steps per millisecond=434 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 10000 steps, including 8 resets, run finished after 29 ms. (steps per millisecond=344 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 7 resets, run finished after 22 ms. (steps per millisecond=454 ) properties seen :[0, 0, 0, 0]
// Phase 1: matrix 2078 rows 1406 cols
[2021-05-07 16:00:35] [INFO ] Computed 270 place invariants in 192 ms
[2021-05-07 16:00:35] [INFO ] [Real]Absence check using 66 positive place invariants in 89 ms returned sat
[2021-05-07 16:00:35] [INFO ] [Real]Absence check using 66 positive and 204 generalized place invariants in 178 ms returned sat
[2021-05-07 16:00:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:00:40] [INFO ] [Real]Absence check using state equation in 4470 ms returned (error "Solver has unexpectedly terminated")
[2021-05-07 16:00:40] [INFO ] [Real]Absence check using 66 positive place invariants in 72 ms returned sat
[2021-05-07 16:00:40] [INFO ] [Real]Absence check using 66 positive and 204 generalized place invariants in 180 ms returned sat
[2021-05-07 16:00:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:00:45] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 16:00:45] [INFO ] [Real]Absence check using state equation in 4514 ms returned (error "Failed to check-sat")
[2021-05-07 16:00:45] [INFO ] [Real]Absence check using 66 positive place invariants in 76 ms returned sat
[2021-05-07 16:00:45] [INFO ] [Real]Absence check using 66 positive and 204 generalized place invariants in 192 ms returned sat
[2021-05-07 16:00:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:00:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 16:00:50] [INFO ] [Real]Absence check using state equation in 4540 ms returned (error "Failed to check-sat")
[2021-05-07 16:00:50] [INFO ] [Real]Absence check using 66 positive place invariants in 72 ms returned sat
[2021-05-07 16:00:50] [INFO ] [Real]Absence check using 66 positive and 204 generalized place invariants in 196 ms returned sat
[2021-05-07 16:00:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:00:55] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-07 16:00:55] [INFO ] [Real]Absence check using state equation in 4572 ms returned (error "Failed to check-sat")
Support contains 13 out of 1406 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1406/1406 places, 2078/2078 transitions.
Ensure Unique test removed 24 places
Discarding 12 places :
Implicit places reduction removed 12 places
Performed 125 Post agglomeration using F-continuation condition.Transition count delta: 125
Iterating post reduction 0 with 161 rules applied. Total rules applied 161 place count 1370 transition count 1953
Reduce places removed 125 places and 0 transitions.
Iterating post reduction 1 with 125 rules applied. Total rules applied 286 place count 1245 transition count 1953
Performed 127 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 127 Pre rules applied. Total rules applied 286 place count 1245 transition count 1826
Deduced a syphon composed of 127 places in 6 ms
Ensure Unique test removed 50 places
Reduce places removed 177 places and 0 transitions.
Iterating global reduction 2 with 304 rules applied. Total rules applied 590 place count 1068 transition count 1826
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 1 rules applied. Total rules applied 591 place count 1067 transition count 1826
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 591 place count 1067 transition count 1825
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 593 place count 1066 transition count 1825
Symmetric choice reduction at 3 with 9 rule applications. Total rules 602 place count 1066 transition count 1825
Deduced a syphon composed of 9 places in 7 ms
Reduce places removed 9 places and 47 transitions.
Iterating global reduction 3 with 18 rules applied. Total rules applied 620 place count 1057 transition count 1778
Ensure Unique test removed 1 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 3 with 7 rules applied. Total rules applied 627 place count 1055 transition count 1773
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 630 place count 1052 transition count 1773
Symmetric choice reduction at 5 with 1 rule applications. Total rules 631 place count 1052 transition count 1773
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 633 place count 1051 transition count 1765
Symmetric choice reduction at 5 with 1 rule applications. Total rules 634 place count 1051 transition count 1765
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 636 place count 1050 transition count 1757
Symmetric choice reduction at 5 with 1 rule applications. Total rules 637 place count 1050 transition count 1757
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 639 place count 1049 transition count 1749
Symmetric choice reduction at 5 with 1 rule applications. Total rules 640 place count 1049 transition count 1749
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 642 place count 1048 transition count 1741
Symmetric choice reduction at 5 with 1 rule applications. Total rules 643 place count 1048 transition count 1741
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 645 place count 1047 transition count 1733
Symmetric choice reduction at 5 with 1 rule applications. Total rules 646 place count 1047 transition count 1733
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 648 place count 1046 transition count 1725
Symmetric choice reduction at 5 with 1 rule applications. Total rules 649 place count 1046 transition count 1725
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 651 place count 1045 transition count 1717
Symmetric choice reduction at 5 with 1 rule applications. Total rules 652 place count 1045 transition count 1717
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 654 place count 1044 transition count 1709
Symmetric choice reduction at 5 with 1 rule applications. Total rules 655 place count 1044 transition count 1709
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 657 place count 1043 transition count 1701
Symmetric choice reduction at 5 with 1 rule applications. Total rules 658 place count 1043 transition count 1701
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 660 place count 1042 transition count 1693
Symmetric choice reduction at 5 with 1 rule applications. Total rules 661 place count 1042 transition count 1693
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 663 place count 1041 transition count 1685
Symmetric choice reduction at 5 with 1 rule applications. Total rules 664 place count 1041 transition count 1685
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 666 place count 1040 transition count 1677
Symmetric choice reduction at 5 with 1 rule applications. Total rules 667 place count 1040 transition count 1677
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 669 place count 1039 transition count 1669
Symmetric choice reduction at 5 with 1 rule applications. Total rules 670 place count 1039 transition count 1669
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 672 place count 1038 transition count 1661
Symmetric choice reduction at 5 with 1 rule applications. Total rules 673 place count 1038 transition count 1661
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 675 place count 1037 transition count 1653
Symmetric choice reduction at 5 with 1 rule applications. Total rules 676 place count 1037 transition count 1653
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 678 place count 1036 transition count 1645
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 2 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 5 with 82 rules applied. Total rules applied 760 place count 995 transition count 1604
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 5 with 6 rules applied. Total rules applied 766 place count 995 transition count 1598
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 5 with 6 rules applied. Total rules applied 772 place count 989 transition count 1598
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 6 with 6 rules applied. Total rules applied 778 place count 989 transition count 1598
Partial Post-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 6 with 6 rules applied. Total rules applied 784 place count 989 transition count 1598
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 785 place count 988 transition count 1597
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 6 with 12 rules applied. Total rules applied 797 place count 976 transition count 1597
Performed 18 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 18 Pre rules applied. Total rules applied 797 place count 976 transition count 1579
Deduced a syphon composed of 18 places in 2 ms
Ensure Unique test removed 1 places
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 7 with 37 rules applied. Total rules applied 834 place count 957 transition count 1579
Discarding 8 places :
Implicit places reduction removed 8 places
Iterating post reduction 7 with 8 rules applied. Total rules applied 842 place count 949 transition count 1579
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 1 Pre rules applied. Total rules applied 842 place count 949 transition count 1578
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 844 place count 948 transition count 1578
Performed 13 Post agglomeration using F-continuation condition.Transition count delta: 13
Deduced a syphon composed of 13 places in 2 ms
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 8 with 26 rules applied. Total rules applied 870 place count 935 transition count 1565
Symmetric choice reduction at 8 with 5 rule applications. Total rules 875 place count 935 transition count 1565
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 5 transitions.
Iterating global reduction 8 with 10 rules applied. Total rules applied 885 place count 930 transition count 1560
Free-agglomeration rule applied 6 times.
Iterating global reduction 8 with 6 rules applied. Total rules applied 891 place count 930 transition count 1554
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 8 with 6 rules applied. Total rules applied 897 place count 924 transition count 1554
Partial Free-agglomeration rule applied 5 times.
Drop transitions removed 5 transitions
Iterating global reduction 9 with 5 rules applied. Total rules applied 902 place count 924 transition count 1554
Applied a total of 902 rules in 1435 ms. Remains 924 /1406 variables (removed 482) and now considering 1554/2078 (removed 524) transitions.
Finished structural reductions, in 1 iterations. Remains : 924/1406 places, 1554/2078 transitions.
Incomplete random walk after 1000000 steps, including 11096 resets, run finished after 4290 ms. (steps per millisecond=233 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1865 resets, run finished after 1707 ms. (steps per millisecond=585 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1850 resets, run finished after 1646 ms. (steps per millisecond=607 ) properties seen :[1, 0, 0, 0]
FORMULA ASLink-PT-06a-ReachabilityCardinality-00 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 1000001 steps, including 1853 resets, run finished after 1581 ms. (steps per millisecond=632 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1801 resets, run finished after 1691 ms. (steps per millisecond=591 ) properties seen :[0, 0, 0]
// Phase 1: matrix 1554 rows 924 cols
[2021-05-07 16:01:07] [INFO ] Computed 160 place invariants in 46 ms
[2021-05-07 16:01:08] [INFO ] [Real]Absence check using 39 positive place invariants in 63 ms returned sat
[2021-05-07 16:01:08] [INFO ] [Real]Absence check using 39 positive and 121 generalized place invariants in 101 ms returned sat
[2021-05-07 16:01:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:01:10] [INFO ] [Real]Absence check using state equation in 2664 ms returned sat
[2021-05-07 16:01:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:01:11] [INFO ] [Nat]Absence check using 39 positive place invariants in 59 ms returned sat
[2021-05-07 16:01:11] [INFO ] [Nat]Absence check using 39 positive and 121 generalized place invariants in 77 ms returned sat
[2021-05-07 16:01:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:01:13] [INFO ] [Nat]Absence check using state equation in 2751 ms returned sat
[2021-05-07 16:01:14] [INFO ] Computed and/alt/rep : 1521/16380/1521 causal constraints in 118 ms.
[2021-05-07 16:01:20] [INFO ] Added : 130 causal constraints over 26 iterations in 6075 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 47 ms.
[2021-05-07 16:01:20] [INFO ] [Real]Absence check using 39 positive place invariants in 45 ms returned sat
[2021-05-07 16:01:20] [INFO ] [Real]Absence check using 39 positive and 121 generalized place invariants in 81 ms returned sat
[2021-05-07 16:01:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:01:23] [INFO ] [Real]Absence check using state equation in 2764 ms returned sat
[2021-05-07 16:01:23] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:01:23] [INFO ] [Nat]Absence check using 39 positive place invariants in 39 ms returned sat
[2021-05-07 16:01:23] [INFO ] [Nat]Absence check using 39 positive and 121 generalized place invariants in 81 ms returned sat
[2021-05-07 16:01:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:01:26] [INFO ] [Nat]Absence check using state equation in 2668 ms returned sat
[2021-05-07 16:01:26] [INFO ] Computed and/alt/rep : 1521/16380/1521 causal constraints in 97 ms.
[2021-05-07 16:01:36] [INFO ] Added : 130 causal constraints over 26 iterations in 9978 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 40 ms.
[2021-05-07 16:01:36] [INFO ] [Real]Absence check using 39 positive place invariants in 40 ms returned sat
[2021-05-07 16:01:36] [INFO ] [Real]Absence check using 39 positive and 121 generalized place invariants in 82 ms returned sat
[2021-05-07 16:01:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:01:39] [INFO ] [Real]Absence check using state equation in 2772 ms returned sat
[2021-05-07 16:01:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:01:39] [INFO ] [Nat]Absence check using 39 positive place invariants in 37 ms returned sat
[2021-05-07 16:01:39] [INFO ] [Nat]Absence check using 39 positive and 121 generalized place invariants in 79 ms returned sat
[2021-05-07 16:01:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:01:42] [INFO ] [Nat]Absence check using state equation in 3101 ms returned sat
[2021-05-07 16:01:42] [INFO ] Computed and/alt/rep : 1521/16380/1521 causal constraints in 83 ms.
[2021-05-07 16:01:50] [INFO ] Added : 130 causal constraints over 26 iterations in 7941 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 61 ms.
Incomplete Parikh walk after 98600 steps, including 1712 resets, run finished after 534 ms. (steps per millisecond=184 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 88000 steps, including 1587 resets, run finished after 419 ms. (steps per millisecond=210 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 118500 steps, including 1909 resets, run finished after 543 ms. (steps per millisecond=218 ) properties seen :[0, 0, 0] could not realise parikh vector
Support contains 12 out of 924 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 924/924 places, 1554/1554 transitions.
Applied a total of 0 rules in 24 ms. Remains 924 /924 variables (removed 0) and now considering 1554/1554 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 924/924 places, 1554/1554 transitions.
Incomplete random walk after 1000000 steps, including 11115 resets, run finished after 4105 ms. (steps per millisecond=243 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1867 resets, run finished after 1523 ms. (steps per millisecond=656 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 1831 resets, run finished after 1574 ms. (steps per millisecond=635 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1801 resets, run finished after 1662 ms. (steps per millisecond=601 ) properties seen :[0, 0, 0]
Interrupted probabilistic random walk after 2294739 steps, run timeout after 30001 ms. (steps per millisecond=76 ) properties seen :[0, 0, 0]
Probabilistic random walk after 2294739 steps, saw 717535 distinct states, run finished after 30001 ms. (steps per millisecond=76 ) properties seen :[0, 0, 0]
// Phase 1: matrix 1554 rows 924 cols
[2021-05-07 16:02:31] [INFO ] Computed 160 place invariants in 24 ms
[2021-05-07 16:02:31] [INFO ] [Real]Absence check using 39 positive place invariants in 38 ms returned sat
[2021-05-07 16:02:31] [INFO ] [Real]Absence check using 39 positive and 121 generalized place invariants in 76 ms returned sat
[2021-05-07 16:02:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:02:34] [INFO ] [Real]Absence check using state equation in 2704 ms returned sat
[2021-05-07 16:02:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:02:34] [INFO ] [Nat]Absence check using 39 positive place invariants in 35 ms returned sat
[2021-05-07 16:02:34] [INFO ] [Nat]Absence check using 39 positive and 121 generalized place invariants in 75 ms returned sat
[2021-05-07 16:02:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:02:37] [INFO ] [Nat]Absence check using state equation in 2744 ms returned sat
[2021-05-07 16:02:37] [INFO ] Computed and/alt/rep : 1521/16380/1521 causal constraints in 80 ms.
[2021-05-07 16:02:53] [INFO ] Added : 260 causal constraints over 52 iterations in 16134 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 72 ms.
[2021-05-07 16:02:53] [INFO ] [Real]Absence check using 39 positive place invariants in 42 ms returned sat
[2021-05-07 16:02:53] [INFO ] [Real]Absence check using 39 positive and 121 generalized place invariants in 81 ms returned sat
[2021-05-07 16:02:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:02:56] [INFO ] [Real]Absence check using state equation in 2789 ms returned sat
[2021-05-07 16:02:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:02:56] [INFO ] [Nat]Absence check using 39 positive place invariants in 39 ms returned sat
[2021-05-07 16:02:56] [INFO ] [Nat]Absence check using 39 positive and 121 generalized place invariants in 81 ms returned sat
[2021-05-07 16:02:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:02:59] [INFO ] [Nat]Absence check using state equation in 2635 ms returned sat
[2021-05-07 16:02:59] [INFO ] Computed and/alt/rep : 1521/16380/1521 causal constraints in 80 ms.
[2021-05-07 16:03:08] [INFO ] Added : 130 causal constraints over 26 iterations in 8535 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 42 ms.
[2021-05-07 16:03:08] [INFO ] [Real]Absence check using 39 positive place invariants in 40 ms returned sat
[2021-05-07 16:03:08] [INFO ] [Real]Absence check using 39 positive and 121 generalized place invariants in 82 ms returned sat
[2021-05-07 16:03:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:03:11] [INFO ] [Real]Absence check using state equation in 2769 ms returned sat
[2021-05-07 16:03:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:03:11] [INFO ] [Nat]Absence check using 39 positive place invariants in 37 ms returned sat
[2021-05-07 16:03:11] [INFO ] [Nat]Absence check using 39 positive and 121 generalized place invariants in 81 ms returned sat
[2021-05-07 16:03:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:03:14] [INFO ] [Nat]Absence check using state equation in 3165 ms returned sat
[2021-05-07 16:03:14] [INFO ] Computed and/alt/rep : 1521/16380/1521 causal constraints in 79 ms.
[2021-05-07 16:03:22] [INFO ] Added : 130 causal constraints over 26 iterations in 7945 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 483 ms.
Incomplete Parikh walk after 86400 steps, including 1618 resets, run finished after 421 ms. (steps per millisecond=205 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 87700 steps, including 1609 resets, run finished after 414 ms. (steps per millisecond=211 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 160700 steps, including 2284 resets, run finished after 732 ms. (steps per millisecond=219 ) properties seen :[0, 0, 0] could not realise parikh vector
Support contains 12 out of 924 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 924/924 places, 1554/1554 transitions.
Applied a total of 0 rules in 22 ms. Remains 924 /924 variables (removed 0) and now considering 1554/1554 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 924/924 places, 1554/1554 transitions.
Starting structural reductions, iteration 0 : 924/924 places, 1554/1554 transitions.
Applied a total of 0 rules in 22 ms. Remains 924 /924 variables (removed 0) and now considering 1554/1554 (removed 0) transitions.
// Phase 1: matrix 1554 rows 924 cols
[2021-05-07 16:03:24] [INFO ] Computed 160 place invariants in 23 ms
[2021-05-07 16:03:27] [INFO ] Implicit Places using invariants in 2534 ms returned [0, 18, 19, 30, 48, 66, 140, 149, 150, 151, 169, 187, 256, 260, 261, 272, 273, 274, 292, 310, 379, 383, 384, 395, 396, 397, 415, 433, 502, 506, 507, 519, 520, 521, 539, 557, 626, 630, 631, 642, 643, 644, 662, 680, 750, 754, 755, 758, 769, 770, 771, 789, 791, 794, 812, 813, 814, 815, 827, 833, 839, 845, 851, 857, 863, 869, 875, 881, 887]
Discarding 69 places :
Implicit Place search using SMT only with invariants took 2537 ms to find 69 implicit places.
[2021-05-07 16:03:27] [INFO ] Redundant transitions in 123 ms returned []
// Phase 1: matrix 1554 rows 855 cols
[2021-05-07 16:03:27] [INFO ] Computed 91 place invariants in 16 ms
[2021-05-07 16:03:31] [INFO ] Dead Transitions using invariants and state equation in 3834 ms returned []
Starting structural reductions, iteration 1 : 855/924 places, 1554/1554 transitions.
Performed 119 Post agglomeration using F-continuation condition.Transition count delta: 119
Iterating post reduction 0 with 119 rules applied. Total rules applied 119 place count 855 transition count 1435
Reduce places removed 119 places and 0 transitions.
Iterating post reduction 1 with 119 rules applied. Total rules applied 238 place count 736 transition count 1435
Performed 30 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 30 Pre rules applied. Total rules applied 238 place count 736 transition count 1405
Deduced a syphon composed of 30 places in 1 ms
Ensure Unique test removed 1 places
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 2 with 61 rules applied. Total rules applied 299 place count 705 transition count 1405
Discarding 4 places :
Implicit places reduction removed 4 places
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 2 with 12 rules applied. Total rules applied 311 place count 701 transition count 1397
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 319 place count 693 transition count 1397
Symmetric choice reduction at 4 with 14 rule applications. Total rules 333 place count 693 transition count 1397
Deduced a syphon composed of 14 places in 1 ms
Reduce places removed 14 places and 14 transitions.
Iterating global reduction 4 with 28 rules applied. Total rules applied 361 place count 679 transition count 1383
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 364 place count 679 transition count 1380
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 364 place count 679 transition count 1379
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 366 place count 678 transition count 1379
Symmetric choice reduction at 5 with 2 rule applications. Total rules 368 place count 678 transition count 1379
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 5 with 4 rules applied. Total rules applied 372 place count 676 transition count 1377
Symmetric choice reduction at 5 with 1 rule applications. Total rules 373 place count 676 transition count 1377
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 375 place count 675 transition count 1376
Symmetric choice reduction at 5 with 1 rule applications. Total rules 376 place count 675 transition count 1376
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 378 place count 674 transition count 1375
Performed 51 Post agglomeration using F-continuation condition.Transition count delta: 51
Deduced a syphon composed of 51 places in 1 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 5 with 102 rules applied. Total rules applied 480 place count 623 transition count 1324
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 5 with 4 rules applied. Total rules applied 484 place count 623 transition count 1320
Symmetric choice reduction at 6 with 5 rule applications. Total rules 489 place count 623 transition count 1320
Deduced a syphon composed of 5 places in 2 ms
Reduce places removed 5 places and 5 transitions.
Iterating global reduction 6 with 10 rules applied. Total rules applied 499 place count 618 transition count 1315
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 504 place count 618 transition count 1310
Free-agglomeration rule (complex) applied 15 times.
Iterating global reduction 7 with 15 rules applied. Total rules applied 519 place count 618 transition count 1295
Ensure Unique test removed 1 places
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 7 with 16 rules applied. Total rules applied 535 place count 602 transition count 1295
Symmetric choice reduction at 8 with 1 rule applications. Total rules 536 place count 602 transition count 1295
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 538 place count 601 transition count 1294
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 539 place count 601 transition count 1293
Partial Free-agglomeration rule applied 19 times.
Drop transitions removed 19 transitions
Iterating global reduction 9 with 19 rules applied. Total rules applied 558 place count 601 transition count 1293
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 9 with 2 rules applied. Total rules applied 560 place count 601 transition count 1291
Applied a total of 560 rules in 162 ms. Remains 601 /855 variables (removed 254) and now considering 1291/1554 (removed 263) transitions.
// Phase 1: matrix 1291 rows 601 cols
[2021-05-07 16:03:31] [INFO ] Computed 85 place invariants in 14 ms
[2021-05-07 16:03:32] [INFO ] Implicit Places using invariants in 1195 ms returned [74, 92, 98, 101, 103, 106, 107, 159, 176, 182, 185, 187, 192, 193, 245, 262, 268, 271, 273, 333, 350, 356, 359, 361, 366, 367, 419, 436, 442, 445, 447, 452, 453, 505, 523, 529, 532, 534]
Discarding 38 places :
Implicit Place search using SMT only with invariants took 1199 ms to find 38 implicit places.
Starting structural reductions, iteration 2 : 563/924 places, 1291/1554 transitions.
Symmetric choice reduction at 0 with 18 rule applications. Total rules 18 place count 563 transition count 1291
Deduced a syphon composed of 18 places in 1 ms
Reduce places removed 18 places and 18 transitions.
Iterating global reduction 0 with 36 rules applied. Total rules applied 54 place count 545 transition count 1273
Symmetric choice reduction at 0 with 6 rule applications. Total rules 60 place count 545 transition count 1273
Deduced a syphon composed of 6 places in 1 ms
Reduce places removed 6 places and 6 transitions.
Iterating global reduction 0 with 12 rules applied. Total rules applied 72 place count 539 transition count 1267
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Deduced a syphon composed of 11 places in 1 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 0 with 22 rules applied. Total rules applied 94 place count 528 transition count 1256
Free-agglomeration rule applied 18 times.
Iterating global reduction 0 with 18 rules applied. Total rules applied 112 place count 528 transition count 1238
Reduce places removed 18 places and 0 transitions.
Iterating post reduction 0 with 18 rules applied. Total rules applied 130 place count 510 transition count 1238
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 1 with 6 rules applied. Total rules applied 136 place count 510 transition count 1232
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 142 place count 504 transition count 1232
Partial Post-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 2 with 6 rules applied. Total rules applied 148 place count 504 transition count 1232
Applied a total of 148 rules in 161 ms. Remains 504 /563 variables (removed 59) and now considering 1232/1291 (removed 59) transitions.
// Phase 1: matrix 1232 rows 504 cols
[2021-05-07 16:03:32] [INFO ] Computed 47 place invariants in 12 ms
[2021-05-07 16:03:33] [INFO ] Implicit Places using invariants in 895 ms returned []
// Phase 1: matrix 1232 rows 504 cols
[2021-05-07 16:03:33] [INFO ] Computed 47 place invariants in 12 ms
[2021-05-07 16:03:39] [INFO ] Implicit Places using invariants and state equation in 5377 ms returned []
Implicit Place search using SMT with State Equation took 6272 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 504/924 places, 1232/1554 transitions.
Incomplete random walk after 1000000 steps, including 17607 resets, run finished after 3379 ms. (steps per millisecond=295 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 3972 resets, run finished after 1136 ms. (steps per millisecond=880 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 3923 resets, run finished after 1157 ms. (steps per millisecond=864 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 3112 resets, run finished after 1144 ms. (steps per millisecond=874 ) properties seen :[0, 0, 0]
Interrupted probabilistic random walk after 3973568 steps, run timeout after 30001 ms. (steps per millisecond=132 ) properties seen :[0, 0, 0]
Probabilistic random walk after 3973568 steps, saw 1112015 distinct states, run finished after 30001 ms. (steps per millisecond=132 ) properties seen :[0, 0, 0]
// Phase 1: matrix 1232 rows 504 cols
[2021-05-07 16:04:15] [INFO ] Computed 47 place invariants in 11 ms
[2021-05-07 16:04:15] [INFO ] [Real]Absence check using 10 positive place invariants in 16 ms returned sat
[2021-05-07 16:04:15] [INFO ] [Real]Absence check using 10 positive and 37 generalized place invariants in 18 ms returned sat
[2021-05-07 16:04:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:04:17] [INFO ] [Real]Absence check using state equation in 1044 ms returned sat
[2021-05-07 16:04:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:04:17] [INFO ] [Nat]Absence check using 10 positive place invariants in 17 ms returned sat
[2021-05-07 16:04:17] [INFO ] [Nat]Absence check using 10 positive and 37 generalized place invariants in 18 ms returned sat
[2021-05-07 16:04:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:04:19] [INFO ] [Nat]Absence check using state equation in 1911 ms returned sat
[2021-05-07 16:04:19] [INFO ] Computed and/alt/rep : 1202/15677/1202 causal constraints in 71 ms.
[2021-05-07 16:04:39] [INFO ] Added : 380 causal constraints over 76 iterations in 20885 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 94 ms.
[2021-05-07 16:04:40] [INFO ] [Real]Absence check using 10 positive place invariants in 19 ms returned sat
[2021-05-07 16:04:40] [INFO ] [Real]Absence check using 10 positive and 37 generalized place invariants in 22 ms returned sat
[2021-05-07 16:04:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:04:41] [INFO ] [Real]Absence check using state equation in 1154 ms returned sat
[2021-05-07 16:04:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:04:41] [INFO ] [Nat]Absence check using 10 positive place invariants in 18 ms returned sat
[2021-05-07 16:04:41] [INFO ] [Nat]Absence check using 10 positive and 37 generalized place invariants in 22 ms returned sat
[2021-05-07 16:04:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:04:42] [INFO ] [Nat]Absence check using state equation in 1131 ms returned sat
[2021-05-07 16:04:42] [INFO ] Computed and/alt/rep : 1202/15677/1202 causal constraints in 62 ms.
[2021-05-07 16:05:02] [INFO ] Added : 565 causal constraints over 113 iterations in 20167 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 126 ms.
[2021-05-07 16:05:03] [INFO ] [Real]Absence check using 10 positive place invariants in 18 ms returned sat
[2021-05-07 16:05:03] [INFO ] [Real]Absence check using 10 positive and 37 generalized place invariants in 23 ms returned sat
[2021-05-07 16:05:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:05:04] [INFO ] [Real]Absence check using state equation in 1110 ms returned sat
[2021-05-07 16:05:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:05:04] [INFO ] [Nat]Absence check using 10 positive place invariants in 17 ms returned sat
[2021-05-07 16:05:04] [INFO ] [Nat]Absence check using 10 positive and 37 generalized place invariants in 22 ms returned sat
[2021-05-07 16:05:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:05:06] [INFO ] [Nat]Absence check using state equation in 1703 ms returned sat
[2021-05-07 16:05:06] [INFO ] Computed and/alt/rep : 1202/15677/1202 causal constraints in 65 ms.
[2021-05-07 16:05:26] [INFO ] Added : 445 causal constraints over 89 iterations in 20262 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 96 ms.
Incomplete Parikh walk after 162700 steps, including 2822 resets, run finished after 599 ms. (steps per millisecond=271 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 89300 steps, including 1904 resets, run finished after 347 ms. (steps per millisecond=257 ) properties seen :[0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 177300 steps, including 2951 resets, run finished after 633 ms. (steps per millisecond=280 ) properties seen :[0, 0, 0] could not realise parikh vector
Support contains 12 out of 504 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 504/504 places, 1232/1232 transitions.
Applied a total of 0 rules in 15 ms. Remains 504 /504 variables (removed 0) and now considering 1232/1232 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 504/504 places, 1232/1232 transitions.
Starting structural reductions, iteration 0 : 504/504 places, 1232/1232 transitions.
Applied a total of 0 rules in 14 ms. Remains 504 /504 variables (removed 0) and now considering 1232/1232 (removed 0) transitions.
// Phase 1: matrix 1232 rows 504 cols
[2021-05-07 16:05:28] [INFO ] Computed 47 place invariants in 11 ms
[2021-05-07 16:05:29] [INFO ] Implicit Places using invariants in 885 ms returned []
// Phase 1: matrix 1232 rows 504 cols
[2021-05-07 16:05:29] [INFO ] Computed 47 place invariants in 12 ms
[2021-05-07 16:05:34] [INFO ] Implicit Places using invariants and state equation in 5205 ms returned []
Implicit Place search using SMT with State Equation took 6092 ms to find 0 implicit places.
[2021-05-07 16:05:34] [INFO ] Redundant transitions in 20 ms returned []
// Phase 1: matrix 1232 rows 504 cols
[2021-05-07 16:05:34] [INFO ] Computed 47 place invariants in 11 ms
[2021-05-07 16:05:36] [INFO ] Dead Transitions using invariants and state equation in 1937 ms returned []
Finished structural reductions, in 1 iterations. Remains : 504/504 places, 1232/1232 transitions.
Incomplete random walk after 100000 steps, including 1792 resets, run finished after 334 ms. (steps per millisecond=299 ) properties seen :[0, 0, 0]
// Phase 1: matrix 1232 rows 504 cols
[2021-05-07 16:05:36] [INFO ] Computed 47 place invariants in 12 ms
[2021-05-07 16:05:36] [INFO ] [Real]Absence check using 10 positive place invariants in 17 ms returned sat
[2021-05-07 16:05:36] [INFO ] [Real]Absence check using 10 positive and 37 generalized place invariants in 18 ms returned sat
[2021-05-07 16:05:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:05:37] [INFO ] [Real]Absence check using state equation in 1028 ms returned sat
[2021-05-07 16:05:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:05:37] [INFO ] [Nat]Absence check using 10 positive place invariants in 17 ms returned sat
[2021-05-07 16:05:37] [INFO ] [Nat]Absence check using 10 positive and 37 generalized place invariants in 19 ms returned sat
[2021-05-07 16:05:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:05:39] [INFO ] [Nat]Absence check using state equation in 1856 ms returned sat
[2021-05-07 16:05:39] [INFO ] Computed and/alt/rep : 1202/15677/1202 causal constraints in 107 ms.
[2021-05-07 16:05:57] [INFO ] Added : 380 causal constraints over 76 iterations in 18030 ms. Result :unknown
[2021-05-07 16:05:57] [INFO ] [Real]Absence check using 10 positive place invariants in 17 ms returned sat
[2021-05-07 16:05:57] [INFO ] [Real]Absence check using 10 positive and 37 generalized place invariants in 22 ms returned sat
[2021-05-07 16:05:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:05:58] [INFO ] [Real]Absence check using state equation in 1123 ms returned sat
[2021-05-07 16:05:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:05:58] [INFO ] [Nat]Absence check using 10 positive place invariants in 18 ms returned sat
[2021-05-07 16:05:59] [INFO ] [Nat]Absence check using 10 positive and 37 generalized place invariants in 22 ms returned sat
[2021-05-07 16:05:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:06:00] [INFO ] [Nat]Absence check using state equation in 1156 ms returned sat
[2021-05-07 16:06:00] [INFO ] Computed and/alt/rep : 1202/15677/1202 causal constraints in 63 ms.
[2021-05-07 16:06:18] [INFO ] Added : 560 causal constraints over 112 iterations in 18729 ms. Result :unknown
[2021-05-07 16:06:19] [INFO ] [Real]Absence check using 10 positive place invariants in 16 ms returned sat
[2021-05-07 16:06:19] [INFO ] [Real]Absence check using 10 positive and 37 generalized place invariants in 22 ms returned sat
[2021-05-07 16:06:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:06:20] [INFO ] [Real]Absence check using state equation in 1121 ms returned sat
[2021-05-07 16:06:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:06:20] [INFO ] [Nat]Absence check using 10 positive place invariants in 18 ms returned sat
[2021-05-07 16:06:20] [INFO ] [Nat]Absence check using 10 positive and 37 generalized place invariants in 22 ms returned sat
[2021-05-07 16:06:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:06:21] [INFO ] [Nat]Absence check using state equation in 1716 ms returned sat
[2021-05-07 16:06:22] [INFO ] Computed and/alt/rep : 1202/15677/1202 causal constraints in 64 ms.
[2021-05-07 16:06:40] [INFO ] Added : 430 causal constraints over 86 iterations in 18182 ms. Result :unknown
Applied a total of 0 rules in 13 ms. Remains 504 /504 variables (removed 0) and now considering 1232/1232 (removed 0) transitions.
// Phase 1: matrix 1232 rows 504 cols
[2021-05-07 16:06:40] [INFO ] Computed 47 place invariants in 12 ms
[2021-05-07 16:06:40] [INFO ] [Real]Absence check using 10 positive place invariants in 16 ms returned sat
[2021-05-07 16:06:40] [INFO ] [Real]Absence check using 10 positive and 37 generalized place invariants in 18 ms returned sat
[2021-05-07 16:06:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:06:41] [INFO ] [Real]Absence check using state equation in 1029 ms returned sat
[2021-05-07 16:06:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:06:41] [INFO ] [Nat]Absence check using 10 positive place invariants in 17 ms returned sat
[2021-05-07 16:06:41] [INFO ] [Nat]Absence check using 10 positive and 37 generalized place invariants in 17 ms returned sat
[2021-05-07 16:06:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:06:43] [INFO ] [Nat]Absence check using state equation in 1891 ms returned sat
[2021-05-07 16:06:43] [INFO ] Computed and/alt/rep : 1202/15677/1202 causal constraints in 94 ms.
[2021-05-07 16:07:03] [INFO ] Added : 380 causal constraints over 76 iterations in 20446 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 96 ms.
[2021-05-07 16:07:04] [INFO ] [Real]Absence check using 10 positive place invariants in 17 ms returned sat
[2021-05-07 16:07:04] [INFO ] [Real]Absence check using 10 positive and 37 generalized place invariants in 21 ms returned sat
[2021-05-07 16:07:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:07:05] [INFO ] [Real]Absence check using state equation in 1099 ms returned sat
[2021-05-07 16:07:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:07:05] [INFO ] [Nat]Absence check using 10 positive place invariants in 19 ms returned sat
[2021-05-07 16:07:05] [INFO ] [Nat]Absence check using 10 positive and 37 generalized place invariants in 22 ms returned sat
[2021-05-07 16:07:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:07:06] [INFO ] [Nat]Absence check using state equation in 1129 ms returned sat
[2021-05-07 16:07:06] [INFO ] Computed and/alt/rep : 1202/15677/1202 causal constraints in 77 ms.
[2021-05-07 16:07:27] [INFO ] Added : 570 causal constraints over 114 iterations in 21196 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 123 ms.
[2021-05-07 16:07:27] [INFO ] [Real]Absence check using 10 positive place invariants in 16 ms returned sat
[2021-05-07 16:07:27] [INFO ] [Real]Absence check using 10 positive and 37 generalized place invariants in 22 ms returned sat
[2021-05-07 16:07:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 16:07:29] [INFO ] [Real]Absence check using state equation in 1128 ms returned sat
[2021-05-07 16:07:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 16:07:29] [INFO ] [Nat]Absence check using 10 positive place invariants in 17 ms returned sat
[2021-05-07 16:07:29] [INFO ] [Nat]Absence check using 10 positive and 37 generalized place invariants in 22 ms returned sat
[2021-05-07 16:07:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 16:07:30] [INFO ] [Nat]Absence check using state equation in 1724 ms returned sat
[2021-05-07 16:07:31] [INFO ] Computed and/alt/rep : 1202/15677/1202 causal constraints in 61 ms.
[2021-05-07 16:07:51] [INFO ] Added : 440 causal constraints over 88 iterations in 20269 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 95 ms.
[2021-05-07 16:07:51] [INFO ] Export to MCC properties in file /home/mcc/execution/ReachabilityCardinality.sr.xml took 2 ms.
[2021-05-07 16:07:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 13 ms.
[2021-05-07 16:07:51] [INFO ] Flatten gal took : 186 ms
info: Time: 3600 - MCC
vrfy: Checking ReachabilityCardinality @ ASLink-PT-06a @ 3570 seconds
FORMULA ASLink-PT-06a-ReachabilityCardinality-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-06a-ReachabilityCardinality-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 8388912 kB
After kill :
MemTotal: 16427332 kB
MemFree: 8414188 kB
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-06a"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is ASLink-PT-06a, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-tall-162038005900047"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-06a.tgz
mv ASLink-PT-06a execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;