About the Execution of GreatSPN+red for MultiCrashLeafsetExtension-PT-S16C08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11946.983 | 3600000.00 | 13775746.00 | 736.00 | ???T?????FT???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.r245-tall-171654349100049.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 MultiCrashLeafsetExtension-PT-S16C08, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-171654349100049
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.7M
-rw-r--r-- 1 mcc users 13K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 19 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 18:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Apr 12 06:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 73K Apr 12 06:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 19 15:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 6.3M May 18 16:43 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 MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2023-15
=== Now, execution of the tool begins
BK_START 1716576927046
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S16C08
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-24 18:55:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2024-05-24 18:55:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-24 18:55:28] [INFO ] Load time of PNML (sax parser for PT used): 419 ms
[2024-05-24 18:55:28] [INFO ] Transformed 6876 places.
[2024-05-24 18:55:28] [INFO ] Transformed 9571 transitions.
[2024-05-24 18:55:28] [INFO ] Parsed PT model containing 6876 places and 9571 transitions and 35518 arcs in 588 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 19 ms.
Support contains 155 out of 6876 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 6876/6876 places, 9571/9571 transitions.
Reduce places removed 36 places and 0 transitions.
Iterating post reduction 0 with 36 rules applied. Total rules applied 36 place count 6840 transition count 9571
Discarding 2117 places :
Symmetric choice reduction at 1 with 2117 rule applications. Total rules 2153 place count 4723 transition count 7454
Iterating global reduction 1 with 2117 rules applied. Total rules applied 4270 place count 4723 transition count 7454
Discarding 1807 places :
Symmetric choice reduction at 1 with 1807 rule applications. Total rules 6077 place count 2916 transition count 5647
Iterating global reduction 1 with 1807 rules applied. Total rules applied 7884 place count 2916 transition count 5647
Discarding 145 places :
Symmetric choice reduction at 1 with 145 rule applications. Total rules 8029 place count 2771 transition count 4487
Iterating global reduction 1 with 145 rules applied. Total rules applied 8174 place count 2771 transition count 4487
Applied a total of 8174 rules in 1334 ms. Remains 2771 /6876 variables (removed 4105) and now considering 4487/9571 (removed 5084) transitions.
[2024-05-24 18:55:30] [INFO ] Flow matrix only has 4215 transitions (discarded 272 similar events)
// Phase 1: matrix 4215 rows 2771 cols
[2024-05-24 18:55:30] [INFO ] Computed 613 invariants in 246 ms
[2024-05-24 18:55:34] [INFO ] Implicit Places using invariants in 4074 ms returned [4, 8, 12, 14, 16, 18, 22, 24, 26, 28, 33, 40, 49, 60, 73, 88, 106, 124, 126, 128, 132, 134, 136, 138, 151, 162, 171, 183, 186, 225, 232, 235, 236, 237, 240, 241, 243, 248, 256, 263, 275, 286, 299, 316, 330, 331, 332, 334, 335, 336, 338, 352, 361, 370, 378, 381, 383, 418, 425, 428, 429, 430, 431, 432, 434, 435, 436, 438, 441, 448, 455, 464, 477, 489, 504, 506, 508, 509, 522, 532, 539, 544, 546, 548, 583, 590, 593, 595, 596, 598, 600, 601, 606, 608, 611, 619, 626, 638, 648, 658, 661, 665, 667, 677, 683, 689, 694, 700, 702, 739, 746, 749, 750, 751, 752, 753, 755, 757, 759, 761, 763, 768, 773, 780, 790, 798, 801, 803, 806, 807, 816, 822, 827, 831, 834, 838, 873, 880, 884, 885, 886, 887, 888, 889, 890, 891, 895, 899, 901, 903, 906, 911, 917, 923, 924, 925, 926, 927, 928, 929, 931, 934, 939, 941, 943, 947, 949, 984, 991, 995, 996, 998, 999, 1000, 1001, 1002, 1006, 1009, 1011, 1015, 1018, 1021, 1025, 1029, 1031, 1032, 1033, 1035, 1037, 1040, 1044, 1046, 1053, 1057, 1095, 1105, 1106, 1108, 1109, 1110, 1112, 1113, 1115, 1118, 1123, 1125, 1127, 1129, 1134, 1139, 1140, 1141, 1142, 1144, 1145, 1146, 1151, 1154, 1158, 1160, 1162, 1164, 1199, 1201, 1205, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1218, 1220, 1222, 1224, 1226, 1228, 1230, 1233, 1234, 1235, 1239, 1241, 1245, 1250, 1252, 1254, 1260, 1265, 1300, 1307, 1310, 1311, 1312, 1314, 1315, 1316, 1318, 1322, 1327, 1332, 1334, 1336, 1338, 1340, 1343, 1345, 1346, 1347, 1348, 1349, 1351, 1356, 1358, 1360, 1365, 1367, 1369, 1404, 1411, 1414, 1415, 1417, 1418, 1420, 1421, 1422, 1424, 1426, 1428, 1430, 1435, 1437, 1442, 1447, 1448, 1449, 1451, 1452, 1453, 1454, 1455, 1460, 1462, 1464, 1466, 1468, 1470, 1505, 1512, 1515, 1516, 1518, 1519, 1520, 1521, 1522, 1523, 1527, 1529, 1531, 1533, 1535, 1538, 1543, 1550, 1551, 1554, 1555, 1557, 1558, 1565, 1568, 1571, 1573, 1575, 1581, 1616, 1623, 1627, 1628, 1629, 1632, 1633, 1634, 1635, 1639, 1641, 1646, 1648, 1654, 1659, 1666, 1675, 1676, 1677, 1678, 1679, 1680, 1681, 1683, 1692, 1697, 1700, 1702, 1704, 1706, 1748, 1751, 1752, 1753, 1754, 1757, 1758, 1759, 1764, 1766, 1768, 1778, 1785, 1794, 1806, 1807, 1808, 1809, 1813, 1824, 1835, 1840, 1843, 1846, 1848, 1887, 1894, 1897, 1899, 1901, 1903, 1905, 1907, 1909, 1914, 1919, 1929, 1941, 1952, 1965, 1966, 1967, 1969, 1970, 1971, 1973, 1984, 1995, 2002, 2007, 2010, 2014, 2049, 2056, 2062, 2063, 2065, 2066, 2067, 2068, 2074, 2080, 2086, 2095, 2104, 2115, 2128, 2143, 2144, 2145, 2146, 2147, 2148, 2149, 2150, 2151, 2164, 2175, 2184, 2191, 2196, 2199, 2234, 2236, 2240, 2243, 2244, 2246, 2247, 2248, 2249, 2250, 2251, 2261, 2268, 2279, 2292, 2305, 2320, 2337, 2339, 2340, 2341, 2343, 2345, 2364, 2377, 2390, 2399, 2409, 2414, 2450]
[2024-05-24 18:55:34] [INFO ] Actually due to overlaps returned [225, 418, 583, 739, 873, 984, 1095, 1199, 1300, 1404, 1505, 1616, 1887, 2049, 2234, 2450, 4, 12, 14, 16, 18, 22, 24, 26, 124, 126, 128, 132, 134, 136, 162, 235, 236, 237, 240, 241, 330, 331, 332, 334, 335, 336, 361, 428, 429, 430, 431, 432, 434, 435, 504, 506, 508, 532, 593, 595, 596, 598, 600, 658, 661, 665, 683, 749, 750, 751, 752, 753, 755, 798, 801, 803, 806, 822, 884, 885, 886, 887, 888, 889, 890, 923, 924, 925, 926, 927, 928, 929, 939, 995, 996, 998, 999, 1000, 1001, 1029, 1031, 1032, 1033, 1035, 1044, 1105, 1106, 1108, 1109, 1110, 1112, 1139, 1140, 1141, 1142, 1144, 1145, 1154, 1201, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1233, 1234, 1235, 1239, 1250, 1310, 1311, 1312, 1314, 1315, 1316, 1343, 1345, 1346, 1347, 1348, 1349, 1358, 1414, 1415, 1417, 1418, 1420, 1421, 1447, 1448, 1449, 1451, 1452, 1453, 1454, 1462, 1515, 1516, 1518, 1519, 1520, 1521, 1522, 1550, 1551, 1554, 1555, 1557, 1568, 1627, 1628, 1629, 1632, 1633, 1634, 1675, 1676, 1677, 1678, 1679, 1680, 1681, 1751, 1752, 1753, 1754, 1757, 1758, 1806, 1807, 1808, 1809, 1840, 1897, 1899, 1901, 1903, 1965, 1966, 1967, 1969, 1970, 1971, 2002, 2062, 2063, 2065, 2066, 2067, 2143, 2144, 2145, 2146, 2147, 2148, 2149, 2150, 2184, 2236, 2243, 2244, 2246, 2247, 2248, 2249, 2250, 2337, 2339, 2340, 2341, 2343, 2390]
Discarding 231 places :
Implicit Place search using SMT only with invariants took 4117 ms to find 231 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2540/6876 places, 4487/9571 transitions.
Discarding 177 places :
Symmetric choice reduction at 0 with 177 rule applications. Total rules 177 place count 2363 transition count 4310
Iterating global reduction 0 with 177 rules applied. Total rules applied 354 place count 2363 transition count 4310
Discarding 175 places :
Symmetric choice reduction at 0 with 175 rule applications. Total rules 529 place count 2188 transition count 4135
Iterating global reduction 0 with 175 rules applied. Total rules applied 704 place count 2188 transition count 4135
Discarding 171 places :
Symmetric choice reduction at 0 with 171 rule applications. Total rules 875 place count 2017 transition count 3964
Iterating global reduction 0 with 171 rules applied. Total rules applied 1046 place count 2017 transition count 3964
Applied a total of 1046 rules in 356 ms. Remains 2017 /2540 variables (removed 523) and now considering 3964/4487 (removed 523) transitions.
[2024-05-24 18:55:34] [INFO ] Flow matrix only has 3692 transitions (discarded 272 similar events)
// Phase 1: matrix 3692 rows 2017 cols
[2024-05-24 18:55:34] [INFO ] Computed 382 invariants in 68 ms
[2024-05-24 18:55:37] [INFO ] Implicit Places using invariants in 2325 ms returned [7, 20, 25, 32, 41, 52, 65, 80, 98, 124, 137, 156, 168, 171, 216, 222, 227, 235, 242, 254, 265, 278, 295, 311, 325, 342, 350, 353, 355, 380, 384, 386, 389, 396, 403, 412, 425, 437, 454, 467, 483, 488, 490, 492, 517, 523, 528, 530, 533, 541, 548, 560, 570, 586, 596, 607, 612, 618, 620, 647, 652, 654, 656, 658, 663, 668, 675, 685, 698, 707, 717, 721, 724, 728, 749, 753, 757, 761, 763, 765, 768, 773, 779, 786, 789, 795, 797, 801, 803, 816, 821, 825, 828, 830, 834, 837, 840, 844, 851, 854, 859, 866, 870, 897, 899, 902, 907, 909, 911, 913, 918, 924, 929, 935, 937, 939, 941, 957, 960, 962, 964, 966, 968, 970, 972, 974, 981, 985, 991, 993, 999, 1004, 1021, 1026, 1030, 1035, 1040, 1042, 1044, 1046, 1048, 1053, 1058, 1061, 1066, 1068, 1070, 1088, 1093, 1095, 1097, 1099, 1101, 1106, 1108, 1113, 1119, 1124, 1127, 1129, 1131, 1133, 1149, 1153, 1157, 1159, 1161, 1163, 1165, 1168, 1173, 1183, 1190, 1195, 1197, 1199, 1205, 1224, 1230, 1234, 1236, 1241, 1243, 1249, 1254, 1261, 1271, 1280, 1285, 1288, 1290, 1292, 1294, 1312, 1317, 1322, 1324, 1326, 1336, 1343, 1352, 1367, 1378, 1389, 1396, 1399, 1401, 1426, 1433, 1435, 1437, 1442, 1447, 1457, 1469, 1480, 1495, 1506, 1517, 1528, 1531, 1535, 1556, 1563, 1569, 1575, 1581, 1590, 1599, 1610, 1623, 1638, 1651, 1662, 1677, 1682, 1685, 1698, 1702, 1712, 1719, 1730, 1743, 1756, 1771, 1791, 1810, 1823, 1844, 1854, 1859]
Discarding 251 places :
Implicit Place search using SMT only with invariants took 2333 ms to find 251 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1766/6876 places, 3964/9571 transitions.
Applied a total of 0 rules in 61 ms. Remains 1766 /1766 variables (removed 0) and now considering 3964/3964 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 8217 ms. Remains : 1766/6876 places, 3964/9571 transitions.
Support contains 155 out of 1766 places after structural reductions.
[2024-05-24 18:55:37] [INFO ] Flatten gal took : 324 ms
[2024-05-24 18:55:37] [INFO ] Flatten gal took : 197 ms
[2024-05-24 18:55:38] [INFO ] Input system was already deterministic with 3964 transitions.
Support contains 153 out of 1766 places (down from 155) after GAL structural reductions.
RANDOM walk for 40000 steps (481 resets) in 3009 ms. (13 steps per ms) remains 52/74 properties
BEST_FIRST walk for 4003 steps (12 resets) in 47 ms. (83 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (12 resets) in 60 ms. (65 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4002 steps (12 resets) in 44 ms. (88 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (12 resets) in 49 ms. (80 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (12 resets) in 39 ms. (100 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (12 resets) in 46 ms. (85 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (12 resets) in 53 ms. (74 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4004 steps (12 resets) in 37 ms. (105 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4001 steps (12 resets) in 36 ms. (108 steps per ms) remains 52/52 properties
BEST_FIRST walk for 4003 steps (12 resets) in 25 ms. (153 steps per ms) remains 51/52 properties
BEST_FIRST walk for 4004 steps (12 resets) in 35 ms. (111 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 27 ms. (143 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 23 ms. (166 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (12 resets) in 26 ms. (148 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 26 ms. (148 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4002 steps (12 resets) in 34 ms. (114 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4002 steps (12 resets) in 36 ms. (108 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4002 steps (12 resets) in 27 ms. (142 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 27 ms. (143 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (12 resets) in 79 ms. (50 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 20 ms. (190 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 56 ms. (70 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4001 steps (12 resets) in 33 ms. (117 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4002 steps (12 resets) in 39 ms. (100 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4002 steps (12 resets) in 29 ms. (133 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 27 ms. (143 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (12 resets) in 32 ms. (121 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 32 ms. (121 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (12 resets) in 25 ms. (153 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (12 resets) in 49 ms. (80 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (12 resets) in 31 ms. (125 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 30 ms. (129 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (12 resets) in 23 ms. (166 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (12 resets) in 39 ms. (100 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 24 ms. (160 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 25 ms. (154 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 25 ms. (154 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4001 steps (12 resets) in 31 ms. (125 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (12 resets) in 27 ms. (142 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (12 resets) in 26 ms. (148 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 77 ms. (51 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 28 ms. (138 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4002 steps (12 resets) in 28 ms. (138 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4002 steps (12 resets) in 30 ms. (129 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4002 steps (12 resets) in 32 ms. (121 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4002 steps (12 resets) in 28 ms. (138 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (12 resets) in 24 ms. (160 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 36 ms. (108 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 31 ms. (125 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4003 steps (12 resets) in 29 ms. (133 steps per ms) remains 51/51 properties
BEST_FIRST walk for 4004 steps (12 resets) in 41 ms. (95 steps per ms) remains 51/51 properties
[2024-05-24 18:55:40] [INFO ] Flow matrix only has 3692 transitions (discarded 272 similar events)
// Phase 1: matrix 3692 rows 1766 cols
[2024-05-24 18:55:40] [INFO ] Computed 131 invariants in 47 ms
[2024-05-24 18:55:40] [INFO ] State equation strengthened by 1707 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/95 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 51 unsolved
Problem AtomicPropp4 is UNSAT
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp11 is UNSAT
Problem AtomicPropp13 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp17 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp29 is UNSAT
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp34 is UNSAT
Problem AtomicPropp35 is UNSAT
Problem AtomicPropp36 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp40 is UNSAT
Problem AtomicPropp44 is UNSAT
Problem AtomicPropp46 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp52 is UNSAT
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp59 is UNSAT
Problem AtomicPropp65 is UNSAT
Problem AtomicPropp69 is UNSAT
Problem AtomicPropp70 is UNSAT
Problem AtomicPropp71 is UNSAT
Problem AtomicPropp72 is UNSAT
At refinement iteration 1 (OVERLAPS) 1456/1551 variables, 6/6 constraints. Problems are: Problem set: 28 solved, 23 unsolved
Problem AtomicPropp6 is UNSAT
At refinement iteration 2 (INCLUDED_ONLY) 0/1551 variables, 3/9 constraints. Problems are: Problem set: 29 solved, 22 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1551 variables, 0/9 constraints. Problems are: Problem set: 29 solved, 22 unsolved
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp38 is UNSAT
Problem AtomicPropp42 is UNSAT
Problem AtomicPropp49 is UNSAT
Problem AtomicPropp58 is UNSAT
Problem AtomicPropp61 is UNSAT
Problem AtomicPropp64 is UNSAT
Problem AtomicPropp67 is UNSAT
Problem AtomicPropp68 is UNSAT
At refinement iteration 4 (OVERLAPS) 173/1724 variables, 80/89 constraints. Problems are: Problem set: 41 solved, 10 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1724 variables, 0/89 constraints. Problems are: Problem set: 41 solved, 10 unsolved
At refinement iteration 6 (OVERLAPS) 26/1750 variables, 26/115 constraints. Problems are: Problem set: 41 solved, 10 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1750 variables, 0/115 constraints. Problems are: Problem set: 41 solved, 10 unsolved
At refinement iteration 8 (OVERLAPS) 16/1766 variables, 16/131 constraints. Problems are: Problem set: 41 solved, 10 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1766 variables, 0/131 constraints. Problems are: Problem set: 41 solved, 10 unsolved
At refinement iteration 10 (OVERLAPS) 3692/5458 variables, 1766/1897 constraints. Problems are: Problem set: 41 solved, 10 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/5458 variables, 1707/3604 constraints. Problems are: Problem set: 41 solved, 10 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/5458 variables, 0/3604 constraints. Problems are: Problem set: 41 solved, 10 unsolved
At refinement iteration 13 (OVERLAPS) 0/5458 variables, 0/3604 constraints. Problems are: Problem set: 41 solved, 10 unsolved
No progress, stopping.
After SMT solving in domain Real declared 5458/5458 variables, and 3604 constraints, problems are : Problem set: 41 solved, 10 unsolved in 5014 ms.
Refiners :[Positive P Invariants (semi-flows): 32/32 constraints, Generalized P Invariants (flows): 99/99 constraints, State Equation: 1766/1766 constraints, ReadFeed: 1707/1707 constraints, PredecessorRefiner: 51/51 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 41 solved, 10 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/28 variables, 0/0 constraints. Problems are: Problem set: 41 solved, 10 unsolved
Problem AtomicPropp54 is UNSAT
At refinement iteration 1 (OVERLAPS) 1497/1525 variables, 6/6 constraints. Problems are: Problem set: 42 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1525 variables, 1/7 constraints. Problems are: Problem set: 42 solved, 9 unsolved
[2024-05-24 18:55:46] [INFO ] Deduced a trap composed of 1267 places in 1022 ms of which 86 ms to minimize.
[2024-05-24 18:55:47] [INFO ] Deduced a trap composed of 1022 places in 946 ms of which 15 ms to minimize.
[2024-05-24 18:55:48] [INFO ] Deduced a trap composed of 1184 places in 830 ms of which 10 ms to minimize.
[2024-05-24 18:55:49] [INFO ] Deduced a trap composed of 1256 places in 795 ms of which 9 ms to minimize.
[2024-05-24 18:55:50] [INFO ] Deduced a trap composed of 905 places in 678 ms of which 10 ms to minimize.
SMT process timed out in 10316ms, After SMT, problems are : Problem set: 42 solved, 9 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 21 out of 1766 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1766/1766 places, 3964/3964 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 53 transitions
Trivial Post-agglo rules discarded 53 transitions
Performed 53 trivial Post agglomeration. Transition count delta: 53
Iterating post reduction 0 with 53 rules applied. Total rules applied 53 place count 1766 transition count 3911
Reduce places removed 53 places and 0 transitions.
Iterating post reduction 1 with 53 rules applied. Total rules applied 106 place count 1713 transition count 3911
Performed 78 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 78 Pre rules applied. Total rules applied 106 place count 1713 transition count 3833
Deduced a syphon composed of 78 places in 2 ms
Reduce places removed 78 places and 0 transitions.
Iterating global reduction 2 with 156 rules applied. Total rules applied 262 place count 1635 transition count 3833
Discarding 64 places :
Symmetric choice reduction at 2 with 64 rule applications. Total rules 326 place count 1571 transition count 3713
Iterating global reduction 2 with 64 rules applied. Total rules applied 390 place count 1571 transition count 3713
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 431 place count 1530 transition count 3413
Iterating global reduction 2 with 41 rules applied. Total rules applied 472 place count 1530 transition count 3413
Performed 49 Post agglomeration using F-continuation condition.Transition count delta: 49
Deduced a syphon composed of 49 places in 3 ms
Reduce places removed 49 places and 0 transitions.
Iterating global reduction 2 with 98 rules applied. Total rules applied 570 place count 1481 transition count 3364
Discarding 34 places :
Symmetric choice reduction at 2 with 34 rule applications. Total rules 604 place count 1447 transition count 3330
Iterating global reduction 2 with 34 rules applied. Total rules applied 638 place count 1447 transition count 3330
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 671 place count 1414 transition count 3066
Iterating global reduction 2 with 33 rules applied. Total rules applied 704 place count 1414 transition count 3066
Free-agglomeration rule (complex) applied 177 times.
Iterating global reduction 2 with 177 rules applied. Total rules applied 881 place count 1414 transition count 4401
Reduce places removed 177 places and 0 transitions.
Iterating post reduction 2 with 177 rules applied. Total rules applied 1058 place count 1237 transition count 4401
Partial Free-agglomeration rule applied 76 times.
Drop transitions (Partial Free agglomeration) removed 76 transitions
Iterating global reduction 3 with 76 rules applied. Total rules applied 1134 place count 1237 transition count 4401
Applied a total of 1134 rules in 1097 ms. Remains 1237 /1766 variables (removed 529) and now considering 4401/3964 (removed -437) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1098 ms. Remains : 1237/1766 places, 4401/3964 transitions.
RANDOM walk for 40000 steps (834 resets) in 1210 ms. (33 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (118 resets) in 239 ms. (166 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (117 resets) in 262 ms. (152 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (120 resets) in 223 ms. (178 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (120 resets) in 174 ms. (228 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (118 resets) in 213 ms. (186 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (120 resets) in 164 ms. (242 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40002 steps (121 resets) in 164 ms. (242 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (119 resets) in 163 ms. (243 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (119 resets) in 166 ms. (239 steps per ms) remains 9/9 properties
Interrupted probabilistic random walk after 48860 steps, run timeout after 3001 ms. (steps per millisecond=16 ) properties seen :0 out of 9
Probabilistic random walk after 48860 steps, saw 21143 distinct states, run finished after 3007 ms. (steps per millisecond=16 ) properties seen :0
[2024-05-24 18:55:55] [INFO ] Flow matrix only has 4003 transitions (discarded 398 similar events)
// Phase 1: matrix 4003 rows 1237 cols
[2024-05-24 18:55:55] [INFO ] Computed 131 invariants in 47 ms
[2024-05-24 18:55:55] [INFO ] State equation strengthened by 2673 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/21 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 1055/1076 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1076 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1076 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (OVERLAPS) 119/1195 variables, 82/89 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1195 variables, 0/89 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (OVERLAPS) 26/1221 variables, 26/115 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1221 variables, 0/115 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (OVERLAPS) 16/1237 variables, 16/131 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1237 variables, 0/131 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 10 (OVERLAPS) 4003/5240 variables, 1237/1368 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/5240 variables, 2673/4041 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/5240 variables, 0/4041 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 13 (OVERLAPS) 0/5240 variables, 0/4041 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Real declared 5240/5240 variables, and 4041 constraints, problems are : Problem set: 0 solved, 9 unsolved in 4269 ms.
Refiners :[Positive P Invariants (semi-flows): 32/32 constraints, Generalized P Invariants (flows): 99/99 constraints, State Equation: 1237/1237 constraints, ReadFeed: 2673/2673 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 9 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/21 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 1055/1076 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1076 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1076 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Problem AtomicPropp19 is UNSAT
At refinement iteration 4 (OVERLAPS) 119/1195 variables, 82/89 constraints. Problems are: Problem set: 1 solved, 8 unsolved
[2024-05-24 18:56:01] [INFO ] Deduced a trap composed of 137 places in 830 ms of which 9 ms to minimize.
[2024-05-24 18:56:01] [INFO ] Deduced a trap composed of 117 places in 838 ms of which 8 ms to minimize.
[2024-05-24 18:56:02] [INFO ] Deduced a trap composed of 5 places in 897 ms of which 9 ms to minimize.
[2024-05-24 18:56:03] [INFO ] Deduced a trap composed of 158 places in 873 ms of which 8 ms to minimize.
[2024-05-24 18:56:04] [INFO ] Deduced a trap composed of 147 places in 820 ms of which 8 ms to minimize.
[2024-05-24 18:56:05] [INFO ] Deduced a trap composed of 153 places in 903 ms of which 9 ms to minimize.
[2024-05-24 18:56:06] [INFO ] Deduced a trap composed of 139 places in 901 ms of which 9 ms to minimize.
[2024-05-24 18:56:07] [INFO ] Deduced a trap composed of 157 places in 902 ms of which 8 ms to minimize.
[2024-05-24 18:56:08] [INFO ] Deduced a trap composed of 152 places in 828 ms of which 8 ms to minimize.
[2024-05-24 18:56:09] [INFO ] Deduced a trap composed of 125 places in 805 ms of which 9 ms to minimize.
[2024-05-24 18:56:10] [INFO ] Deduced a trap composed of 138 places in 877 ms of which 9 ms to minimize.
[2024-05-24 18:56:10] [INFO ] Deduced a trap composed of 138 places in 885 ms of which 8 ms to minimize.
[2024-05-24 18:56:11] [INFO ] Deduced a trap composed of 163 places in 875 ms of which 9 ms to minimize.
[2024-05-24 18:56:12] [INFO ] Deduced a trap composed of 139 places in 808 ms of which 8 ms to minimize.
[2024-05-24 18:56:13] [INFO ] Deduced a trap composed of 130 places in 814 ms of which 8 ms to minimize.
[2024-05-24 18:56:14] [INFO ] Deduced a trap composed of 170 places in 831 ms of which 8 ms to minimize.
[2024-05-24 18:56:15] [INFO ] Deduced a trap composed of 157 places in 808 ms of which 8 ms to minimize.
[2024-05-24 18:56:16] [INFO ] Deduced a trap composed of 137 places in 824 ms of which 9 ms to minimize.
[2024-05-24 18:56:16] [INFO ] Deduced a trap composed of 176 places in 847 ms of which 8 ms to minimize.
[2024-05-24 18:56:17] [INFO ] Deduced a trap composed of 157 places in 840 ms of which 8 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/1195 variables, 20/109 constraints. Problems are: Problem set: 1 solved, 8 unsolved
[2024-05-24 18:56:18] [INFO ] Deduced a trap composed of 158 places in 858 ms of which 8 ms to minimize.
[2024-05-24 18:56:19] [INFO ] Deduced a trap composed of 129 places in 837 ms of which 8 ms to minimize.
[2024-05-24 18:56:20] [INFO ] Deduced a trap composed of 147 places in 777 ms of which 9 ms to minimize.
[2024-05-24 18:56:21] [INFO ] Deduced a trap composed of 136 places in 832 ms of which 9 ms to minimize.
[2024-05-24 18:56:22] [INFO ] Deduced a trap composed of 135 places in 824 ms of which 8 ms to minimize.
[2024-05-24 18:56:22] [INFO ] Deduced a trap composed of 158 places in 826 ms of which 8 ms to minimize.
[2024-05-24 18:56:23] [INFO ] Deduced a trap composed of 184 places in 834 ms of which 8 ms to minimize.
[2024-05-24 18:56:24] [INFO ] Deduced a trap composed of 156 places in 829 ms of which 8 ms to minimize.
[2024-05-24 18:56:25] [INFO ] Deduced a trap composed of 144 places in 838 ms of which 13 ms to minimize.
[2024-05-24 18:56:26] [INFO ] Deduced a trap composed of 190 places in 849 ms of which 10 ms to minimize.
[2024-05-24 18:56:27] [INFO ] Deduced a trap composed of 133 places in 838 ms of which 9 ms to minimize.
[2024-05-24 18:56:28] [INFO ] Deduced a trap composed of 222 places in 852 ms of which 7 ms to minimize.
[2024-05-24 18:56:28] [INFO ] Deduced a trap composed of 136 places in 809 ms of which 8 ms to minimize.
[2024-05-24 18:56:29] [INFO ] Deduced a trap composed of 121 places in 816 ms of which 9 ms to minimize.
[2024-05-24 18:56:30] [INFO ] Deduced a trap composed of 199 places in 849 ms of which 8 ms to minimize.
[2024-05-24 18:56:31] [INFO ] Deduced a trap composed of 143 places in 777 ms of which 8 ms to minimize.
[2024-05-24 18:56:32] [INFO ] Deduced a trap composed of 156 places in 839 ms of which 8 ms to minimize.
[2024-05-24 18:56:33] [INFO ] Deduced a trap composed of 138 places in 836 ms of which 8 ms to minimize.
[2024-05-24 18:56:34] [INFO ] Deduced a trap composed of 132 places in 808 ms of which 8 ms to minimize.
[2024-05-24 18:56:34] [INFO ] Deduced a trap composed of 133 places in 812 ms of which 8 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/1195 variables, 20/129 constraints. Problems are: Problem set: 1 solved, 8 unsolved
[2024-05-24 18:56:35] [INFO ] Deduced a trap composed of 115 places in 828 ms of which 8 ms to minimize.
[2024-05-24 18:56:36] [INFO ] Deduced a trap composed of 203 places in 859 ms of which 8 ms to minimize.
[2024-05-24 18:56:37] [INFO ] Deduced a trap composed of 164 places in 837 ms of which 8 ms to minimize.
[2024-05-24 18:56:38] [INFO ] Deduced a trap composed of 131 places in 801 ms of which 7 ms to minimize.
[2024-05-24 18:56:39] [INFO ] Deduced a trap composed of 146 places in 807 ms of which 7 ms to minimize.
[2024-05-24 18:56:39] [INFO ] Deduced a trap composed of 153 places in 826 ms of which 8 ms to minimize.
[2024-05-24 18:56:40] [INFO ] Deduced a trap composed of 143 places in 876 ms of which 9 ms to minimize.
[2024-05-24 18:56:41] [INFO ] Deduced a trap composed of 187 places in 886 ms of which 8 ms to minimize.
[2024-05-24 18:56:42] [INFO ] Deduced a trap composed of 212 places in 879 ms of which 8 ms to minimize.
[2024-05-24 18:56:43] [INFO ] Deduced a trap composed of 175 places in 826 ms of which 8 ms to minimize.
[2024-05-24 18:56:44] [INFO ] Deduced a trap composed of 140 places in 786 ms of which 8 ms to minimize.
[2024-05-24 18:56:45] [INFO ] Deduced a trap composed of 140 places in 808 ms of which 9 ms to minimize.
SMT process timed out in 49766ms, After SMT, problems are : Problem set: 1 solved, 8 unsolved
Fused 8 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 17 out of 1237 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1237/1237 places, 4401/4401 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 0 with 1 rules applied. Total rules applied 1 place count 1237 transition count 4400
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 1236 transition count 4400
Partial Free-agglomeration rule applied 3 times.
Drop transitions (Partial Free agglomeration) removed 3 transitions
Iterating global reduction 2 with 3 rules applied. Total rules applied 5 place count 1236 transition count 4400
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 8 place count 1233 transition count 4397
Iterating global reduction 2 with 3 rules applied. Total rules applied 11 place count 1233 transition count 4397
Applied a total of 11 rules in 312 ms. Remains 1233 /1237 variables (removed 4) and now considering 4397/4401 (removed 4) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 312 ms. Remains : 1233/1237 places, 4397/4401 transitions.
RANDOM walk for 40000 steps (834 resets) in 1094 ms. (36 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (118 resets) in 252 ms. (158 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (121 resets) in 169 ms. (235 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (119 resets) in 167 ms. (238 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (118 resets) in 163 ms. (243 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (118 resets) in 161 ms. (246 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (118 resets) in 163 ms. (243 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (121 resets) in 176 ms. (226 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40003 steps (117 resets) in 158 ms. (251 steps per ms) remains 8/8 properties
Interrupted probabilistic random walk after 51192 steps, run timeout after 3001 ms. (steps per millisecond=17 ) properties seen :0 out of 8
Probabilistic random walk after 51192 steps, saw 22140 distinct states, run finished after 3001 ms. (steps per millisecond=17 ) properties seen :0
[2024-05-24 18:56:49] [INFO ] Flow matrix only has 3999 transitions (discarded 398 similar events)
// Phase 1: matrix 3999 rows 1233 cols
[2024-05-24 18:56:49] [INFO ] Computed 131 invariants in 41 ms
[2024-05-24 18:56:49] [INFO ] State equation strengthened by 2673 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/17 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 1 (OVERLAPS) 1041/1058 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1058 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1058 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 4 (OVERLAPS) 133/1191 variables, 82/89 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1191 variables, 0/89 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 6 (OVERLAPS) 26/1217 variables, 26/115 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1217 variables, 0/115 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 8 (OVERLAPS) 16/1233 variables, 16/131 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1233 variables, 0/131 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 10 (OVERLAPS) 3999/5232 variables, 1233/1364 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/5232 variables, 2673/4037 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/5232 variables, 0/4037 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 13 (OVERLAPS) 0/5232 variables, 0/4037 constraints. Problems are: Problem set: 0 solved, 8 unsolved
No progress, stopping.
After SMT solving in domain Real declared 5232/5232 variables, and 4037 constraints, problems are : Problem set: 0 solved, 8 unsolved in 3408 ms.
Refiners :[Positive P Invariants (semi-flows): 32/32 constraints, Generalized P Invariants (flows): 99/99 constraints, State Equation: 1233/1233 constraints, ReadFeed: 2673/2673 constraints, PredecessorRefiner: 8/8 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 8 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/17 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 1 (OVERLAPS) 1041/1058 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1058 variables, 1/7 constraints. Problems are: Problem set: 0 solved, 8 unsolved
[2024-05-24 18:56:53] [INFO ] Deduced a trap composed of 551 places in 492 ms of which 7 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1058 variables, 1/8 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1058 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 5 (OVERLAPS) 133/1191 variables, 82/90 constraints. Problems are: Problem set: 0 solved, 8 unsolved
[2024-05-24 18:56:54] [INFO ] Deduced a trap composed of 5 places in 823 ms of which 8 ms to minimize.
[2024-05-24 18:56:55] [INFO ] Deduced a trap composed of 164 places in 840 ms of which 8 ms to minimize.
[2024-05-24 18:56:56] [INFO ] Deduced a trap composed of 147 places in 829 ms of which 8 ms to minimize.
[2024-05-24 18:56:57] [INFO ] Deduced a trap composed of 163 places in 808 ms of which 8 ms to minimize.
[2024-05-24 18:56:58] [INFO ] Deduced a trap composed of 164 places in 838 ms of which 8 ms to minimize.
[2024-05-24 18:56:58] [INFO ] Deduced a trap composed of 158 places in 816 ms of which 8 ms to minimize.
[2024-05-24 18:56:59] [INFO ] Deduced a trap composed of 157 places in 796 ms of which 7 ms to minimize.
[2024-05-24 18:57:00] [INFO ] Deduced a trap composed of 155 places in 802 ms of which 7 ms to minimize.
[2024-05-24 18:57:01] [INFO ] Deduced a trap composed of 171 places in 816 ms of which 7 ms to minimize.
[2024-05-24 18:57:02] [INFO ] Deduced a trap composed of 27 places in 791 ms of which 8 ms to minimize.
[2024-05-24 18:57:03] [INFO ] Deduced a trap composed of 174 places in 807 ms of which 8 ms to minimize.
[2024-05-24 18:57:03] [INFO ] Deduced a trap composed of 145 places in 805 ms of which 8 ms to minimize.
[2024-05-24 18:57:04] [INFO ] Deduced a trap composed of 173 places in 751 ms of which 8 ms to minimize.
[2024-05-24 18:57:05] [INFO ] Deduced a trap composed of 154 places in 825 ms of which 8 ms to minimize.
[2024-05-24 18:57:06] [INFO ] Deduced a trap composed of 132 places in 813 ms of which 8 ms to minimize.
[2024-05-24 18:57:07] [INFO ] Deduced a trap composed of 46 places in 797 ms of which 8 ms to minimize.
[2024-05-24 18:57:08] [INFO ] Deduced a trap composed of 125 places in 829 ms of which 9 ms to minimize.
[2024-05-24 18:57:08] [INFO ] Deduced a trap composed of 131 places in 801 ms of which 7 ms to minimize.
[2024-05-24 18:57:09] [INFO ] Deduced a trap composed of 147 places in 866 ms of which 8 ms to minimize.
[2024-05-24 18:57:10] [INFO ] Deduced a trap composed of 143 places in 855 ms of which 9 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/1191 variables, 20/110 constraints. Problems are: Problem set: 0 solved, 8 unsolved
[2024-05-24 18:57:11] [INFO ] Deduced a trap composed of 136 places in 875 ms of which 8 ms to minimize.
[2024-05-24 18:57:12] [INFO ] Deduced a trap composed of 160 places in 848 ms of which 8 ms to minimize.
[2024-05-24 18:57:13] [INFO ] Deduced a trap composed of 143 places in 778 ms of which 8 ms to minimize.
[2024-05-24 18:57:14] [INFO ] Deduced a trap composed of 136 places in 815 ms of which 8 ms to minimize.
[2024-05-24 18:57:14] [INFO ] Deduced a trap composed of 165 places in 802 ms of which 8 ms to minimize.
[2024-05-24 18:57:15] [INFO ] Deduced a trap composed of 151 places in 807 ms of which 8 ms to minimize.
[2024-05-24 18:57:16] [INFO ] Deduced a trap composed of 136 places in 770 ms of which 7 ms to minimize.
[2024-05-24 18:57:17] [INFO ] Deduced a trap composed of 170 places in 807 ms of which 8 ms to minimize.
[2024-05-24 18:57:18] [INFO ] Deduced a trap composed of 141 places in 811 ms of which 8 ms to minimize.
[2024-05-24 18:57:19] [INFO ] Deduced a trap composed of 155 places in 818 ms of which 8 ms to minimize.
[2024-05-24 18:57:19] [INFO ] Deduced a trap composed of 153 places in 796 ms of which 8 ms to minimize.
[2024-05-24 18:57:20] [INFO ] Deduced a trap composed of 127 places in 789 ms of which 8 ms to minimize.
[2024-05-24 18:57:21] [INFO ] Deduced a trap composed of 130 places in 818 ms of which 8 ms to minimize.
[2024-05-24 18:57:22] [INFO ] Deduced a trap composed of 192 places in 837 ms of which 8 ms to minimize.
[2024-05-24 18:57:23] [INFO ] Deduced a trap composed of 166 places in 815 ms of which 7 ms to minimize.
[2024-05-24 18:57:24] [INFO ] Deduced a trap composed of 166 places in 835 ms of which 8 ms to minimize.
[2024-05-24 18:57:24] [INFO ] Deduced a trap composed of 119 places in 808 ms of which 8 ms to minimize.
[2024-05-24 18:57:25] [INFO ] Deduced a trap composed of 167 places in 803 ms of which 8 ms to minimize.
[2024-05-24 18:57:26] [INFO ] Deduced a trap composed of 154 places in 804 ms of which 8 ms to minimize.
[2024-05-24 18:57:27] [INFO ] Deduced a trap composed of 180 places in 829 ms of which 8 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/1191 variables, 20/130 constraints. Problems are: Problem set: 0 solved, 8 unsolved
[2024-05-24 18:57:28] [INFO ] Deduced a trap composed of 143 places in 834 ms of which 18 ms to minimize.
[2024-05-24 18:57:29] [INFO ] Deduced a trap composed of 138 places in 792 ms of which 8 ms to minimize.
[2024-05-24 18:57:30] [INFO ] Deduced a trap composed of 130 places in 815 ms of which 9 ms to minimize.
[2024-05-24 18:57:30] [INFO ] Deduced a trap composed of 127 places in 801 ms of which 9 ms to minimize.
[2024-05-24 18:57:31] [INFO ] Deduced a trap composed of 164 places in 831 ms of which 8 ms to minimize.
[2024-05-24 18:57:32] [INFO ] Deduced a trap composed of 145 places in 784 ms of which 8 ms to minimize.
[2024-05-24 18:57:33] [INFO ] Deduced a trap composed of 161 places in 814 ms of which 8 ms to minimize.
[2024-05-24 18:57:34] [INFO ] Deduced a trap composed of 138 places in 801 ms of which 8 ms to minimize.
[2024-05-24 18:57:34] [INFO ] Deduced a trap composed of 141 places in 798 ms of which 8 ms to minimize.
[2024-05-24 18:57:35] [INFO ] Deduced a trap composed of 155 places in 783 ms of which 8 ms to minimize.
[2024-05-24 18:57:36] [INFO ] Deduced a trap composed of 151 places in 789 ms of which 7 ms to minimize.
[2024-05-24 18:57:37] [INFO ] Deduced a trap composed of 135 places in 783 ms of which 8 ms to minimize.
[2024-05-24 18:57:38] [INFO ] Deduced a trap composed of 148 places in 788 ms of which 8 ms to minimize.
[2024-05-24 18:57:38] [INFO ] Deduced a trap composed of 160 places in 742 ms of which 8 ms to minimize.
[2024-05-24 18:57:39] [INFO ] Deduced a trap composed of 172 places in 793 ms of which 8 ms to minimize.
[2024-05-24 18:57:40] [INFO ] Deduced a trap composed of 175 places in 810 ms of which 8 ms to minimize.
[2024-05-24 18:57:41] [INFO ] Deduced a trap composed of 175 places in 809 ms of which 8 ms to minimize.
[2024-05-24 18:57:42] [INFO ] Deduced a trap composed of 134 places in 806 ms of which 8 ms to minimize.
[2024-05-24 18:57:43] [INFO ] Deduced a trap composed of 156 places in 810 ms of which 8 ms to minimize.
[2024-05-24 18:57:44] [INFO ] Deduced a trap composed of 196 places in 849 ms of which 8 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/1191 variables, 20/150 constraints. Problems are: Problem set: 0 solved, 8 unsolved
[2024-05-24 18:57:45] [INFO ] Deduced a trap composed of 155 places in 816 ms of which 8 ms to minimize.
[2024-05-24 18:57:45] [INFO ] Deduced a trap composed of 157 places in 814 ms of which 8 ms to minimize.
[2024-05-24 18:57:46] [INFO ] Deduced a trap composed of 160 places in 823 ms of which 8 ms to minimize.
[2024-05-24 18:57:47] [INFO ] Deduced a trap composed of 148 places in 807 ms of which 8 ms to minimize.
[2024-05-24 18:57:48] [INFO ] Deduced a trap composed of 155 places in 818 ms of which 9 ms to minimize.
[2024-05-24 18:57:49] [INFO ] Deduced a trap composed of 151 places in 849 ms of which 8 ms to minimize.
[2024-05-24 18:57:50] [INFO ] Deduced a trap composed of 201 places in 655 ms of which 10 ms to minimize.
[2024-05-24 18:57:50] [INFO ] Deduced a trap composed of 189 places in 650 ms of which 8 ms to minimize.
[2024-05-24 18:57:51] [INFO ] Deduced a trap composed of 201 places in 667 ms of which 8 ms to minimize.
[2024-05-24 18:57:52] [INFO ] Deduced a trap composed of 188 places in 655 ms of which 8 ms to minimize.
[2024-05-24 18:57:52] [INFO ] Deduced a trap composed of 198 places in 653 ms of which 7 ms to minimize.
[2024-05-24 18:57:53] [INFO ] Deduced a trap composed of 198 places in 652 ms of which 8 ms to minimize.
[2024-05-24 18:57:54] [INFO ] Deduced a trap composed of 215 places in 665 ms of which 8 ms to minimize.
[2024-05-24 18:57:54] [INFO ] Deduced a trap composed of 191 places in 657 ms of which 7 ms to minimize.
[2024-05-24 18:57:55] [INFO ] Deduced a trap composed of 115 places in 710 ms of which 8 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/1191 variables, 15/165 constraints. Problems are: Problem set: 0 solved, 8 unsolved
[2024-05-24 18:57:56] [INFO ] Deduced a trap composed of 160 places in 798 ms of which 8 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/1191 variables, 1/166 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1191 variables, 0/166 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 12 (OVERLAPS) 26/1217 variables, 26/192 constraints. Problems are: Problem set: 0 solved, 8 unsolved
[2024-05-24 18:57:58] [INFO ] Deduced a trap composed of 166 places in 837 ms of which 8 ms to minimize.
[2024-05-24 18:57:59] [INFO ] Deduced a trap composed of 155 places in 837 ms of which 7 ms to minimize.
[2024-05-24 18:57:59] [INFO ] Deduced a trap composed of 157 places in 809 ms of which 8 ms to minimize.
[2024-05-24 18:58:00] [INFO ] Deduced a trap composed of 166 places in 818 ms of which 8 ms to minimize.
[2024-05-24 18:58:01] [INFO ] Deduced a trap composed of 189 places in 826 ms of which 8 ms to minimize.
[2024-05-24 18:58:02] [INFO ] Deduced a trap composed of 151 places in 786 ms of which 8 ms to minimize.
[2024-05-24 18:58:03] [INFO ] Deduced a trap composed of 157 places in 819 ms of which 8 ms to minimize.
[2024-05-24 18:58:04] [INFO ] Deduced a trap composed of 163 places in 816 ms of which 8 ms to minimize.
[2024-05-24 18:58:04] [INFO ] Deduced a trap composed of 143 places in 815 ms of which 10 ms to minimize.
[2024-05-24 18:58:05] [INFO ] Deduced a trap composed of 196 places in 816 ms of which 8 ms to minimize.
[2024-05-24 18:58:06] [INFO ] Deduced a trap composed of 186 places in 822 ms of which 8 ms to minimize.
[2024-05-24 18:58:07] [INFO ] Deduced a trap composed of 169 places in 789 ms of which 8 ms to minimize.
[2024-05-24 18:58:08] [INFO ] Deduced a trap composed of 154 places in 803 ms of which 8 ms to minimize.
SMT process timed out in 79012ms, After SMT, problems are : Problem set: 0 solved, 8 unsolved
Fused 8 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 17 out of 1233 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1233/1233 places, 4397/4397 transitions.
Applied a total of 0 rules in 133 ms. Remains 1233 /1233 variables (removed 0) and now considering 4397/4397 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 133 ms. Remains : 1233/1233 places, 4397/4397 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1233/1233 places, 4397/4397 transitions.
Applied a total of 0 rules in 121 ms. Remains 1233 /1233 variables (removed 0) and now considering 4397/4397 (removed 0) transitions.
[2024-05-24 18:58:08] [INFO ] Flow matrix only has 3999 transitions (discarded 398 similar events)
[2024-05-24 18:58:08] [INFO ] Invariant cache hit.
[2024-05-24 18:58:10] [INFO ] Implicit Places using invariants in 1667 ms returned [7, 83, 84, 117, 145, 146, 209, 254, 300, 301, 302, 303, 342, 343, 380, 381, 382, 383, 413, 414, 438, 439, 440, 441, 464, 500, 512, 513, 514, 519, 534, 536, 537, 546, 573, 574, 575, 596, 597, 606, 627, 628, 638, 656, 670, 671, 672, 693, 694, 714, 732, 739, 740, 745, 769, 770, 771, 806, 807, 808, 809, 847, 848, 889, 890, 891, 987, 1052, 1053, 1054]
Discarding 70 places :
Implicit Place search using SMT only with invariants took 1671 ms to find 70 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 1163/1233 places, 4397/4397 transitions.
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 49 place count 1114 transition count 4348
Iterating global reduction 0 with 49 rules applied. Total rules applied 98 place count 1114 transition count 4348
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 147 place count 1065 transition count 4299
Iterating global reduction 0 with 49 rules applied. Total rules applied 196 place count 1065 transition count 4299
Applied a total of 196 rules in 185 ms. Remains 1065 /1163 variables (removed 98) and now considering 4299/4397 (removed 98) transitions.
[2024-05-24 18:58:10] [INFO ] Flow matrix only has 3901 transitions (discarded 398 similar events)
// Phase 1: matrix 3901 rows 1065 cols
[2024-05-24 18:58:10] [INFO ] Computed 61 invariants in 35 ms
[2024-05-24 18:58:11] [INFO ] Implicit Places using invariants in 1436 ms returned []
[2024-05-24 18:58:11] [INFO ] Flow matrix only has 3901 transitions (discarded 398 similar events)
[2024-05-24 18:58:11] [INFO ] Invariant cache hit.
[2024-05-24 18:58:12] [INFO ] State equation strengthened by 2673 read => feed constraints.
[2024-05-24 18:58:43] [INFO ] Performed 711/1065 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-24 18:58:57] [INFO ] Implicit Places using invariants and state equation in 46119 ms returned []
Implicit Place search using SMT with State Equation took 47556 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 1065/1233 places, 4299/4397 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 49534 ms. Remains : 1065/1233 places, 4299/4397 transitions.
Successfully simplified 43 atomic propositions for a total of 16 simplifications.
FORMULA MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2024-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-24 18:58:58] [INFO ] Flatten gal took : 113 ms
[2024-05-24 18:58:58] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S16C08-CTLCardinality-2023-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-24 18:58:58] [INFO ] Flatten gal took : 125 ms
[2024-05-24 18:58:58] [INFO ] Input system was already deterministic with 3964 transitions.
Support contains 32 out of 1766 places (down from 54) after GAL structural reductions.
Computed a total of 934 stabilizing places and 2331 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 1766/1766 places, 3964/3964 transitions.
Discarding 110 places :
Symmetric choice reduction at 0 with 110 rule applications. Total rules 110 place count 1656 transition count 3798
Iterating global reduction 0 with 110 rules applied. Total rules applied 220 place count 1656 transition count 3798
Discarding 87 places :
Symmetric choice reduction at 0 with 87 rule applications. Total rules 307 place count 1569 transition count 3438
Iterating global reduction 0 with 87 rules applied. Total rules applied 394 place count 1569 transition count 3438
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 440 place count 1523 transition count 3091
Iterating global reduction 0 with 46 rules applied. Total rules applied 486 place count 1523 transition count 3091
Applied a total of 486 rules in 239 ms. Remains 1523 /1766 variables (removed 243) and now considering 3091/3964 (removed 873) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 240 ms. Remains : 1523/1766 places, 3091/3964 transitions.
[2024-05-24 18:58:58] [INFO ] Flatten gal took : 74 ms
[2024-05-24 18:58:58] [INFO ] Flatten gal took : 86 ms
[2024-05-24 18:58:59] [INFO ] Input system was already deterministic with 3091 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1766/1766 places, 3964/3964 transitions.
Discarding 112 places :
Symmetric choice reduction at 0 with 112 rule applications. Total rules 112 place count 1654 transition count 3796
Iterating global reduction 0 with 112 rules applied. Total rules applied 224 place count 1654 transition count 3796
Discarding 88 places :
Symmetric choice reduction at 0 with 88 rule applications. Total rules 312 place count 1566 transition count 3414
Iterating global reduction 0 with 88 rules applied. Total rules applied 400 place count 1566 transition count 3414
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 444 place count 1522 transition count 3083
Iterating global reduction 0 with 44 rules applied. Total rules applied 488 place count 1522 transition count 3083
Applied a total of 488 rules in 247 ms. Remains 1522 /1766 variables (removed 244) and now considering 3083/3964 (removed 881) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 249 ms. Remains : 1522/1766 places, 3083/3964 transitions.
[2024-05-24 18:58:59] [INFO ] Flatten gal took : 70 ms
[2024-05-24 18:58:59] [INFO ] Flatten gal took : 87 ms
[2024-05-24 18:58:59] [INFO ] Input system was already deterministic with 3083 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1766/1766 places, 3964/3964 transitions.
Discarding 114 places :
Symmetric choice reduction at 0 with 114 rule applications. Total rules 114 place count 1652 transition count 3794
Iterating global reduction 0 with 114 rules applied. Total rules applied 228 place count 1652 transition count 3794
Discarding 90 places :
Symmetric choice reduction at 0 with 90 rule applications. Total rules 318 place count 1562 transition count 3410
Iterating global reduction 0 with 90 rules applied. Total rules applied 408 place count 1562 transition count 3410
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 454 place count 1516 transition count 3063
Iterating global reduction 0 with 46 rules applied. Total rules applied 500 place count 1516 transition count 3063
Applied a total of 500 rules in 238 ms. Remains 1516 /1766 variables (removed 250) and now considering 3063/3964 (removed 901) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 238 ms. Remains : 1516/1766 places, 3063/3964 transitions.
[2024-05-24 18:58:59] [INFO ] Flatten gal took : 77 ms
[2024-05-24 18:58:59] [INFO ] Flatten gal took : 73 ms
[2024-05-24 18:59:00] [INFO ] Input system was already deterministic with 3063 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1766/1766 places, 3964/3964 transitions.
Discarding 114 places :
Symmetric choice reduction at 0 with 114 rule applications. Total rules 114 place count 1652 transition count 3794
Iterating global reduction 0 with 114 rules applied. Total rules applied 228 place count 1652 transition count 3794
Discarding 90 places :
Symmetric choice reduction at 0 with 90 rule applications. Total rules 318 place count 1562 transition count 3410
Iterating global reduction 0 with 90 rules applied. Total rules applied 408 place count 1562 transition count 3410
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 454 place count 1516 transition count 3063
Iterating global reduction 0 with 46 rules applied. Total rules applied 500 place count 1516 transition count 3063
Applied a total of 500 rules in 246 ms. Remains 1516 /1766 variables (removed 250) and now considering 3063/3964 (removed 901) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 247 ms. Remains : 1516/1766 places, 3063/3964 transitions.
[2024-05-24 18:59:00] [INFO ] Flatten gal took : 68 ms
[2024-05-24 18:59:00] [INFO ] Flatten gal took : 77 ms
[2024-05-24 18:59:00] [INFO ] Input system was already deterministic with 3063 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1766/1766 places, 3964/3964 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 58 transitions
Trivial Post-agglo rules discarded 58 transitions
Performed 58 trivial Post agglomeration. Transition count delta: 58
Iterating post reduction 0 with 58 rules applied. Total rules applied 58 place count 1766 transition count 3906
Reduce places removed 58 places and 0 transitions.
Iterating post reduction 1 with 58 rules applied. Total rules applied 116 place count 1708 transition count 3906
Performed 78 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 78 Pre rules applied. Total rules applied 116 place count 1708 transition count 3828
Deduced a syphon composed of 78 places in 2 ms
Reduce places removed 78 places and 0 transitions.
Iterating global reduction 2 with 156 rules applied. Total rules applied 272 place count 1630 transition count 3828
Discarding 71 places :
Symmetric choice reduction at 2 with 71 rule applications. Total rules 343 place count 1559 transition count 3701
Iterating global reduction 2 with 71 rules applied. Total rules applied 414 place count 1559 transition count 3701
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 461 place count 1512 transition count 3353
Iterating global reduction 2 with 47 rules applied. Total rules applied 508 place count 1512 transition count 3353
Performed 49 Post agglomeration using F-continuation condition.Transition count delta: 49
Deduced a syphon composed of 49 places in 1 ms
Reduce places removed 49 places and 0 transitions.
Iterating global reduction 2 with 98 rules applied. Total rules applied 606 place count 1463 transition count 3304
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 645 place count 1424 transition count 3265
Iterating global reduction 2 with 39 rules applied. Total rules applied 684 place count 1424 transition count 3265
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 723 place count 1385 transition count 2953
Iterating global reduction 2 with 39 rules applied. Total rules applied 762 place count 1385 transition count 2953
Applied a total of 762 rules in 593 ms. Remains 1385 /1766 variables (removed 381) and now considering 2953/3964 (removed 1011) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 593 ms. Remains : 1385/1766 places, 2953/3964 transitions.
[2024-05-24 18:59:01] [INFO ] Flatten gal took : 60 ms
[2024-05-24 18:59:01] [INFO ] Flatten gal took : 68 ms
[2024-05-24 18:59:01] [INFO ] Input system was already deterministic with 2953 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1766/1766 places, 3964/3964 transitions.
Discarding 113 places :
Symmetric choice reduction at 0 with 113 rule applications. Total rules 113 place count 1653 transition count 3795
Iterating global reduction 0 with 113 rules applied. Total rules applied 226 place count 1653 transition count 3795
Discarding 89 places :
Symmetric choice reduction at 0 with 89 rule applications. Total rules 315 place count 1564 transition count 3412
Iterating global reduction 0 with 89 rules applied. Total rules applied 404 place count 1564 transition count 3412
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 449 place count 1519 transition count 3073
Iterating global reduction 0 with 45 rules applied. Total rules applied 494 place count 1519 transition count 3073
Applied a total of 494 rules in 244 ms. Remains 1519 /1766 variables (removed 247) and now considering 3073/3964 (removed 891) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 245 ms. Remains : 1519/1766 places, 3073/3964 transitions.
[2024-05-24 18:59:01] [INFO ] Flatten gal took : 66 ms
[2024-05-24 18:59:01] [INFO ] Flatten gal took : 73 ms
[2024-05-24 18:59:02] [INFO ] Input system was already deterministic with 3073 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1766/1766 places, 3964/3964 transitions.
Discarding 113 places :
Symmetric choice reduction at 0 with 113 rule applications. Total rules 113 place count 1653 transition count 3795
Iterating global reduction 0 with 113 rules applied. Total rules applied 226 place count 1653 transition count 3795
Discarding 90 places :
Symmetric choice reduction at 0 with 90 rule applications. Total rules 316 place count 1563 transition count 3411
Iterating global reduction 0 with 90 rules applied. Total rules applied 406 place count 1563 transition count 3411
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 451 place count 1518 transition count 3072
Iterating global reduction 0 with 45 rules applied. Total rules applied 496 place count 1518 transition count 3072
Applied a total of 496 rules in 235 ms. Remains 1518 /1766 variables (removed 248) and now considering 3072/3964 (removed 892) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 237 ms. Remains : 1518/1766 places, 3072/3964 transitions.
[2024-05-24 18:59:02] [INFO ] Flatten gal took : 66 ms
[2024-05-24 18:59:02] [INFO ] Flatten gal took : 73 ms
[2024-05-24 18:59:02] [INFO ] Input system was already deterministic with 3072 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1766/1766 places, 3964/3964 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 60 transitions
Trivial Post-agglo rules discarded 60 transitions
Performed 60 trivial Post agglomeration. Transition count delta: 60
Iterating post reduction 0 with 60 rules applied. Total rules applied 60 place count 1766 transition count 3904
Reduce places removed 60 places and 0 transitions.
Iterating post reduction 1 with 60 rules applied. Total rules applied 120 place count 1706 transition count 3904
Performed 78 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 78 Pre rules applied. Total rules applied 120 place count 1706 transition count 3826
Deduced a syphon composed of 78 places in 2 ms
Reduce places removed 78 places and 0 transitions.
Iterating global reduction 2 with 156 rules applied. Total rules applied 276 place count 1628 transition count 3826
Discarding 73 places :
Symmetric choice reduction at 2 with 73 rule applications. Total rules 349 place count 1555 transition count 3697
Iterating global reduction 2 with 73 rules applied. Total rules applied 422 place count 1555 transition count 3697
Discarding 49 places :
Symmetric choice reduction at 2 with 49 rule applications. Total rules 471 place count 1506 transition count 3340
Iterating global reduction 2 with 49 rules applied. Total rules applied 520 place count 1506 transition count 3340
Performed 49 Post agglomeration using F-continuation condition.Transition count delta: 49
Deduced a syphon composed of 49 places in 2 ms
Reduce places removed 49 places and 0 transitions.
Iterating global reduction 2 with 98 rules applied. Total rules applied 618 place count 1457 transition count 3291
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 658 place count 1417 transition count 3251
Iterating global reduction 2 with 40 rules applied. Total rules applied 698 place count 1417 transition count 3251
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 738 place count 1377 transition count 2931
Iterating global reduction 2 with 40 rules applied. Total rules applied 778 place count 1377 transition count 2931
Applied a total of 778 rules in 467 ms. Remains 1377 /1766 variables (removed 389) and now considering 2931/3964 (removed 1033) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 467 ms. Remains : 1377/1766 places, 2931/3964 transitions.
[2024-05-24 18:59:03] [INFO ] Flatten gal took : 56 ms
[2024-05-24 18:59:03] [INFO ] Flatten gal took : 66 ms
[2024-05-24 18:59:03] [INFO ] Input system was already deterministic with 2931 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1766/1766 places, 3964/3964 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 60 transitions
Trivial Post-agglo rules discarded 60 transitions
Performed 60 trivial Post agglomeration. Transition count delta: 60
Iterating post reduction 0 with 60 rules applied. Total rules applied 60 place count 1766 transition count 3904
Reduce places removed 60 places and 0 transitions.
Iterating post reduction 1 with 60 rules applied. Total rules applied 120 place count 1706 transition count 3904
Performed 77 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 77 Pre rules applied. Total rules applied 120 place count 1706 transition count 3827
Deduced a syphon composed of 77 places in 6 ms
Reduce places removed 77 places and 0 transitions.
Iterating global reduction 2 with 154 rules applied. Total rules applied 274 place count 1629 transition count 3827
Discarding 71 places :
Symmetric choice reduction at 2 with 71 rule applications. Total rules 345 place count 1558 transition count 3700
Iterating global reduction 2 with 71 rules applied. Total rules applied 416 place count 1558 transition count 3700
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 464 place count 1510 transition count 3337
Iterating global reduction 2 with 48 rules applied. Total rules applied 512 place count 1510 transition count 3337
Performed 50 Post agglomeration using F-continuation condition.Transition count delta: 50
Deduced a syphon composed of 50 places in 2 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 2 with 100 rules applied. Total rules applied 612 place count 1460 transition count 3287
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 653 place count 1419 transition count 3246
Iterating global reduction 2 with 41 rules applied. Total rules applied 694 place count 1419 transition count 3246
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 733 place count 1380 transition count 2934
Iterating global reduction 2 with 39 rules applied. Total rules applied 772 place count 1380 transition count 2934
Applied a total of 772 rules in 472 ms. Remains 1380 /1766 variables (removed 386) and now considering 2934/3964 (removed 1030) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 472 ms. Remains : 1380/1766 places, 2934/3964 transitions.
[2024-05-24 18:59:03] [INFO ] Flatten gal took : 57 ms
[2024-05-24 18:59:03] [INFO ] Flatten gal took : 66 ms
[2024-05-24 18:59:04] [INFO ] Input system was already deterministic with 2934 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1766/1766 places, 3964/3964 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 60 transitions
Trivial Post-agglo rules discarded 60 transitions
Performed 60 trivial Post agglomeration. Transition count delta: 60
Iterating post reduction 0 with 60 rules applied. Total rules applied 60 place count 1766 transition count 3904
Reduce places removed 60 places and 0 transitions.
Iterating post reduction 1 with 60 rules applied. Total rules applied 120 place count 1706 transition count 3904
Performed 77 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 77 Pre rules applied. Total rules applied 120 place count 1706 transition count 3827
Deduced a syphon composed of 77 places in 2 ms
Reduce places removed 77 places and 0 transitions.
Iterating global reduction 2 with 154 rules applied. Total rules applied 274 place count 1629 transition count 3827
Discarding 72 places :
Symmetric choice reduction at 2 with 72 rule applications. Total rules 346 place count 1557 transition count 3699
Iterating global reduction 2 with 72 rules applied. Total rules applied 418 place count 1557 transition count 3699
Discarding 49 places :
Symmetric choice reduction at 2 with 49 rule applications. Total rules 467 place count 1508 transition count 3342
Iterating global reduction 2 with 49 rules applied. Total rules applied 516 place count 1508 transition count 3342
Performed 49 Post agglomeration using F-continuation condition.Transition count delta: 49
Deduced a syphon composed of 49 places in 1 ms
Reduce places removed 49 places and 0 transitions.
Iterating global reduction 2 with 98 rules applied. Total rules applied 614 place count 1459 transition count 3293
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 654 place count 1419 transition count 3253
Iterating global reduction 2 with 40 rules applied. Total rules applied 694 place count 1419 transition count 3253
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 733 place count 1380 transition count 2941
Iterating global reduction 2 with 39 rules applied. Total rules applied 772 place count 1380 transition count 2941
Applied a total of 772 rules in 453 ms. Remains 1380 /1766 variables (removed 386) and now considering 2941/3964 (removed 1023) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 453 ms. Remains : 1380/1766 places, 2941/3964 transitions.
[2024-05-24 18:59:04] [INFO ] Flatten gal took : 57 ms
[2024-05-24 18:59:04] [INFO ] Flatten gal took : 69 ms
[2024-05-24 18:59:04] [INFO ] Input system was already deterministic with 2941 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1766/1766 places, 3964/3964 transitions.
Discarding 111 places :
Symmetric choice reduction at 0 with 111 rule applications. Total rules 111 place count 1655 transition count 3797
Iterating global reduction 0 with 111 rules applied. Total rules applied 222 place count 1655 transition count 3797
Discarding 87 places :
Symmetric choice reduction at 0 with 87 rule applications. Total rules 309 place count 1568 transition count 3430
Iterating global reduction 0 with 87 rules applied. Total rules applied 396 place count 1568 transition count 3430
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 441 place count 1523 transition count 3091
Iterating global reduction 0 with 45 rules applied. Total rules applied 486 place count 1523 transition count 3091
Applied a total of 486 rules in 229 ms. Remains 1523 /1766 variables (removed 243) and now considering 3091/3964 (removed 873) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 230 ms. Remains : 1523/1766 places, 3091/3964 transitions.
[2024-05-24 18:59:05] [INFO ] Flatten gal took : 64 ms
[2024-05-24 18:59:05] [INFO ] Flatten gal took : 71 ms
[2024-05-24 18:59:05] [INFO ] Input system was already deterministic with 3091 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1766/1766 places, 3964/3964 transitions.
Discarding 112 places :
Symmetric choice reduction at 0 with 112 rule applications. Total rules 112 place count 1654 transition count 3796
Iterating global reduction 0 with 112 rules applied. Total rules applied 224 place count 1654 transition count 3796
Discarding 88 places :
Symmetric choice reduction at 0 with 88 rule applications. Total rules 312 place count 1566 transition count 3421
Iterating global reduction 0 with 88 rules applied. Total rules applied 400 place count 1566 transition count 3421
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 445 place count 1521 transition count 3082
Iterating global reduction 0 with 45 rules applied. Total rules applied 490 place count 1521 transition count 3082
Applied a total of 490 rules in 229 ms. Remains 1521 /1766 variables (removed 245) and now considering 3082/3964 (removed 882) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 229 ms. Remains : 1521/1766 places, 3082/3964 transitions.
[2024-05-24 18:59:05] [INFO ] Flatten gal took : 66 ms
[2024-05-24 18:59:05] [INFO ] Flatten gal took : 75 ms
[2024-05-24 18:59:05] [INFO ] Input system was already deterministic with 3082 transitions.
[2024-05-24 18:59:06] [INFO ] Flatten gal took : 88 ms
[2024-05-24 18:59:06] [INFO ] Flatten gal took : 96 ms
[2024-05-24 18:59:06] [INFO ] Export to MCC of 12 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 2 ms.
[2024-05-24 18:59:06] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1766 places, 3964 transitions and 16952 arcs took 26 ms.
Total runtime 218001 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running MultiCrashLeafsetExtension-PT-S16C08
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/411/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 1766
TRANSITIONS: 3964
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.092s, Sys 0.003s]
SAVING FILE /home/mcc/execution/411/model (.net / .def) ...
EXPORT TIME: [User 0.013s, 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: 1032
MODEL NAME: /home/mcc/execution/411/model
1766 places, 3964 transitions.
No place bound informations found.
No place bound informations found.
No place bound informations found.
No place bound informations found.
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.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -timeout 360 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S16C08"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="greatspnxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool greatspnxred"
echo " Input is MultiCrashLeafsetExtension-PT-S16C08, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r245-tall-171654349100049"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S16C08.tgz
mv MultiCrashLeafsetExtension-PT-S16C08 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;