About the Execution of GreatSPN+red for CO4-PT-21
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13908.724 | 1467102.00 | 5139146.00 | 1185.80 | T??F?T???FF?T??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r549-tall-171734897900162.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 CO4-PT-21, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r549-tall-171734897900162
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 740K
-rw-r--r-- 1 mcc users 5.6K Jun 2 17:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Jun 2 17:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Jun 2 17:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Jun 2 17:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Jun 2 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Jun 2 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Jun 2 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Jun 2 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 2 16:33 NewModel
-rw-r--r-- 1 mcc users 11K Jun 2 17:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Jun 2 17:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Jun 2 17:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Jun 2 17:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Jun 2 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Jun 2 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 2 16:33 equiv_col
-rw-r--r-- 1 mcc users 3 Jun 2 16:33 instance
-rw-r--r-- 1 mcc users 6 Jun 2 16:33 iscolored
-rw-r--r-- 1 mcc users 344K Jun 2 16:33 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 CO4-PT-21-CTLFireability-2024-00
FORMULA_NAME CO4-PT-21-CTLFireability-2024-01
FORMULA_NAME CO4-PT-21-CTLFireability-2024-02
FORMULA_NAME CO4-PT-21-CTLFireability-2024-03
FORMULA_NAME CO4-PT-21-CTLFireability-2024-04
FORMULA_NAME CO4-PT-21-CTLFireability-2024-05
FORMULA_NAME CO4-PT-21-CTLFireability-2024-06
FORMULA_NAME CO4-PT-21-CTLFireability-2024-07
FORMULA_NAME CO4-PT-21-CTLFireability-2024-08
FORMULA_NAME CO4-PT-21-CTLFireability-2024-09
FORMULA_NAME CO4-PT-21-CTLFireability-2024-10
FORMULA_NAME CO4-PT-21-CTLFireability-2024-11
FORMULA_NAME CO4-PT-21-CTLFireability-2024-12
FORMULA_NAME CO4-PT-21-CTLFireability-2024-13
FORMULA_NAME CO4-PT-21-CTLFireability-2024-14
FORMULA_NAME CO4-PT-21-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1717364177100
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CO4-PT-21
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-06-02 21:36:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -timeout, 360, -rebuildPNML]
[2024-06-02 21:36:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-02 21:36:18] [INFO ] Load time of PNML (sax parser for PT used): 120 ms
[2024-06-02 21:36:18] [INFO ] Transformed 1400 places.
[2024-06-02 21:36:18] [INFO ] Transformed 1583 transitions.
[2024-06-02 21:36:18] [INFO ] Found NUPN structural information;
[2024-06-02 21:36:18] [INFO ] Parsed PT model containing 1400 places and 1583 transitions and 3434 arcs in 232 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 13 ms.
Deduced a syphon composed of 307 places in 19 ms
Reduce places removed 307 places and 347 transitions.
Support contains 77 out of 1093 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1093/1093 places, 1236/1236 transitions.
Reduce places removed 23 places and 0 transitions.
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 0 with 28 rules applied. Total rules applied 28 place count 1070 transition count 1231
Discarding 158 places :
Symmetric choice reduction at 1 with 158 rule applications. Total rules 186 place count 912 transition count 1073
Iterating global reduction 1 with 158 rules applied. Total rules applied 344 place count 912 transition count 1073
Discarding 128 places :
Symmetric choice reduction at 1 with 128 rule applications. Total rules 472 place count 784 transition count 945
Iterating global reduction 1 with 128 rules applied. Total rules applied 600 place count 784 transition count 945
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 603 place count 784 transition count 942
Discarding 58 places :
Symmetric choice reduction at 2 with 58 rule applications. Total rules 661 place count 726 transition count 884
Iterating global reduction 2 with 58 rules applied. Total rules applied 719 place count 726 transition count 884
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 760 place count 685 transition count 843
Iterating global reduction 2 with 41 rules applied. Total rules applied 801 place count 685 transition count 843
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 803 place count 685 transition count 841
Discarding 24 places :
Symmetric choice reduction at 3 with 24 rule applications. Total rules 827 place count 661 transition count 817
Iterating global reduction 3 with 24 rules applied. Total rules applied 851 place count 661 transition count 817
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 852 place count 661 transition count 816
Discarding 8 places :
Symmetric choice reduction at 4 with 8 rule applications. Total rules 860 place count 653 transition count 808
Iterating global reduction 4 with 8 rules applied. Total rules applied 868 place count 653 transition count 808
Applied a total of 868 rules in 342 ms. Remains 653 /1093 variables (removed 440) and now considering 808/1236 (removed 428) transitions.
// Phase 1: matrix 808 rows 653 cols
[2024-06-02 21:36:19] [INFO ] Computed 5 invariants in 26 ms
[2024-06-02 21:36:19] [INFO ] Implicit Places using invariants in 356 ms returned [7]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 394 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 652/1093 places, 808/1236 transitions.
Applied a total of 0 rules in 14 ms. Remains 652 /652 variables (removed 0) and now considering 808/808 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 776 ms. Remains : 652/1093 places, 808/1236 transitions.
Support contains 77 out of 652 places after structural reductions.
[2024-06-02 21:36:19] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2024-06-02 21:36:19] [INFO ] Flatten gal took : 92 ms
FORMULA CO4-PT-21-CTLFireability-2024-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CO4-PT-21-CTLFireability-2024-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-06-02 21:36:19] [INFO ] Flatten gal took : 41 ms
[2024-06-02 21:36:19] [INFO ] Input system was already deterministic with 808 transitions.
Support contains 73 out of 652 places (down from 77) after GAL structural reductions.
RANDOM walk for 40000 steps (84 resets) in 2561 ms. (15 steps per ms) remains 52/59 properties
BEST_FIRST walk for 4002 steps (17 resets) in 25 ms. (153 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (16 resets) in 20 ms. (190 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (17 resets) in 19 ms. (200 steps per ms) remains 51/52 properties
BEST_FIRST walk for 4004 steps (15 resets) in 40 ms. (97 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (17 resets) in 25 ms. (154 steps per ms) remains 50/51 properties
BEST_FIRST walk for 4003 steps (18 resets) in 15 ms. (250 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4003 steps (14 resets) in 48 ms. (81 steps per ms) remains 48/50 properties
BEST_FIRST walk for 4004 steps (17 resets) in 20 ms. (190 steps per ms) remains 47/48 properties
BEST_FIRST walk for 4003 steps (18 resets) in 14 ms. (266 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (17 resets) in 16 ms. (235 steps per ms) remains 46/47 properties
BEST_FIRST walk for 4002 steps (18 resets) in 25 ms. (153 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4002 steps (17 resets) in 16 ms. (235 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4002 steps (18 resets) in 16 ms. (235 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (16 resets) in 34 ms. (114 steps per ms) remains 45/46 properties
BEST_FIRST walk for 4004 steps (16 resets) in 18 ms. (210 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4002 steps (15 resets) in 19 ms. (200 steps per ms) remains 44/45 properties
BEST_FIRST walk for 4002 steps (16 resets) in 23 ms. (166 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4003 steps (18 resets) in 15 ms. (250 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (19 resets) in 17 ms. (222 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4003 steps (16 resets) in 23 ms. (166 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4003 steps (19 resets) in 20 ms. (190 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (17 resets) in 11 ms. (333 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4003 steps (17 resets) in 29 ms. (133 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (15 resets) in 30 ms. (129 steps per ms) remains 43/44 properties
BEST_FIRST walk for 4004 steps (9 resets) in 13 ms. (286 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4002 steps (15 resets) in 25 ms. (153 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (16 resets) in 14 ms. (266 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (16 resets) in 14 ms. (266 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4002 steps (14 resets) in 22 ms. (174 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4002 steps (16 resets) in 26 ms. (148 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4003 steps (19 resets) in 11 ms. (333 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4002 steps (13 resets) in 30 ms. (129 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (16 resets) in 25 ms. (154 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4000 steps (14 resets) in 18 ms. (210 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (18 resets) in 17 ms. (222 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4002 steps (10 resets) in 11 ms. (333 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4003 steps (18 resets) in 12 ms. (307 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (16 resets) in 13 ms. (286 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (17 resets) in 13 ms. (286 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4002 steps (15 resets) in 35 ms. (111 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4002 steps (15 resets) in 13 ms. (285 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4003 steps (17 resets) in 21 ms. (181 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4003 steps (18 resets) in 18 ms. (210 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (16 resets) in 13 ms. (286 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (12 resets) in 6 ms. (572 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4003 steps (17 resets) in 9 ms. (400 steps per ms) remains 43/43 properties
// Phase 1: matrix 808 rows 652 cols
[2024-06-02 21:36:21] [INFO ] Computed 4 invariants in 13 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/57 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 1 (OVERLAPS) 209/266 variables, 57/57 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/266 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 3 (OVERLAPS) 558/824 variables, 242/299 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/824 variables, 0/299 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 5 (OVERLAPS) 12/836 variables, 1/300 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/836 variables, 0/300 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 7 (OVERLAPS) 18/854 variables, 3/303 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/854 variables, 0/303 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 9 (OVERLAPS) 421/1275 variables, 238/541 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1275 variables, 0/541 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 11 (OVERLAPS) 137/1412 variables, 82/623 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1412 variables, 0/623 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 13 (OVERLAPS) 38/1450 variables, 26/649 constraints. Problems are: Problem set: 0 solved, 43 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1450 variables, 0/649 constraints. Problems are: Problem set: 0 solved, 43 unsolved
Problem AtomicPropp48 is UNSAT
At refinement iteration 15 (OVERLAPS) 9/1459 variables, 6/655 constraints. Problems are: Problem set: 1 solved, 42 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1459 variables, 0/655 constraints. Problems are: Problem set: 1 solved, 42 unsolved
Problem AtomicPropp34 is UNSAT
At refinement iteration 17 (OVERLAPS) 1/1460 variables, 1/656 constraints. Problems are: Problem set: 2 solved, 41 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1460/1460 variables, and 656 constraints, problems are : Problem set: 2 solved, 41 unsolved in 5012 ms.
Refiners :[Positive P Invariants (semi-flows): 4/4 constraints, State Equation: 652/652 constraints, PredecessorRefiner: 43/43 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 2 solved, 41 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/52 variables, 0/0 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 1 (OVERLAPS) 192/244 variables, 52/52 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/244 variables, 1/53 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/244 variables, 0/53 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 4 (OVERLAPS) 542/786 variables, 231/284 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/786 variables, 40/324 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/786 variables, 0/324 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 7 (OVERLAPS) 12/798 variables, 1/325 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/798 variables, 0/325 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 9 (OVERLAPS) 18/816 variables, 3/328 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/816 variables, 0/328 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 11 (OVERLAPS) 443/1259 variables, 243/571 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1259 variables, 0/571 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 13 (OVERLAPS) 149/1408 variables, 91/662 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1408 variables, 0/662 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 15 (OVERLAPS) 40/1448 variables, 27/689 constraints. Problems are: Problem set: 2 solved, 41 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1448 variables, 0/689 constraints. Problems are: Problem set: 2 solved, 41 unsolved
Problem AtomicPropp13 is UNSAT
At refinement iteration 17 (OVERLAPS) 11/1459 variables, 7/696 constraints. Problems are: Problem set: 3 solved, 40 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1459/1460 variables, and 696 constraints, problems are : Problem set: 3 solved, 40 unsolved in 5015 ms.
Refiners :[Positive P Invariants (semi-flows): 4/4 constraints, State Equation: 651/652 constraints, PredecessorRefiner: 41/43 constraints, Known Traps: 0/0 constraints]
After SMT, in 10131ms problems are : Problem set: 3 solved, 40 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 50 out of 652 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 652/652 places, 808/808 transitions.
Graph (trivial) has 596 edges and 652 vertex of which 3 / 652 are part of one of the 1 SCC in 5 ms
Free SCC test removed 2 places
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Graph (complete) has 1007 edges and 650 vertex of which 633 are kept as prefixes of interest. Removing 17 places using SCC suffix rule.3 ms
Discarding 17 places :
Also discarding 8 output transitions
Drop transitions (Output transitions of discarded places.) removed 8 transitions
Drop transitions (Empty/Sink Transition effects.) removed 20 transitions
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 23 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 243 transitions
Trivial Post-agglo rules discarded 243 transitions
Performed 243 trivial Post agglomeration. Transition count delta: 243
Iterating post reduction 0 with 266 rules applied. Total rules applied 268 place count 633 transition count 528
Reduce places removed 243 places and 0 transitions.
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: 14
Iterating post reduction 1 with 257 rules applied. Total rules applied 525 place count 390 transition count 514
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 2 with 14 rules applied. Total rules applied 539 place count 376 transition count 514
Performed 58 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 58 Pre rules applied. Total rules applied 539 place count 376 transition count 456
Deduced a syphon composed of 58 places in 0 ms
Reduce places removed 58 places and 0 transitions.
Iterating global reduction 3 with 116 rules applied. Total rules applied 655 place count 318 transition count 456
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 658 place count 315 transition count 453
Iterating global reduction 3 with 3 rules applied. Total rules applied 661 place count 315 transition count 453
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 661 place count 315 transition count 452
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 663 place count 314 transition count 452
Performed 85 Post agglomeration using F-continuation condition with reduction of 13 identical transitions.
Deduced a syphon composed of 85 places in 0 ms
Reduce places removed 85 places and 0 transitions.
Iterating global reduction 3 with 170 rules applied. Total rules applied 833 place count 229 transition count 354
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 3 with 5 rules applied. Total rules applied 838 place count 229 transition count 349
Discarding 6 places :
Symmetric choice reduction at 4 with 6 rule applications. Total rules 844 place count 223 transition count 343
Iterating global reduction 4 with 6 rules applied. Total rules applied 850 place count 223 transition count 343
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 852 place count 222 transition count 342
Performed 40 Post agglomeration using F-continuation condition.Transition count delta: -3
Deduced a syphon composed of 40 places in 0 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 4 with 80 rules applied. Total rules applied 932 place count 182 transition count 345
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 17 transitions.
Iterating post reduction 4 with 17 rules applied. Total rules applied 949 place count 182 transition count 328
Discarding 22 places :
Symmetric choice reduction at 5 with 22 rule applications. Total rules 971 place count 160 transition count 284
Iterating global reduction 5 with 22 rules applied. Total rules applied 993 place count 160 transition count 284
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 5 with 9 rules applied. Total rules applied 1002 place count 160 transition count 275
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 1004 place count 158 transition count 270
Iterating global reduction 6 with 2 rules applied. Total rules applied 1006 place count 158 transition count 270
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 1007 place count 158 transition count 269
Drop transitions (Redundant composition of simpler transitions.) removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 7 with 6 rules applied. Total rules applied 1013 place count 158 transition count 263
Free-agglomeration rule applied 9 times.
Iterating global reduction 7 with 9 rules applied. Total rules applied 1022 place count 158 transition count 254
Reduce places removed 9 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 10 rules applied. Total rules applied 1032 place count 149 transition count 253
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 1033 place count 149 transition count 252
Partial Free-agglomeration rule applied 4 times.
Drop transitions (Partial Free agglomeration) removed 4 transitions
Iterating global reduction 8 with 4 rules applied. Total rules applied 1037 place count 149 transition count 252
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 8 with 1 rules applied. Total rules applied 1038 place count 148 transition count 251
Reduce places removed 3 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 8 with 7 rules applied. Total rules applied 1045 place count 145 transition count 247
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 9 with 4 rules applied. Total rules applied 1049 place count 141 transition count 247
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 10 with 4 rules applied. Total rules applied 1053 place count 139 transition count 245
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 10 with 2 rules applied. Total rules applied 1055 place count 139 transition count 243
Drop transitions (Redundant composition of simpler transitions.) removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 11 with 6 rules applied. Total rules applied 1061 place count 139 transition count 237
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 1062 place count 138 transition count 236
Iterating global reduction 11 with 1 rules applied. Total rules applied 1063 place count 138 transition count 236
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 1064 place count 138 transition count 235
Free-agglomeration rule applied 9 times.
Iterating global reduction 12 with 9 rules applied. Total rules applied 1073 place count 138 transition count 226
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 12 with 9 rules applied. Total rules applied 1082 place count 129 transition count 226
Partial Free-agglomeration rule applied 5 times.
Drop transitions (Partial Free agglomeration) removed 5 transitions
Iterating global reduction 13 with 5 rules applied. Total rules applied 1087 place count 129 transition count 226
Drop transitions (Redundant composition of simpler transitions.) removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 13 with 2 rules applied. Total rules applied 1089 place count 129 transition count 224
Applied a total of 1089 rules in 187 ms. Remains 129 /652 variables (removed 523) and now considering 224/808 (removed 584) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 187 ms. Remains : 129/652 places, 224/808 transitions.
RANDOM walk for 40000 steps (2461 resets) in 1285 ms. (31 steps per ms) remains 6/40 properties
BEST_FIRST walk for 40004 steps (246 resets) in 73 ms. (540 steps per ms) remains 5/6 properties
BEST_FIRST walk for 40002 steps (303 resets) in 71 ms. (555 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (309 resets) in 69 ms. (571 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40003 steps (229 resets) in 80 ms. (493 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40002 steps (302 resets) in 89 ms. (444 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (131 resets) in 58 ms. (678 steps per ms) remains 5/5 properties
[2024-06-02 21:36:31] [INFO ] Flow matrix only has 210 transitions (discarded 14 similar events)
// Phase 1: matrix 210 rows 129 cols
[2024-06-02 21:36:31] [INFO ] Computed 1 invariants in 2 ms
[2024-06-02 21:36:31] [INFO ] State equation strengthened by 2 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 35/43 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/43 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (OVERLAPS) 127/170 variables, 43/44 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/170 variables, 0/44 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (OVERLAPS) 130/300 variables, 56/100 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/300 variables, 2/102 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/300 variables, 0/102 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (OVERLAPS) 36/336 variables, 27/129 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/336 variables, 0/129 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 10 (OVERLAPS) 3/339 variables, 3/132 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/339 variables, 0/132 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 12 (OVERLAPS) 0/339 variables, 0/132 constraints. Problems are: Problem set: 0 solved, 5 unsolved
No progress, stopping.
After SMT solving in domain Real declared 339/339 variables, and 132 constraints, problems are : Problem set: 0 solved, 5 unsolved in 293 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, State Equation: 129/129 constraints, ReadFeed: 2/2 constraints, PredecessorRefiner: 5/5 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 35/43 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/43 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (OVERLAPS) 127/170 variables, 43/44 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/170 variables, 1/45 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/170 variables, 0/45 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (OVERLAPS) 130/300 variables, 56/101 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/300 variables, 2/103 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/300 variables, 4/107 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/300 variables, 0/107 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 10 (OVERLAPS) 36/336 variables, 27/134 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/336 variables, 0/134 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 12 (OVERLAPS) 3/339 variables, 3/137 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/339 variables, 0/137 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 14 (OVERLAPS) 0/339 variables, 0/137 constraints. Problems are: Problem set: 0 solved, 5 unsolved
No progress, stopping.
After SMT solving in domain Int declared 339/339 variables, and 137 constraints, problems are : Problem set: 0 solved, 5 unsolved in 308 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, State Equation: 129/129 constraints, ReadFeed: 2/2 constraints, PredecessorRefiner: 5/5 constraints, Known Traps: 0/0 constraints]
After SMT, in 620ms problems are : Problem set: 0 solved, 5 unsolved
Finished Parikh walk after 814 steps, including 12 resets, run visited all 5 properties in 5 ms. (steps per millisecond=162 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Parikh walk visited 5 properties in 11 ms.
Successfully simplified 3 atomic propositions for a total of 14 simplifications.
[2024-06-02 21:36:32] [INFO ] Flatten gal took : 36 ms
[2024-06-02 21:36:32] [INFO ] Flatten gal took : 27 ms
[2024-06-02 21:36:32] [INFO ] Input system was already deterministic with 808 transitions.
Support contains 64 out of 652 places (down from 65) after GAL structural reductions.
Computed a total of 15 stabilizing places and 18 stable transitions
Graph (complete) has 1010 edges and 652 vertex of which 643 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.8 ms
Starting structural reductions in SI_CTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Graph (trivial) has 693 edges and 652 vertex of which 3 / 652 are part of one of the 1 SCC in 1 ms
Free SCC test removed 2 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Graph (complete) has 1008 edges and 650 vertex of which 642 are kept as prefixes of interest. Removing 8 places using SCC suffix rule.3 ms
Discarding 8 places :
Also discarding 10 output transitions
Drop transitions (Output transitions of discarded places.) removed 10 transitions
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 296 transitions
Trivial Post-agglo rules discarded 296 transitions
Performed 296 trivial Post agglomeration. Transition count delta: 296
Iterating post reduction 0 with 296 rules applied. Total rules applied 298 place count 641 transition count 499
Reduce places removed 296 places and 0 transitions.
Iterating post reduction 1 with 296 rules applied. Total rules applied 594 place count 345 transition count 499
Performed 57 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 57 Pre rules applied. Total rules applied 594 place count 345 transition count 442
Deduced a syphon composed of 57 places in 1 ms
Reduce places removed 57 places and 0 transitions.
Iterating global reduction 2 with 114 rules applied. Total rules applied 708 place count 288 transition count 442
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 719 place count 277 transition count 431
Iterating global reduction 2 with 11 rules applied. Total rules applied 730 place count 277 transition count 431
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 730 place count 277 transition count 426
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 740 place count 272 transition count 426
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 745 place count 267 transition count 421
Iterating global reduction 2 with 5 rules applied. Total rules applied 750 place count 267 transition count 421
Performed 37 Post agglomeration using F-continuation condition with reduction of 1 identical transitions.
Deduced a syphon composed of 37 places in 1 ms
Reduce places removed 37 places and 0 transitions.
Iterating global reduction 2 with 74 rules applied. Total rules applied 824 place count 230 transition count 383
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 2 with 5 rules applied. Total rules applied 829 place count 230 transition count 378
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 830 place count 229 transition count 378
Discarding 8 places :
Symmetric choice reduction at 4 with 8 rule applications. Total rules 838 place count 221 transition count 370
Iterating global reduction 4 with 8 rules applied. Total rules applied 846 place count 221 transition count 370
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 4 with 3 rules applied. Total rules applied 849 place count 221 transition count 367
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 850 place count 220 transition count 367
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 852 place count 219 transition count 366
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 853 place count 218 transition count 365
Iterating global reduction 6 with 1 rules applied. Total rules applied 854 place count 218 transition count 365
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 855 place count 217 transition count 363
Iterating global reduction 6 with 1 rules applied. Total rules applied 856 place count 217 transition count 363
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 857 place count 217 transition count 362
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 7 with 19 rules applied. Total rules applied 876 place count 217 transition count 343
Drop transitions (Trivial Post-Agglo cleanup.) removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 7 with 11 rules applied. Total rules applied 887 place count 217 transition count 332
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 8 with 11 rules applied. Total rules applied 898 place count 206 transition count 332
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 1 Pre rules applied. Total rules applied 898 place count 206 transition count 331
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 900 place count 205 transition count 331
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 902 place count 204 transition count 330
Partial Post-agglomeration rule applied 3 times.
Drop transitions (Partial Post agglomeration) removed 3 transitions
Iterating global reduction 9 with 3 rules applied. Total rules applied 905 place count 204 transition count 330
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 907 place count 202 transition count 328
Applied a total of 907 rules in 117 ms. Remains 202 /652 variables (removed 450) and now considering 328/808 (removed 480) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 117 ms. Remains : 202/652 places, 328/808 transitions.
[2024-06-02 21:36:32] [INFO ] Flatten gal took : 11 ms
[2024-06-02 21:36:32] [INFO ] Flatten gal took : 10 ms
[2024-06-02 21:36:32] [INFO ] Input system was already deterministic with 328 transitions.
Starting structural reductions in LTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 33 place count 619 transition count 774
Iterating global reduction 0 with 33 rules applied. Total rules applied 66 place count 619 transition count 774
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 88 place count 597 transition count 752
Iterating global reduction 0 with 22 rules applied. Total rules applied 110 place count 597 transition count 752
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 111 place count 597 transition count 751
Discarding 11 places :
Symmetric choice reduction at 1 with 11 rule applications. Total rules 122 place count 586 transition count 740
Iterating global reduction 1 with 11 rules applied. Total rules applied 133 place count 586 transition count 740
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 136 place count 583 transition count 737
Iterating global reduction 1 with 3 rules applied. Total rules applied 139 place count 583 transition count 737
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 140 place count 583 transition count 736
Applied a total of 140 rules in 58 ms. Remains 583 /652 variables (removed 69) and now considering 736/808 (removed 72) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 58 ms. Remains : 583/652 places, 736/808 transitions.
[2024-06-02 21:36:32] [INFO ] Flatten gal took : 20 ms
[2024-06-02 21:36:32] [INFO ] Flatten gal took : 21 ms
[2024-06-02 21:36:33] [INFO ] Input system was already deterministic with 736 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Graph (trivial) has 700 edges and 652 vertex of which 3 / 652 are part of one of the 1 SCC in 0 ms
Free SCC test removed 2 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Graph (complete) has 1008 edges and 650 vertex of which 641 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.2 ms
Discarding 9 places :
Also discarding 11 output transitions
Drop transitions (Output transitions of discarded places.) removed 11 transitions
Reduce places removed 1 places and 1 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 300 transitions
Trivial Post-agglo rules discarded 300 transitions
Performed 300 trivial Post agglomeration. Transition count delta: 300
Iterating post reduction 0 with 301 rules applied. Total rules applied 303 place count 640 transition count 493
Reduce places removed 300 places and 0 transitions.
Iterating post reduction 1 with 300 rules applied. Total rules applied 603 place count 340 transition count 493
Performed 57 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 57 Pre rules applied. Total rules applied 603 place count 340 transition count 436
Deduced a syphon composed of 57 places in 1 ms
Reduce places removed 57 places and 0 transitions.
Iterating global reduction 2 with 114 rules applied. Total rules applied 717 place count 283 transition count 436
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 727 place count 273 transition count 426
Iterating global reduction 2 with 10 rules applied. Total rules applied 737 place count 273 transition count 426
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 737 place count 273 transition count 422
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 745 place count 269 transition count 422
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 749 place count 265 transition count 418
Iterating global reduction 2 with 4 rules applied. Total rules applied 753 place count 265 transition count 418
Performed 39 Post agglomeration using F-continuation condition with reduction of 1 identical transitions.
Deduced a syphon composed of 39 places in 0 ms
Reduce places removed 39 places and 0 transitions.
Iterating global reduction 2 with 78 rules applied. Total rules applied 831 place count 226 transition count 378
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 2 with 5 rules applied. Total rules applied 836 place count 226 transition count 373
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 837 place count 225 transition count 373
Discarding 8 places :
Symmetric choice reduction at 4 with 8 rule applications. Total rules 845 place count 217 transition count 365
Iterating global reduction 4 with 8 rules applied. Total rules applied 853 place count 217 transition count 365
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 4 with 3 rules applied. Total rules applied 856 place count 217 transition count 362
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 857 place count 216 transition count 362
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 859 place count 215 transition count 361
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 860 place count 214 transition count 360
Iterating global reduction 6 with 1 rules applied. Total rules applied 861 place count 214 transition count 360
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 862 place count 213 transition count 358
Iterating global reduction 6 with 1 rules applied. Total rules applied 863 place count 213 transition count 358
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 864 place count 213 transition count 357
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 7 with 19 rules applied. Total rules applied 883 place count 213 transition count 338
Drop transitions (Trivial Post-Agglo cleanup.) removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 7 with 11 rules applied. Total rules applied 894 place count 213 transition count 327
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 8 with 11 rules applied. Total rules applied 905 place count 202 transition count 327
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 1 Pre rules applied. Total rules applied 905 place count 202 transition count 326
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 907 place count 201 transition count 326
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 909 place count 200 transition count 325
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 911 place count 198 transition count 323
Applied a total of 911 rules in 90 ms. Remains 198 /652 variables (removed 454) and now considering 323/808 (removed 485) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 91 ms. Remains : 198/652 places, 323/808 transitions.
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 9 ms
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 9 ms
[2024-06-02 21:36:33] [INFO ] Input system was already deterministic with 323 transitions.
Starting structural reductions in LTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 32 place count 620 transition count 775
Iterating global reduction 0 with 32 rules applied. Total rules applied 64 place count 620 transition count 775
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 85 place count 599 transition count 754
Iterating global reduction 0 with 21 rules applied. Total rules applied 106 place count 599 transition count 754
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 107 place count 599 transition count 753
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 117 place count 589 transition count 743
Iterating global reduction 1 with 10 rules applied. Total rules applied 127 place count 589 transition count 743
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 130 place count 586 transition count 740
Iterating global reduction 1 with 3 rules applied. Total rules applied 133 place count 586 transition count 740
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 134 place count 586 transition count 739
Applied a total of 134 rules in 54 ms. Remains 586 /652 variables (removed 66) and now considering 739/808 (removed 69) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 54 ms. Remains : 586/652 places, 739/808 transitions.
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 18 ms
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 19 ms
[2024-06-02 21:36:33] [INFO ] Input system was already deterministic with 739 transitions.
Starting structural reductions in LTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 30 place count 622 transition count 778
Iterating global reduction 0 with 30 rules applied. Total rules applied 60 place count 622 transition count 778
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 80 place count 602 transition count 758
Iterating global reduction 0 with 20 rules applied. Total rules applied 100 place count 602 transition count 758
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 101 place count 602 transition count 757
Discarding 9 places :
Symmetric choice reduction at 1 with 9 rule applications. Total rules 110 place count 593 transition count 748
Iterating global reduction 1 with 9 rules applied. Total rules applied 119 place count 593 transition count 748
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 121 place count 591 transition count 746
Iterating global reduction 1 with 2 rules applied. Total rules applied 123 place count 591 transition count 746
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 124 place count 591 transition count 745
Applied a total of 124 rules in 50 ms. Remains 591 /652 variables (removed 61) and now considering 745/808 (removed 63) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 51 ms. Remains : 591/652 places, 745/808 transitions.
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 18 ms
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 19 ms
[2024-06-02 21:36:33] [INFO ] Input system was already deterministic with 745 transitions.
Starting structural reductions in LTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Discarding 28 places :
Symmetric choice reduction at 0 with 28 rule applications. Total rules 28 place count 624 transition count 779
Iterating global reduction 0 with 28 rules applied. Total rules applied 56 place count 624 transition count 779
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 74 place count 606 transition count 761
Iterating global reduction 0 with 18 rules applied. Total rules applied 92 place count 606 transition count 761
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 93 place count 606 transition count 760
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 103 place count 596 transition count 750
Iterating global reduction 1 with 10 rules applied. Total rules applied 113 place count 596 transition count 750
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 116 place count 593 transition count 747
Iterating global reduction 1 with 3 rules applied. Total rules applied 119 place count 593 transition count 747
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 120 place count 593 transition count 746
Applied a total of 120 rules in 54 ms. Remains 593 /652 variables (removed 59) and now considering 746/808 (removed 62) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 54 ms. Remains : 593/652 places, 746/808 transitions.
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 18 ms
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 17 ms
[2024-06-02 21:36:33] [INFO ] Input system was already deterministic with 746 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Graph (trivial) has 697 edges and 652 vertex of which 3 / 652 are part of one of the 1 SCC in 1 ms
Free SCC test removed 2 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Graph (complete) has 1008 edges and 650 vertex of which 641 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.1 ms
Discarding 9 places :
Also discarding 11 output transitions
Drop transitions (Output transitions of discarded places.) removed 11 transitions
Reduce places removed 1 places and 1 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 298 transitions
Trivial Post-agglo rules discarded 298 transitions
Performed 298 trivial Post agglomeration. Transition count delta: 298
Iterating post reduction 0 with 299 rules applied. Total rules applied 301 place count 640 transition count 495
Reduce places removed 298 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 300 rules applied. Total rules applied 601 place count 342 transition count 493
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 603 place count 340 transition count 493
Performed 57 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 57 Pre rules applied. Total rules applied 603 place count 340 transition count 436
Deduced a syphon composed of 57 places in 0 ms
Reduce places removed 57 places and 0 transitions.
Iterating global reduction 3 with 114 rules applied. Total rules applied 717 place count 283 transition count 436
Discarding 11 places :
Symmetric choice reduction at 3 with 11 rule applications. Total rules 728 place count 272 transition count 425
Iterating global reduction 3 with 11 rules applied. Total rules applied 739 place count 272 transition count 425
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5 Pre rules applied. Total rules applied 739 place count 272 transition count 420
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 10 rules applied. Total rules applied 749 place count 267 transition count 420
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 754 place count 262 transition count 415
Iterating global reduction 3 with 5 rules applied. Total rules applied 759 place count 262 transition count 415
Performed 38 Post agglomeration using F-continuation condition with reduction of 1 identical transitions.
Deduced a syphon composed of 38 places in 0 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 3 with 76 rules applied. Total rules applied 835 place count 224 transition count 376
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 3 with 5 rules applied. Total rules applied 840 place count 224 transition count 371
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 841 place count 223 transition count 371
Discarding 8 places :
Symmetric choice reduction at 5 with 8 rule applications. Total rules 849 place count 215 transition count 363
Iterating global reduction 5 with 8 rules applied. Total rules applied 857 place count 215 transition count 363
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 5 with 3 rules applied. Total rules applied 860 place count 215 transition count 360
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 861 place count 214 transition count 360
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 863 place count 213 transition count 359
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 864 place count 212 transition count 358
Iterating global reduction 7 with 1 rules applied. Total rules applied 865 place count 212 transition count 358
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 866 place count 211 transition count 356
Iterating global reduction 7 with 1 rules applied. Total rules applied 867 place count 211 transition count 356
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 868 place count 211 transition count 355
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 8 with 19 rules applied. Total rules applied 887 place count 211 transition count 336
Drop transitions (Trivial Post-Agglo cleanup.) removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 8 with 11 rules applied. Total rules applied 898 place count 211 transition count 325
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 9 with 11 rules applied. Total rules applied 909 place count 200 transition count 325
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 10 with 1 Pre rules applied. Total rules applied 909 place count 200 transition count 324
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 10 with 2 rules applied. Total rules applied 911 place count 199 transition count 324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 10 with 2 rules applied. Total rules applied 913 place count 198 transition count 323
Partial Post-agglomeration rule applied 3 times.
Drop transitions (Partial Post agglomeration) removed 3 transitions
Iterating global reduction 10 with 3 rules applied. Total rules applied 916 place count 198 transition count 323
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 10 with 2 rules applied. Total rules applied 918 place count 196 transition count 321
Applied a total of 918 rules in 68 ms. Remains 196 /652 variables (removed 456) and now considering 321/808 (removed 487) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 68 ms. Remains : 196/652 places, 321/808 transitions.
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 7 ms
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 6 ms
[2024-06-02 21:36:33] [INFO ] Input system was already deterministic with 321 transitions.
Starting structural reductions in LTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 31 place count 621 transition count 776
Iterating global reduction 0 with 31 rules applied. Total rules applied 62 place count 621 transition count 776
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 82 place count 601 transition count 756
Iterating global reduction 0 with 20 rules applied. Total rules applied 102 place count 601 transition count 756
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 103 place count 601 transition count 755
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 113 place count 591 transition count 745
Iterating global reduction 1 with 10 rules applied. Total rules applied 123 place count 591 transition count 745
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 126 place count 588 transition count 742
Iterating global reduction 1 with 3 rules applied. Total rules applied 129 place count 588 transition count 742
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 130 place count 588 transition count 741
Applied a total of 130 rules in 47 ms. Remains 588 /652 variables (removed 64) and now considering 741/808 (removed 67) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 48 ms. Remains : 588/652 places, 741/808 transitions.
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 15 ms
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 15 ms
[2024-06-02 21:36:33] [INFO ] Input system was already deterministic with 741 transitions.
Starting structural reductions in LTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 30 place count 622 transition count 777
Iterating global reduction 0 with 30 rules applied. Total rules applied 60 place count 622 transition count 777
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 80 place count 602 transition count 757
Iterating global reduction 0 with 20 rules applied. Total rules applied 100 place count 602 transition count 757
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 101 place count 602 transition count 756
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 111 place count 592 transition count 746
Iterating global reduction 1 with 10 rules applied. Total rules applied 121 place count 592 transition count 746
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 124 place count 589 transition count 743
Iterating global reduction 1 with 3 rules applied. Total rules applied 127 place count 589 transition count 743
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 128 place count 589 transition count 742
Applied a total of 128 rules in 46 ms. Remains 589 /652 variables (removed 63) and now considering 742/808 (removed 66) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 47 ms. Remains : 589/652 places, 742/808 transitions.
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 15 ms
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 14 ms
[2024-06-02 21:36:33] [INFO ] Input system was already deterministic with 742 transitions.
Starting structural reductions in LTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Discarding 28 places :
Symmetric choice reduction at 0 with 28 rule applications. Total rules 28 place count 624 transition count 779
Iterating global reduction 0 with 28 rules applied. Total rules applied 56 place count 624 transition count 779
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 75 place count 605 transition count 760
Iterating global reduction 0 with 19 rules applied. Total rules applied 94 place count 605 transition count 760
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 95 place count 605 transition count 759
Discarding 9 places :
Symmetric choice reduction at 1 with 9 rule applications. Total rules 104 place count 596 transition count 750
Iterating global reduction 1 with 9 rules applied. Total rules applied 113 place count 596 transition count 750
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 116 place count 593 transition count 747
Iterating global reduction 1 with 3 rules applied. Total rules applied 119 place count 593 transition count 747
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 120 place count 593 transition count 746
Applied a total of 120 rules in 52 ms. Remains 593 /652 variables (removed 59) and now considering 746/808 (removed 62) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 53 ms. Remains : 593/652 places, 746/808 transitions.
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 15 ms
[2024-06-02 21:36:33] [INFO ] Flatten gal took : 15 ms
[2024-06-02 21:36:34] [INFO ] Input system was already deterministic with 746 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Graph (trivial) has 700 edges and 652 vertex of which 3 / 652 are part of one of the 1 SCC in 1 ms
Free SCC test removed 2 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Graph (complete) has 1008 edges and 650 vertex of which 641 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.1 ms
Discarding 9 places :
Also discarding 11 output transitions
Drop transitions (Output transitions of discarded places.) removed 11 transitions
Reduce places removed 1 places and 1 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 300 transitions
Trivial Post-agglo rules discarded 300 transitions
Performed 300 trivial Post agglomeration. Transition count delta: 300
Iterating post reduction 0 with 301 rules applied. Total rules applied 303 place count 640 transition count 493
Reduce places removed 300 places and 0 transitions.
Iterating post reduction 1 with 300 rules applied. Total rules applied 603 place count 340 transition count 493
Performed 57 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 57 Pre rules applied. Total rules applied 603 place count 340 transition count 436
Deduced a syphon composed of 57 places in 0 ms
Reduce places removed 57 places and 0 transitions.
Iterating global reduction 2 with 114 rules applied. Total rules applied 717 place count 283 transition count 436
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 727 place count 273 transition count 426
Iterating global reduction 2 with 10 rules applied. Total rules applied 737 place count 273 transition count 426
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 737 place count 273 transition count 421
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 747 place count 268 transition count 421
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 751 place count 264 transition count 417
Iterating global reduction 2 with 4 rules applied. Total rules applied 755 place count 264 transition count 417
Performed 38 Post agglomeration using F-continuation condition with reduction of 1 identical transitions.
Deduced a syphon composed of 38 places in 0 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 2 with 76 rules applied. Total rules applied 831 place count 226 transition count 378
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 2 with 5 rules applied. Total rules applied 836 place count 226 transition count 373
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 837 place count 225 transition count 373
Discarding 8 places :
Symmetric choice reduction at 4 with 8 rule applications. Total rules 845 place count 217 transition count 365
Iterating global reduction 4 with 8 rules applied. Total rules applied 853 place count 217 transition count 365
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 4 with 3 rules applied. Total rules applied 856 place count 217 transition count 362
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 857 place count 216 transition count 362
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 859 place count 215 transition count 361
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 860 place count 214 transition count 360
Iterating global reduction 6 with 1 rules applied. Total rules applied 861 place count 214 transition count 360
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 862 place count 213 transition count 358
Iterating global reduction 6 with 1 rules applied. Total rules applied 863 place count 213 transition count 358
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 864 place count 213 transition count 357
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 7 with 19 rules applied. Total rules applied 883 place count 213 transition count 338
Drop transitions (Trivial Post-Agglo cleanup.) removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 7 with 11 rules applied. Total rules applied 894 place count 213 transition count 327
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 8 with 11 rules applied. Total rules applied 905 place count 202 transition count 327
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 1 Pre rules applied. Total rules applied 905 place count 202 transition count 326
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 907 place count 201 transition count 326
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 909 place count 200 transition count 325
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 911 place count 198 transition count 323
Applied a total of 911 rules in 56 ms. Remains 198 /652 variables (removed 454) and now considering 323/808 (removed 485) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 56 ms. Remains : 198/652 places, 323/808 transitions.
[2024-06-02 21:36:34] [INFO ] Flatten gal took : 6 ms
[2024-06-02 21:36:34] [INFO ] Flatten gal took : 6 ms
[2024-06-02 21:36:34] [INFO ] Input system was already deterministic with 323 transitions.
RANDOM walk for 34264 steps (2961 resets) in 322 ms. (106 steps per ms) remains 0/1 properties
FORMULA CO4-PT-21-CTLFireability-2024-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in SI_CTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Graph (trivial) has 700 edges and 652 vertex of which 3 / 652 are part of one of the 1 SCC in 1 ms
Free SCC test removed 2 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Graph (complete) has 1008 edges and 650 vertex of which 641 are kept as prefixes of interest. Removing 9 places using SCC suffix rule.1 ms
Discarding 9 places :
Also discarding 11 output transitions
Drop transitions (Output transitions of discarded places.) removed 11 transitions
Reduce places removed 1 places and 1 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 300 transitions
Trivial Post-agglo rules discarded 300 transitions
Performed 300 trivial Post agglomeration. Transition count delta: 300
Iterating post reduction 0 with 301 rules applied. Total rules applied 303 place count 640 transition count 493
Reduce places removed 300 places and 0 transitions.
Iterating post reduction 1 with 300 rules applied. Total rules applied 603 place count 340 transition count 493
Performed 57 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 57 Pre rules applied. Total rules applied 603 place count 340 transition count 436
Deduced a syphon composed of 57 places in 0 ms
Reduce places removed 57 places and 0 transitions.
Iterating global reduction 2 with 114 rules applied. Total rules applied 717 place count 283 transition count 436
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 728 place count 272 transition count 425
Iterating global reduction 2 with 11 rules applied. Total rules applied 739 place count 272 transition count 425
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 739 place count 272 transition count 420
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 749 place count 267 transition count 420
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 754 place count 262 transition count 415
Iterating global reduction 2 with 5 rules applied. Total rules applied 759 place count 262 transition count 415
Performed 37 Post agglomeration using F-continuation condition with reduction of 1 identical transitions.
Deduced a syphon composed of 37 places in 0 ms
Reduce places removed 37 places and 0 transitions.
Iterating global reduction 2 with 74 rules applied. Total rules applied 833 place count 225 transition count 377
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 2 with 5 rules applied. Total rules applied 838 place count 225 transition count 372
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 839 place count 224 transition count 372
Discarding 8 places :
Symmetric choice reduction at 4 with 8 rule applications. Total rules 847 place count 216 transition count 364
Iterating global reduction 4 with 8 rules applied. Total rules applied 855 place count 216 transition count 364
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 4 with 3 rules applied. Total rules applied 858 place count 216 transition count 361
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 859 place count 215 transition count 361
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 861 place count 214 transition count 360
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 862 place count 213 transition count 359
Iterating global reduction 6 with 1 rules applied. Total rules applied 863 place count 213 transition count 359
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 864 place count 212 transition count 357
Iterating global reduction 6 with 1 rules applied. Total rules applied 865 place count 212 transition count 357
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 866 place count 212 transition count 356
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 7 with 19 rules applied. Total rules applied 885 place count 212 transition count 337
Drop transitions (Trivial Post-Agglo cleanup.) removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 7 with 11 rules applied. Total rules applied 896 place count 212 transition count 326
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 8 with 11 rules applied. Total rules applied 907 place count 201 transition count 326
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 1 Pre rules applied. Total rules applied 907 place count 201 transition count 325
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 909 place count 200 transition count 325
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 911 place count 199 transition count 324
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 913 place count 197 transition count 322
Applied a total of 913 rules in 69 ms. Remains 197 /652 variables (removed 455) and now considering 322/808 (removed 486) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 69 ms. Remains : 197/652 places, 322/808 transitions.
[2024-06-02 21:36:34] [INFO ] Flatten gal took : 6 ms
[2024-06-02 21:36:34] [INFO ] Flatten gal took : 6 ms
[2024-06-02 21:36:34] [INFO ] Input system was already deterministic with 322 transitions.
Starting structural reductions in LTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 30 place count 622 transition count 777
Iterating global reduction 0 with 30 rules applied. Total rules applied 60 place count 622 transition count 777
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 79 place count 603 transition count 758
Iterating global reduction 0 with 19 rules applied. Total rules applied 98 place count 603 transition count 758
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 107 place count 594 transition count 749
Iterating global reduction 0 with 9 rules applied. Total rules applied 116 place count 594 transition count 749
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 118 place count 592 transition count 747
Iterating global reduction 0 with 2 rules applied. Total rules applied 120 place count 592 transition count 747
Applied a total of 120 rules in 39 ms. Remains 592 /652 variables (removed 60) and now considering 747/808 (removed 61) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 40 ms. Remains : 592/652 places, 747/808 transitions.
[2024-06-02 21:36:34] [INFO ] Flatten gal took : 14 ms
[2024-06-02 21:36:34] [INFO ] Flatten gal took : 15 ms
[2024-06-02 21:36:34] [INFO ] Input system was already deterministic with 747 transitions.
Starting structural reductions in LTL mode, iteration 0 : 652/652 places, 808/808 transitions.
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 32 place count 620 transition count 775
Iterating global reduction 0 with 32 rules applied. Total rules applied 64 place count 620 transition count 775
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 85 place count 599 transition count 754
Iterating global reduction 0 with 21 rules applied. Total rules applied 106 place count 599 transition count 754
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 107 place count 599 transition count 753
Discarding 11 places :
Symmetric choice reduction at 1 with 11 rule applications. Total rules 118 place count 588 transition count 742
Iterating global reduction 1 with 11 rules applied. Total rules applied 129 place count 588 transition count 742
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 132 place count 585 transition count 739
Iterating global reduction 1 with 3 rules applied. Total rules applied 135 place count 585 transition count 739
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 136 place count 585 transition count 738
Applied a total of 136 rules in 41 ms. Remains 585 /652 variables (removed 67) and now considering 738/808 (removed 70) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 41 ms. Remains : 585/652 places, 738/808 transitions.
[2024-06-02 21:36:34] [INFO ] Flatten gal took : 15 ms
[2024-06-02 21:36:34] [INFO ] Flatten gal took : 15 ms
[2024-06-02 21:36:34] [INFO ] Input system was already deterministic with 738 transitions.
[2024-06-02 21:36:34] [INFO ] Flatten gal took : 16 ms
[2024-06-02 21:36:34] [INFO ] Flatten gal took : 16 ms
[2024-06-02 21:36:34] [INFO ] Export to MCC of 13 properties in file /home/mcc/execution/CTLFireability.sr.xml took 3 ms.
[2024-06-02 21:36:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 652 places, 808 transitions and 1811 arcs took 4 ms.
Total runtime 16328 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running CO4-PT-21
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/403/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 652
TRANSITIONS: 808
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.012s, Sys 0.000s]
SAVING FILE /home/mcc/execution/403/model (.net / .def) ...
EXPORT TIME: [User 0.002s, Sys 0.000s]
----------------------------------------------------------------------
GreatSPN/Meddly.
Copyright (C) 1987-2022, University of Torino, Italy.
website: https://github.com/greatspn/SOURCES
Based on MEDDLY version 0.16.0
Copyright (C) 2009, Iowa State University Research Foundation, Inc.
website: http://meddly.sourceforge.net
Process ID: 542
MODEL NAME: /home/mcc/execution/403/model
652 places, 808 transitions.
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Creating all event NSFs..
Split: SplitSubtract
Start RS construction.
Building monolithic NSF...
FORMULA CO4-PT-21-CTLFireability-2024-10 FALSE TECHNIQUES DECISION_DIAGRAMS PARALLEL_PROCESSING UNFOLDING_TO_PT USE_NUPN TOPOLOGICAL
FORMULA CO4-PT-21-CTLFireability-2024-00 TRUE TECHNIQUES DECISION_DIAGRAMS PARALLEL_PROCESSING UNFOLDING_TO_PT USE_NUPN TOPOLOGICAL
FORMULA CO4-PT-21-CTLFireability-2024-03 FALSE TECHNIQUES DECISION_DIAGRAMS PARALLEL_PROCESSING UNFOLDING_TO_PT USE_NUPN TOPOLOGICAL
FORMULA CO4-PT-21-CTLFireability-2024-01 CANNOT_COMPUTE
FORMULA CO4-PT-21-CTLFireability-2024-02 CANNOT_COMPUTE
FORMULA CO4-PT-21-CTLFireability-2024-04 CANNOT_COMPUTE
FORMULA CO4-PT-21-CTLFireability-2024-06 CANNOT_COMPUTE
FORMULA CO4-PT-21-CTLFireability-2024-07 CANNOT_COMPUTE
FORMULA CO4-PT-21-CTLFireability-2024-08 CANNOT_COMPUTE
FORMULA CO4-PT-21-CTLFireability-2024-11 CANNOT_COMPUTE
FORMULA CO4-PT-21-CTLFireability-2024-13 CANNOT_COMPUTE
FORMULA CO4-PT-21-CTLFireability-2024-14 CANNOT_COMPUTE
FORMULA CO4-PT-21-CTLFireability-2024-15 CANNOT_COMPUTE
Ok.
EXITCODE: 0
----------------------------------------------------------------------
BK_STOP 1717365644202
--------------------
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 CTLFireability -timeout 360 -rebuildPNML
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
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="CO4-PT-21"
export BK_EXAMINATION="CTLFireability"
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 CO4-PT-21, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r549-tall-171734897900162"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CO4-PT-21.tgz
mv CO4-PT-21 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;