About the Execution of GreatSPN+red for FamilyReunion-PT-L00200M0020C010P010G005
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16186.695 | 3600000.00 | 4185806.00 | 11767.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r157-smll-171636265900513.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool greatspnxred
Input is FamilyReunion-PT-L00200M0020C010P010G005, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r157-smll-171636265900513
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 130M
-rw-r--r-- 1 mcc users 1.2M Apr 12 04:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 6.7M Apr 12 04:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0M Apr 12 01:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 6.3M Apr 12 01:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.0K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 770K Apr 22 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.8M Apr 22 14:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M Apr 22 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.1M Apr 22 14:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.8M Apr 12 11:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 9.7M Apr 12 11:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3M Apr 12 09:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 26M Apr 12 09:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 180K Apr 22 14:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 507K Apr 22 14:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 24 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 62M May 18 16:42 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 FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-00
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-01
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-02
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-03
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-04
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-05
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-06
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-07
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-08
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-09
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-10
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-11
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-12
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-13
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-14
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1716730388937
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-PT-L00200M0020C010P010G005
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-26 13:33:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2024-05-26 13:33:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-26 13:33:13] [INFO ] Load time of PNML (sax parser for PT used): 2563 ms
[2024-05-26 13:33:13] [INFO ] Transformed 143908 places.
[2024-05-26 13:33:14] [INFO ] Transformed 134279 transitions.
[2024-05-26 13:33:14] [INFO ] Parsed PT model containing 143908 places and 134279 transitions and 411469 arcs in 3349 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 342 ms.
Reduce places removed 56 places and 0 transitions.
Support contains 73702 out of 143852 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 143852/143852 places, 134279/134279 transitions.
Reduce places removed 233 places and 0 transitions.
Discarding 16874 places :
Implicit places reduction removed 16874 places
Iterating post reduction 0 with 17107 rules applied. Total rules applied 17107 place count 126745 transition count 134279
Applied a total of 17107 rules in 13657 ms. Remains 126745 /143852 variables (removed 17107) and now considering 134279/134279 (removed 0) transitions.
// Phase 1: matrix 134279 rows 126745 cols
[2024-05-26 13:34:41] [INFO ] Computed 13491 invariants in 69562 ms
[2024-05-26 13:37:21] [INFO ] Implicit Places using invariants in 229849 ms returned []
Implicit Place search using SMT only with invariants took 229899 ms to find 0 implicit places.
Running 134078 sub problems to find dead transitions.
[2024-05-26 13:37:24] [INFO ] Invariant cache hit.
SMT process timed out in 1994415ms, After SMT, problems are : Problem set: 0 solved, 134078 unsolved
Search for dead transitions found 0 dead transitions in 1996231ms
Starting structural reductions in LTL mode, iteration 1 : 126745/143852 places, 134279/134279 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2240341 ms. Remains : 126745/143852 places, 134279/134279 transitions.
Support contains 73702 out of 126745 places after structural reductions.
[2024-05-26 14:10:44] [INFO ] Flatten gal took : 4350 ms
[2024-05-26 14:10:49] [INFO ] Flatten gal took : 3631 ms
[2024-05-26 14:10:57] [INFO ] Input system was already deterministic with 134279 transitions.
Support contains 58413 out of 126745 places (down from 73702) after GAL structural reductions.
RANDOM walk for 40000 steps (8 resets) in 51825 ms. (0 steps per ms) remains 64/97 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 169 ms. (23 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 121 ms. (32 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 130 ms. (30 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 132 ms. (30 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 729 ms. (5 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1763 ms. (2 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 547 ms. (7 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 543 ms. (7 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 807 ms. (4 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 789 ms. (5 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 116 ms. (34 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 64/64 properties
[2024-05-26 14:11:16] [INFO ] Invariant cache hit.
SMT process timed out in 13151ms, After SMT, problems are : Problem set: 0 solved, 64 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 40909 out of 126745 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Graph (complete) has 198016 edges and 126745 vertex of which 126533 are kept as prefixes of interest. Removing 212 places using SCC suffix rule.468 ms
Discarding 212 places :
Also discarding 11 output transitions
Drop transitions (Output transitions of discarded places.) removed 11 transitions
Discarding 4225 places :
Implicit places reduction removed 4225 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 17060 transitions
Trivial Post-agglo rules discarded 17060 transitions
Performed 17060 trivial Post agglomeration. Transition count delta: 17060
Iterating post reduction 0 with 21285 rules applied. Total rules applied 21286 place count 122308 transition count 117208
Reduce places removed 17060 places and 0 transitions.
Performed 1411 Post agglomeration using F-continuation condition.Transition count delta: 1411
Iterating post reduction 1 with 18471 rules applied. Total rules applied 39757 place count 105248 transition count 115797
Reduce places removed 1411 places and 0 transitions.
Iterating post reduction 2 with 1411 rules applied. Total rules applied 41168 place count 103837 transition count 115797
Performed 9033 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 9033 Pre rules applied. Total rules applied 41168 place count 103837 transition count 106764
Deduced a syphon composed of 9033 places in 235 ms
Ensure Unique test removed 6418 places
Reduce places removed 15451 places and 0 transitions.
Iterating global reduction 3 with 24484 rules applied. Total rules applied 65652 place count 88386 transition count 106764
Discarding 6 places :
Implicit places reduction removed 6 places
Iterating post reduction 3 with 6 rules applied. Total rules applied 65658 place count 88380 transition count 106764
Performed 4621 Post agglomeration using F-continuation condition.Transition count delta: 4621
Deduced a syphon composed of 4621 places in 192 ms
Reduce places removed 4621 places and 0 transitions.
Iterating global reduction 4 with 9242 rules applied. Total rules applied 74900 place count 83759 transition count 102143
Free-agglomeration rule applied 30 times.
Iterating global reduction 4 with 30 rules applied. Total rules applied 74930 place count 83759 transition count 102113
Reduce places removed 30 places and 0 transitions.
Iterating post reduction 4 with 30 rules applied. Total rules applied 74960 place count 83729 transition count 102113
Free-agglomeration rule (complex) applied 8839 times.
Iterating global reduction 5 with 8839 rules applied. Total rules applied 83799 place count 83729 transition count 93274
Ensure Unique test removed 2 places
Reduce places removed 8841 places and 0 transitions.
Iterating post reduction 5 with 8841 rules applied. Total rules applied 92640 place count 74888 transition count 93274
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 92641 place count 74887 transition count 93273
Applied a total of 92641 rules in 142598 ms. Remains 74887 /126745 variables (removed 51858) and now considering 93273/134279 (removed 41006) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 142601 ms. Remains : 74887/126745 places, 93273/134279 transitions.
[2024-05-26 14:13:55] [INFO ] Flatten gal took : 3084 ms
[2024-05-26 14:14:00] [INFO ] Flatten gal took : 3617 ms
[2024-05-26 14:14:07] [INFO ] Input system was already deterministic with 134279 transitions.
Computed a total of 126745 stabilizing places and 134279 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 126745 transition count 134279
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Starting structural reductions in LTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Reduce places removed 229 places and 0 transitions.
Discarding 8452 places :
Implicit places reduction removed 8452 places
Iterating post reduction 0 with 8681 rules applied. Total rules applied 8681 place count 118064 transition count 134279
Discarding 1005 places :
Symmetric choice reduction at 1 with 1005 rule applications. Total rules 9686 place count 117059 transition count 132269
Iterating global reduction 1 with 1005 rules applied. Total rules applied 10691 place count 117059 transition count 132269
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 10696 place count 117054 transition count 131264
Iterating global reduction 1 with 5 rules applied. Total rules applied 10701 place count 117054 transition count 131264
Applied a total of 10701 rules in 9555 ms. Remains 117054 /126745 variables (removed 9691) and now considering 131264/134279 (removed 3015) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 9559 ms. Remains : 117054/126745 places, 131264/134279 transitions.
[2024-05-26 14:14:21] [INFO ] Flatten gal took : 2806 ms
[2024-05-26 14:14:24] [INFO ] Flatten gal took : 3081 ms
[2024-05-26 14:14:29] [INFO ] Input system was already deterministic with 131264 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Graph (complete) has 198016 edges and 126745 vertex of which 126103 are kept as prefixes of interest. Removing 642 places using SCC suffix rule.269 ms
Discarding 642 places :
Also discarding 212 output transitions
Drop transitions (Output transitions of discarded places.) removed 212 transitions
Discarding 8452 places :
Implicit places reduction removed 8452 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 64320 transitions
Trivial Post-agglo rules discarded 64320 transitions
Performed 64320 trivial Post agglomeration. Transition count delta: 64320
Iterating post reduction 0 with 72772 rules applied. Total rules applied 72773 place count 117651 transition count 69747
Reduce places removed 64320 places and 0 transitions.
Performed 5628 Post agglomeration using F-continuation condition.Transition count delta: 5628
Iterating post reduction 1 with 69948 rules applied. Total rules applied 142721 place count 53331 transition count 64119
Reduce places removed 5628 places and 0 transitions.
Iterating post reduction 2 with 5628 rules applied. Total rules applied 148349 place count 47703 transition count 64119
Performed 5226 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5226 Pre rules applied. Total rules applied 148349 place count 47703 transition count 58893
Deduced a syphon composed of 5226 places in 74 ms
Ensure Unique test removed 2613 places
Reduce places removed 7839 places and 0 transitions.
Iterating global reduction 3 with 13065 rules applied. Total rules applied 161414 place count 39864 transition count 58893
Discarding 201 places :
Implicit places reduction removed 201 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 2211 transitions
Trivial Post-agglo rules discarded 2211 transitions
Performed 2211 trivial Post agglomeration. Transition count delta: 2211
Iterating post reduction 3 with 2412 rules applied. Total rules applied 163826 place count 39663 transition count 56682
Reduce places removed 2211 places and 0 transitions.
Performed 201 Post agglomeration using F-continuation condition.Transition count delta: 201
Iterating post reduction 4 with 2412 rules applied. Total rules applied 166238 place count 37452 transition count 56481
Reduce places removed 201 places and 0 transitions.
Iterating post reduction 5 with 201 rules applied. Total rules applied 166439 place count 37251 transition count 56481
Discarding 1005 places :
Symmetric choice reduction at 6 with 1005 rule applications. Total rules 167444 place count 36246 transition count 54471
Iterating global reduction 6 with 1005 rules applied. Total rules applied 168449 place count 36246 transition count 54471
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 168454 place count 36241 transition count 53466
Iterating global reduction 6 with 5 rules applied. Total rules applied 168459 place count 36241 transition count 53466
Performed 5226 Post agglomeration using F-continuation condition.Transition count delta: 5226
Deduced a syphon composed of 5226 places in 45 ms
Reduce places removed 5226 places and 0 transitions.
Iterating global reduction 6 with 10452 rules applied. Total rules applied 178911 place count 31015 transition count 48240
Applied a total of 178911 rules in 42526 ms. Remains 31015 /126745 variables (removed 95730) and now considering 48240/134279 (removed 86039) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 42528 ms. Remains : 31015/126745 places, 48240/134279 transitions.
[2024-05-26 14:15:13] [INFO ] Flatten gal took : 1140 ms
[2024-05-26 14:15:14] [INFO ] Flatten gal took : 1232 ms
[2024-05-26 14:15:17] [INFO ] Input system was already deterministic with 48240 transitions.
Starting structural reductions in LTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Reduce places removed 441 places and 0 transitions.
Discarding 10 places :
Implicit places reduction removed 10 places
Iterating post reduction 0 with 451 rules applied. Total rules applied 451 place count 126294 transition count 134279
Discarding 1005 places :
Symmetric choice reduction at 1 with 1005 rule applications. Total rules 1456 place count 125289 transition count 132269
Iterating global reduction 1 with 1005 rules applied. Total rules applied 2461 place count 125289 transition count 132269
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 2466 place count 125284 transition count 131264
Iterating global reduction 1 with 5 rules applied. Total rules applied 2471 place count 125284 transition count 131264
Applied a total of 2471 rules in 6636 ms. Remains 125284 /126745 variables (removed 1461) and now considering 131264/134279 (removed 3015) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 6640 ms. Remains : 125284/126745 places, 131264/134279 transitions.
[2024-05-26 14:15:27] [INFO ] Flatten gal took : 2861 ms
[2024-05-26 14:15:30] [INFO ] Flatten gal took : 3181 ms
[2024-05-26 14:15:36] [INFO ] Input system was already deterministic with 131264 transitions.
Starting structural reductions in LTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Reduce places removed 234 places and 0 transitions.
Discarding 4231 places :
Implicit places reduction removed 4231 places
Iterating post reduction 0 with 4465 rules applied. Total rules applied 4465 place count 122280 transition count 134279
Applied a total of 4465 rules in 4056 ms. Remains 122280 /126745 variables (removed 4465) and now considering 134279/134279 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4060 ms. Remains : 122280/126745 places, 134279/134279 transitions.
[2024-05-26 14:15:44] [INFO ] Flatten gal took : 2865 ms
[2024-05-26 14:15:47] [INFO ] Flatten gal took : 3130 ms
[2024-05-26 14:15:53] [INFO ] Input system was already deterministic with 134279 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Graph (complete) has 198016 edges and 126745 vertex of which 118442 are kept as prefixes of interest. Removing 8303 places using SCC suffix rule.171 ms
Discarding 8303 places :
Also discarding 10664 output transitions
Drop transitions (Output transitions of discarded places.) removed 10664 transitions
Reduce places removed 201 places and 201 transitions.
Discarding 8452 places :
Implicit places reduction removed 8452 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 68541 transitions
Trivial Post-agglo rules discarded 68541 transitions
Performed 68541 trivial Post agglomeration. Transition count delta: 68541
Iterating post reduction 0 with 76993 rules applied. Total rules applied 76994 place count 109789 transition count 54873
Reduce places removed 68541 places and 0 transitions.
Iterating post reduction 1 with 68541 rules applied. Total rules applied 145535 place count 41248 transition count 54873
Performed 5628 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5628 Pre rules applied. Total rules applied 145535 place count 41248 transition count 49245
Deduced a syphon composed of 5628 places in 32 ms
Ensure Unique test removed 2613 places
Reduce places removed 8241 places and 0 transitions.
Iterating global reduction 2 with 13869 rules applied. Total rules applied 159404 place count 33007 transition count 49245
Discarding 201 places :
Implicit places reduction removed 201 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 2211 transitions
Trivial Post-agglo rules discarded 2211 transitions
Performed 2211 trivial Post agglomeration. Transition count delta: 2211
Iterating post reduction 2 with 2412 rules applied. Total rules applied 161816 place count 32806 transition count 47034
Reduce places removed 2211 places and 0 transitions.
Performed 201 Post agglomeration using F-continuation condition.Transition count delta: 201
Iterating post reduction 3 with 2412 rules applied. Total rules applied 164228 place count 30595 transition count 46833
Reduce places removed 201 places and 0 transitions.
Iterating post reduction 4 with 201 rules applied. Total rules applied 164429 place count 30394 transition count 46833
Performed 4623 Post agglomeration using F-continuation condition.Transition count delta: 4623
Deduced a syphon composed of 4623 places in 23 ms
Reduce places removed 4623 places and 0 transitions.
Iterating global reduction 5 with 9246 rules applied. Total rules applied 173675 place count 25771 transition count 42210
Applied a total of 173675 rules in 24170 ms. Remains 25771 /126745 variables (removed 100974) and now considering 42210/134279 (removed 92069) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 24173 ms. Remains : 25771/126745 places, 42210/134279 transitions.
[2024-05-26 14:16:18] [INFO ] Flatten gal took : 954 ms
[2024-05-26 14:16:19] [INFO ] Flatten gal took : 1092 ms
[2024-05-26 14:16:22] [INFO ] Input system was already deterministic with 42210 transitions.
Starting structural reductions in LTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Reduce places removed 424 places and 0 transitions.
Discarding 4231 places :
Implicit places reduction removed 4231 places
Iterating post reduction 0 with 4655 rules applied. Total rules applied 4655 place count 122090 transition count 134279
Applied a total of 4655 rules in 2684 ms. Remains 122090 /126745 variables (removed 4655) and now considering 134279/134279 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2687 ms. Remains : 122090/126745 places, 134279/134279 transitions.
[2024-05-26 14:16:28] [INFO ] Flatten gal took : 2882 ms
[2024-05-26 14:16:31] [INFO ] Flatten gal took : 3156 ms
[2024-05-26 14:16:37] [INFO ] Input system was already deterministic with 134279 transitions.
Starting structural reductions in LTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Reduce places removed 441 places and 0 transitions.
Discarding 8452 places :
Implicit places reduction removed 8452 places
Iterating post reduction 0 with 8893 rules applied. Total rules applied 8893 place count 117852 transition count 134279
Discarding 1005 places :
Symmetric choice reduction at 1 with 1005 rule applications. Total rules 9898 place count 116847 transition count 132269
Iterating global reduction 1 with 1005 rules applied. Total rules applied 10903 place count 116847 transition count 132269
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 10908 place count 116842 transition count 131264
Iterating global reduction 1 with 5 rules applied. Total rules applied 10913 place count 116842 transition count 131264
Applied a total of 10913 rules in 6682 ms. Remains 116842 /126745 variables (removed 9903) and now considering 131264/134279 (removed 3015) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 6685 ms. Remains : 116842/126745 places, 131264/134279 transitions.
[2024-05-26 14:16:47] [INFO ] Flatten gal took : 2723 ms
[2024-05-26 14:16:50] [INFO ] Flatten gal took : 3241 ms
[2024-05-26 14:16:55] [INFO ] Input system was already deterministic with 131264 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Graph (complete) has 198016 edges and 126745 vertex of which 126103 are kept as prefixes of interest. Removing 642 places using SCC suffix rule.170 ms
Discarding 642 places :
Also discarding 212 output transitions
Drop transitions (Output transitions of discarded places.) removed 212 transitions
Reduce places removed 201 places and 201 transitions.
Discarding 8452 places :
Implicit places reduction removed 8452 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 59898 transitions
Trivial Post-agglo rules discarded 59898 transitions
Performed 59898 trivial Post agglomeration. Transition count delta: 59898
Iterating post reduction 0 with 68350 rules applied. Total rules applied 68351 place count 117450 transition count 73968
Reduce places removed 59898 places and 0 transitions.
Performed 1407 Post agglomeration using F-continuation condition.Transition count delta: 1407
Iterating post reduction 1 with 61305 rules applied. Total rules applied 129656 place count 57552 transition count 72561
Reduce places removed 1407 places and 0 transitions.
Iterating post reduction 2 with 1407 rules applied. Total rules applied 131063 place count 56145 transition count 72561
Performed 7638 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 7638 Pre rules applied. Total rules applied 131063 place count 56145 transition count 64923
Deduced a syphon composed of 7638 places in 61 ms
Ensure Unique test removed 2613 places
Reduce places removed 10251 places and 0 transitions.
Iterating global reduction 3 with 17889 rules applied. Total rules applied 148952 place count 45894 transition count 64923
Discarding 201 places :
Implicit places reduction removed 201 places
Iterating post reduction 3 with 201 rules applied. Total rules applied 149153 place count 45693 transition count 64923
Performed 201 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 201 Pre rules applied. Total rules applied 149153 place count 45693 transition count 64722
Deduced a syphon composed of 201 places in 57 ms
Reduce places removed 201 places and 0 transitions.
Iterating global reduction 4 with 402 rules applied. Total rules applied 149555 place count 45492 transition count 64722
Discarding 1005 places :
Symmetric choice reduction at 4 with 1005 rule applications. Total rules 150560 place count 44487 transition count 62712
Iterating global reduction 4 with 1005 rules applied. Total rules applied 151565 place count 44487 transition count 62712
Discarding 5 places :
Symmetric choice reduction at 4 with 5 rule applications. Total rules 151570 place count 44482 transition count 61707
Iterating global reduction 4 with 5 rules applied. Total rules applied 151575 place count 44482 transition count 61707
Performed 804 Post agglomeration using F-continuation condition.Transition count delta: 804
Deduced a syphon composed of 804 places in 60 ms
Reduce places removed 804 places and 0 transitions.
Iterating global reduction 4 with 1608 rules applied. Total rules applied 153183 place count 43678 transition count 60903
Applied a total of 153183 rules in 36290 ms. Remains 43678 /126745 variables (removed 83067) and now considering 60903/134279 (removed 73376) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 36292 ms. Remains : 43678/126745 places, 60903/134279 transitions.
[2024-05-26 14:17:33] [INFO ] Flatten gal took : 1352 ms
[2024-05-26 14:17:35] [INFO ] Flatten gal took : 1517 ms
[2024-05-26 14:17:37] [INFO ] Input system was already deterministic with 60903 transitions.
Starting structural reductions in LTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Reduce places removed 440 places and 0 transitions.
Discarding 8449 places :
Implicit places reduction removed 8449 places
Iterating post reduction 0 with 8889 rules applied. Total rules applied 8889 place count 117856 transition count 134279
Discarding 1005 places :
Symmetric choice reduction at 1 with 1005 rule applications. Total rules 9894 place count 116851 transition count 132269
Iterating global reduction 1 with 1005 rules applied. Total rules applied 10899 place count 116851 transition count 132269
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 10904 place count 116846 transition count 131264
Iterating global reduction 1 with 5 rules applied. Total rules applied 10909 place count 116846 transition count 131264
Applied a total of 10909 rules in 6208 ms. Remains 116846 /126745 variables (removed 9899) and now considering 131264/134279 (removed 3015) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 6212 ms. Remains : 116846/126745 places, 131264/134279 transitions.
[2024-05-26 14:17:47] [INFO ] Flatten gal took : 2723 ms
[2024-05-26 14:17:50] [INFO ] Flatten gal took : 2833 ms
[2024-05-26 14:17:55] [INFO ] Input system was already deterministic with 131264 transitions.
Starting structural reductions in LTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Reduce places removed 441 places and 0 transitions.
Discarding 8450 places :
Implicit places reduction removed 8450 places
Iterating post reduction 0 with 8891 rules applied. Total rules applied 8891 place count 117854 transition count 134279
Discarding 1005 places :
Symmetric choice reduction at 1 with 1005 rule applications. Total rules 9896 place count 116849 transition count 132269
Iterating global reduction 1 with 1005 rules applied. Total rules applied 10901 place count 116849 transition count 132269
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 10906 place count 116844 transition count 131264
Iterating global reduction 1 with 5 rules applied. Total rules applied 10911 place count 116844 transition count 131264
Applied a total of 10911 rules in 8821 ms. Remains 116844 /126745 variables (removed 9901) and now considering 131264/134279 (removed 3015) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 8830 ms. Remains : 116844/126745 places, 131264/134279 transitions.
[2024-05-26 14:18:08] [INFO ] Flatten gal took : 3248 ms
[2024-05-26 14:18:12] [INFO ] Flatten gal took : 3829 ms
[2024-05-26 14:18:17] [INFO ] Input system was already deterministic with 131264 transitions.
Starting structural reductions in LTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Reduce places removed 441 places and 0 transitions.
Discarding 8449 places :
Implicit places reduction removed 8449 places
Iterating post reduction 0 with 8890 rules applied. Total rules applied 8890 place count 117855 transition count 134279
Discarding 1005 places :
Symmetric choice reduction at 1 with 1005 rule applications. Total rules 9895 place count 116850 transition count 132269
Iterating global reduction 1 with 1005 rules applied. Total rules applied 10900 place count 116850 transition count 132269
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 10905 place count 116845 transition count 131264
Iterating global reduction 1 with 5 rules applied. Total rules applied 10910 place count 116845 transition count 131264
Applied a total of 10910 rules in 6424 ms. Remains 116845 /126745 variables (removed 9900) and now considering 131264/134279 (removed 3015) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 6430 ms. Remains : 116845/126745 places, 131264/134279 transitions.
[2024-05-26 14:18:27] [INFO ] Flatten gal took : 2857 ms
[2024-05-26 14:18:30] [INFO ] Flatten gal took : 3209 ms
[2024-05-26 14:18:36] [INFO ] Input system was already deterministic with 131264 transitions.
Starting structural reductions in LTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Reduce places removed 441 places and 0 transitions.
Discarding 8446 places :
Implicit places reduction removed 8446 places
Iterating post reduction 0 with 8887 rules applied. Total rules applied 8887 place count 117858 transition count 134279
Discarding 1005 places :
Symmetric choice reduction at 1 with 1005 rule applications. Total rules 9892 place count 116853 transition count 132269
Iterating global reduction 1 with 1005 rules applied. Total rules applied 10897 place count 116853 transition count 132269
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 10902 place count 116848 transition count 131264
Iterating global reduction 1 with 5 rules applied. Total rules applied 10907 place count 116848 transition count 131264
Applied a total of 10907 rules in 6744 ms. Remains 116848 /126745 variables (removed 9897) and now considering 131264/134279 (removed 3015) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 6753 ms. Remains : 116848/126745 places, 131264/134279 transitions.
[2024-05-26 14:18:46] [INFO ] Flatten gal took : 3189 ms
[2024-05-26 14:18:49] [INFO ] Flatten gal took : 3055 ms
[2024-05-26 14:18:56] [INFO ] Input system was already deterministic with 131264 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Graph (complete) has 198016 edges and 126745 vertex of which 123890 are kept as prefixes of interest. Removing 2855 places using SCC suffix rule.180 ms
Discarding 2855 places :
Also discarding 3414 output transitions
Drop transitions (Output transitions of discarded places.) removed 3414 transitions
Reduce places removed 201 places and 201 transitions.
Discarding 8451 places :
Implicit places reduction removed 8451 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 74342 transitions
Trivial Post-agglo rules discarded 74342 transitions
Performed 74342 trivial Post agglomeration. Transition count delta: 74342
Iterating post reduction 0 with 82793 rules applied. Total rules applied 82794 place count 115238 transition count 56322
Reduce places removed 74342 places and 0 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Iterating post reduction 1 with 74351 rules applied. Total rules applied 157145 place count 40896 transition count 56313
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 157154 place count 40887 transition count 56313
Performed 5628 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5628 Pre rules applied. Total rules applied 157154 place count 40887 transition count 50685
Deduced a syphon composed of 5628 places in 56 ms
Ensure Unique test removed 2815 places
Reduce places removed 8443 places and 0 transitions.
Iterating global reduction 3 with 14071 rules applied. Total rules applied 171225 place count 32444 transition count 50685
Drop transitions (Trivial Post-Agglo cleanup.) removed 2412 transitions
Trivial Post-agglo rules discarded 2412 transitions
Performed 2412 trivial Post agglomeration. Transition count delta: 2412
Iterating post reduction 3 with 2412 rules applied. Total rules applied 173637 place count 32444 transition count 48273
Reduce places removed 2412 places and 0 transitions.
Iterating post reduction 4 with 2412 rules applied. Total rules applied 176049 place count 30032 transition count 48273
Discarding 204 places :
Symmetric choice reduction at 5 with 204 rule applications. Total rules 176253 place count 29828 transition count 47069
Iterating global reduction 5 with 204 rules applied. Total rules applied 176457 place count 29828 transition count 47069
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 176462 place count 29823 transition count 47059
Iterating global reduction 5 with 5 rules applied. Total rules applied 176467 place count 29823 transition count 47059
Performed 5428 Post agglomeration using F-continuation condition.Transition count delta: 5428
Deduced a syphon composed of 5428 places in 25 ms
Reduce places removed 5428 places and 0 transitions.
Iterating global reduction 5 with 10856 rules applied. Total rules applied 187323 place count 24395 transition count 41631
Partial Post-agglomeration rule applied 1 times.
Drop transitions (Partial Post agglomeration) removed 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 187324 place count 24395 transition count 41631
Applied a total of 187324 rules in 30393 ms. Remains 24395 /126745 variables (removed 102350) and now considering 41631/134279 (removed 92648) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 30399 ms. Remains : 24395/126745 places, 41631/134279 transitions.
[2024-05-26 14:19:28] [INFO ] Flatten gal took : 1234 ms
[2024-05-26 14:19:29] [INFO ] Flatten gal took : 1247 ms
[2024-05-26 14:19:31] [INFO ] Input system was already deterministic with 41631 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Graph (complete) has 198016 edges and 126745 vertex of which 115842 are kept as prefixes of interest. Removing 10903 places using SCC suffix rule.175 ms
Discarding 10903 places :
Also discarding 13064 output transitions
Drop transitions (Output transitions of discarded places.) removed 13064 transitions
Reduce places removed 201 places and 201 transitions.
Discarding 8452 places :
Implicit places reduction removed 8452 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 70940 transitions
Trivial Post-agglo rules discarded 70940 transitions
Performed 70940 trivial Post agglomeration. Transition count delta: 70940
Iterating post reduction 0 with 79392 rules applied. Total rules applied 79393 place count 107189 transition count 50074
Reduce places removed 70940 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 1 with 70944 rules applied. Total rules applied 150337 place count 36249 transition count 50070
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 150341 place count 36245 transition count 50070
Performed 5628 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5628 Pre rules applied. Total rules applied 150341 place count 36245 transition count 44442
Deduced a syphon composed of 5628 places in 28 ms
Ensure Unique test removed 2814 places
Reduce places removed 8442 places and 0 transitions.
Iterating global reduction 3 with 14070 rules applied. Total rules applied 164411 place count 27803 transition count 44442
Drop transitions (Trivial Post-Agglo cleanup.) removed 2412 transitions
Trivial Post-agglo rules discarded 2412 transitions
Performed 2412 trivial Post agglomeration. Transition count delta: 2412
Iterating post reduction 3 with 2412 rules applied. Total rules applied 166823 place count 27803 transition count 42030
Reduce places removed 2412 places and 0 transitions.
Iterating post reduction 4 with 2412 rules applied. Total rules applied 169235 place count 25391 transition count 42030
Discarding 199 places :
Symmetric choice reduction at 5 with 199 rule applications. Total rules 169434 place count 25192 transition count 39841
Iterating global reduction 5 with 199 rules applied. Total rules applied 169633 place count 25192 transition count 39841
Performed 5026 Post agglomeration using F-continuation condition.Transition count delta: 5026
Deduced a syphon composed of 5026 places in 17 ms
Reduce places removed 5026 places and 0 transitions.
Iterating global reduction 5 with 10052 rules applied. Total rules applied 179685 place count 20166 transition count 34815
Applied a total of 179685 rules in 22738 ms. Remains 20166 /126745 variables (removed 106579) and now considering 34815/134279 (removed 99464) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 22740 ms. Remains : 20166/126745 places, 34815/134279 transitions.
[2024-05-26 14:19:55] [INFO ] Flatten gal took : 1034 ms
[2024-05-26 14:19:57] [INFO ] Flatten gal took : 1181 ms
[2024-05-26 14:19:59] [INFO ] Input system was already deterministic with 34815 transitions.
Starting structural reductions in LTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Reduce places removed 441 places and 0 transitions.
Discarding 8452 places :
Implicit places reduction removed 8452 places
Iterating post reduction 0 with 8893 rules applied. Total rules applied 8893 place count 117852 transition count 134279
Discarding 1005 places :
Symmetric choice reduction at 1 with 1005 rule applications. Total rules 9898 place count 116847 transition count 132269
Iterating global reduction 1 with 1005 rules applied. Total rules applied 10903 place count 116847 transition count 132269
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 10908 place count 116842 transition count 131264
Iterating global reduction 1 with 5 rules applied. Total rules applied 10913 place count 116842 transition count 131264
Applied a total of 10913 rules in 9245 ms. Remains 116842 /126745 variables (removed 9903) and now considering 131264/134279 (removed 3015) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 9251 ms. Remains : 116842/126745 places, 131264/134279 transitions.
[2024-05-26 14:20:12] [INFO ] Flatten gal took : 3322 ms
[2024-05-26 14:20:16] [INFO ] Flatten gal took : 3678 ms
[2024-05-26 14:20:22] [INFO ] Input system was already deterministic with 131264 transitions.
Starting structural reductions in LTL mode, iteration 0 : 126745/126745 places, 134279/134279 transitions.
Reduce places removed 441 places and 0 transitions.
Discarding 8449 places :
Implicit places reduction removed 8449 places
Iterating post reduction 0 with 8890 rules applied. Total rules applied 8890 place count 117855 transition count 134279
Discarding 1005 places :
Symmetric choice reduction at 1 with 1005 rule applications. Total rules 9895 place count 116850 transition count 132269
Iterating global reduction 1 with 1005 rules applied. Total rules applied 10900 place count 116850 transition count 132269
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 10905 place count 116845 transition count 131264
Iterating global reduction 1 with 5 rules applied. Total rules applied 10910 place count 116845 transition count 131264
Applied a total of 10910 rules in 6352 ms. Remains 116845 /126745 variables (removed 9900) and now considering 131264/134279 (removed 3015) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 6361 ms. Remains : 116845/126745 places, 131264/134279 transitions.
[2024-05-26 14:20:32] [INFO ] Flatten gal took : 2791 ms
[2024-05-26 14:20:35] [INFO ] Flatten gal took : 3342 ms
[2024-05-26 14:20:41] [INFO ] Input system was already deterministic with 131264 transitions.
[2024-05-26 14:20:45] [INFO ] Flatten gal took : 3480 ms
[2024-05-26 14:20:49] [INFO ] Flatten gal took : 3290 ms
[2024-05-26 14:20:51] [INFO ] Export to MCC of 16 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 59 ms.
[2024-05-26 14:20:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 126745 places, 134279 transitions and 346555 arcs took 577 ms.
Total runtime 2861453 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running FamilyReunion-PT-L00200M0020C010P010G005
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/411/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 126745
TRANSITIONS: 134279
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 3.311s, Sys 0.273s]
SAVING FILE /home/mcc/execution/411/model (.net / .def) ...
EXPORT TIME: [User 1.016s, Sys 0.100s]
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.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -timeout 360 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-PT-L00200M0020C010P010G005"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="greatspnxred"
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-5568"
echo " Executing tool greatspnxred"
echo " Input is FamilyReunion-PT-L00200M0020C010P010G005, 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 r157-smll-171636265900513"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-PT-L00200M0020C010P010G005.tgz
mv FamilyReunion-PT-L00200M0020C010P010G005 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 ;