About the Execution of Marcie+red for CloudDeployment-PT-7b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16213.151 | 1800000.00 | 2135561.00 | 57366.50 | [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.r088-smll-167814408300283.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 marciexred
Input is CloudDeployment-PT-7b, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-smll-167814408300283
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 8.7K Feb 25 14:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 14:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 25 14:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K 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 20M 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 1678233905344
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=marciexred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=CloudDeployment-PT-7b
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-08 00:05:08] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2023-03-08 00:05:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 00:05:10] [INFO ] Load time of PNML (sax parser for PT used): 1672 ms
[2023-03-08 00:05:10] [INFO ] Transformed 2271 places.
[2023-03-08 00:05:10] [INFO ] Transformed 19752 transitions.
[2023-03-08 00:05:10] [INFO ] Found NUPN structural information;
[2023-03-08 00:05:10] [INFO ] Parsed PT model containing 2271 places and 19752 transitions and 389666 arcs in 2047 ms.
Graph (trivial) has 2288 edges and 2271 vertex of which 588 / 2271 are part of one of the 56 SCC in 21 ms
Free SCC test removed 532 places
Structural test allowed to assert that 747 places are NOT stable. Took 149 ms.
Ensure Unique test removed 595 transitions
Reduce redundant transitions removed 595 transitions.
Incomplete random walk after 10000 steps, including 51 resets, run finished after 1974 ms. (steps per millisecond=5 ) properties (out of 1524) seen :668
Running SMT prover for 856 properties.
[2023-03-08 00:05:13] [INFO ] Flow matrix only has 19102 transitions (discarded 55 similar events)
// Phase 1: matrix 19102 rows 1739 cols
[2023-03-08 00:05:14] [INFO ] Computed 29 place invariants in 1095 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-08 00:05:42] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-08 00:05:42] [INFO ] After 25102ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 856 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 856 out of 1739 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1739/1739 places, 19157/19157 transitions.
Drop transitions removed 56 transitions
Reduce isomorphic transitions removed 56 transitions.
Drop transitions removed 404 transitions
Trivial Post-agglo rules discarded 404 transitions
Performed 404 trivial Post agglomeration. Transition count delta: 404
Iterating post reduction 0 with 460 rules applied. Total rules applied 460 place count 1739 transition count 18697
Reduce places removed 404 places and 0 transitions.
Iterating post reduction 1 with 404 rules applied. Total rules applied 864 place count 1335 transition count 18697
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 7 Pre rules applied. Total rules applied 864 place count 1335 transition count 18690
Deduced a syphon composed of 7 places in 12 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 2 with 14 rules applied. Total rules applied 878 place count 1328 transition count 18690
Discarding 210 places :
Symmetric choice reduction at 2 with 210 rule applications. Total rules 1088 place count 1118 transition count 18480
Iterating global reduction 2 with 210 rules applied. Total rules applied 1298 place count 1118 transition count 18480
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 1308 place count 1118 transition count 18470
Performed 63 Post agglomeration using F-continuation condition.Transition count delta: 63
Deduced a syphon composed of 63 places in 54 ms
Reduce places removed 63 places and 0 transitions.
Iterating global reduction 3 with 126 rules applied. Total rules applied 1434 place count 1055 transition count 18407
Performed 33 Post agglomeration using F-continuation condition with reduction of 34 identical transitions.
Deduced a syphon composed of 33 places in 51 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 1500 place count 1022 transition count 18455
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 1506 place count 1022 transition count 18449
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: -72
Deduced a syphon composed of 6 places in 52 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 4 with 12 rules applied. Total rules applied 1518 place count 1016 transition count 18521
Drop transitions removed 44 transitions
Redundant transition composition rules discarded 44 transitions
Iterating global reduction 4 with 44 rules applied. Total rules applied 1562 place count 1016 transition count 18477
Free-agglomeration rule applied 73 times with reduction of 16 identical transitions.
Iterating global reduction 4 with 73 rules applied. Total rules applied 1635 place count 1016 transition count 18388
Reduce places removed 73 places and 0 transitions.
Drop transitions removed 132 transitions
Reduce isomorphic transitions removed 132 transitions.
Iterating post reduction 4 with 205 rules applied. Total rules applied 1840 place count 943 transition count 18256
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 5 with 14 rules applied. Total rules applied 1854 place count 943 transition count 18242
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 5 with 1 rules applied. Total rules applied 1855 place count 943 transition count 34624
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1856 place count 942 transition count 34624
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 6 with 1 rules applied. Total rules applied 1857 place count 942 transition count 34624
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 1858 place count 941 transition count 34623
Applied a total of 1858 rules in 7136 ms. Remains 941 /1739 variables (removed 798) and now considering 34623/19157 (removed -15466) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7150 ms. Remains : 941/1739 places, 34623/19157 transitions.
Interrupted random walk after 59214 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen 156
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) 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 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) 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 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) 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 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) 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 700) 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 700) 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 700) 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 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) 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 700) 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 700) 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 700) 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 700) 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 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) 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 700) 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 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) 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 700) 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 700) 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 700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 700) 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 700) 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 700) 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 700) 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 700) 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 700) 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 700) 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 700) 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 700) 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 700) 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 700) 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 700) 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 700) 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 700) 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 700) 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 700) seen :0
Running SMT prover for 700 properties.
[2023-03-08 00:06:20] [INFO ] Flow matrix only has 34604 transitions (discarded 19 similar events)
// Phase 1: matrix 34604 rows 941 cols
[2023-03-08 00:06:21] [INFO ] Computed 29 place invariants in 1298 ms
[2023-03-08 00:06:47] [INFO ] After 26185ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:700
[2023-03-08 00:07:04] [INFO ] [Nat]Absence check using 0 positive and 29 generalized place invariants in 41 ms returned sat
[2023-03-08 00:10:32] [INFO ] After 192353ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :700
[2023-03-08 00:10:32] [INFO ] After 192451ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :700
Attempting to minimize the solution found.
Minimization took 11 ms.
[2023-03-08 00:10:32] [INFO ] After 225159ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :700
Fused 700 Parikh solutions to 2 different solutions.
Parikh walk visited 8 properties in 53 ms.
Support contains 692 out of 941 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 941/941 places, 34623/34623 transitions.
Drop transitions removed 71 transitions
Trivial Post-agglo rules discarded 71 transitions
Performed 71 trivial Post agglomeration. Transition count delta: 71
Iterating post reduction 0 with 71 rules applied. Total rules applied 71 place count 941 transition count 34552
Reduce places removed 71 places and 0 transitions.
Iterating post reduction 1 with 71 rules applied. Total rules applied 142 place count 870 transition count 34552
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 142 place count 870 transition count 34549
Deduced a syphon composed of 3 places in 6 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 148 place count 867 transition count 34549
Discarding 62 places :
Symmetric choice reduction at 2 with 62 rule applications. Total rules 210 place count 805 transition count 34487
Iterating global reduction 2 with 62 rules applied. Total rules applied 272 place count 805 transition count 34487
Ensure Unique test removed 31 transitions
Reduce isomorphic transitions removed 31 transitions.
Iterating post reduction 2 with 31 rules applied. Total rules applied 303 place count 805 transition count 34456
Performed 16 Post agglomeration using F-continuation condition with reduction of 8 identical transitions.
Deduced a syphon composed of 16 places in 5 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 3 with 32 rules applied. Total rules applied 335 place count 789 transition count 34432
Drop transitions removed 60 transitions
Reduce isomorphic transitions removed 60 transitions.
Iterating post reduction 3 with 60 rules applied. Total rules applied 395 place count 789 transition count 34372
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -5
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 397 place count 788 transition count 34377
Free-agglomeration rule applied 1 times.
Iterating global reduction 4 with 1 rules applied. Total rules applied 398 place count 788 transition count 34376
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 400 place count 787 transition count 34375
Applied a total of 400 rules in 2607 ms. Remains 787 /941 variables (removed 154) and now considering 34375/34623 (removed 248) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2608 ms. Remains : 787/941 places, 34375/34623 transitions.
Interrupted random walk after 94096 steps, including 898 resets, run timeout after 30003 ms. (steps per millisecond=3 ) properties seen 600
Incomplete Best-First random walk after 100001 steps, including 95 resets, run finished after 3221 ms. (steps per millisecond=31 ) properties (out of 92) seen :2
Incomplete Best-First random walk after 100001 steps, including 92 resets, run finished after 3072 ms. (steps per millisecond=32 ) properties (out of 90) seen :0
Incomplete Best-First random walk after 100001 steps, including 95 resets, run finished after 3230 ms. (steps per millisecond=30 ) properties (out of 90) seen :0
Incomplete Best-First random walk after 100001 steps, including 91 resets, run finished after 2971 ms. (steps per millisecond=33 ) properties (out of 90) seen :0
Incomplete Best-First random walk after 100001 steps, including 99 resets, run finished after 2982 ms. (steps per millisecond=33 ) properties (out of 90) seen :2
Incomplete Best-First random walk after 100001 steps, including 97 resets, run finished after 3237 ms. (steps per millisecond=30 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 100001 steps, including 96 resets, run finished after 3311 ms. (steps per millisecond=30 ) properties (out of 88) seen :2
Incomplete Best-First random walk after 100001 steps, including 95 resets, run finished after 2907 ms. (steps per millisecond=34 ) properties (out of 86) seen :0
Incomplete Best-First random walk after 100000 steps, including 93 resets, run finished after 3688 ms. (steps per millisecond=27 ) properties (out of 86) seen :0
Incomplete Best-First random walk after 100001 steps, including 95 resets, run finished after 3627 ms. (steps per millisecond=27 ) properties (out of 86) seen :2
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 3199 ms. (steps per millisecond=31 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 100001 steps, including 96 resets, run finished after 3312 ms. (steps per millisecond=30 ) properties (out of 84) seen :0
Incomplete Best-First random walk after 100001 steps, including 94 resets, run finished after 3354 ms. (steps per millisecond=29 ) properties (out of 84) seen :2
Incomplete Best-First random walk after 100001 steps, including 99 resets, run finished after 3243 ms. (steps per millisecond=30 ) properties (out of 82) seen :0
Incomplete Best-First random walk after 100001 steps, including 91 resets, run finished after 2527 ms. (steps per millisecond=39 ) properties (out of 82) seen :0
Incomplete Best-First random walk after 100001 steps, including 94 resets, run finished after 2567 ms. (steps per millisecond=38 ) properties (out of 82) seen :0
Incomplete Best-First random walk after 100001 steps, including 98 resets, run finished after 2528 ms. (steps per millisecond=39 ) properties (out of 82) seen :0
Incomplete Best-First random walk after 100001 steps, including 99 resets, run finished after 2685 ms. (steps per millisecond=37 ) properties (out of 82) seen :0
Incomplete Best-First random walk after 100001 steps, including 88 resets, run finished after 2479 ms. (steps per millisecond=40 ) properties (out of 82) seen :0
Incomplete Best-First random walk after 100000 steps, including 94 resets, run finished after 3308 ms. (steps per millisecond=30 ) properties (out of 82) seen :0
Incomplete Best-First random walk after 100001 steps, including 96 resets, run finished after 3502 ms. (steps per millisecond=28 ) properties (out of 82) seen :0
Incomplete Best-First random walk after 100001 steps, including 90 resets, run finished after 3387 ms. (steps per millisecond=29 ) properties (out of 82) seen :0
Incomplete Best-First random walk after 100001 steps, including 95 resets, run finished after 3479 ms. (steps per millisecond=28 ) properties (out of 82) seen :0
Incomplete Best-First random walk after 100001 steps, including 98 resets, run finished after 3565 ms. (steps per millisecond=28 ) properties (out of 82) seen :4
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 3567 ms. (steps per millisecond=28 ) properties (out of 78) seen :2
Incomplete Best-First random walk after 100001 steps, including 98 resets, run finished after 3177 ms. (steps per millisecond=31 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 100001 steps, including 96 resets, run finished after 3165 ms. (steps per millisecond=31 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 3114 ms. (steps per millisecond=32 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 100001 steps, including 96 resets, run finished after 3777 ms. (steps per millisecond=26 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 100001 steps, including 98 resets, run finished after 2836 ms. (steps per millisecond=35 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 100000 steps, including 99 resets, run finished after 2859 ms. (steps per millisecond=34 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 100001 steps, including 96 resets, run finished after 2732 ms. (steps per millisecond=36 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 2783 ms. (steps per millisecond=35 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 100001 steps, including 98 resets, run finished after 2902 ms. (steps per millisecond=34 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 100001 steps, including 97 resets, run finished after 2780 ms. (steps per millisecond=35 ) properties (out of 76) seen :2
Incomplete Best-First random walk after 100001 steps, including 91 resets, run finished after 2885 ms. (steps per millisecond=34 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100000 steps, including 95 resets, run finished after 2825 ms. (steps per millisecond=35 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 94 resets, run finished after 2770 ms. (steps per millisecond=36 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 2808 ms. (steps per millisecond=35 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 2835 ms. (steps per millisecond=35 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 95 resets, run finished after 2713 ms. (steps per millisecond=36 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 90 resets, run finished after 2815 ms. (steps per millisecond=35 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 2795 ms. (steps per millisecond=35 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 3127 ms. (steps per millisecond=31 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 3297 ms. (steps per millisecond=30 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 3367 ms. (steps per millisecond=29 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 95 resets, run finished after 3272 ms. (steps per millisecond=30 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 97 resets, run finished after 3226 ms. (steps per millisecond=30 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 96 resets, run finished after 3284 ms. (steps per millisecond=30 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 89 resets, run finished after 3278 ms. (steps per millisecond=30 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100000 steps, including 92 resets, run finished after 3148 ms. (steps per millisecond=31 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 3023 ms. (steps per millisecond=33 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 94 resets, run finished after 3036 ms. (steps per millisecond=32 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100000 steps, including 96 resets, run finished after 3153 ms. (steps per millisecond=31 ) properties (out of 74) seen :0
Incomplete Best-First random walk after 100001 steps, including 88 resets, run finished after 3087 ms. (steps per millisecond=32 ) properties (out of 74) seen :2
Incomplete Best-First random walk after 100001 steps, including 94 resets, run finished after 3091 ms. (steps per millisecond=32 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 3156 ms. (steps per millisecond=31 ) properties (out of 72) seen :2
Incomplete Best-First random walk after 100001 steps, including 89 resets, run finished after 3087 ms. (steps per millisecond=32 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 100000 steps, including 94 resets, run finished after 3083 ms. (steps per millisecond=32 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 3449 ms. (steps per millisecond=28 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 100001 steps, including 96 resets, run finished after 3750 ms. (steps per millisecond=26 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 3746 ms. (steps per millisecond=26 ) properties (out of 70) seen :2
Incomplete Best-First random walk after 100001 steps, including 94 resets, run finished after 3785 ms. (steps per millisecond=26 ) properties (out of 68) seen :0
Incomplete Best-First random walk after 100001 steps, including 96 resets, run finished after 3573 ms. (steps per millisecond=27 ) properties (out of 68) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 3334 ms. (steps per millisecond=29 ) properties (out of 68) seen :0
Incomplete Best-First random walk after 100001 steps, including 92 resets, run finished after 3224 ms. (steps per millisecond=31 ) properties (out of 68) seen :0
Incomplete Best-First random walk after 100001 steps, including 96 resets, run finished after 3134 ms. (steps per millisecond=31 ) properties (out of 68) seen :2
Incomplete Best-First random walk after 100001 steps, including 94 resets, run finished after 3101 ms. (steps per millisecond=32 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 100001 steps, including 94 resets, run finished after 3136 ms. (steps per millisecond=31 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 3132 ms. (steps per millisecond=31 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 100001 steps, including 96 resets, run finished after 3157 ms. (steps per millisecond=31 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 100001 steps, including 92 resets, run finished after 3149 ms. (steps per millisecond=31 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 100000 steps, including 96 resets, run finished after 3106 ms. (steps per millisecond=32 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 100001 steps, including 93 resets, run finished after 3150 ms. (steps per millisecond=31 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 100001 steps, including 94 resets, run finished after 3121 ms. (steps per millisecond=32 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 100001 steps, including 99 resets, run finished after 3202 ms. (steps per millisecond=31 ) properties (out of 66) seen :0
Running SMT prover for 66 properties.
// Phase 1: matrix 34375 rows 787 cols
[2023-03-08 00:15:05] [INFO ] Computed 29 place invariants in 1049 ms
[2023-03-08 00:15:06] [INFO ] After 1559ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:66
[2023-03-08 00:15:07] [INFO ] [Nat]Absence check using 0 positive and 29 generalized place invariants in 23 ms returned sat
[2023-03-08 00:16:27] [INFO ] After 78126ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :66
[2023-03-08 00:16:27] [INFO ] State equation strengthened by 8 read => feed constraints.
[2023-03-08 00:17:38] [INFO ] After 70953ms SMT Verify possible using 8 Read/Feed constraints in natural domain returned unsat :0 sat :66
[2023-03-08 00:18:51] [INFO ] After 144852ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :66
Attempting to minimize the solution found.
Minimization took 17 ms.
[2023-03-08 00:18:51] [INFO ] After 225103ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :66
Fused 66 Parikh solutions to 2 different solutions.
Parikh walk visited 0 properties in 51 ms.
Support contains 66 out of 787 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 787/787 places, 34375/34375 transitions.
Graph (complete) has 3460 edges and 787 vertex of which 773 are kept as prefixes of interest. Removing 14 places using SCC suffix rule.36 ms
Discarding 14 places :
Also discarding 7 output transitions
Drop transitions removed 7 transitions
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Drop transitions removed 296 transitions
Trivial Post-agglo rules discarded 296 transitions
Performed 296 trivial Post agglomeration. Transition count delta: 296
Iterating post reduction 0 with 303 rules applied. Total rules applied 304 place count 773 transition count 34065
Reduce places removed 296 places and 0 transitions.
Iterating post reduction 1 with 296 rules applied. Total rules applied 600 place count 477 transition count 34065
Performed 31 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 31 Pre rules applied. Total rules applied 600 place count 477 transition count 34034
Deduced a syphon composed of 31 places in 3 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 2 with 62 rules applied. Total rules applied 662 place count 446 transition count 34034
Discarding 78 places :
Symmetric choice reduction at 2 with 78 rule applications. Total rules 740 place count 368 transition count 33941
Iterating global reduction 2 with 78 rules applied. Total rules applied 818 place count 368 transition count 33941
Ensure Unique test removed 49 transitions
Reduce isomorphic transitions removed 49 transitions.
Iterating post reduction 2 with 49 rules applied. Total rules applied 867 place count 368 transition count 33892
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 3 Pre rules applied. Total rules applied 867 place count 368 transition count 33889
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 3 with 6 rules applied. Total rules applied 873 place count 365 transition count 33889
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 877 place count 361 transition count 33885
Iterating global reduction 3 with 4 rules applied. Total rules applied 881 place count 361 transition count 33885
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 884 place count 358 transition count 33882
Iterating global reduction 3 with 3 rules applied. Total rules applied 887 place count 358 transition count 33882
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 889 place count 356 transition count 33880
Iterating global reduction 3 with 2 rules applied. Total rules applied 891 place count 356 transition count 33880
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 892 place count 355 transition count 33879
Iterating global reduction 3 with 1 rules applied. Total rules applied 893 place count 355 transition count 33879
Performed 77 Post agglomeration using F-continuation condition.Transition count delta: 77
Deduced a syphon composed of 77 places in 3 ms
Reduce places removed 77 places and 0 transitions.
Iterating global reduction 3 with 154 rules applied. Total rules applied 1047 place count 278 transition count 33802
Drop transitions removed 15 transitions
Reduce isomorphic transitions removed 15 transitions.
Iterating post reduction 3 with 15 rules applied. Total rules applied 1062 place count 278 transition count 33787
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 1063 place count 277 transition count 33786
Iterating global reduction 4 with 1 rules applied. Total rules applied 1064 place count 277 transition count 33786
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 1065 place count 276 transition count 33785
Iterating global reduction 4 with 1 rules applied. Total rules applied 1066 place count 276 transition count 33785
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 1067 place count 275 transition count 33784
Iterating global reduction 4 with 1 rules applied. Total rules applied 1068 place count 275 transition count 33784
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 1069 place count 274 transition count 33783
Iterating global reduction 4 with 1 rules applied. Total rules applied 1070 place count 274 transition count 33783
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 1071 place count 273 transition count 33782
Iterating global reduction 4 with 1 rules applied. Total rules applied 1072 place count 273 transition count 33782
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: -132
Deduced a syphon composed of 21 places in 6 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 4 with 42 rules applied. Total rules applied 1114 place count 252 transition count 33914
Drop transitions removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 4 with 16 rules applied. Total rules applied 1130 place count 252 transition count 33898
Free-agglomeration rule applied 13 times.
Iterating global reduction 5 with 13 rules applied. Total rules applied 1143 place count 252 transition count 33885
Reduce places removed 13 places and 0 transitions.
Drop transitions removed 8 transitions
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 15 transitions.
Iterating post reduction 5 with 28 rules applied. Total rules applied 1171 place count 239 transition count 33870
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1172 place count 238 transition count 33862
Iterating global reduction 6 with 1 rules applied. Total rules applied 1173 place count 238 transition count 33862
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 6 with 8 rules applied. Total rules applied 1181 place count 238 transition count 2655314
Reduce places removed 8 places and 0 transitions.
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 6 with 12 rules applied. Total rules applied 1193 place count 230 transition count 2655310
Applied a total of 1193 rules in 150835 ms. Remains 230 /787 variables (removed 557) and now considering 2655310/34375 (removed -2620935) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 150836 ms. Remains : 230/787 places, 2655310/34375 transitions.
Interrupted random walk after 981 steps, including 12 resets, run timeout after 30051 ms. (steps per millisecond=0 ) properties seen 2
Interrupted Best-First random walk after 2234 steps, including 2 resets, run timeout after 5075 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1941 steps, including 1 resets, run timeout after 5020 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2050 steps, including 2 resets, run timeout after 5119 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2191 steps, including 2 resets, run timeout after 5010 ms. (steps per millisecond=0 ) properties seen 2
Interrupted Best-First random walk after 1693 steps, including 1 resets, run timeout after 5062 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1851 steps, including 2 resets, run timeout after 5026 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1925 steps, including 1 resets, run timeout after 5054 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1695 steps, including 1 resets, run timeout after 5073 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1768 steps, including 1 resets, run timeout after 5066 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1851 steps, including 1 resets, run timeout after 5056 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2150 steps, including 2 resets, run timeout after 5019 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1703 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2238 steps, including 2 resets, run timeout after 5091 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1731 steps, including 1 resets, run timeout after 5055 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1779 steps, including 1 resets, run timeout after 5079 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2199 steps, including 2 resets, run timeout after 5068 ms. (steps per millisecond=0 ) properties seen 2
Interrupted Best-First random walk after 2440 steps, including 2 resets, run timeout after 5030 ms. (steps per millisecond=0 ) properties seen 2
Interrupted Best-First random walk after 2154 steps, including 2 resets, run timeout after 5098 ms. (steps per millisecond=0 ) properties seen 2
Interrupted Best-First random walk after 2698 steps, including 3 resets, run timeout after 5022 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1749 steps, including 1 resets, run timeout after 5025 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2214 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1724 steps, including 1 resets, run timeout after 5029 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2200 steps, including 2 resets, run timeout after 5028 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2001 steps, including 1 resets, run timeout after 5055 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 3003 steps, including 3 resets, run timeout after 5059 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1955 steps, including 1 resets, run timeout after 5055 ms. (steps per millisecond=0 ) properties seen 2
Interrupted Best-First random walk after 2458 steps, including 2 resets, run timeout after 5024 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1707 steps, including 1 resets, run timeout after 5035 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2239 steps, including 2 resets, run timeout after 5071 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1834 steps, including 1 resets, run timeout after 5079 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2318 steps, including 2 resets, run timeout after 5035 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2333 steps, including 2 resets, run timeout after 5216 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2758 steps, including 2 resets, run timeout after 5068 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1841 steps, including 1 resets, run timeout after 5062 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1802 steps, including 1 resets, run timeout after 5031 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2213 steps, including 1 resets, run timeout after 5022 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1427 steps, including 1 resets, run timeout after 5058 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2243 steps, including 2 resets, run timeout after 5065 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1955 steps, including 1 resets, run timeout after 5044 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2295 steps, including 2 resets, run timeout after 5070 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2145 steps, including 2 resets, run timeout after 5081 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2300 steps, including 2 resets, run timeout after 5017 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2142 steps, including 1 resets, run timeout after 5052 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2537 steps, including 2 resets, run timeout after 5083 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1764 steps, including 1 resets, run timeout after 5033 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1745 steps, including 1 resets, run timeout after 5168 ms. (steps per millisecond=0 ) properties seen 2
Interrupted Best-First random walk after 1716 steps, including 1 resets, run timeout after 5056 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1985 steps, including 2 resets, run timeout after 5045 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2470 steps, including 2 resets, run timeout after 5047 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1745 steps, including 1 resets, run timeout after 5011 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2066 steps, including 2 resets, run timeout after 5107 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1864 steps, including 2 resets, run timeout after 5045 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 1712 steps, including 1 resets, run timeout after 5123 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2381 steps, including 2 resets, run timeout after 5019 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2027 steps, including 2 resets, run timeout after 5060 ms. (steps per millisecond=0 ) properties seen 0
Interrupted Best-First random walk after 2321 steps, including 2 resets, run timeout after 5041 ms. (steps per millisecond=0 ) properties seen 0
Running SMT prover for 52 properties.
[2023-03-08 00:27:00] [INFO ] Flow matrix only has 2654960 transitions (discarded 350 similar events)
// Phase 1: matrix 2654960 rows 230 cols
[2023-03-08 00:28:25] [INFO ] Computed 29 place invariants in 85350 ms
[2023-03-08 00:28:26] [INFO ] After 521ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:52
[2023-03-08 00:28:26] [INFO ] [Nat]Absence check using 0 positive and 29 generalized place invariants in 15 ms returned sat
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:629)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
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-08 00:32:11] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-08 00:32:11] [INFO ] After 225160ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:52
Fused 52 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 52 out of 230 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 230/230 places, 2655310/2655310 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 230 transition count 2655306
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 226 transition count 2655306
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 8 place count 226 transition count 2655303
Deduced a syphon composed of 3 places in 152 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 14 place count 223 transition count 2655303
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 162044 kB
After kill :
MemTotal: 16393216 kB
MemFree: 164464 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
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-7b"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="marciexred"
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 marciexred"
echo " Input is CloudDeployment-PT-7b, 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 r088-smll-167814408300283"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-7b.tgz
mv CloudDeployment-PT-7b 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 ;