About the Execution of LoLa+red for CloudDeployment-PT-6b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9514.691 | 1800000.00 | 5731600.00 | 1631.40 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r085-smll-167814406800273.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is CloudDeployment-PT-6b, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r085-smll-167814406800273
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.2M
-rw-r--r-- 1 mcc users 8.0K Feb 25 14:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 14:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 14:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 14:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 47K Feb 25 14:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 25 14:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.8M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1678233320127
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=CloudDeployment-PT-6b
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-07 23:55:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2023-03-07 23:55:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-07 23:55:24] [INFO ] Load time of PNML (sax parser for PT used): 844 ms
[2023-03-07 23:55:24] [INFO ] Transformed 1888 places.
[2023-03-07 23:55:24] [INFO ] Transformed 6804 transitions.
[2023-03-07 23:55:24] [INFO ] Found NUPN structural information;
[2023-03-07 23:55:24] [INFO ] Parsed PT model containing 1888 places and 6804 transitions and 91831 arcs in 1186 ms.
Graph (trivial) has 1908 edges and 1888 vertex of which 504 / 1888 are part of one of the 48 SCC in 31 ms
Free SCC test removed 456 places
Structural test allowed to assert that 641 places are NOT stable. Took 175 ms.
Ensure Unique test removed 510 transitions
Reduce redundant transitions removed 510 transitions.
Incomplete random walk after 10000 steps, including 60 resets, run finished after 1936 ms. (steps per millisecond=5 ) properties (out of 1247) seen :515
Running SMT prover for 732 properties.
[2023-03-07 23:55:27] [INFO ] Flow matrix only has 6247 transitions (discarded 47 similar events)
// Phase 1: matrix 6247 rows 1432 cols
[2023-03-07 23:55:27] [INFO ] Computed 25 place invariants in 312 ms
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2347)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-07 23:55:54] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-07 23:55:54] [INFO ] After 25088ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 732 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 732 out of 1432 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1432/1432 places, 6294/6294 transitions.
Drop transitions removed 48 transitions
Reduce isomorphic transitions removed 48 transitions.
Drop transitions removed 322 transitions
Trivial Post-agglo rules discarded 322 transitions
Performed 322 trivial Post agglomeration. Transition count delta: 322
Iterating post reduction 0 with 370 rules applied. Total rules applied 370 place count 1432 transition count 5924
Reduce places removed 322 places and 0 transitions.
Iterating post reduction 1 with 322 rules applied. Total rules applied 692 place count 1110 transition count 5924
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 6 Pre rules applied. Total rules applied 692 place count 1110 transition count 5918
Deduced a syphon composed of 6 places in 8 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 2 with 12 rules applied. Total rules applied 704 place count 1104 transition count 5918
Discarding 146 places :
Symmetric choice reduction at 2 with 146 rule applications. Total rules 850 place count 958 transition count 5772
Iterating global reduction 2 with 146 rules applied. Total rules applied 996 place count 958 transition count 5772
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 1002 place count 958 transition count 5766
Performed 54 Post agglomeration using F-continuation condition.Transition count delta: 54
Deduced a syphon composed of 54 places in 23 ms
Reduce places removed 54 places and 0 transitions.
Iterating global reduction 3 with 108 rules applied. Total rules applied 1110 place count 904 transition count 5712
Performed 30 Post agglomeration using F-continuation condition with reduction of 36 identical transitions.
Deduced a syphon composed of 30 places in 22 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 3 with 60 rules applied. Total rules applied 1170 place count 874 transition count 5748
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 1176 place count 874 transition count 5742
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: -60
Deduced a syphon composed of 6 places in 20 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 4 with 12 rules applied. Total rules applied 1188 place count 868 transition count 5802
Drop transitions removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 4 with 24 rules applied. Total rules applied 1212 place count 868 transition count 5778
Free-agglomeration rule applied 63 times with reduction of 7 identical transitions.
Iterating global reduction 4 with 63 rules applied. Total rules applied 1275 place count 868 transition count 5708
Reduce places removed 63 places and 0 transitions.
Drop transitions removed 89 transitions
Reduce isomorphic transitions removed 89 transitions.
Iterating post reduction 4 with 152 rules applied. Total rules applied 1427 place count 805 transition count 5619
Drop transitions removed 12 transitions
Redundant transition composition rules discarded 12 transitions
Iterating global reduction 5 with 12 rules applied. Total rules applied 1439 place count 805 transition count 5607
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 1440 place count 805 transition count 5607
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 1441 place count 804 transition count 5606
Applied a total of 1441 rules in 2433 ms. Remains 804 /1432 variables (removed 628) and now considering 5606/6294 (removed 688) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2438 ms. Remains : 804/1432 places, 5606/6294 transitions.
Interrupted random walk after 285384 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=9 ) properties seen 147
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 585) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 585) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 585) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 583) seen :0
Running SMT prover for 583 properties.
[2023-03-07 23:56:26] [INFO ] Flow matrix only has 5589 transitions (discarded 17 similar events)
// Phase 1: matrix 5589 rows 804 cols
[2023-03-07 23:56:27] [INFO ] Computed 25 place invariants in 109 ms
[2023-03-07 23:56:47] [INFO ] After 19672ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:583
[2023-03-07 23:57:01] [INFO ] [Nat]Absence check using 0 positive and 25 generalized place invariants in 41 ms returned sat
[2023-03-07 23:58:46] [INFO ] After 93561ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :583
[2023-03-08 00:00:32] [INFO ] After 198991ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :583
Attempting to minimize the solution found.
Minimization took 2 ms.
[2023-03-08 00:00:32] [INFO ] After 225061ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :583
Fused 583 Parikh solutions to 579 different solutions.
Parikh walk visited 62 properties in 7148 ms.
Support contains 521 out of 804 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 804/804 places, 5606/5606 transitions.
Graph (complete) has 3147 edges and 804 vertex of which 802 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.6 ms
Discarding 2 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 97 transitions
Trivial Post-agglo rules discarded 97 transitions
Performed 97 trivial Post agglomeration. Transition count delta: 97
Iterating post reduction 0 with 98 rules applied. Total rules applied 99 place count 802 transition count 5507
Reduce places removed 97 places and 0 transitions.
Iterating post reduction 1 with 97 rules applied. Total rules applied 196 place count 705 transition count 5507
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 196 place count 705 transition count 5503
Deduced a syphon composed of 4 places in 18 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 204 place count 701 transition count 5503
Discarding 57 places :
Symmetric choice reduction at 2 with 57 rule applications. Total rules 261 place count 644 transition count 5446
Iterating global reduction 2 with 57 rules applied. Total rules applied 318 place count 644 transition count 5446
Ensure Unique test removed 28 transitions
Reduce isomorphic transitions removed 28 transitions.
Iterating post reduction 2 with 28 rules applied. Total rules applied 346 place count 644 transition count 5418
Performed 32 Post agglomeration using F-continuation condition with reduction of 7 identical transitions.
Deduced a syphon composed of 32 places in 18 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 3 with 64 rules applied. Total rules applied 410 place count 612 transition count 5379
Drop transitions removed 56 transitions
Reduce isomorphic transitions removed 56 transitions.
Iterating post reduction 3 with 56 rules applied. Total rules applied 466 place count 612 transition count 5323
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -4
Deduced a syphon composed of 2 places in 18 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 470 place count 610 transition count 5327
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 472 place count 610 transition count 5325
Drop transitions removed 50 transitions
Redundant transition composition rules discarded 50 transitions
Iterating global reduction 5 with 50 rules applied. Total rules applied 522 place count 610 transition count 5275
Free-agglomeration rule applied 1 times.
Iterating global reduction 5 with 1 rules applied. Total rules applied 523 place count 610 transition count 5274
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 525 place count 609 transition count 5273
Applied a total of 525 rules in 716 ms. Remains 609 /804 variables (removed 195) and now considering 5273/5606 (removed 333) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 716 ms. Remains : 609/804 places, 5273/5606 transitions.
Interrupted random walk after 518281 steps, including 6606 resets, run timeout after 30001 ms. (steps per millisecond=17 ) properties seen 467
Incomplete Best-First random walk after 100001 steps, including 156 resets, run finished after 715 ms. (steps per millisecond=139 ) properties (out of 54) seen :0
Incomplete Best-First random walk after 100001 steps, including 164 resets, run finished after 776 ms. (steps per millisecond=128 ) properties (out of 54) seen :2
Incomplete Best-First random walk after 100000 steps, including 163 resets, run finished after 711 ms. (steps per millisecond=140 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 100001 steps, including 158 resets, run finished after 657 ms. (steps per millisecond=152 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 100001 steps, including 158 resets, run finished after 654 ms. (steps per millisecond=152 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 100001 steps, including 160 resets, run finished after 668 ms. (steps per millisecond=149 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 100001 steps, including 156 resets, run finished after 678 ms. (steps per millisecond=147 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 100001 steps, including 156 resets, run finished after 653 ms. (steps per millisecond=153 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 100001 steps, including 163 resets, run finished after 652 ms. (steps per millisecond=153 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 100001 steps, including 162 resets, run finished after 666 ms. (steps per millisecond=150 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 100001 steps, including 152 resets, run finished after 641 ms. (steps per millisecond=156 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 100001 steps, including 160 resets, run finished after 657 ms. (steps per millisecond=152 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 100000 steps, including 158 resets, run finished after 659 ms. (steps per millisecond=151 ) properties (out of 52) seen :2
Incomplete Best-First random walk after 100001 steps, including 165 resets, run finished after 661 ms. (steps per millisecond=151 ) properties (out of 50) seen :0
Incomplete Best-First random walk after 100000 steps, including 156 resets, run finished after 659 ms. (steps per millisecond=151 ) properties (out of 50) seen :0
Incomplete Best-First random walk after 100001 steps, including 156 resets, run finished after 659 ms. (steps per millisecond=151 ) properties (out of 50) seen :2
Incomplete Best-First random walk after 100001 steps, including 150 resets, run finished after 643 ms. (steps per millisecond=155 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 100000 steps, including 164 resets, run finished after 662 ms. (steps per millisecond=151 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 100000 steps, including 160 resets, run finished after 649 ms. (steps per millisecond=154 ) properties (out of 48) seen :2
Incomplete Best-First random walk after 100000 steps, including 162 resets, run finished after 657 ms. (steps per millisecond=152 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 100001 steps, including 158 resets, run finished after 651 ms. (steps per millisecond=153 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 100001 steps, including 160 resets, run finished after 647 ms. (steps per millisecond=154 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 100001 steps, including 161 resets, run finished after 656 ms. (steps per millisecond=152 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 100000 steps, including 157 resets, run finished after 644 ms. (steps per millisecond=155 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 100001 steps, including 150 resets, run finished after 648 ms. (steps per millisecond=154 ) properties (out of 46) seen :2
Incomplete Best-First random walk after 100000 steps, including 160 resets, run finished after 658 ms. (steps per millisecond=151 ) properties (out of 44) seen :0
Incomplete Best-First random walk after 100001 steps, including 163 resets, run finished after 671 ms. (steps per millisecond=149 ) properties (out of 44) seen :0
Incomplete Best-First random walk after 100001 steps, including 152 resets, run finished after 647 ms. (steps per millisecond=154 ) properties (out of 44) seen :0
Incomplete Best-First random walk after 100001 steps, including 158 resets, run finished after 671 ms. (steps per millisecond=149 ) properties (out of 44) seen :2
Incomplete Best-First random walk after 100001 steps, including 156 resets, run finished after 680 ms. (steps per millisecond=147 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 100001 steps, including 160 resets, run finished after 665 ms. (steps per millisecond=150 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 100001 steps, including 153 resets, run finished after 664 ms. (steps per millisecond=150 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 100001 steps, including 164 resets, run finished after 665 ms. (steps per millisecond=150 ) properties (out of 42) seen :2
Incomplete Best-First random walk after 100001 steps, including 163 resets, run finished after 677 ms. (steps per millisecond=147 ) properties (out of 40) seen :2
Incomplete Best-First random walk after 100001 steps, including 160 resets, run finished after 684 ms. (steps per millisecond=146 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 100000 steps, including 155 resets, run finished after 685 ms. (steps per millisecond=145 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 100001 steps, including 160 resets, run finished after 690 ms. (steps per millisecond=144 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 100000 steps, including 159 resets, run finished after 682 ms. (steps per millisecond=146 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 100001 steps, including 153 resets, run finished after 680 ms. (steps per millisecond=147 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 100001 steps, including 155 resets, run finished after 697 ms. (steps per millisecond=143 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 100001 steps, including 155 resets, run finished after 693 ms. (steps per millisecond=144 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 100000 steps, including 158 resets, run finished after 676 ms. (steps per millisecond=147 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 100001 steps, including 156 resets, run finished after 688 ms. (steps per millisecond=145 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 100001 steps, including 157 resets, run finished after 688 ms. (steps per millisecond=145 ) properties (out of 38) seen :0
Running SMT prover for 38 properties.
// Phase 1: matrix 5273 rows 609 cols
[2023-03-08 00:01:39] [INFO ] Computed 25 place invariants in 92 ms
[2023-03-08 00:01:40] [INFO ] After 540ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:38
[2023-03-08 00:01:41] [INFO ] [Nat]Absence check using 0 positive and 25 generalized place invariants in 17 ms returned sat
[2023-03-08 00:01:48] [INFO ] After 6609ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :38
[2023-03-08 00:01:48] [INFO ] State equation strengthened by 6 read => feed constraints.
[2023-03-08 00:01:53] [INFO ] After 4767ms SMT Verify possible using 6 Read/Feed constraints in natural domain returned unsat :0 sat :38
[2023-03-08 00:02:01] [INFO ] After 12898ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :38
Attempting to minimize the solution found.
Minimization took 4859 ms.
[2023-03-08 00:02:06] [INFO ] After 25339ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :38
Fused 38 Parikh solutions to 26 different solutions.
Parikh walk visited 36 properties in 4818 ms.
Support contains 2 out of 609 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 609/609 places, 5273/5273 transitions.
Graph (complete) has 2621 edges and 609 vertex of which 579 are kept as prefixes of interest. Removing 30 places using SCC suffix rule.1 ms
Discarding 30 places :
Also discarding 6 output transitions
Drop transitions removed 6 transitions
Drop transitions removed 4120 transitions
Reduce isomorphic transitions removed 4120 transitions.
Drop transitions removed 238 transitions
Trivial Post-agglo rules discarded 238 transitions
Performed 238 trivial Post agglomeration. Transition count delta: 238
Iterating post reduction 0 with 4358 rules applied. Total rules applied 4359 place count 579 transition count 909
Reduce places removed 238 places and 0 transitions.
Iterating post reduction 1 with 238 rules applied. Total rules applied 4597 place count 341 transition count 909
Performed 29 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 29 Pre rules applied. Total rules applied 4597 place count 341 transition count 880
Deduced a syphon composed of 29 places in 4 ms
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 2 with 58 rules applied. Total rules applied 4655 place count 312 transition count 880
Discarding 67 places :
Symmetric choice reduction at 2 with 67 rule applications. Total rules 4722 place count 245 transition count 808
Iterating global reduction 2 with 67 rules applied. Total rules applied 4789 place count 245 transition count 808
Ensure Unique test removed 36 transitions
Reduce isomorphic transitions removed 36 transitions.
Iterating post reduction 2 with 36 rules applied. Total rules applied 4825 place count 245 transition count 772
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5 Pre rules applied. Total rules applied 4825 place count 245 transition count 767
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 10 rules applied. Total rules applied 4835 place count 240 transition count 767
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 4838 place count 237 transition count 764
Iterating global reduction 3 with 3 rules applied. Total rules applied 4841 place count 237 transition count 764
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 4843 place count 235 transition count 762
Iterating global reduction 3 with 2 rules applied. Total rules applied 4845 place count 235 transition count 762
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 4846 place count 234 transition count 761
Iterating global reduction 3 with 1 rules applied. Total rules applied 4847 place count 234 transition count 761
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 4848 place count 233 transition count 760
Iterating global reduction 3 with 1 rules applied. Total rules applied 4849 place count 233 transition count 760
Performed 57 Post agglomeration using F-continuation condition.Transition count delta: 57
Deduced a syphon composed of 57 places in 2 ms
Reduce places removed 57 places and 0 transitions.
Iterating global reduction 3 with 114 rules applied. Total rules applied 4963 place count 176 transition count 703
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 3 with 7 rules applied. Total rules applied 4970 place count 176 transition count 696
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 4972 place count 174 transition count 688
Iterating global reduction 4 with 2 rules applied. Total rules applied 4974 place count 174 transition count 688
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 4975 place count 173 transition count 687
Iterating global reduction 4 with 1 rules applied. Total rules applied 4976 place count 173 transition count 687
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 4977 place count 172 transition count 686
Iterating global reduction 4 with 1 rules applied. Total rules applied 4978 place count 172 transition count 686
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: -191
Deduced a syphon composed of 24 places in 3 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 4 with 48 rules applied. Total rules applied 5026 place count 148 transition count 877
Drop transitions removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 4 with 13 rules applied. Total rules applied 5039 place count 148 transition count 864
Drop transitions removed 232 transitions
Redundant transition composition rules discarded 232 transitions
Iterating global reduction 5 with 232 rules applied. Total rules applied 5271 place count 148 transition count 632
Free-agglomeration rule applied 8 times.
Iterating global reduction 5 with 8 rules applied. Total rules applied 5279 place count 148 transition count 624
Reduce places removed 8 places and 0 transitions.
Drop transitions removed 6 transitions
Ensure Unique test removed 36 transitions
Reduce isomorphic transitions removed 42 transitions.
Iterating post reduction 5 with 50 rules applied. Total rules applied 5329 place count 140 transition count 582
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 5334 place count 135 transition count 547
Iterating global reduction 6 with 5 rules applied. Total rules applied 5339 place count 135 transition count 547
Applied a total of 5339 rules in 185 ms. Remains 135 /609 variables (removed 474) and now considering 547/5273 (removed 4726) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 185 ms. Remains : 135/609 places, 547/5273 transitions.
Incomplete random walk after 1000000 steps, including 13569 resets, run finished after 11136 ms. (steps per millisecond=89 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1678 resets, run finished after 1874 ms. (steps per millisecond=533 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1673 resets, run finished after 1797 ms. (steps per millisecond=556 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 7976290 steps, run timeout after 42001 ms. (steps per millisecond=189 ) properties seen :{}
Probabilistic random walk after 7976290 steps, saw 1067526 distinct states, run finished after 42004 ms. (steps per millisecond=189 ) properties seen :0
Running SMT prover for 2 properties.
[2023-03-08 00:03:07] [INFO ] Flow matrix only has 265 transitions (discarded 282 similar events)
// Phase 1: matrix 265 rows 135 cols
[2023-03-08 00:03:07] [INFO ] Computed 20 place invariants in 2 ms
[2023-03-08 00:03:07] [INFO ] After 48ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2023-03-08 00:03:07] [INFO ] [Nat]Absence check using 2 positive place invariants in 2 ms returned sat
[2023-03-08 00:03:07] [INFO ] [Nat]Absence check using 2 positive and 18 generalized place invariants in 6 ms returned sat
[2023-03-08 00:03:08] [INFO ] After 107ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2023-03-08 00:03:08] [INFO ] State equation strengthened by 8 read => feed constraints.
[2023-03-08 00:03:08] [INFO ] After 28ms SMT Verify possible using 8 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2023-03-08 00:03:08] [INFO ] After 60ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 20 ms.
[2023-03-08 00:03:08] [INFO ] After 250ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 54 ms.
Support contains 2 out of 135 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 135/135 places, 547/547 transitions.
Applied a total of 0 rules in 14 ms. Remains 135 /135 variables (removed 0) and now considering 547/547 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 14 ms. Remains : 135/135 places, 547/547 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 135/135 places, 547/547 transitions.
Applied a total of 0 rules in 13 ms. Remains 135 /135 variables (removed 0) and now considering 547/547 (removed 0) transitions.
[2023-03-08 00:03:08] [INFO ] Flow matrix only has 265 transitions (discarded 282 similar events)
[2023-03-08 00:03:08] [INFO ] Invariant cache hit.
[2023-03-08 00:03:08] [INFO ] Implicit Places using invariants in 196 ms returned []
[2023-03-08 00:03:08] [INFO ] Flow matrix only has 265 transitions (discarded 282 similar events)
[2023-03-08 00:03:08] [INFO ] Invariant cache hit.
[2023-03-08 00:03:08] [INFO ] State equation strengthened by 8 read => feed constraints.
[2023-03-08 00:03:08] [INFO ] Implicit Places using invariants and state equation in 345 ms returned []
Implicit Place search using SMT with State Equation took 546 ms to find 0 implicit places.
[2023-03-08 00:03:08] [INFO ] Redundant transitions in 37 ms returned []
[2023-03-08 00:03:08] [INFO ] Flow matrix only has 265 transitions (discarded 282 similar events)
[2023-03-08 00:03:08] [INFO ] Invariant cache hit.
[2023-03-08 00:03:09] [INFO ] Dead Transitions using invariants and state equation in 324 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 927 ms. Remains : 135/135 places, 547/547 transitions.
Incomplete random walk after 100000 steps, including 1323 resets, run finished after 1375 ms. (steps per millisecond=72 ) properties (out of 2) seen :0
Running SMT prover for 2 properties.
[2023-03-08 00:03:10] [INFO ] Flow matrix only has 265 transitions (discarded 282 similar events)
[2023-03-08 00:03:10] [INFO ] Invariant cache hit.
[2023-03-08 00:03:10] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2023-03-08 00:03:10] [INFO ] [Real]Absence check using 2 positive and 18 generalized place invariants in 7 ms returned sat
[2023-03-08 00:03:10] [INFO ] After 88ms SMT Verify possible using state equation in real domain returned unsat :0 sat :2
[2023-03-08 00:03:10] [INFO ] State equation strengthened by 8 read => feed constraints.
[2023-03-08 00:03:10] [INFO ] After 15ms SMT Verify possible using 8 Read/Feed constraints in real domain returned unsat :0 sat :2
[2023-03-08 00:03:10] [INFO ] After 68ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:2
[2023-03-08 00:03:10] [INFO ] After 206ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2023-03-08 00:03:10] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2023-03-08 00:03:10] [INFO ] [Nat]Absence check using 2 positive and 18 generalized place invariants in 5 ms returned sat
[2023-03-08 00:03:10] [INFO ] After 78ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2023-03-08 00:03:10] [INFO ] After 12ms SMT Verify possible using 8 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2023-03-08 00:03:10] [INFO ] After 48ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 6 ms.
[2023-03-08 00:03:10] [INFO ] After 175ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Incomplete random walk after 1000000 steps, including 13601 resets, run finished after 11167 ms. (steps per millisecond=89 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1707 resets, run finished after 1701 ms. (steps per millisecond=587 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1685 resets, run finished after 1690 ms. (steps per millisecond=591 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 8299430 steps, run timeout after 42001 ms. (steps per millisecond=197 ) properties seen :{}
Probabilistic random walk after 8299430 steps, saw 1102302 distinct states, run finished after 42001 ms. (steps per millisecond=197 ) properties seen :0
Running SMT prover for 2 properties.
[2023-03-08 00:04:07] [INFO ] Flow matrix only has 265 transitions (discarded 282 similar events)
[2023-03-08 00:04:07] [INFO ] Invariant cache hit.
[2023-03-08 00:04:07] [INFO ] After 40ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2023-03-08 00:04:07] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2023-03-08 00:04:07] [INFO ] [Nat]Absence check using 2 positive and 18 generalized place invariants in 7 ms returned sat
[2023-03-08 00:04:07] [INFO ] After 95ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2023-03-08 00:04:07] [INFO ] State equation strengthened by 8 read => feed constraints.
[2023-03-08 00:04:07] [INFO ] After 47ms SMT Verify possible using 8 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2023-03-08 00:04:07] [INFO ] After 86ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 23 ms.
[2023-03-08 00:04:07] [INFO ] After 266ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 40 ms.
Support contains 2 out of 135 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 135/135 places, 547/547 transitions.
Applied a total of 0 rules in 12 ms. Remains 135 /135 variables (removed 0) and now considering 547/547 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 12 ms. Remains : 135/135 places, 547/547 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 135/135 places, 547/547 transitions.
Applied a total of 0 rules in 11 ms. Remains 135 /135 variables (removed 0) and now considering 547/547 (removed 0) transitions.
[2023-03-08 00:04:07] [INFO ] Flow matrix only has 265 transitions (discarded 282 similar events)
[2023-03-08 00:04:07] [INFO ] Invariant cache hit.
[2023-03-08 00:04:08] [INFO ] Implicit Places using invariants in 177 ms returned []
[2023-03-08 00:04:08] [INFO ] Flow matrix only has 265 transitions (discarded 282 similar events)
[2023-03-08 00:04:08] [INFO ] Invariant cache hit.
[2023-03-08 00:04:08] [INFO ] State equation strengthened by 8 read => feed constraints.
[2023-03-08 00:04:08] [INFO ] Implicit Places using invariants and state equation in 332 ms returned []
Implicit Place search using SMT with State Equation took 512 ms to find 0 implicit places.
[2023-03-08 00:04:08] [INFO ] Redundant transitions in 15 ms returned []
[2023-03-08 00:04:08] [INFO ] Flow matrix only has 265 transitions (discarded 282 similar events)
[2023-03-08 00:04:08] [INFO ] Invariant cache hit.
[2023-03-08 00:04:08] [INFO ] Dead Transitions using invariants and state equation in 310 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 857 ms. Remains : 135/135 places, 547/547 transitions.
Incomplete random walk after 100000 steps, including 1343 resets, run finished after 1047 ms. (steps per millisecond=95 ) properties (out of 2) seen :0
Running SMT prover for 2 properties.
[2023-03-08 00:04:09] [INFO ] Flow matrix only has 265 transitions (discarded 282 similar events)
[2023-03-08 00:04:09] [INFO ] Invariant cache hit.
[2023-03-08 00:04:09] [INFO ] [Real]Absence check using 2 positive place invariants in 2 ms returned sat
[2023-03-08 00:04:09] [INFO ] [Real]Absence check using 2 positive and 18 generalized place invariants in 8 ms returned sat
[2023-03-08 00:04:09] [INFO ] After 86ms SMT Verify possible using state equation in real domain returned unsat :0 sat :2
[2023-03-08 00:04:09] [INFO ] State equation strengthened by 8 read => feed constraints.
[2023-03-08 00:04:09] [INFO ] After 14ms SMT Verify possible using 8 Read/Feed constraints in real domain returned unsat :0 sat :2
[2023-03-08 00:04:09] [INFO ] After 54ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:2
[2023-03-08 00:04:09] [INFO ] After 188ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2023-03-08 00:04:10] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2023-03-08 00:04:10] [INFO ] [Nat]Absence check using 2 positive and 18 generalized place invariants in 6 ms returned sat
[2023-03-08 00:04:10] [INFO ] After 81ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2023-03-08 00:04:10] [INFO ] After 14ms SMT Verify possible using 8 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2023-03-08 00:04:10] [INFO ] After 51ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 7 ms.
[2023-03-08 00:04:10] [INFO ] After 183ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Incomplete random walk after 10000 steps, including 127 resets, run finished after 31 ms. (steps per millisecond=322 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 9 ms. (steps per millisecond=1111 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 671504 steps, run timeout after 3001 ms. (steps per millisecond=223 ) properties seen :{}
Probabilistic random walk after 671504 steps, saw 111271 distinct states, run finished after 3001 ms. (steps per millisecond=223 ) properties seen :0
Running SMT prover for 1 properties.
[2023-03-08 00:04:13] [INFO ] Flow matrix only has 265 transitions (discarded 282 similar events)
[2023-03-08 00:04:13] [INFO ] Invariant cache hit.
[2023-03-08 00:04:13] [INFO ] After 33ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-08 00:04:13] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2023-03-08 00:04:13] [INFO ] [Nat]Absence check using 2 positive and 18 generalized place invariants in 6 ms returned sat
[2023-03-08 00:04:13] [INFO ] After 85ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-08 00:04:13] [INFO ] State equation strengthened by 8 read => feed constraints.
[2023-03-08 00:04:13] [INFO ] After 18ms SMT Verify possible using 8 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-08 00:04:13] [INFO ] After 35ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 10 ms.
[2023-03-08 00:04:13] [INFO ] After 178ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 0 ms.
Support contains 1 out of 135 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 135/135 places, 547/547 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 135 transition count 546
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 134 transition count 546
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 4 place count 133 transition count 545
Applied a total of 4 rules in 18 ms. Remains 133 /135 variables (removed 2) and now considering 545/547 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 18 ms. Remains : 133/135 places, 545/547 transitions.
Incomplete random walk after 10000 steps, including 136 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 17 resets, run finished after 8 ms. (steps per millisecond=1250 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 679717 steps, run timeout after 3001 ms. (steps per millisecond=226 ) properties seen :{}
Probabilistic random walk after 679717 steps, saw 112713 distinct states, run finished after 3001 ms. (steps per millisecond=226 ) properties seen :0
Running SMT prover for 1 properties.
[2023-03-08 00:04:16] [INFO ] Flow matrix only has 263 transitions (discarded 282 similar events)
// Phase 1: matrix 263 rows 133 cols
[2023-03-08 00:04:16] [INFO ] Computed 20 place invariants in 1 ms
[2023-03-08 00:04:16] [INFO ] After 32ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-08 00:04:16] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2023-03-08 00:04:16] [INFO ] [Nat]Absence check using 2 positive and 18 generalized place invariants in 6 ms returned sat
[2023-03-08 00:04:16] [INFO ] After 87ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-08 00:04:16] [INFO ] State equation strengthened by 8 read => feed constraints.
[2023-03-08 00:04:16] [INFO ] After 22ms SMT Verify possible using 8 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-08 00:04:16] [INFO ] After 38ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 10 ms.
[2023-03-08 00:04:16] [INFO ] After 183ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 0 ms.
Support contains 1 out of 133 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 133/133 places, 545/545 transitions.
Applied a total of 0 rules in 11 ms. Remains 133 /133 variables (removed 0) and now considering 545/545 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 11 ms. Remains : 133/133 places, 545/545 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 133/133 places, 545/545 transitions.
Applied a total of 0 rules in 11 ms. Remains 133 /133 variables (removed 0) and now considering 545/545 (removed 0) transitions.
[2023-03-08 00:04:16] [INFO ] Flow matrix only has 263 transitions (discarded 282 similar events)
[2023-03-08 00:04:16] [INFO ] Invariant cache hit.
[2023-03-08 00:04:16] [INFO ] Implicit Places using invariants in 163 ms returned []
[2023-03-08 00:04:16] [INFO ] Flow matrix only has 263 transitions (discarded 282 similar events)
[2023-03-08 00:04:16] [INFO ] Invariant cache hit.
[2023-03-08 00:04:17] [INFO ] State equation strengthened by 8 read => feed constraints.
[2023-03-08 00:04:17] [INFO ] Implicit Places using invariants and state equation in 330 ms returned []
Implicit Place search using SMT with State Equation took 497 ms to find 0 implicit places.
[2023-03-08 00:04:17] [INFO ] Redundant transitions in 6 ms returned []
[2023-03-08 00:04:17] [INFO ] Flow matrix only has 263 transitions (discarded 282 similar events)
[2023-03-08 00:04:17] [INFO ] Invariant cache hit.
[2023-03-08 00:04:17] [INFO ] Dead Transitions using invariants and state equation in 313 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 835 ms. Remains : 133/133 places, 545/545 transitions.
Graph (trivial) has 134 edges and 133 vertex of which 48 / 133 are part of one of the 6 SCC in 0 ms
Free SCC test removed 42 places
Drop transitions removed 70 transitions
Ensure Unique test removed 288 transitions
Reduce isomorphic transitions removed 358 transitions.
Ensure Unique test removed 11 places
Drop transitions removed 16 transitions
Trivial Post-agglo rules discarded 16 transitions
Performed 16 trivial Post agglomeration. Transition count delta: 16
Iterating post reduction 0 with 27 rules applied. Total rules applied 28 place count 80 transition count 171
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 1 with 16 rules applied. Total rules applied 44 place count 64 transition count 171
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 44 place count 64 transition count 161
Deduced a syphon composed of 10 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 64 place count 54 transition count 161
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 69 place count 49 transition count 156
Iterating global reduction 2 with 5 rules applied. Total rules applied 74 place count 49 transition count 156
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 79 place count 44 transition count 126
Iterating global reduction 2 with 5 rules applied. Total rules applied 84 place count 44 transition count 126
Ensure Unique test removed 35 transitions
Reduce isomorphic transitions removed 35 transitions.
Iterating post reduction 2 with 35 rules applied. Total rules applied 119 place count 44 transition count 91
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 0 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 3 with 14 rules applied. Total rules applied 133 place count 37 transition count 84
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 3 with 12 rules applied. Total rules applied 145 place count 37 transition count 72
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 6 places in 0 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 4 with 12 rules applied. Total rules applied 157 place count 31 transition count 102
Drop transitions removed 48 transitions
Redundant transition composition rules discarded 48 transitions
Iterating global reduction 4 with 48 rules applied. Total rules applied 205 place count 31 transition count 54
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 4 with 15 rules applied. Total rules applied 220 place count 21 transition count 49
Ensure Unique test removed 28 transitions
Reduce isomorphic transitions removed 28 transitions.
Iterating post reduction 4 with 28 rules applied. Total rules applied 248 place count 21 transition count 21
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 5 with 1 rules applied. Total rules applied 249 place count 21 transition count 20
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 250 place count 20 transition count 20
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 6 with 6 rules applied. Total rules applied 256 place count 20 transition count 20
Applied a total of 256 rules in 12 ms. Remains 20 /133 variables (removed 113) and now considering 20/545 (removed 525) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 20 rows 20 cols
[2023-03-08 00:04:17] [INFO ] Computed 8 place invariants in 0 ms
[2023-03-08 00:04:17] [INFO ] After 18ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-08 00:04:17] [INFO ] [Nat]Absence check using 1 positive place invariants in 0 ms returned sat
[2023-03-08 00:04:17] [INFO ] [Nat]Absence check using 1 positive and 7 generalized place invariants in 2 ms returned sat
[2023-03-08 00:04:17] [INFO ] After 11ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-08 00:04:17] [INFO ] After 15ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 4 ms.
[2023-03-08 00:04:17] [INFO ] After 44ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Incomplete random walk after 10000 steps, including 136 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 15 resets, run finished after 9 ms. (steps per millisecond=1111 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 678731 steps, run timeout after 3001 ms. (steps per millisecond=226 ) properties seen :{}
Probabilistic random walk after 678731 steps, saw 112520 distinct states, run finished after 3001 ms. (steps per millisecond=226 ) properties seen :0
Running SMT prover for 1 properties.
[2023-03-08 00:04:20] [INFO ] Flow matrix only has 265 transitions (discarded 282 similar events)
// Phase 1: matrix 265 rows 135 cols
[2023-03-08 00:04:20] [INFO ] Computed 20 place invariants in 1 ms
[2023-03-08 00:04:20] [INFO ] After 41ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-08 00:04:20] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2023-03-08 00:04:20] [INFO ] [Nat]Absence check using 2 positive and 18 generalized place invariants in 8 ms returned sat
[2023-03-08 00:04:20] [INFO ] After 87ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-08 00:04:20] [INFO ] State equation strengthened by 8 read => feed constraints.
[2023-03-08 00:04:20] [INFO ] After 20ms SMT Verify possible using 8 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-08 00:04:20] [INFO ] After 36ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 11 ms.
[2023-03-08 00:04:20] [INFO ] After 182ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 1 ms.
Support contains 1 out of 135 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 135/135 places, 547/547 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 135 transition count 546
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 134 transition count 546
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 4 place count 133 transition count 545
Applied a total of 4 rules in 18 ms. Remains 133 /135 variables (removed 2) and now considering 545/547 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 18 ms. Remains : 133/135 places, 545/547 transitions.
Incomplete random walk after 10000 steps, including 133 resets, run finished after 31 ms. (steps per millisecond=322 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 9 ms. (steps per millisecond=1111 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 675404 steps, run timeout after 3001 ms. (steps per millisecond=225 ) properties seen :{}
Probabilistic random walk after 675404 steps, saw 111891 distinct states, run finished after 3001 ms. (steps per millisecond=225 ) properties seen :0
Running SMT prover for 1 properties.
[2023-03-08 00:04:23] [INFO ] Flow matrix only has 263 transitions (discarded 282 similar events)
// Phase 1: matrix 263 rows 133 cols
[2023-03-08 00:04:23] [INFO ] Computed 20 place invariants in 1 ms
[2023-03-08 00:04:23] [INFO ] After 31ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-08 00:04:24] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2023-03-08 00:04:24] [INFO ] [Nat]Absence check using 2 positive and 18 generalized place invariants in 6 ms returned sat
[2023-03-08 00:04:24] [INFO ] After 87ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-08 00:04:24] [INFO ] State equation strengthened by 8 read => feed constraints.
[2023-03-08 00:04:24] [INFO ] After 21ms SMT Verify possible using 8 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-08 00:04:24] [INFO ] After 36ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 9 ms.
[2023-03-08 00:04:24] [INFO ] After 184ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 0 ms.
Support contains 1 out of 133 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 133/133 places, 545/545 transitions.
Applied a total of 0 rules in 11 ms. Remains 133 /133 variables (removed 0) and now considering 545/545 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 11 ms. Remains : 133/133 places, 545/545 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 133/133 places, 545/545 transitions.
Applied a total of 0 rules in 10 ms. Remains 133 /133 variables (removed 0) and now considering 545/545 (removed 0) transitions.
[2023-03-08 00:04:24] [INFO ] Flow matrix only has 263 transitions (discarded 282 similar events)
[2023-03-08 00:04:24] [INFO ] Invariant cache hit.
[2023-03-08 00:04:24] [INFO ] Implicit Places using invariants in 167 ms returned []
[2023-03-08 00:04:24] [INFO ] Flow matrix only has 263 transitions (discarded 282 similar events)
[2023-03-08 00:04:24] [INFO ] Invariant cache hit.
[2023-03-08 00:04:24] [INFO ] State equation strengthened by 8 read => feed constraints.
[2023-03-08 00:04:24] [INFO ] Implicit Places using invariants and state equation in 342 ms returned []
Implicit Place search using SMT with State Equation took 523 ms to find 0 implicit places.
[2023-03-08 00:04:24] [INFO ] Redundant transitions in 6 ms returned []
[2023-03-08 00:04:24] [INFO ] Flow matrix only has 263 transitions (discarded 282 similar events)
[2023-03-08 00:04:24] [INFO ] Invariant cache hit.
[2023-03-08 00:04:25] [INFO ] Dead Transitions using invariants and state equation in 329 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 876 ms. Remains : 133/133 places, 545/545 transitions.
Graph (trivial) has 134 edges and 133 vertex of which 48 / 133 are part of one of the 6 SCC in 0 ms
Free SCC test removed 42 places
Drop transitions removed 70 transitions
Ensure Unique test removed 288 transitions
Reduce isomorphic transitions removed 358 transitions.
Ensure Unique test removed 11 places
Drop transitions removed 16 transitions
Trivial Post-agglo rules discarded 16 transitions
Performed 16 trivial Post agglomeration. Transition count delta: 16
Iterating post reduction 0 with 27 rules applied. Total rules applied 28 place count 80 transition count 171
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 1 with 16 rules applied. Total rules applied 44 place count 64 transition count 171
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 44 place count 64 transition count 161
Deduced a syphon composed of 10 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 64 place count 54 transition count 161
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 69 place count 49 transition count 156
Iterating global reduction 2 with 5 rules applied. Total rules applied 74 place count 49 transition count 156
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 79 place count 44 transition count 126
Iterating global reduction 2 with 5 rules applied. Total rules applied 84 place count 44 transition count 126
Ensure Unique test removed 35 transitions
Reduce isomorphic transitions removed 35 transitions.
Iterating post reduction 2 with 35 rules applied. Total rules applied 119 place count 44 transition count 91
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 0 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 3 with 14 rules applied. Total rules applied 133 place count 37 transition count 84
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 3 with 12 rules applied. Total rules applied 145 place count 37 transition count 72
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 6 places in 0 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 4 with 12 rules applied. Total rules applied 157 place count 31 transition count 102
Drop transitions removed 48 transitions
Redundant transition composition rules discarded 48 transitions
Iterating global reduction 4 with 48 rules applied. Total rules applied 205 place count 31 transition count 54
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 4 with 15 rules applied. Total rules applied 220 place count 21 transition count 49
Ensure Unique test removed 28 transitions
Reduce isomorphic transitions removed 28 transitions.
Iterating post reduction 4 with 28 rules applied. Total rules applied 248 place count 21 transition count 21
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 5 with 1 rules applied. Total rules applied 249 place count 21 transition count 20
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 250 place count 20 transition count 20
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 6 with 6 rules applied. Total rules applied 256 place count 20 transition count 20
Applied a total of 256 rules in 14 ms. Remains 20 /133 variables (removed 113) and now considering 20/545 (removed 525) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 20 rows 20 cols
[2023-03-08 00:04:25] [INFO ] Computed 8 place invariants in 0 ms
[2023-03-08 00:04:25] [INFO ] After 18ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-08 00:04:25] [INFO ] [Nat]Absence check using 1 positive place invariants in 0 ms returned sat
[2023-03-08 00:04:25] [INFO ] [Nat]Absence check using 1 positive and 7 generalized place invariants in 2 ms returned sat
[2023-03-08 00:04:25] [INFO ] After 11ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-08 00:04:25] [INFO ] After 15ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 3 ms.
[2023-03-08 00:04:25] [INFO ] After 43ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Graph (trivial) has 134 edges and 135 vertex of which 48 / 135 are part of one of the 6 SCC in 0 ms
Free SCC test removed 42 places
Drop transitions removed 70 transitions
Ensure Unique test removed 288 transitions
Reduce isomorphic transitions removed 358 transitions.
Ensure Unique test removed 11 places
Drop transitions removed 16 transitions
Trivial Post-agglo rules discarded 16 transitions
Performed 16 trivial Post agglomeration. Transition count delta: 16
Iterating post reduction 0 with 27 rules applied. Total rules applied 28 place count 82 transition count 173
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 1 with 16 rules applied. Total rules applied 44 place count 66 transition count 173
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 44 place count 66 transition count 163
Deduced a syphon composed of 10 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 64 place count 56 transition count 163
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 69 place count 51 transition count 158
Iterating global reduction 2 with 5 rules applied. Total rules applied 74 place count 51 transition count 158
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 79 place count 46 transition count 128
Iterating global reduction 2 with 5 rules applied. Total rules applied 84 place count 46 transition count 128
Ensure Unique test removed 35 transitions
Reduce isomorphic transitions removed 35 transitions.
Iterating post reduction 2 with 35 rules applied. Total rules applied 119 place count 46 transition count 93
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 0 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 3 with 14 rules applied. Total rules applied 133 place count 39 transition count 86
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 3 with 12 rules applied. Total rules applied 145 place count 39 transition count 74
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 6 places in 0 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 4 with 12 rules applied. Total rules applied 157 place count 33 transition count 104
Drop transitions removed 48 transitions
Redundant transition composition rules discarded 48 transitions
Iterating global reduction 4 with 48 rules applied. Total rules applied 205 place count 33 transition count 56
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 4 with 12 rules applied. Total rules applied 217 place count 25 transition count 52
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Iterating post reduction 4 with 21 rules applied. Total rules applied 238 place count 25 transition count 31
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 5 with 6 rules applied. Total rules applied 244 place count 25 transition count 31
Applied a total of 244 rules in 14 ms. Remains 25 /135 variables (removed 110) and now considering 31/547 (removed 516) transitions.
Running SMT prover for 2 properties.
// Phase 1: matrix 31 rows 25 cols
[2023-03-08 00:04:25] [INFO ] Computed 9 place invariants in 0 ms
[2023-03-08 00:04:25] [INFO ] After 19ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2023-03-08 00:04:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2023-03-08 00:04:25] [INFO ] [Nat]Absence check using 2 positive and 7 generalized place invariants in 2 ms returned sat
[2023-03-08 00:04:25] [INFO ] After 14ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2023-03-08 00:04:25] [INFO ] After 22ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 6 ms.
[2023-03-08 00:04:25] [INFO ] After 57ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Unable to solve all queries for examination StableMarking. Remains :2 assertions to prove.
No /home/mcc/execution/StableMarking.xml examination file found. Proceeding without properties.
Parsed 2 properties from file /home/mcc/execution/StableMarking.xml in 1 ms.
Working with output stream class java.io.PrintStream
Total runtime 541729 ms.
starting LoLA
BK_INPUT CloudDeployment-PT-6b
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393232 kB
MemFree: 6685272 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16153556 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -timeout 180 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES PLACE p1085
sara: try reading problem file stateEquationProblem-ConstantPlace-394.sara.
lola: LAUNCH SYMM
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p432
sara: try reading problem file stateEquationProblem-ConstantPlace-441.sara.
lola: reporting
lola: not produced: 782
lola: state equation: 1
lola: find path: 890
lola: symmetry: 202
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1487
sara: try reading problem file stateEquationProblem-ConstantPlace-1192.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 748
lola: state equation: 2
lola: find path: 923
lola: symmetry: 202
lola: reporting
lola: not produced: 747
lola: state equation: 2
lola: find path: 924
lola: symmetry: 202
lola: reporting
lola: not produced: 720
lola: state equation: 2
lola: find path: 951
lola: symmetry: 202
lola: reporting
lola: not produced: 720
lola: state equation: 2
lola: find path: 951
lola: symmetry: 202
lola: reporting
lola: not produced: 715
lola: state equation: 2
lola: find path: 956
lola: symmetry: 202
lola: reporting
lola: not produced: 695
lola: state equation: 2
lola: find path: 976
lola: symmetry: 202
lola: reporting
lola: not produced: 670
lola: state equation: 2
lola: find path: 1001
lola: symmetry: 202
lola: reporting
lola: not produced: 670
lola: state equation: 2
lola: find path: 1001
lola: symmetry: 202
lola: reporting
lola: not produced: 665
lola: state equation: 2
lola: find path: 1006
lola: symmetry: 202
lola: reporting
lola: not produced: 664
lola: state equation: 2
lola: find path: 1007
lola: symmetry: 202
lola: reporting
lola: not produced: 661
lola: state equation: 2
lola: find path: 1010
lola: symmetry: 202
lola: reporting
lola: not produced: 660
lola: state equation: 2
lola: find path: 1011
lola: symmetry: 202
lola: reporting
lola: not produced: 651
lola: state equation: 2
lola: find path: 1020
lola: symmetry: 202
lola: reporting
lola: not produced: 645
lola: state equation: 2
lola: find path: 1026
lola: symmetry: 202
lola: reporting
lola: not produced: 644
lola: state equation: 2
lola: find path: 1027
lola: symmetry: 202
lola: reporting
lola: not produced: 643
lola: state equation: 2
lola: find path: 1028
lola: symmetry: 202
lola: reporting
lola: not produced: 643
lola: state equation: 2
lola: find path: 1028
lola: symmetry: 202
lola: reporting
lola: not produced: 641
lola: state equation: 2
lola: find path: 1030
lola: symmetry: 202
lola: reporting
lola: not produced: 639
lola: state equation: 2
lola: find path: 1032
lola: symmetry: 202
lola: reporting
lola: not produced: 639
lola: state equation: 2
lola: find path: 1032
lola: symmetry: 202
lola: reporting
lola: not produced: 639
lola: state equation: 2
lola: find path: 1032
lola: symmetry: 202
lola: reporting
lola: not produced: 628
lola: state equation: 2
lola: find path: 1043
lola: symmetry: 202
lola: reporting
lola: not produced: 626
lola: state equation: 2
lola: find path: 1045
lola: symmetry: 202
lola: reporting
lola: not produced: 624
lola: state equation: 2
lola: find path: 1047
lola: symmetry: 202
lola: reporting
lola: not produced: 624
lola: state equation: 2
lola: find path: 1047
lola: symmetry: 202
lola: reporting
lola: not produced: 624
lola: state equation: 2
lola: find path: 1047
lola: symmetry: 202
lola: reporting
lola: not produced: 624
lola: state equation: 2
lola: find path: 1047
lola: symmetry: 202
lola: reporting
lola: not produced: 623
lola: state equation: 2
lola: find path: 1048
lola: symmetry: 202
lola: reporting
lola: not produced: 610
lola: state equation: 2
lola: find path: 1061
lola: symmetry: 202
lola: reporting
lola: not produced: 610
lola: state equation: 2
lola: find path: 1061
lola: symmetry: 202
lola: reporting
lola: not produced: 609
lola: state equation: 2
lola: find path: 1062
lola: symmetry: 202
lola: reporting
lola: not produced: 608
lola: state equation: 2
lola: find path: 1063
lola: symmetry: 202
lola: reporting
lola: not produced: 608
lola: state equation: 2
lola: find path: 1063
lola: symmetry: 202
lola: reporting
lola: not produced: 608
lola: state equation: 2
lola: find path: 1063
lola: symmetry: 202
lola: reporting
lola: not produced: 608
lola: state equation: 2
lola: find path: 1063
lola: symmetry: 202
lola: reporting
lola: not produced: 606
lola: state equation: 2
lola: find path: 1065
lola: symmetry: 202
lola: reporting
lola: not produced: 606
lola: state equation: 2
lola: find path: 1065
lola: symmetry: 202
lola: reporting
lola: not produced: 604
lola: state equation: 2
lola: find path: 1067
lola: symmetry: 202
lola: reporting
lola: not produced: 604
lola: state equation: 2
lola: find path: 1067
lola: symmetry: 202
lola: reporting
lola: not produced: 604
lola: state equation: 2
lola: find path: 1067
lola: symmetry: 202
lola: reporting
lola: not produced: 604
lola: state equation: 2
lola: find path: 1067
lola: symmetry: 202
lola: reporting
lola: not produced: 604
lola: state equation: 2
lola: find path: 1067
lola: symmetry: 202
lola: reporting
lola: not produced: 604
lola: state equation: 2
lola: find path: 1067
lola: symmetry: 202
lola: reporting
lola: not produced: 602
lola: state equation: 2
lola: find path: 1069
lola: symmetry: 202
lola: reporting
lola: not produced: 585
lola: state equation: 2
lola: find path: 1086
lola: symmetry: 202
lola: reporting
lola: not produced: 585
lola: state equation: 2
lola: find path: 1086
lola: symmetry: 202
lola: reporting
lola: not produced: 585
lola: state equation: 2
lola: find path: 1086
lola: symmetry: 202
lola: reporting
lola: not produced: 585
lola: state equation: 2
lola: find path: 1086
lola: symmetry: 202
lola: reporting
lola: not produced: 576
lola: state equation: 2
lola: find path: 1095
lola: symmetry: 202
lola: reporting
lola: not produced: 576
lola: state equation: 2
lola: find path: 1095
lola: symmetry: 202
lola: reporting
lola: not produced: 576
lola: state equation: 2
lola: find path: 1095
lola: symmetry: 202
lola: reporting
lola: not produced: 574
lola: state equation: 2
lola: find path: 1097
lola: symmetry: 202
lola: reporting
lola: not produced: 570
lola: state equation: 2
lola: find path: 1101
lola: symmetry: 202
lola: reporting
lola: not produced: 567
lola: state equation: 2
lola: find path: 1104
lola: symmetry: 202
lola: reporting
lola: not produced: 567
lola: state equation: 2
lola: find path: 1104
lola: symmetry: 202
lola: reporting
lola: not produced: 567
lola: state equation: 2
lola: find path: 1104
lola: symmetry: 202
lola: reporting
lola: not produced: 567
lola: state equation: 2
lola: find path: 1104
lola: symmetry: 202
lola: reporting
lola: not produced: 567
lola: state equation: 2
lola: find path: 1104
lola: symmetry: 202
lola: reporting
lola: not produced: 567
lola: state equation: 2
lola: find path: 1104
lola: symmetry: 202
lola: reporting
lola: not produced: 567
lola: state equation: 2
lola: find path: 1104
lola: symmetry: 202
lola: reporting
lola: not produced: 567
lola: state equation: 2
lola: find path: 1104
lola: symmetry: 202
lola: reporting
lola: not produced: 567
lola: state equation: 2
lola: find path: 1104
lola: symmetry: 202
lola: reporting
lola: not produced: 567
lola: state equation: 2
lola: find path: 1104
lola: symmetry: 202
lola: reporting
lola: not produced: 567
lola: state equation: 2
lola: find path: 1104
lola: symmetry: 202
lola: reporting
lola: not produced: 567
lola: state equation: 2
lola: find path: 1104
lola: symmetry: 202
lola: reporting
lola: not produced: 566
lola: state equation: 2
lola: find path: 1105
lola: symmetry: 202
lola: reporting
lola: not produced: 566
lola: state equation: 2
lola: find path: 1105
lola: symmetry: 202
lola: reporting
lola: not produced: 566
lola: state equation: 2
lola: find path: 1105
lola: symmetry: 202
lola: reporting
lola: not produced: 566
lola: state equation: 2
lola: find path: 1105
lola: symmetry: 202
lola: reporting
lola: not produced: 566
lola: state equation: 2
lola: find path: 1105
lola: symmetry: 202
lola: reporting
lola: not produced: 566
lola: state equation: 2
lola: find path: 1105
lola: symmetry: 202
lola: reporting
lola: not produced: 566
lola: state equation: 2
lola: find path: 1105
lola: symmetry: 202
lola: reporting
lola: not produced: 566
lola: state equation: 2
lola: find path: 1105
lola: symmetry: 202
lola: reporting
lola: not produced: 566
lola: state equation: 2
lola: find path: 1105
lola: symmetry: 202
lola: reporting
lola: not produced: 557
lola: state equation: 2
lola: find path: 1114
lola: symmetry: 202
lola: reporting
lola: not produced: 557
lola: state equation: 2
lola: find path: 1114
lola: symmetry: 202
lola: reporting
lola: not produced: 557
lola: state equation: 2
lola: find path: 1114
lola: symmetry: 202
lola: reporting
lola: not produced: 557
lola: state equation: 2
lola: find path: 1114
lola: symmetry: 202
lola: reporting
lola: not produced: 557
lola: state equation: 2
lola: find path: 1114
lola: symmetry: 202
lola: reporting
lola: not produced: 557
lola: state equation: 2
lola: find path: 1114
lola: symmetry: 202
sara: warning, failure of lp_solve (at job 2319)
lola: reporting
lola: not produced: 557
lola: state equation: 2
lola: find path: 1114
lola: symmetry: 202
lola: reporting
lola: not produced: 557
lola: state equation: 2
lola: find path: 1114
lola: symmetry: 202
lola: reporting
lola: not produced: 556
lola: state equation: 2
lola: find path: 1115
lola: symmetry: 202
lola: reporting
lola: not produced: 556
lola: state equation: 2
lola: find path: 1115
lola: symmetry: 202
lola: reporting
lola: not produced: 556
lola: state equation: 2
lola: find path: 1115
lola: symmetry: 202
lola: reporting
lola: not produced: 556
lola: state equation: 2
lola: find path: 1115
lola: symmetry: 202
lola: reporting
lola: not produced: 556
lola: state equation: 2
lola: find path: 1115
lola: symmetry: 202
lola: reporting
lola: not produced: 556
lola: state equation: 2
lola: find path: 1115
lola: symmetry: 202
lola: reporting
lola: not produced: 556
lola: state equation: 2
lola: find path: 1115
lola: symmetry: 202
lola: reporting
lola: not produced: 556
lola: state equation: 2
lola: find path: 1115
lola: symmetry: 202
lola: reporting
lola: not produced: 556
lola: state equation: 2
lola: find path: 1115
lola: symmetry: 202
lola: reporting
lola: not produced: 556
lola: state equation: 2
lola: find path: 1115
lola: symmetry: 202
lola: reporting
lola: not produced: 556
lola: state equation: 2
lola: find path: 1115
lola: symmetry: 202
lola: reporting
lola: not produced: 551
lola: state equation: 2
lola: find path: 1120
lola: symmetry: 202
lola: reporting
lola: not produced: 551
lola: state equation: 2
lola: find path: 1120
lola: symmetry: 202
lola: reporting
lola: not produced: 548
lola: state equation: 2
lola: find path: 1123
lola: symmetry: 202
lola: reporting
lola: not produced: 548
lola: state equation: 2
lola: find path: 1123
lola: symmetry: 202
lola: reporting
lola: not produced: 548
lola: state equation: 2
lola: find path: 1123
lola: symmetry: 202
lola: reporting
lola: not produced: 548
lola: state equation: 2
lola: find path: 1123
lola: symmetry: 202
lola: reporting
lola: not produced: 548
lola: state equation: 2
lola: find path: 1123
lola: symmetry: 202
lola: reporting
lola: not produced: 548
lola: state equation: 2
lola: find path: 1123
lola: symmetry: 202
lola: reporting
lola: not produced: 548
lola: state equation: 2
lola: find path: 1123
lola: symmetry: 202
lola: reporting
lola: not produced: 547
lola: state equation: 2
lola: find path: 1124
lola: symmetry: 202
lola: reporting
lola: not produced: 547
lola: state equation: 2
lola: find path: 1124
lola: symmetry: 202
lola: reporting
lola: not produced: 547
lola: state equation: 2
lola: find path: 1124
lola: symmetry: 202
lola: reporting
lola: not produced: 547
lola: state equation: 2
lola: find path: 1124
lola: symmetry: 202
lola: reporting
lola: not produced: 547
lola: state equation: 2
lola: find path: 1124
lola: symmetry: 202
lola: reporting
lola: not produced: 547
lola: state equation: 2
lola: find path: 1124
lola: symmetry: 202
lola: reporting
lola: not produced: 543
lola: state equation: 2
lola: find path: 1128
lola: symmetry: 202
lola: reporting
lola: not produced: 543
lola: state equation: 2
lola: find path: 1128
lola: symmetry: 202
lola: reporting
lola: not produced: 543
lola: state equation: 2
lola: find path: 1128
lola: symmetry: 202
lola: reporting
lola: not produced: 543
lola: state equation: 2
lola: find path: 1128
lola: symmetry: 202
lola: reporting
lola: not produced: 543
lola: state equation: 2
lola: find path: 1128
lola: symmetry: 202
lola: reporting
lola: not produced: 540
lola: state equation: 2
lola: find path: 1131
lola: symmetry: 202
lola: reporting
lola: not produced: 540
lola: state equation: 2
lola: find path: 1131
lola: symmetry: 202
lola: reporting
lola: not produced: 540
lola: state equation: 2
lola: find path: 1131
lola: symmetry: 202
lola: reporting
lola: not produced: 540
lola: state equation: 2
lola: find path: 1131
lola: symmetry: 202
lola: reporting
lola: not produced: 540
lola: state equation: 2
lola: find path: 1131
lola: symmetry: 202
lola: reporting
lola: not produced: 540
lola: state equation: 2
lola: find path: 1131
lola: symmetry: 202
lola: reporting
lola: not produced: 540
lola: state equation: 2
lola: find path: 1131
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 521
lola: state equation: 2
lola: find path: 1150
lola: symmetry: 202
lola: reporting
lola: not produced: 513
lola: state equation: 2
lola: find path: 1158
lola: symmetry: 202
lola: reporting
lola: not produced: 513
lola: state equation: 2
lola: find path: 1158
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 512
lola: state equation: 2
lola: find path: 1159
lola: symmetry: 202
lola: reporting
lola: not produced: 507
lola: state equation: 2
lola: find path: 1164
lola: symmetry: 202
lola: reporting
lola: not produced: 507
lola: state equation: 2
lola: find path: 1164
lola: symmetry: 202
lola: reporting
lola: not produced: 507
lola: state equation: 2
lola: find path: 1164
lola: symmetry: 202
lola: reporting
lola: not produced: 507
lola: state equation: 2
lola: find path: 1164
lola: symmetry: 202
lola: reporting
lola: not produced: 507
lola: state equation: 2
lola: find path: 1164
lola: symmetry: 202
lola: reporting
lola: not produced: 507
lola: state equation: 2
lola: find path: 1164
lola: symmetry: 202
lola: reporting
lola: not produced: 507
lola: state equation: 2
lola: find path: 1164
lola: symmetry: 202
lola: reporting
lola: not produced: 507
lola: state equation: 2
lola: find path: 1164
lola: symmetry: 202
lola: reporting
lola: not produced: 507
lola: state equation: 2
lola: find path: 1164
lola: symmetry: 202
lola: reporting
lola: not produced: 507
lola: state equation: 2
lola: find path: 1164
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: reporting
lola: not produced: 504
lola: state equation: 2
lola: find path: 1167
lola: symmetry: 202
lola: caught signal Terminated - aborting LoLA
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Time elapsed: 1254 secs. Pages in use: 4
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="CloudDeployment-PT-6b"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lolaxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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-5348"
echo " Executing tool lolaxred"
echo " Input is CloudDeployment-PT-6b, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r085-smll-167814406800273"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-6b.tgz
mv CloudDeployment-PT-6b execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;