About the Execution of Marcie+red for DLCshifumi-PT-5b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9574.884 | 3600000.00 | 3681807.00 | 9962.00 | ??F???F????T???? | normal |
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.r106-tall-167814483300849.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 DLCshifumi-PT-5b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r106-tall-167814483300849
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 5.5K Feb 26 08:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 08:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 08:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 08:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 08:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 08:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 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 9.7M 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
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-00
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-01
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-02
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-03
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-04
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-05
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-06
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-07
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-08
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-09
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-10
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-11
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-12
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-13
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-14
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1678490872094
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=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-5b
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-10 23:27:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2023-03-10 23:27:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 23:27:54] [INFO ] Load time of PNML (sax parser for PT used): 599 ms
[2023-03-10 23:27:54] [INFO ] Transformed 27146 places.
[2023-03-10 23:27:54] [INFO ] Transformed 39849 transitions.
[2023-03-10 23:27:54] [INFO ] Found NUPN structural information;
[2023-03-10 23:27:55] [INFO ] Parsed PT model containing 27146 places and 39849 transitions and 107425 arcs in 1748 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 31 ms.
FORMULA DLCshifumi-PT-5b-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 84 out of 27146 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1860 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
// Phase 1: matrix 39849 rows 27146 cols
[2023-03-10 23:27:59] [INFO ] Computed 1378 place invariants in 247 ms
[2023-03-10 23:28:03] [INFO ] Implicit Places using invariants in 3919 ms returned []
Implicit Place search using SMT only with invariants took 3944 ms to find 0 implicit places.
[2023-03-10 23:28:03] [INFO ] Invariant cache hit.
[2023-03-10 23:28:06] [INFO ] Dead Transitions using invariants and state equation in 3112 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 8930 ms. Remains : 27146/27146 places, 39849/39849 transitions.
Support contains 84 out of 27146 places after structural reductions.
[2023-03-10 23:28:09] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2023-03-10 23:28:09] [INFO ] Flatten gal took : 1241 ms
FORMULA DLCshifumi-PT-5b-CTLCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-10 23:28:10] [INFO ] Flatten gal took : 1019 ms
[2023-03-10 23:28:12] [INFO ] Input system was already deterministic with 39849 transitions.
Support contains 74 out of 27146 places (down from 84) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 630 ms. (steps per millisecond=15 ) properties (out of 37) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 31) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 31) seen :0
Running SMT prover for 31 properties.
[2023-03-10 23:28:16] [INFO ] Invariant cache hit.
[2023-03-10 23:28:37] [INFO ] [Real]Absence check using 1378 positive place invariants in 5661 ms returned sat
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
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: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.logic.AtomicReducerSR.checkAtomicPropositionsLogic(AtomicReducerSR.java:105)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.strongReductions(AtomicReducerSR.java:44)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.preSolveForLogic(LTLPropertySolver.java:176)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:626)
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-10 23:28:41] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-10 23:28:41] [INFO ] After 25118ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 31 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 51 out of 27146 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25198 edges and 27146 vertex of which 2211 / 27146 are part of one of the 142 SCC in 51 ms
Free SCC test removed 2069 places
Drop transitions removed 2340 transitions
Reduce isomorphic transitions removed 2340 transitions.
Drop transitions removed 12868 transitions
Trivial Post-agglo rules discarded 12868 transitions
Performed 12868 trivial Post agglomeration. Transition count delta: 12868
Iterating post reduction 0 with 12868 rules applied. Total rules applied 12869 place count 25077 transition count 24641
Reduce places removed 12868 places and 0 transitions.
Ensure Unique test removed 381 transitions
Reduce isomorphic transitions removed 381 transitions.
Drop transitions removed 375 transitions
Trivial Post-agglo rules discarded 375 transitions
Performed 375 trivial Post agglomeration. Transition count delta: 375
Iterating post reduction 1 with 13624 rules applied. Total rules applied 26493 place count 12209 transition count 23885
Reduce places removed 375 places and 0 transitions.
Ensure Unique test removed 120 transitions
Reduce isomorphic transitions removed 120 transitions.
Drop transitions removed 119 transitions
Trivial Post-agglo rules discarded 119 transitions
Performed 119 trivial Post agglomeration. Transition count delta: 119
Iterating post reduction 2 with 614 rules applied. Total rules applied 27107 place count 11834 transition count 23646
Reduce places removed 119 places and 0 transitions.
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Iterating post reduction 3 with 140 rules applied. Total rules applied 27247 place count 11715 transition count 23625
Reduce places removed 21 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 22 rules applied. Total rules applied 27269 place count 11694 transition count 23624
Performed 149 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 149 Pre rules applied. Total rules applied 27269 place count 11694 transition count 23475
Deduced a syphon composed of 149 places in 928 ms
Reduce places removed 149 places and 0 transitions.
Iterating global reduction 5 with 298 rules applied. Total rules applied 27567 place count 11545 transition count 23475
Discarding 3257 places :
Symmetric choice reduction at 5 with 3257 rule applications. Total rules 30824 place count 8288 transition count 20218
Iterating global reduction 5 with 3257 rules applied. Total rules applied 34081 place count 8288 transition count 20218
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 34082 place count 8288 transition count 20217
Performed 1352 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1352 Pre rules applied. Total rules applied 34082 place count 8288 transition count 18865
Deduced a syphon composed of 1352 places in 827 ms
Reduce places removed 1352 places and 0 transitions.
Iterating global reduction 6 with 2704 rules applied. Total rules applied 36786 place count 6936 transition count 18865
Discarding 268 places :
Symmetric choice reduction at 6 with 268 rule applications. Total rules 37054 place count 6668 transition count 13255
Iterating global reduction 6 with 268 rules applied. Total rules applied 37322 place count 6668 transition count 13255
Ensure Unique test removed 243 transitions
Reduce isomorphic transitions removed 243 transitions.
Iterating post reduction 6 with 243 rules applied. Total rules applied 37565 place count 6668 transition count 13012
Performed 1674 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1674 places in 5 ms
Reduce places removed 1674 places and 0 transitions.
Iterating global reduction 7 with 3348 rules applied. Total rules applied 40913 place count 4994 transition count 11333
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 7 with 6 rules applied. Total rules applied 40919 place count 4994 transition count 11327
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 41121 place count 4893 transition count 11797
Discarding 34 places :
Symmetric choice reduction at 8 with 34 rule applications. Total rules 41155 place count 4859 transition count 11457
Iterating global reduction 8 with 34 rules applied. Total rules applied 41189 place count 4859 transition count 11457
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 8 with 165 rules applied. Total rules applied 41354 place count 4859 transition count 11292
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 41556 place count 4758 transition count 11762
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 41557 place count 4758 transition count 11761
Discarding 34 places :
Symmetric choice reduction at 10 with 34 rule applications. Total rules 41591 place count 4724 transition count 11421
Iterating global reduction 10 with 34 rules applied. Total rules applied 41625 place count 4724 transition count 11421
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 10 with 165 rules applied. Total rules applied 41790 place count 4724 transition count 11256
Performed 101 Post agglomeration using F-continuation condition with reduction of 160 identical transitions.
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 11 with 202 rules applied. Total rules applied 41992 place count 4623 transition count 11730
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 41993 place count 4623 transition count 11729
Discarding 33 places :
Symmetric choice reduction at 12 with 33 rule applications. Total rules 42026 place count 4590 transition count 11399
Iterating global reduction 12 with 33 rules applied. Total rules applied 42059 place count 4590 transition count 11399
Ensure Unique test removed 161 transitions
Reduce isomorphic transitions removed 161 transitions.
Iterating post reduction 12 with 161 rules applied. Total rules applied 42220 place count 4590 transition count 11238
Performed 91 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 91 places in 2 ms
Reduce places removed 91 places and 0 transitions.
Iterating global reduction 13 with 182 rules applied. Total rules applied 42402 place count 4499 transition count 11720
Drop transitions removed 37 transitions
Reduce isomorphic transitions removed 37 transitions.
Iterating post reduction 13 with 37 rules applied. Total rules applied 42439 place count 4499 transition count 11683
Discarding 22 places :
Symmetric choice reduction at 14 with 22 rule applications. Total rules 42461 place count 4477 transition count 11463
Iterating global reduction 14 with 22 rules applied. Total rules applied 42483 place count 4477 transition count 11463
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 14 with 110 rules applied. Total rules applied 42593 place count 4477 transition count 11353
Drop transitions removed 67 transitions
Redundant transition composition rules discarded 67 transitions
Iterating global reduction 15 with 67 rules applied. Total rules applied 42660 place count 4477 transition count 11286
Discarding 10 places :
Symmetric choice reduction at 15 with 10 rule applications. Total rules 42670 place count 4467 transition count 11276
Iterating global reduction 15 with 10 rules applied. Total rules applied 42680 place count 4467 transition count 11276
Discarding 10 places :
Symmetric choice reduction at 15 with 10 rule applications. Total rules 42690 place count 4457 transition count 9988
Iterating global reduction 15 with 10 rules applied. Total rules applied 42700 place count 4457 transition count 9988
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 15 with 10 rules applied. Total rules applied 42710 place count 4457 transition count 9978
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 2 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 16 with 10 rules applied. Total rules applied 42720 place count 4452 transition count 9973
Discarding 5 places :
Symmetric choice reduction at 16 with 5 rule applications. Total rules 42725 place count 4447 transition count 9329
Iterating global reduction 16 with 5 rules applied. Total rules applied 42730 place count 4447 transition count 9329
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 16 with 5 rules applied. Total rules applied 42735 place count 4447 transition count 9324
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 17 with 8 rules applied. Total rules applied 42743 place count 4443 transition count 9351
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 17 with 5 rules applied. Total rules applied 42748 place count 4443 transition count 9346
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 18 with 21 rules applied. Total rules applied 42769 place count 4443 transition count 9325
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 18 with 8 rules applied. Total rules applied 42777 place count 4439 transition count 9352
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 18 with 6 rules applied. Total rules applied 42783 place count 4439 transition count 9346
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 19 with 21 rules applied. Total rules applied 42804 place count 4439 transition count 9325
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 19 with 8 rules applied. Total rules applied 42812 place count 4435 transition count 9352
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 19 with 6 rules applied. Total rules applied 42818 place count 4435 transition count 9346
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 20 with 21 rules applied. Total rules applied 42839 place count 4435 transition count 9325
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 20 with 8 rules applied. Total rules applied 42847 place count 4431 transition count 9352
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 20 with 6 rules applied. Total rules applied 42853 place count 4431 transition count 9346
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 21 with 21 rules applied. Total rules applied 42874 place count 4431 transition count 9325
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 21 with 8 rules applied. Total rules applied 42882 place count 4427 transition count 9352
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 21 with 6 rules applied. Total rules applied 42888 place count 4427 transition count 9346
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 22 with 21 rules applied. Total rules applied 42909 place count 4427 transition count 9325
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 22 with 8 rules applied. Total rules applied 42917 place count 4423 transition count 9352
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 22 with 6 rules applied. Total rules applied 42923 place count 4423 transition count 9346
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 23 with 21 rules applied. Total rules applied 42944 place count 4423 transition count 9325
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 23 with 8 rules applied. Total rules applied 42952 place count 4419 transition count 9352
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 23 with 6 rules applied. Total rules applied 42958 place count 4419 transition count 9346
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 24 with 21 rules applied. Total rules applied 42979 place count 4419 transition count 9325
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 24 with 8 rules applied. Total rules applied 42987 place count 4415 transition count 9353
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 24 with 6 rules applied. Total rules applied 42993 place count 4415 transition count 9347
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 25 with 21 rules applied. Total rules applied 43014 place count 4415 transition count 9326
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 25 with 8 rules applied. Total rules applied 43022 place count 4411 transition count 9354
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 25 with 6 rules applied. Total rules applied 43028 place count 4411 transition count 9348
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 26 with 21 rules applied. Total rules applied 43049 place count 4411 transition count 9327
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 26 with 8 rules applied. Total rules applied 43057 place count 4407 transition count 9354
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 26 with 6 rules applied. Total rules applied 43063 place count 4407 transition count 9348
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 27 with 21 rules applied. Total rules applied 43084 place count 4407 transition count 9327
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 27 with 8 rules applied. Total rules applied 43092 place count 4403 transition count 9355
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 27 with 6 rules applied. Total rules applied 43098 place count 4403 transition count 9349
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 28 with 21 rules applied. Total rules applied 43119 place count 4403 transition count 9328
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 28 with 8 rules applied. Total rules applied 43127 place count 4399 transition count 9355
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 28 with 6 rules applied. Total rules applied 43133 place count 4399 transition count 9349
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 29 with 21 rules applied. Total rules applied 43154 place count 4399 transition count 9328
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 29 with 8 rules applied. Total rules applied 43162 place count 4395 transition count 9355
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 29 with 6 rules applied. Total rules applied 43168 place count 4395 transition count 9349
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 30 with 21 rules applied. Total rules applied 43189 place count 4395 transition count 9328
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 30 with 8 rules applied. Total rules applied 43197 place count 4391 transition count 9355
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 30 with 6 rules applied. Total rules applied 43203 place count 4391 transition count 9349
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 31 with 21 rules applied. Total rules applied 43224 place count 4391 transition count 9328
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 31 with 8 rules applied. Total rules applied 43232 place count 4387 transition count 9351
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 31 with 5 rules applied. Total rules applied 43237 place count 4387 transition count 9346
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 32 with 20 rules applied. Total rules applied 43257 place count 4387 transition count 9326
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 32 with 8 rules applied. Total rules applied 43265 place count 4383 transition count 9345
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 32 with 4 rules applied. Total rules applied 43269 place count 4383 transition count 9341
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 33 with 19 rules applied. Total rules applied 43288 place count 4383 transition count 9322
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 33 with 8 rules applied. Total rules applied 43296 place count 4379 transition count 9341
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 33 with 4 rules applied. Total rules applied 43300 place count 4379 transition count 9337
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 34 with 19 rules applied. Total rules applied 43319 place count 4379 transition count 9318
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 34 with 8 rules applied. Total rules applied 43327 place count 4375 transition count 9337
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 34 with 4 rules applied. Total rules applied 43331 place count 4375 transition count 9333
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 35 with 19 rules applied. Total rules applied 43350 place count 4375 transition count 9314
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 35 with 8 rules applied. Total rules applied 43358 place count 4371 transition count 9333
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 35 with 4 rules applied. Total rules applied 43362 place count 4371 transition count 9329
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 36 with 19 rules applied. Total rules applied 43381 place count 4371 transition count 9310
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -5
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 36 with 4 rules applied. Total rules applied 43385 place count 4369 transition count 9315
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 36 with 2 rules applied. Total rules applied 43387 place count 4369 transition count 9313
Drop transitions removed 5 transitions
Redundant transition composition rules discarded 5 transitions
Iterating global reduction 37 with 5 rules applied. Total rules applied 43392 place count 4369 transition count 9308
Free-agglomeration rule applied 2670 times with reduction of 1693 identical transitions.
Iterating global reduction 37 with 2670 rules applied. Total rules applied 46062 place count 4369 transition count 4945
Reduce places removed 2670 places and 0 transitions.
Drop transitions removed 3082 transitions
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 3093 transitions.
Graph (complete) has 3598 edges and 1699 vertex of which 465 are kept as prefixes of interest. Removing 1234 places using SCC suffix rule.3 ms
Discarding 1234 places :
Also discarding 1100 output transitions
Drop transitions removed 1100 transitions
Iterating post reduction 37 with 5764 rules applied. Total rules applied 51826 place count 465 transition count 752
Drop transitions removed 112 transitions
Ensure Unique test removed 42 transitions
Reduce isomorphic transitions removed 154 transitions.
Iterating post reduction 38 with 154 rules applied. Total rules applied 51980 place count 465 transition count 598
Discarding 194 places :
Symmetric choice reduction at 39 with 194 rule applications. Total rules 52174 place count 271 transition count 335
Iterating global reduction 39 with 194 rules applied. Total rules applied 52368 place count 271 transition count 335
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 39 with 1 rules applied. Total rules applied 52369 place count 271 transition count 334
Drop transitions removed 13 transitions
Redundant transition composition rules discarded 13 transitions
Iterating global reduction 40 with 13 rules applied. Total rules applied 52382 place count 271 transition count 321
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 40 with 2 rules applied. Total rules applied 52384 place count 269 transition count 321
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 41 with 2 rules applied. Total rules applied 52386 place count 269 transition count 321
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 41 with 1 rules applied. Total rules applied 52387 place count 268 transition count 320
Reduce places removed 5 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 41 with 9 rules applied. Total rules applied 52396 place count 263 transition count 316
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 42 with 4 rules applied. Total rules applied 52400 place count 259 transition count 316
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 43 with 6 Pre rules applied. Total rules applied 52400 place count 259 transition count 310
Deduced a syphon composed of 6 places in 0 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 43 with 12 rules applied. Total rules applied 52412 place count 253 transition count 310
Performed 13 Post agglomeration using F-continuation condition with reduction of 2 identical transitions.
Deduced a syphon composed of 13 places in 1 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 43 with 31 rules applied. Total rules applied 52443 place count 235 transition count 295
Drop transitions removed 18 transitions
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 41 transitions.
Graph (trivial) has 16 edges and 235 vertex of which 2 / 235 are part of one of the 1 SCC in 0 ms
Free SCC test removed 1 places
Iterating post reduction 43 with 42 rules applied. Total rules applied 52485 place count 234 transition count 254
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 44 with 3 rules applied. Total rules applied 52488 place count 234 transition count 251
Discarding 8 places :
Symmetric choice reduction at 45 with 8 rule applications. Total rules 52496 place count 226 transition count 239
Iterating global reduction 45 with 8 rules applied. Total rules applied 52504 place count 226 transition count 239
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 45 with 15 rules applied. Total rules applied 52519 place count 216 transition count 234
Drop transitions removed 9 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 11 transitions.
Graph (trivial) has 14 edges and 216 vertex of which 10 / 216 are part of one of the 5 SCC in 0 ms
Free SCC test removed 5 places
Iterating post reduction 45 with 12 rules applied. Total rules applied 52531 place count 211 transition count 223
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 20 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 22 transitions.
Graph (complete) has 462 edges and 210 vertex of which 204 are kept as prefixes of interest. Removing 6 places using SCC suffix rule.1 ms
Discarding 6 places :
Also discarding 0 output transitions
Iterating post reduction 46 with 24 rules applied. Total rules applied 52555 place count 204 transition count 201
Drop transitions removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 47 with 4 rules applied. Total rules applied 52559 place count 204 transition count 197
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 47 with 4 rules applied. Total rules applied 52563 place count 200 transition count 197
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 48 with 2 Pre rules applied. Total rules applied 52563 place count 200 transition count 195
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 48 with 4 rules applied. Total rules applied 52567 place count 198 transition count 195
Free-agglomeration rule applied 2 times.
Iterating global reduction 48 with 2 rules applied. Total rules applied 52569 place count 198 transition count 193
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 48 with 2 rules applied. Total rules applied 52571 place count 196 transition count 193
Applied a total of 52571 rules in 29676 ms. Remains 196 /27146 variables (removed 26950) and now considering 193/39849 (removed 39656) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 29676 ms. Remains : 196/27146 places, 193/39849 transitions.
Finished random walk after 3362 steps, including 1 resets, run visited all 31 properties in 52 ms. (steps per millisecond=64 )
[2023-03-10 23:29:11] [INFO ] Flatten gal took : 747 ms
[2023-03-10 23:29:12] [INFO ] Flatten gal took : 709 ms
[2023-03-10 23:29:13] [INFO ] Input system was already deterministic with 39849 transitions.
Computed a total of 6377 stabilizing places and 6377 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25282 edges and 27146 vertex of which 2232 / 27146 are part of one of the 142 SCC in 9 ms
Free SCC test removed 2090 places
Ensure Unique test removed 2222 transitions
Reduce isomorphic transitions removed 2222 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12913 transitions
Trivial Post-agglo rules discarded 12913 transitions
Performed 12913 trivial Post agglomeration. Transition count delta: 12913
Iterating post reduction 0 with 12913 rules applied. Total rules applied 12914 place count 25055 transition count 24713
Reduce places removed 12913 places and 0 transitions.
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Drop transitions removed 378 transitions
Trivial Post-agglo rules discarded 378 transitions
Performed 378 trivial Post agglomeration. Transition count delta: 378
Iterating post reduction 1 with 13675 rules applied. Total rules applied 26589 place count 12142 transition count 23951
Reduce places removed 378 places and 0 transitions.
Ensure Unique test removed 122 transitions
Reduce isomorphic transitions removed 122 transitions.
Drop transitions removed 122 transitions
Trivial Post-agglo rules discarded 122 transitions
Performed 122 trivial Post agglomeration. Transition count delta: 122
Iterating post reduction 2 with 622 rules applied. Total rules applied 27211 place count 11764 transition count 23707
Reduce places removed 122 places and 0 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Iterating post reduction 3 with 127 rules applied. Total rules applied 27338 place count 11642 transition count 23702
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 27343 place count 11637 transition count 23702
Performed 128 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 128 Pre rules applied. Total rules applied 27343 place count 11637 transition count 23574
Deduced a syphon composed of 128 places in 719 ms
Reduce places removed 128 places and 0 transitions.
Iterating global reduction 5 with 256 rules applied. Total rules applied 27599 place count 11509 transition count 23574
Discarding 3284 places :
Symmetric choice reduction at 5 with 3284 rule applications. Total rules 30883 place count 8225 transition count 20290
Iterating global reduction 5 with 3284 rules applied. Total rules applied 34167 place count 8225 transition count 20290
Performed 1248 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1248 Pre rules applied. Total rules applied 34167 place count 8225 transition count 19042
Deduced a syphon composed of 1248 places in 620 ms
Reduce places removed 1248 places and 0 transitions.
Iterating global reduction 5 with 2496 rules applied. Total rules applied 36663 place count 6977 transition count 19042
Discarding 279 places :
Symmetric choice reduction at 5 with 279 rule applications. Total rules 36942 place count 6698 transition count 13377
Iterating global reduction 5 with 279 rules applied. Total rules applied 37221 place count 6698 transition count 13377
Ensure Unique test removed 254 transitions
Reduce isomorphic transitions removed 254 transitions.
Iterating post reduction 5 with 254 rules applied. Total rules applied 37475 place count 6698 transition count 13123
Performed 1765 Post agglomeration using F-continuation condition.Transition count delta: 1765
Deduced a syphon composed of 1765 places in 4 ms
Reduce places removed 1765 places and 0 transitions.
Iterating global reduction 6 with 3530 rules applied. Total rules applied 41005 place count 4933 transition count 11358
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 11 transitions
Redundant transition composition rules discarded 11 transitions
Iterating global reduction 6 with 11 rules applied. Total rules applied 41016 place count 4933 transition count 11347
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 6 with 6 rules applied. Total rules applied 41022 place count 4933 transition count 11341
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 7 with 6 rules applied. Total rules applied 41028 place count 4927 transition count 11341
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 41030 place count 4925 transition count 11339
Applied a total of 41030 rules in 8382 ms. Remains 4925 /27146 variables (removed 22221) and now considering 11339/39849 (removed 28510) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 8386 ms. Remains : 4925/27146 places, 11339/39849 transitions.
[2023-03-10 23:29:25] [INFO ] Flatten gal took : 232 ms
[2023-03-10 23:29:26] [INFO ] Flatten gal took : 244 ms
[2023-03-10 23:29:26] [INFO ] Input system was already deterministic with 11339 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1690 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1700 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:29:28] [INFO ] Flatten gal took : 657 ms
[2023-03-10 23:29:29] [INFO ] Flatten gal took : 716 ms
[2023-03-10 23:29:31] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25265 edges and 27146 vertex of which 2234 / 27146 are part of one of the 143 SCC in 11 ms
Free SCC test removed 2091 places
Ensure Unique test removed 2222 transitions
Reduce isomorphic transitions removed 2222 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12905 transitions
Trivial Post-agglo rules discarded 12905 transitions
Performed 12905 trivial Post agglomeration. Transition count delta: 12905
Iterating post reduction 0 with 12905 rules applied. Total rules applied 12906 place count 25054 transition count 24721
Reduce places removed 12905 places and 0 transitions.
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Drop transitions removed 379 transitions
Trivial Post-agglo rules discarded 379 transitions
Performed 379 trivial Post agglomeration. Transition count delta: 379
Iterating post reduction 1 with 13668 rules applied. Total rules applied 26574 place count 12149 transition count 23958
Reduce places removed 379 places and 0 transitions.
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 2 with 625 rules applied. Total rules applied 27199 place count 11770 transition count 23712
Reduce places removed 123 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 3 with 127 rules applied. Total rules applied 27326 place count 11647 transition count 23708
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 27330 place count 11643 transition count 23708
Performed 135 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 135 Pre rules applied. Total rules applied 27330 place count 11643 transition count 23573
Deduced a syphon composed of 135 places in 685 ms
Reduce places removed 135 places and 0 transitions.
Iterating global reduction 5 with 270 rules applied. Total rules applied 27600 place count 11508 transition count 23573
Discarding 3283 places :
Symmetric choice reduction at 5 with 3283 rule applications. Total rules 30883 place count 8225 transition count 20290
Iterating global reduction 5 with 3283 rules applied. Total rules applied 34166 place count 8225 transition count 20290
Performed 1244 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1244 Pre rules applied. Total rules applied 34166 place count 8225 transition count 19046
Deduced a syphon composed of 1244 places in 598 ms
Reduce places removed 1244 places and 0 transitions.
Iterating global reduction 5 with 2488 rules applied. Total rules applied 36654 place count 6981 transition count 19046
Discarding 278 places :
Symmetric choice reduction at 5 with 278 rule applications. Total rules 36932 place count 6703 transition count 13386
Iterating global reduction 5 with 278 rules applied. Total rules applied 37210 place count 6703 transition count 13386
Ensure Unique test removed 253 transitions
Reduce isomorphic transitions removed 253 transitions.
Iterating post reduction 5 with 253 rules applied. Total rules applied 37463 place count 6703 transition count 13133
Performed 1767 Post agglomeration using F-continuation condition.Transition count delta: 1767
Deduced a syphon composed of 1767 places in 3 ms
Reduce places removed 1767 places and 0 transitions.
Iterating global reduction 6 with 3534 rules applied. Total rules applied 40997 place count 4936 transition count 11366
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 6 with 10 rules applied. Total rules applied 41007 place count 4936 transition count 11356
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 6 with 5 rules applied. Total rules applied 41012 place count 4936 transition count 11351
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 7 with 5 rules applied. Total rules applied 41017 place count 4931 transition count 11351
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 41019 place count 4929 transition count 11349
Applied a total of 41019 rules in 7431 ms. Remains 4929 /27146 variables (removed 22217) and now considering 11349/39849 (removed 28500) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 7432 ms. Remains : 4929/27146 places, 11349/39849 transitions.
[2023-03-10 23:29:38] [INFO ] Flatten gal took : 185 ms
[2023-03-10 23:29:39] [INFO ] Flatten gal took : 214 ms
[2023-03-10 23:29:39] [INFO ] Input system was already deterministic with 11349 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1700 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1702 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:29:42] [INFO ] Flatten gal took : 688 ms
[2023-03-10 23:29:42] [INFO ] Flatten gal took : 735 ms
[2023-03-10 23:29:44] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1733 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1734 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:29:46] [INFO ] Flatten gal took : 650 ms
[2023-03-10 23:29:47] [INFO ] Flatten gal took : 722 ms
[2023-03-10 23:29:48] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1737 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1741 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:29:51] [INFO ] Flatten gal took : 645 ms
[2023-03-10 23:29:52] [INFO ] Flatten gal took : 711 ms
[2023-03-10 23:29:53] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1667 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1670 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:29:56] [INFO ] Flatten gal took : 674 ms
[2023-03-10 23:29:56] [INFO ] Flatten gal took : 693 ms
[2023-03-10 23:29:58] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1726 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1727 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:30:00] [INFO ] Flatten gal took : 651 ms
[2023-03-10 23:30:01] [INFO ] Flatten gal took : 720 ms
[2023-03-10 23:30:02] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25281 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 9 ms
Free SCC test removed 2105 places
Ensure Unique test removed 2238 transitions
Reduce isomorphic transitions removed 2238 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12899 transitions
Trivial Post-agglo rules discarded 12899 transitions
Performed 12899 trivial Post agglomeration. Transition count delta: 12899
Iterating post reduction 0 with 12899 rules applied. Total rules applied 12900 place count 25040 transition count 24711
Reduce places removed 12899 places and 0 transitions.
Ensure Unique test removed 382 transitions
Reduce isomorphic transitions removed 382 transitions.
Drop transitions removed 377 transitions
Trivial Post-agglo rules discarded 377 transitions
Performed 377 trivial Post agglomeration. Transition count delta: 377
Iterating post reduction 1 with 13658 rules applied. Total rules applied 26558 place count 12141 transition count 23952
Reduce places removed 377 places and 0 transitions.
Ensure Unique test removed 121 transitions
Reduce isomorphic transitions removed 121 transitions.
Drop transitions removed 121 transitions
Trivial Post-agglo rules discarded 121 transitions
Performed 121 trivial Post agglomeration. Transition count delta: 121
Iterating post reduction 2 with 619 rules applied. Total rules applied 27177 place count 11764 transition count 23710
Reduce places removed 121 places and 0 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Iterating post reduction 3 with 126 rules applied. Total rules applied 27303 place count 11643 transition count 23705
Reduce places removed 5 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 27309 place count 11638 transition count 23704
Performed 125 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 125 Pre rules applied. Total rules applied 27309 place count 11638 transition count 23579
Deduced a syphon composed of 125 places in 677 ms
Reduce places removed 125 places and 0 transitions.
Iterating global reduction 5 with 250 rules applied. Total rules applied 27559 place count 11513 transition count 23579
Discarding 3285 places :
Symmetric choice reduction at 5 with 3285 rule applications. Total rules 30844 place count 8228 transition count 20294
Iterating global reduction 5 with 3285 rules applied. Total rules applied 34129 place count 8228 transition count 20294
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 34130 place count 8228 transition count 20293
Performed 1249 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1249 Pre rules applied. Total rules applied 34130 place count 8228 transition count 19044
Deduced a syphon composed of 1249 places in 588 ms
Reduce places removed 1249 places and 0 transitions.
Iterating global reduction 6 with 2498 rules applied. Total rules applied 36628 place count 6979 transition count 19044
Discarding 279 places :
Symmetric choice reduction at 6 with 279 rule applications. Total rules 36907 place count 6700 transition count 13501
Iterating global reduction 6 with 279 rules applied. Total rules applied 37186 place count 6700 transition count 13501
Ensure Unique test removed 254 transitions
Reduce isomorphic transitions removed 254 transitions.
Iterating post reduction 6 with 254 rules applied. Total rules applied 37440 place count 6700 transition count 13247
Performed 1765 Post agglomeration using F-continuation condition.Transition count delta: 1765
Deduced a syphon composed of 1765 places in 2 ms
Reduce places removed 1765 places and 0 transitions.
Iterating global reduction 7 with 3530 rules applied. Total rules applied 40970 place count 4935 transition count 11482
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 11 transitions
Redundant transition composition rules discarded 11 transitions
Iterating global reduction 7 with 11 rules applied. Total rules applied 40981 place count 4935 transition count 11471
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 7 with 5 rules applied. Total rules applied 40986 place count 4935 transition count 11466
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 8 with 5 rules applied. Total rules applied 40991 place count 4930 transition count 11466
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 1 Pre rules applied. Total rules applied 40991 place count 4930 transition count 11465
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 40993 place count 4929 transition count 11465
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 40995 place count 4927 transition count 11463
Applied a total of 40995 rules in 7767 ms. Remains 4927 /27146 variables (removed 22219) and now considering 11463/39849 (removed 28386) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 7767 ms. Remains : 4927/27146 places, 11463/39849 transitions.
[2023-03-10 23:30:11] [INFO ] Flatten gal took : 185 ms
[2023-03-10 23:30:11] [INFO ] Flatten gal took : 210 ms
[2023-03-10 23:30:11] [INFO ] Input system was already deterministic with 11463 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1702 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1703 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:30:14] [INFO ] Flatten gal took : 644 ms
[2023-03-10 23:30:14] [INFO ] Flatten gal took : 716 ms
[2023-03-10 23:30:16] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1699 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1700 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:30:18] [INFO ] Flatten gal took : 652 ms
[2023-03-10 23:30:19] [INFO ] Flatten gal took : 719 ms
[2023-03-10 23:30:20] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25291 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 9 ms
Free SCC test removed 2105 places
Ensure Unique test removed 2238 transitions
Reduce isomorphic transitions removed 2238 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12910 transitions
Trivial Post-agglo rules discarded 12910 transitions
Performed 12910 trivial Post agglomeration. Transition count delta: 12910
Iterating post reduction 0 with 12910 rules applied. Total rules applied 12911 place count 25040 transition count 24700
Reduce places removed 12910 places and 0 transitions.
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Drop transitions removed 379 transitions
Trivial Post-agglo rules discarded 379 transitions
Performed 379 trivial Post agglomeration. Transition count delta: 379
Iterating post reduction 1 with 13673 rules applied. Total rules applied 26584 place count 12130 transition count 23937
Reduce places removed 379 places and 0 transitions.
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 2 with 625 rules applied. Total rules applied 27209 place count 11751 transition count 23691
Reduce places removed 123 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 3 with 124 rules applied. Total rules applied 27333 place count 11628 transition count 23690
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 27334 place count 11627 transition count 23690
Performed 124 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 124 Pre rules applied. Total rules applied 27334 place count 11627 transition count 23566
Deduced a syphon composed of 124 places in 712 ms
Reduce places removed 124 places and 0 transitions.
Iterating global reduction 5 with 248 rules applied. Total rules applied 27582 place count 11503 transition count 23566
Discarding 3285 places :
Symmetric choice reduction at 5 with 3285 rule applications. Total rules 30867 place count 8218 transition count 20281
Iterating global reduction 5 with 3285 rules applied. Total rules applied 34152 place count 8218 transition count 20281
Performed 1248 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1248 Pre rules applied. Total rules applied 34152 place count 8218 transition count 19033
Deduced a syphon composed of 1248 places in 590 ms
Reduce places removed 1248 places and 0 transitions.
Iterating global reduction 5 with 2496 rules applied. Total rules applied 36648 place count 6970 transition count 19033
Discarding 280 places :
Symmetric choice reduction at 5 with 280 rule applications. Total rules 36928 place count 6690 transition count 13363
Iterating global reduction 5 with 280 rules applied. Total rules applied 37208 place count 6690 transition count 13363
Ensure Unique test removed 255 transitions
Reduce isomorphic transitions removed 255 transitions.
Iterating post reduction 5 with 255 rules applied. Total rules applied 37463 place count 6690 transition count 13108
Performed 1765 Post agglomeration using F-continuation condition.Transition count delta: 1765
Deduced a syphon composed of 1765 places in 2 ms
Reduce places removed 1765 places and 0 transitions.
Iterating global reduction 6 with 3530 rules applied. Total rules applied 40993 place count 4925 transition count 11343
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 6 with 10 rules applied. Total rules applied 41003 place count 4925 transition count 11333
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 6 with 5 rules applied. Total rules applied 41008 place count 4925 transition count 11328
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 7 with 5 rules applied. Total rules applied 41013 place count 4920 transition count 11328
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 41015 place count 4918 transition count 11326
Applied a total of 41015 rules in 7473 ms. Remains 4918 /27146 variables (removed 22228) and now considering 11326/39849 (removed 28523) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 7473 ms. Remains : 4918/27146 places, 11326/39849 transitions.
[2023-03-10 23:30:28] [INFO ] Flatten gal took : 179 ms
[2023-03-10 23:30:28] [INFO ] Flatten gal took : 203 ms
[2023-03-10 23:30:29] [INFO ] Input system was already deterministic with 11326 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1691 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1694 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:30:31] [INFO ] Flatten gal took : 648 ms
[2023-03-10 23:30:32] [INFO ] Flatten gal took : 727 ms
[2023-03-10 23:30:33] [INFO ] Input system was already deterministic with 39849 transitions.
[2023-03-10 23:30:34] [INFO ] Flatten gal took : 689 ms
[2023-03-10 23:30:35] [INFO ] Flatten gal took : 725 ms
[2023-03-10 23:30:35] [INFO ] Export to MCC of 13 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2023-03-10 23:30:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 27146 places, 39849 transitions and 107425 arcs took 108 ms.
Total runtime 162096 ms.
There are residual formulas that ITS could not solve within timeout
timeout --kill-after=10s --signal=SIGINT 1m for testing only
Marcie built on Linux at 2019-11-18.
A model checker for Generalized Stochastic Petri nets
authors: Alex Tovchigrechko (IDD package and CTL model checking)
Martin Schwarick (Symbolic numerical analysis and CSL model checking)
Christian Rohr (Simulative and approximative numerical model checking)
marcie@informatik.tu-cottbus.de
called as: /home/mcc/BenchKit/bin//../reducer/bin//../../marcie/bin/marcie --net-file=model.pnml --mcc-file=CTLCardinality.xml --memory=6 --mcc-mode
parse successfull
net created successfully
Net: Petri
(NrP: 27146 NrTr: 39849 NrArc: 107425)
parse formulas
formulas created successfully
place and transition orderings generation:2m41.752sec
net check time: 0m 0.019sec
init dd package: 0m 2.675sec
before gc: list nodes free: 1915754
after gc: idd nodes used:11314, unused:63988686; list nodes free:257870498
before gc: list nodes free: 1901699
after gc: idd nodes used:15999, unused:63984001; list nodes free:257837703
before gc: list nodes free: 1890914
after gc: idd nodes used:19594, unused:63980406; list nodes free:257812538
before gc: list nodes free: 1881824
after gc: idd nodes used:22624, unused:63977376; list nodes free:257791328
before gc: list nodes free: 1873814
after gc: idd nodes used:25294, unused:63974706; list nodes free:257772638
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 6541876 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16066576 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 CTLCardinality -timeout 360 -rebuildPNML
check for maximal unmarked siphon
ok
check for constant places
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok
initing FirstDep: 0m 8.174sec
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="DLCshifumi-PT-5b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="marciexred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool marciexred"
echo " Input is DLCshifumi-PT-5b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r106-tall-167814483300849"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-5b.tgz
mv DLCshifumi-PT-5b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;