About the Execution of GreatSPN+red for MultiCrashLeafsetExtension-PT-S24C10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13776.336 | 1308993.00 | 2222368.00 | 2340.60 | ?T?FFFT?F???TF?F | 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-171654349200121.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-S24C10, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-171654349200121
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 13K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K May 19 16:06 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:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 27K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 155K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 12 06:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Apr 12 06:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 19 15:28 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 18M 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-S24C10-CTLCardinality-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2023-15
=== Now, execution of the tool begins
BK_START 1716606842307
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-S24C10
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-25 03:14:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2024-05-25 03:14:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 03:14:04] [INFO ] Load time of PNML (sax parser for PT used): 765 ms
[2024-05-25 03:14:04] [INFO ] Transformed 17896 places.
[2024-05-25 03:14:04] [INFO ] Transformed 26071 transitions.
[2024-05-25 03:14:04] [INFO ] Parsed PT model containing 17896 places and 26071 transitions and 96710 arcs in 956 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 20 ms.
Support contains 146 out of 17896 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 17896/17896 places, 26071/26071 transitions.
Reduce places removed 48 places and 0 transitions.
Iterating post reduction 0 with 48 rules applied. Total rules applied 48 place count 17848 transition count 26071
Applied a total of 48 rules in 795 ms. Remains 17848 /17896 variables (removed 48) and now considering 26071/26071 (removed 0) transitions.
[2024-05-25 03:14:05] [INFO ] Flow matrix only has 25471 transitions (discarded 600 similar events)
// Phase 1: matrix 25471 rows 17848 cols
[2024-05-25 03:14:07] [INFO ] Computed 1197 invariants in 2275 ms
[2024-05-25 03:14:41] [INFO ] Performed 8315/17848 implicitness test of which 299 returned IMPLICIT in 30 seconds.
[2024-05-25 03:15:11] [INFO ] Performed 14082/17848 implicitness test of which 525 returned IMPLICIT in 60 seconds.
[2024-05-25 03:15:38] [INFO ] Implicit Places using invariants in 93252 ms returned [4, 8, 32, 58, 86, 116, 148, 182, 218, 256, 296, 338, 382, 427, 471, 513, 553, 591, 627, 661, 693, 723, 751, 777, 801, 865, 872, 895, 919, 945, 973, 1003, 1035, 1069, 1105, 1143, 1183, 1225, 1268, 1310, 1350, 1388, 1424, 1458, 1490, 1548, 1574, 1598, 1621, 1685, 1692, 1715, 1738, 1762, 1788, 1816, 1846, 1878, 1912, 1948, 1986, 2026, 2067, 2107, 2145, 2181, 2215, 2247, 2277, 2305, 2331, 2355, 2378, 2401, 2465, 2472, 2495, 2518, 2541, 2565, 2591, 2619, 2649, 2681, 2715, 2751, 2789, 2828, 2866, 2902, 2936, 2968, 2998, 3026, 3052, 3076, 3099, 3122, 3145, 3209, 3216, 3239, 3262, 3285, 3308, 3332, 3358, 3386, 3416, 3448, 3482, 3518, 3555, 3591, 3625, 3657, 3687, 3715, 3741, 3765, 3788, 3811, 3834, 3857, 3921, 3928, 3951, 3974, 3997, 4020, 4043, 4067, 4093, 4121, 4151, 4183, 4217, 4252, 4286, 4318, 4348, 4376, 4402, 4426, 4449, 4472, 4495, 4518, 4541, 4605, 4612, 4635, 4658, 4681, 4704, 4727, 4750, 4774, 4800, 4828, 4858, 4890, 4923, 4955, 4985, 5013, 5039, 5063, 5086, 5109, 5132, 5155, 5178, 5201, 5265, 5272, 5295, 5318, 5341, 5364, 5387, 5410, 5433, 5457, 5483, 5511, 5541, 5572, 5602, 5630, 5656, 5680, 5703, 5726, 5749, 5772, 5795, 5818, 5841, 5905, 5912, 5935, 5958, 5981, 6004, 6027, 6050, 6073, 6096, 6120, 6146, 6174, 6203, 6231, 6257, 6281, 6304, 6327, 6350, 6373, 6396, 6419, 6442, 6465, 6529, 6536, 6559, 6582, 6605, 6628, 6651, 6674, 6697, 6720, 6743, 6767, 6793, 6820, 6846, 6870, 6893, 6916, 6939, 6962, 6985, 7008, 7031, 7054, 7077, 7141, 7148, 7171, 7194, 7217, 7240, 7263, 7286, 7309, 7332, 7355, 7378, 7402, 7427, 7451, 7474, 7497, 7520, 7543, 7566, 7589, 7612, 7635, 7658, 7681, 7745, 7752, 7775, 7798, 7821, 7844, 7867, 7890, 7913, 7936, 7959, 7982, 8005, 8028, 8051, 8074, 8097, 8120, 8143, 8166, 8189, 8212, 8235, 8258, 8281, 8345, 8347, 8351, 8374, 8397, 8420, 8443, 8466, 8489, 8512, 8535, 8558, 8581, 8604, 8627, 8650, 8673, 8696, 8719, 8742, 8765, 8788, 8811, 8834, 8857, 8880, 8944, 8951, 8974, 8997, 9020, 9043, 9066, 9089, 9112, 9135, 9158, 9181, 9204, 9227, 9250, 9273, 9296, 9319, 9342, 9365, 9388, 9411, 9434, 9480, 9544, 9551, 9574, 9597, 9620, 9643, 9666, 9689, 9712, 9735, 9758, 9781, 9804, 9828, 9853, 9877, 9900, 9923, 9946, 9969, 9992, 10015, 10038, 10061, 10084, 10148, 10155, 10178, 10201, 10224, 10247, 10270, 10293, 10316, 10339, 10362, 10385, 10409, 10435, 10462, 10488, 10512, 10535, 10558, 10581, 10604, 10627, 10650, 10673, 10696, 10760, 10767, 10790, 10813, 10836, 10859, 10882, 10905, 10928, 10951, 10974, 10998, 11024, 11052, 11081, 11109, 11135, 11159, 11182, 11205, 11228, 11251, 11274, 11297, 11320, 11384, 11391, 11414, 11437, 11460, 11483, 11506, 11529, 11552, 11575, 11599, 11625, 11653, 11683, 11714, 11744, 11772, 11798, 11822, 11845, 11868, 11891, 11914, 11937, 11960, 12024, 12031, 12054, 12077, 12100, 12123, 12146, 12169, 12192, 12216, 12242, 12270, 12300, 12332, 12365, 12397, 12427, 12455, 12481, 12505, 12528, 12551, 12574, 12597, 12620, 12684, 12691, 12714, 12737, 12760, 12783, 12806, 12829, 12853, 12879, 12907, 12937, 12969, 13003, 13038, 13072, 13104, 13134, 13162, 13188, 13212, 13235, 13258, 13281, 13304, 13368, 13375, 13398, 13421, 13444, 13467, 13490, 13514, 13540, 13568, 13598, 13630, 13664, 13700, 13737, 13773, 13807, 13839, 13869, 13897, 13923, 13947, 13970, 13993, 14016, 14080, 14087, 14133, 14156, 14179, 14203, 14229, 14257, 14287, 14319, 14353, 14389, 14427, 14466, 14504, 14540, 14574, 14606, 14636, 14664, 14690, 14714, 14737, 14760, 14824, 14831, 14854, 14877, 14900, 14924, 14950, 14978, 15008, 15040, 15074, 15110, 15148, 15188, 15229, 15269, 15307, 15343, 15377, 15409, 15439, 15467, 15493, 15517, 15540, 15604, 15611, 15634, 15657, 15681, 15707, 15735, 15765, 15797, 15831, 15867, 15905, 15945, 15987, 16030, 16072, 16112, 16150, 16186, 16252, 16282, 16310, 16336, 16360, 16424, 16426, 16430, 16453, 16477, 16503, 16531, 16561, 16593, 16627, 16663, 16701, 16741, 16783, 16827, 16872, 16958, 16998, 17036, 17072, 17106, 17138, 17168, 17196, 17222, 17287]
[2024-05-25 03:15:38] [INFO ] Actually due to overlaps returned [865, 1685, 2465, 3209, 3921, 4605, 5265, 5905, 6529, 7141, 7745, 8345, 8944, 9544, 10148, 10760, 11384, 12024, 12684, 13368, 14080, 14824, 15604, 16424, 17287, 4, 8347, 16426]
Discarding 28 places :
Implicit Place search using SMT only with invariants took 93317 ms to find 28 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17820/17896 places, 26071/26071 transitions.
Applied a total of 0 rules in 592 ms. Remains 17820 /17820 variables (removed 0) and now considering 26071/26071 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 94726 ms. Remains : 17820/17896 places, 26071/26071 transitions.
Support contains 146 out of 17820 places after structural reductions.
[2024-05-25 03:15:40] [INFO ] Flatten gal took : 947 ms
[2024-05-25 03:15:41] [INFO ] Flatten gal took : 685 ms
[2024-05-25 03:15:42] [INFO ] Input system was already deterministic with 26071 transitions.
RANDOM walk for 40000 steps (388 resets) in 3312 ms. (12 steps per ms) remains 70/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 68/70 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 68/68 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 67/68 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 67/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 66/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 66/66 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 65/66 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 64/65 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 63/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 63/63 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 63/63 properties
[2024-05-25 03:15:45] [INFO ] Flow matrix only has 25471 transitions (discarded 600 similar events)
// Phase 1: matrix 25471 rows 17820 cols
[2024-05-25 03:15:47] [INFO ] Computed 1169 invariants in 2080 ms
[2024-05-25 03:15:47] [INFO ] State equation strengthened by 8002 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/108 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 63 unsolved
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp3 is UNSAT
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp12 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp21 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp28 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp34 is UNSAT
Problem AtomicPropp36 is UNSAT
Problem AtomicPropp37 is UNSAT
Problem AtomicPropp40 is UNSAT
Problem AtomicPropp42 is UNSAT
Problem AtomicPropp45 is UNSAT
Problem AtomicPropp46 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp49 is UNSAT
Problem AtomicPropp50 is UNSAT
Problem AtomicPropp51 is UNSAT
Problem AtomicPropp53 is UNSAT
Problem AtomicPropp54 is UNSAT
Problem AtomicPropp59 is UNSAT
Problem AtomicPropp63 is UNSAT
Problem AtomicPropp65 is UNSAT
Problem AtomicPropp69 is UNSAT
Problem AtomicPropp75 is UNSAT
Problem AtomicPropp80 is UNSAT
At refinement iteration 1 (OVERLAPS) 11036/11144 variables, 4/4 constraints. Problems are: Problem set: 32 solved, 31 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 11144/43291 variables, and 4 constraints, problems are : Problem set: 32 solved, 31 unsolved in 5025 ms.
Refiners :[Positive P Invariants (semi-flows): 4/47 constraints, Generalized P Invariants (flows): 0/1122 constraints, State Equation: 0/17820 constraints, ReadFeed: 0/8002 constraints, PredecessorRefiner: 63/63 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 32 solved, 31 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/52 variables, 0/0 constraints. Problems are: Problem set: 32 solved, 31 unsolved
At refinement iteration 1 (OVERLAPS) 11079/11131 variables, 4/4 constraints. Problems are: Problem set: 32 solved, 31 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 11131/43291 variables, and 4 constraints, problems are : Problem set: 32 solved, 31 unsolved in 5245 ms.
Refiners :[Positive P Invariants (semi-flows): 4/47 constraints, Generalized P Invariants (flows): 0/1122 constraints, State Equation: 0/17820 constraints, ReadFeed: 0/8002 constraints, PredecessorRefiner: 0/63 constraints, Known Traps: 0/0 constraints]
After SMT, in 12813ms problems are : Problem set: 32 solved, 31 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 52 out of 17820 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 17820/17820 places, 26071/26071 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5956 transitions
Trivial Post-agglo rules discarded 5956 transitions
Performed 5956 trivial Post agglomeration. Transition count delta: 5956
Iterating post reduction 0 with 5956 rules applied. Total rules applied 5956 place count 17820 transition count 20115
Reduce places removed 5956 places and 0 transitions.
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Iterating post reduction 1 with 5989 rules applied. Total rules applied 11945 place count 11864 transition count 20082
Reduce places removed 33 places and 0 transitions.
Iterating post reduction 2 with 33 rules applied. Total rules applied 11978 place count 11831 transition count 20082
Performed 500 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 500 Pre rules applied. Total rules applied 11978 place count 11831 transition count 19582
Deduced a syphon composed of 500 places in 18 ms
Reduce places removed 500 places and 0 transitions.
Iterating global reduction 3 with 1000 rules applied. Total rules applied 12978 place count 11331 transition count 19582
Discarding 5456 places :
Symmetric choice reduction at 3 with 5456 rule applications. Total rules 18434 place count 5875 transition count 14126
Iterating global reduction 3 with 5456 rules applied. Total rules applied 23890 place count 5875 transition count 14126
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 3 Pre rules applied. Total rules applied 23890 place count 5875 transition count 14123
Deduced a syphon composed of 3 places in 13 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 3 with 6 rules applied. Total rules applied 23896 place count 5872 transition count 14123
Discarding 508 places :
Symmetric choice reduction at 3 with 508 rule applications. Total rules 24404 place count 5364 transition count 9043
Iterating global reduction 3 with 508 rules applied. Total rules applied 24912 place count 5364 transition count 9043
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 8 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 24962 place count 5339 transition count 9018
Free-agglomeration rule (complex) applied 377 times.
Iterating global reduction 3 with 377 rules applied. Total rules applied 25339 place count 5339 transition count 13114
Reduce places removed 377 places and 0 transitions.
Iterating post reduction 3 with 377 rules applied. Total rules applied 25716 place count 4962 transition count 13114
Partial Free-agglomeration rule applied 425 times.
Drop transitions (Partial Free agglomeration) removed 425 transitions
Iterating global reduction 4 with 425 rules applied. Total rules applied 26141 place count 4962 transition count 13114
Applied a total of 26141 rules in 5693 ms. Remains 4962 /17820 variables (removed 12858) and now considering 13114/26071 (removed 12957) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5695 ms. Remains : 4962/17820 places, 13114/26071 transitions.
RANDOM walk for 40000 steps (668 resets) in 2147 ms. (18 steps per ms) remains 29/31 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (8 resets) in 38 ms. (102 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4002 steps (8 resets) in 24 ms. (160 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (8 resets) in 25 ms. (153 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (8 resets) in 26 ms. (148 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (8 resets) in 26 ms. (148 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4002 steps (8 resets) in 22 ms. (174 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (8 resets) in 26 ms. (148 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (8 resets) in 27 ms. (142 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (8 resets) in 28 ms. (138 steps per ms) remains 29/29 properties
Interrupted probabilistic random walk after 19084 steps, run timeout after 3001 ms. (steps per millisecond=6 ) properties seen :0 out of 29
Probabilistic random walk after 19084 steps, saw 9004 distinct states, run finished after 3004 ms. (steps per millisecond=6 ) properties seen :0
[2024-05-25 03:16:07] [INFO ] Flow matrix only has 12231 transitions (discarded 883 similar events)
// Phase 1: matrix 12231 rows 4962 cols
[2024-05-25 03:16:07] [INFO ] Computed 1169 invariants in 423 ms
[2024-05-25 03:16:08] [INFO ] State equation strengthened by 7903 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/47 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 29 unsolved
At refinement iteration 1 (OVERLAPS) 3696/3743 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 29 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3743 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 29 unsolved
At refinement iteration 3 (OVERLAPS) 1/3744 variables, 1/6 constraints. Problems are: Problem set: 0 solved, 29 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/3744 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 29 unsolved
Problem AtomicPropp4 is UNSAT
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp11 is UNSAT
Problem AtomicPropp13 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp17 is UNSAT
Problem AtomicPropp19 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp30 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp43 is UNSAT
Problem AtomicPropp57 is UNSAT
Problem AtomicPropp61 is UNSAT
Problem AtomicPropp68 is UNSAT
Problem AtomicPropp70 is UNSAT
Problem AtomicPropp72 is UNSAT
Problem AtomicPropp76 is UNSAT
Problem AtomicPropp78 is UNSAT
At refinement iteration 5 (OVERLAPS) 1156/4900 variables, 1101/1107 constraints. Problems are: Problem set: 20 solved, 9 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/4900 variables, 0/1107 constraints. Problems are: Problem set: 20 solved, 9 unsolved
At refinement iteration 7 (OVERLAPS) 42/4942 variables, 42/1149 constraints. Problems are: Problem set: 20 solved, 9 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/4942 variables, 0/1149 constraints. Problems are: Problem set: 20 solved, 9 unsolved
At refinement iteration 9 (OVERLAPS) 20/4962 variables, 20/1169 constraints. Problems are: Problem set: 20 solved, 9 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/4962 variables, 0/1169 constraints. Problems are: Problem set: 20 solved, 9 unsolved
At refinement iteration 11 (OVERLAPS) 12231/17193 variables, 4962/6131 constraints. Problems are: Problem set: 20 solved, 9 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/17193 variables, 7903/14034 constraints. Problems are: Problem set: 20 solved, 9 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/17193 variables, 0/14034 constraints. Problems are: Problem set: 20 solved, 9 unsolved
At refinement iteration 14 (OVERLAPS) 0/17193 variables, 0/14034 constraints. Problems are: Problem set: 20 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Real declared 17193/17193 variables, and 14034 constraints, problems are : Problem set: 20 solved, 9 unsolved in 26748 ms.
Refiners :[Positive P Invariants (semi-flows): 48/48 constraints, Generalized P Invariants (flows): 1121/1121 constraints, State Equation: 4962/4962 constraints, ReadFeed: 7903/7903 constraints, PredecessorRefiner: 29/29 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 20 solved, 9 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/22 variables, 0/0 constraints. Problems are: Problem set: 20 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 3698/3720 variables, 5/5 constraints. Problems are: Problem set: 20 solved, 9 unsolved
[2024-05-25 03:16:39] [INFO ] Deduced a trap composed of 1307 places in 3794 ms of which 176 ms to minimize.
[2024-05-25 03:16:42] [INFO ] Deduced a trap composed of 2120 places in 3711 ms of which 24 ms to minimize.
[2024-05-25 03:16:46] [INFO ] Deduced a trap composed of 1401 places in 3944 ms of which 25 ms to minimize.
[2024-05-25 03:16:51] [INFO ] Deduced a trap composed of 1276 places in 3717 ms of which 24 ms to minimize.
[2024-05-25 03:16:54] [INFO ] Deduced a trap composed of 1290 places in 3711 ms of which 23 ms to minimize.
[2024-05-25 03:16:58] [INFO ] Deduced a trap composed of 1345 places in 3727 ms of which 24 ms to minimize.
[2024-05-25 03:17:02] [INFO ] Deduced a trap composed of 1263 places in 3712 ms of which 24 ms to minimize.
[2024-05-25 03:17:06] [INFO ] Deduced a trap composed of 1524 places in 3639 ms of which 22 ms to minimize.
[2024-05-25 03:17:09] [INFO ] Deduced a trap composed of 1448 places in 3786 ms of which 25 ms to minimize.
[2024-05-25 03:17:13] [INFO ] Deduced a trap composed of 1232 places in 3763 ms of which 23 ms to minimize.
[2024-05-25 03:17:17] [INFO ] Deduced a trap composed of 1351 places in 3969 ms of which 25 ms to minimize.
[2024-05-25 03:17:21] [INFO ] Deduced a trap composed of 1554 places in 3788 ms of which 25 ms to minimize.
SMT process timed out in 74131ms, After SMT, problems are : Problem set: 20 solved, 9 unsolved
Fused 9 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 22 out of 4962 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4962/4962 places, 13114/13114 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 4962 transition count 13109
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 10 place count 4957 transition count 13109
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 2 with 8 rules applied. Total rules applied 18 place count 4957 transition count 13101
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 26 place count 4949 transition count 13101
Discarding 12 places :
Symmetric choice reduction at 3 with 12 rule applications. Total rules 38 place count 4937 transition count 13089
Iterating global reduction 3 with 12 rules applied. Total rules applied 50 place count 4937 transition count 13089
Partial Free-agglomeration rule applied 17 times.
Drop transitions (Partial Free agglomeration) removed 17 transitions
Iterating global reduction 3 with 17 rules applied. Total rules applied 67 place count 4937 transition count 13089
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 84 place count 4920 transition count 13072
Iterating global reduction 3 with 17 rules applied. Total rules applied 101 place count 4920 transition count 13072
Applied a total of 101 rules in 2800 ms. Remains 4920 /4962 variables (removed 42) and now considering 13072/13114 (removed 42) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2800 ms. Remains : 4920/4962 places, 13072/13114 transitions.
Successfully simplified 52 atomic propositions for a total of 16 simplifications.
FORMULA MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2023-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-25 03:17:24] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2024-05-25 03:17:25] [INFO ] Flatten gal took : 583 ms
[2024-05-25 03:17:25] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-25 03:17:25] [INFO ] Flatten gal took : 630 ms
[2024-05-25 03:17:26] [INFO ] Input system was already deterministic with 26071 transitions.
Support contains 33 out of 17820 places (down from 48) after GAL structural reductions.
FORMULA MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 15196 stabilizing places and 20870 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 17820/17820 places, 26071/26071 transitions.
Applied a total of 0 rules in 462 ms. Remains 17820 /17820 variables (removed 0) and now considering 26071/26071 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 464 ms. Remains : 17820/17820 places, 26071/26071 transitions.
[2024-05-25 03:17:28] [INFO ] Flatten gal took : 552 ms
[2024-05-25 03:17:28] [INFO ] Flatten gal took : 613 ms
[2024-05-25 03:17:29] [INFO ] Input system was already deterministic with 26071 transitions.
Starting structural reductions in LTL mode, iteration 0 : 17820/17820 places, 26071/26071 transitions.
Applied a total of 0 rules in 461 ms. Remains 17820 /17820 variables (removed 0) and now considering 26071/26071 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 462 ms. Remains : 17820/17820 places, 26071/26071 transitions.
[2024-05-25 03:17:30] [INFO ] Flatten gal took : 540 ms
[2024-05-25 03:17:31] [INFO ] Flatten gal took : 615 ms
[2024-05-25 03:17:32] [INFO ] Input system was already deterministic with 26071 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 17820/17820 places, 26071/26071 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5999 transitions
Trivial Post-agglo rules discarded 5999 transitions
Performed 5999 trivial Post agglomeration. Transition count delta: 5999
Iterating post reduction 0 with 5999 rules applied. Total rules applied 5999 place count 17820 transition count 20072
Reduce places removed 5999 places and 0 transitions.
Iterating post reduction 1 with 5999 rules applied. Total rules applied 11998 place count 11821 transition count 20072
Performed 500 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 500 Pre rules applied. Total rules applied 11998 place count 11821 transition count 19572
Deduced a syphon composed of 500 places in 17 ms
Reduce places removed 500 places and 0 transitions.
Iterating global reduction 2 with 1000 rules applied. Total rules applied 12998 place count 11321 transition count 19572
Discarding 5499 places :
Symmetric choice reduction at 2 with 5499 rule applications. Total rules 18497 place count 5822 transition count 14073
Iterating global reduction 2 with 5499 rules applied. Total rules applied 23996 place count 5822 transition count 14073
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 19 Pre rules applied. Total rules applied 23996 place count 5822 transition count 14054
Deduced a syphon composed of 19 places in 10 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 2 with 38 rules applied. Total rules applied 24034 place count 5803 transition count 14054
Discarding 549 places :
Symmetric choice reduction at 2 with 549 rule applications. Total rules 24583 place count 5254 transition count 8564
Iterating global reduction 2 with 549 rules applied. Total rules applied 25132 place count 5254 transition count 8564
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 5 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 2 with 50 rules applied. Total rules applied 25182 place count 5229 transition count 8539
Applied a total of 25182 rules in 3041 ms. Remains 5229 /17820 variables (removed 12591) and now considering 8539/26071 (removed 17532) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 3042 ms. Remains : 5229/17820 places, 8539/26071 transitions.
[2024-05-25 03:17:35] [INFO ] Flatten gal took : 178 ms
[2024-05-25 03:17:36] [INFO ] Flatten gal took : 203 ms
[2024-05-25 03:17:36] [INFO ] Input system was already deterministic with 8539 transitions.
RANDOM walk for 26687 steps (363 resets) in 490 ms. (54 steps per ms) remains 0/1 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2024-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in LTL mode, iteration 0 : 17820/17820 places, 26071/26071 transitions.
Applied a total of 0 rules in 458 ms. Remains 17820 /17820 variables (removed 0) and now considering 26071/26071 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 459 ms. Remains : 17820/17820 places, 26071/26071 transitions.
[2024-05-25 03:17:37] [INFO ] Flatten gal took : 542 ms
[2024-05-25 03:17:38] [INFO ] Flatten gal took : 610 ms
[2024-05-25 03:17:39] [INFO ] Input system was already deterministic with 26071 transitions.
Starting structural reductions in LTL mode, iteration 0 : 17820/17820 places, 26071/26071 transitions.
Applied a total of 0 rules in 459 ms. Remains 17820 /17820 variables (removed 0) and now considering 26071/26071 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 461 ms. Remains : 17820/17820 places, 26071/26071 transitions.
[2024-05-25 03:17:40] [INFO ] Flatten gal took : 550 ms
[2024-05-25 03:17:41] [INFO ] Flatten gal took : 616 ms
[2024-05-25 03:17:42] [INFO ] Input system was already deterministic with 26071 transitions.
Starting structural reductions in LTL mode, iteration 0 : 17820/17820 places, 26071/26071 transitions.
Applied a total of 0 rules in 460 ms. Remains 17820 /17820 variables (removed 0) and now considering 26071/26071 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 461 ms. Remains : 17820/17820 places, 26071/26071 transitions.
[2024-05-25 03:17:43] [INFO ] Flatten gal took : 541 ms
[2024-05-25 03:17:43] [INFO ] Flatten gal took : 627 ms
[2024-05-25 03:17:44] [INFO ] Input system was already deterministic with 26071 transitions.
Starting structural reductions in LTL mode, iteration 0 : 17820/17820 places, 26071/26071 transitions.
Applied a total of 0 rules in 461 ms. Remains 17820 /17820 variables (removed 0) and now considering 26071/26071 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 462 ms. Remains : 17820/17820 places, 26071/26071 transitions.
[2024-05-25 03:17:46] [INFO ] Flatten gal took : 553 ms
[2024-05-25 03:17:46] [INFO ] Flatten gal took : 614 ms
[2024-05-25 03:17:47] [INFO ] Input system was already deterministic with 26071 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 17820/17820 places, 26071/26071 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5993 transitions
Trivial Post-agglo rules discarded 5993 transitions
Performed 5993 trivial Post agglomeration. Transition count delta: 5993
Iterating post reduction 0 with 5993 rules applied. Total rules applied 5993 place count 17820 transition count 20078
Reduce places removed 5993 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 5996 rules applied. Total rules applied 11989 place count 11827 transition count 20075
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 11992 place count 11824 transition count 20075
Performed 500 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 500 Pre rules applied. Total rules applied 11992 place count 11824 transition count 19575
Deduced a syphon composed of 500 places in 15 ms
Reduce places removed 500 places and 0 transitions.
Iterating global reduction 3 with 1000 rules applied. Total rules applied 12992 place count 11324 transition count 19575
Discarding 5493 places :
Symmetric choice reduction at 3 with 5493 rule applications. Total rules 18485 place count 5831 transition count 14082
Iterating global reduction 3 with 5493 rules applied. Total rules applied 23978 place count 5831 transition count 14082
Performed 14 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 14 Pre rules applied. Total rules applied 23978 place count 5831 transition count 14068
Deduced a syphon composed of 14 places in 9 ms
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 3 with 28 rules applied. Total rules applied 24006 place count 5817 transition count 14068
Discarding 543 places :
Symmetric choice reduction at 3 with 543 rule applications. Total rules 24549 place count 5274 transition count 8638
Iterating global reduction 3 with 543 rules applied. Total rules applied 25092 place count 5274 transition count 8638
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 5 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 25142 place count 5249 transition count 8613
Applied a total of 25142 rules in 2999 ms. Remains 5249 /17820 variables (removed 12571) and now considering 8613/26071 (removed 17458) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 3000 ms. Remains : 5249/17820 places, 8613/26071 transitions.
[2024-05-25 03:17:50] [INFO ] Flatten gal took : 173 ms
[2024-05-25 03:17:51] [INFO ] Flatten gal took : 200 ms
[2024-05-25 03:17:51] [INFO ] Input system was already deterministic with 8613 transitions.
RANDOM walk for 39704 steps (531 resets) in 582 ms. (68 steps per ms) remains 0/1 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2023-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in LTL mode, iteration 0 : 17820/17820 places, 26071/26071 transitions.
Applied a total of 0 rules in 487 ms. Remains 17820 /17820 variables (removed 0) and now considering 26071/26071 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 488 ms. Remains : 17820/17820 places, 26071/26071 transitions.
[2024-05-25 03:17:52] [INFO ] Flatten gal took : 545 ms
[2024-05-25 03:17:53] [INFO ] Flatten gal took : 612 ms
[2024-05-25 03:17:54] [INFO ] Input system was already deterministic with 26071 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 17820/17820 places, 26071/26071 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5998 transitions
Trivial Post-agglo rules discarded 5998 transitions
Performed 5998 trivial Post agglomeration. Transition count delta: 5998
Iterating post reduction 0 with 5998 rules applied. Total rules applied 5998 place count 17820 transition count 20073
Reduce places removed 5998 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 6000 rules applied. Total rules applied 11998 place count 11822 transition count 20071
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 12000 place count 11820 transition count 20071
Performed 500 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 500 Pre rules applied. Total rules applied 12000 place count 11820 transition count 19571
Deduced a syphon composed of 500 places in 15 ms
Reduce places removed 500 places and 0 transitions.
Iterating global reduction 3 with 1000 rules applied. Total rules applied 13000 place count 11320 transition count 19571
Discarding 5498 places :
Symmetric choice reduction at 3 with 5498 rule applications. Total rules 18498 place count 5822 transition count 14073
Iterating global reduction 3 with 5498 rules applied. Total rules applied 23996 place count 5822 transition count 14073
Performed 18 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 18 Pre rules applied. Total rules applied 23996 place count 5822 transition count 14055
Deduced a syphon composed of 18 places in 9 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 3 with 36 rules applied. Total rules applied 24032 place count 5804 transition count 14055
Discarding 548 places :
Symmetric choice reduction at 3 with 548 rule applications. Total rules 24580 place count 5256 transition count 8575
Iterating global reduction 3 with 548 rules applied. Total rules applied 25128 place count 5256 transition count 8575
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 6 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 25178 place count 5231 transition count 8550
Applied a total of 25178 rules in 2895 ms. Remains 5231 /17820 variables (removed 12589) and now considering 8550/26071 (removed 17521) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 2896 ms. Remains : 5231/17820 places, 8550/26071 transitions.
[2024-05-25 03:17:57] [INFO ] Flatten gal took : 172 ms
[2024-05-25 03:17:57] [INFO ] Flatten gal took : 199 ms
[2024-05-25 03:17:58] [INFO ] Input system was already deterministic with 8550 transitions.
RANDOM walk for 40000 steps (546 resets) in 478 ms. (83 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40003 steps (84 resets) in 173 ms. (229 steps per ms) remains 1/1 properties
Interrupted probabilistic random walk after 24452 steps, run timeout after 3001 ms. (steps per millisecond=8 ) properties seen :0 out of 1
Probabilistic random walk after 24452 steps, saw 11561 distinct states, run finished after 3002 ms. (steps per millisecond=8 ) properties seen :0
[2024-05-25 03:18:01] [INFO ] Flow matrix only has 7950 transitions (discarded 600 similar events)
// Phase 1: matrix 7950 rows 5231 cols
[2024-05-25 03:18:01] [INFO ] Computed 1169 invariants in 232 ms
[2024-05-25 03:18:01] [INFO ] State equation strengthened by 3070 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 6/8 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/8 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 3965/3973 variables, 2/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/3973 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 25/3998 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/3998 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 1169/5167 variables, 1100/1105 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/5167 variables, 0/1105 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 44/5211 variables, 44/1149 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/5211 variables, 0/1149 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 20/5231 variables, 20/1169 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/5231 variables, 0/1169 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 13181/13181 variables, and 6400 constraints, problems are : Problem set: 0 solved, 1 unsolved in 3612 ms.
Refiners :[Positive P Invariants (semi-flows): 47/47 constraints, Generalized P Invariants (flows): 1122/1122 constraints, State Equation: 5231/5231 constraints, ReadFeed: 0/3070 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 6/8 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/8 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 3965/3973 variables, 2/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/3973 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 25/3998 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/3998 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 1169/5167 variables, 1100/1105 constraints. Problems are: Problem set: 0 solved, 1 unsolved
[2024-05-25 03:18:11] [INFO ] Deduced a trap composed of 71 places in 5698 ms of which 36 ms to minimize.
SMT process timed out in 10509ms, After SMT, problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2 out of 5231 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5231/5231 places, 8550/8550 transitions.
Free-agglomeration rule (complex) applied 341 times.
Iterating global reduction 0 with 341 rules applied. Total rules applied 341 place count 5231 transition count 13141
Reduce places removed 341 places and 0 transitions.
Iterating post reduction 0 with 341 rules applied. Total rules applied 682 place count 4890 transition count 13141
Partial Free-agglomeration rule applied 50 times.
Drop transitions (Partial Free agglomeration) removed 50 transitions
Iterating global reduction 1 with 50 rules applied. Total rules applied 732 place count 4890 transition count 13141
Applied a total of 732 rules in 2191 ms. Remains 4890 /5231 variables (removed 341) and now considering 13141/8550 (removed -4591) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2191 ms. Remains : 4890/5231 places, 13141/8550 transitions.
RANDOM walk for 2480157 steps (41698 resets) in 120004 ms. (20 steps per ms) remains 1/1 properties
BEST_FIRST walk for 3224005 steps (5524 resets) in 20004 ms. (161 steps per ms) remains 1/1 properties
Interrupted probabilistic random walk after 693218 steps, run timeout after 105001 ms. (steps per millisecond=6 ) properties seen :0 out of 1
Probabilistic random walk after 693218 steps, saw 302986 distinct states, run finished after 105001 ms. (steps per millisecond=6 ) properties seen :0
[2024-05-25 03:20:34] [INFO ] Flow matrix only has 12255 transitions (discarded 886 similar events)
// Phase 1: matrix 12255 rows 4890 cols
[2024-05-25 03:20:34] [INFO ] Computed 1169 invariants in 384 ms
[2024-05-25 03:20:34] [INFO ] State equation strengthened by 8002 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 6/8 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/8 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 3650/3658 variables, 3/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/3658 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 25/3683 variables, 1/6 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/3683 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 1143/4826 variables, 1099/1105 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/4826 variables, 0/1105 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 44/4870 variables, 44/1149 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/4870 variables, 0/1149 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 20/4890 variables, 20/1169 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/4890 variables, 0/1169 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (OVERLAPS) 12255/17145 variables, 4890/6059 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/17145 variables, 8002/14061 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/17145 variables, 0/14061 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 16 (OVERLAPS) 0/17145 variables, 0/14061 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 17145/17145 variables, and 14061 constraints, problems are : Problem set: 0 solved, 1 unsolved in 8043 ms.
Refiners :[Positive P Invariants (semi-flows): 48/48 constraints, Generalized P Invariants (flows): 1121/1121 constraints, State Equation: 4890/4890 constraints, ReadFeed: 8002/8002 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 6/8 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/8 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 3650/3658 variables, 3/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/3658 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 25/3683 variables, 1/6 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/3683 variables, 0/6 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 1143/4826 variables, 1099/1105 constraints. Problems are: Problem set: 0 solved, 1 unsolved
[2024-05-25 03:20:50] [INFO ] Deduced a trap composed of 5 places in 6735 ms of which 31 ms to minimize.
[2024-05-25 03:20:57] [INFO ] Deduced a trap composed of 411 places in 6919 ms of which 30 ms to minimize.
[2024-05-25 03:21:04] [INFO ] Deduced a trap composed of 559 places in 6949 ms of which 31 ms to minimize.
[2024-05-25 03:21:10] [INFO ] Deduced a trap composed of 364 places in 5858 ms of which 33 ms to minimize.
[2024-05-25 03:21:16] [INFO ] Deduced a trap composed of 510 places in 5834 ms of which 32 ms to minimize.
[2024-05-25 03:21:21] [INFO ] Deduced a trap composed of 39 places in 5507 ms of which 38 ms to minimize.
[2024-05-25 03:21:27] [INFO ] Deduced a trap composed of 460 places in 5779 ms of which 34 ms to minimize.
[2024-05-25 03:21:33] [INFO ] Deduced a trap composed of 327 places in 6209 ms of which 30 ms to minimize.
SMT process timed out in 59740ms, After SMT, problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2 out of 4890 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4890/4890 places, 13141/13141 transitions.
Applied a total of 0 rules in 721 ms. Remains 4890 /4890 variables (removed 0) and now considering 13141/13141 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 722 ms. Remains : 4890/4890 places, 13141/13141 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4890/4890 places, 13141/13141 transitions.
Applied a total of 0 rules in 719 ms. Remains 4890 /4890 variables (removed 0) and now considering 13141/13141 (removed 0) transitions.
[2024-05-25 03:21:35] [INFO ] Flow matrix only has 12255 transitions (discarded 886 similar events)
[2024-05-25 03:21:35] [INFO ] Invariant cache hit.
[2024-05-25 03:21:52] [INFO ] Implicit Places using invariants in 17411 ms returned [6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 28, 36, 46, 58, 72, 88, 106, 126, 148, 171, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 223, 241, 257, 271, 283, 293, 301, 307, 311, 313, 340, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 354, 358, 364, 372, 382, 394, 408, 424, 442, 462, 483, 503, 504, 505, 506, 507, 508, 509, 510, 511, 512, 513, 531, 547, 561, 573, 583, 591, 597, 601, 603, 605, 633, 635, 636, 637, 638, 639, 640, 641, 642, 643, 644, 645, 647, 649, 653, 659, 667, 677, 689, 703, 719, 737, 756, 774, 775, 776, 777, 778, 779, 780, 781, 782, 783, 784, 800, 814, 826, 836, 844, 850, 854, 856, 858, 860, 888, 890, 891, 892, 893, 894, 895, 896, 897, 898, 899, 900, 902, 904, 906, 910, 916, 924, 934, 946, 960, 976, 993, 1009, 1010, 1011, 1012, 1013, 1014, 1015, 1016, 1017, 1018, 1019, 1033, 1045, 1055, 1063, 1069, 1073, 1075, 1077, 1079, 1081, 1109, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1123, 1125, 1127, 1129, 1133, 1139, 1147, 1157, 1169, 1183, 1198, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1234, 1244, 1252, 1258, 1262, 1264, 1266, 1268, 1270, 1272, 1300, 1302, 1303, 1304, 1305, 1306, 1307, 1308, 1309, 1310, 1311, 1312, 1314, 1316, 1318, 1320, 1322, 1326, 1332, 1340, 1350, 1362, 1375, 1387, 1388, 1389, 1390, 1391, 1392, 1393, 1394, 1395, 1396, 1397, 1407, 1415, 1421, 1425, 1427, 1429, 1431, 1433, 1435, 1437, 1465, 1467, 1468, 1469, 1470, 1471, 1472, 1473, 1474, 1475, 1476, 1477, 1479, 1481, 1483, 1485, 1487, 1489, 1493, 1499, 1507, 1517, 1528, 1538, 1539, 1540, 1541, 1542, 1543, 1544, 1545, 1546, 1547, 1548, 1556, 1562, 1566, 1568, 1570, 1572, 1574, 1576, 1578, 1580, 1608, 1610, 1611, 1612, 1613, 1614, 1615, 1616, 1617, 1618, 1619, 1620, 1622, 1624, 1626, 1628, 1630, 1632, 1634, 1638, 1644, 1652, 1661, 1669, 1670, 1671, 1672, 1673, 1674, 1675, 1676, 1677, 1678, 1679, 1685, 1689, 1691, 1693, 1695, 1697, 1699, 1701, 1703, 1705, 1733, 1735, 1736, 1737, 1738, 1739, 1740, 1741, 1742, 1743, 1744, 1745, 1747, 1749, 1751, 1753, 1755, 1757, 1759, 1761, 1765, 1771, 1778, 1784, 1785, 1786, 1787, 1788, 1789, 1790, 1791, 1792, 1793, 1794, 1798, 1800, 1802, 1804, 1806, 1808, 1810, 1812, 1814, 1816, 1844, 1846, 1847, 1848, 1849, 1850, 1851, 1852, 1853, 1854, 1855, 1856, 1858, 1860, 1862, 1864, 1866, 1868, 1870, 1872, 1874, 1878, 1883, 1887, 1888, 1889, 1890, 1891, 1892, 1893, 1894, 1895, 1896, 1897, 1899, 1901, 1903, 1905, 1907, 1909, 1911, 1913, 1915, 1917, 1945, 1947, 1948, 1949, 1950, 1951, 1952, 1953, 1954, 1955, 1956, 1957, 1959, 1961, 1963, 1965, 1967, 1969, 1971, 1973, 1975, 1977, 1980, 1982, 1983, 1984, 1985, 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1994, 1996, 1998, 2000, 2002, 2004, 2006, 2008, 2010, 2012, 2040, 2042, 2043, 2044, 2045, 2046, 2047, 2048, 2049, 2050, 2051, 2052, 2054, 2056, 2058, 2060, 2062, 2064, 2066, 2068, 2070, 2072, 2074, 2076, 2077, 2078, 2079, 2080, 2081, 2082, 2083, 2084, 2085, 2086, 2088, 2090, 2092, 2094, 2096, 2098, 2100, 2102, 2104, 2106, 2132, 2134, 2135, 2136, 2137, 2138, 2139, 2140, 2141, 2142, 2143, 2144, 2146, 2148, 2150, 2152, 2154, 2156, 2158, 2160, 2162, 2164, 2166, 2168, 2169, 2170, 2171, 2172, 2173, 2174, 2175, 2176, 2177, 2178, 2180, 2182, 2184, 2186, 2188, 2190, 2192, 2194, 2196, 2198, 2225, 2227, 2228, 2229, 2230, 2231, 2232, 2233, 2234, 2235, 2236, 2237, 2239, 2241, 2243, 2245, 2247, 2249, 2251, 2253, 2255, 2257, 2259, 2261, 2262, 2263, 2264, 2265, 2266, 2267, 2268, 2269, 2270, 2271, 2273, 2275, 2277, 2279, 2281, 2283, 2285, 2287, 2289, 2291, 2319, 2321, 2322, 2323, 2324, 2325, 2326, 2327, 2328, 2329, 2330, 2331, 2333, 2335, 2337, 2339, 2341, 2343, 2345, 2347, 2349, 2351, 2353, 2356, 2357, 2358, 2359, 2360, 2361, 2362, 2363, 2364, 2365, 2366, 2368, 2370, 2372, 2374, 2376, 2378, 2380, 2382, 2384, 2386, 2414, 2416, 2417, 2418, 2419, 2420, 2421, 2422, 2423, 2424, 2425, 2426, 2428, 2430, 2432, 2434, 2436, 2438, 2440, 2442, 2444, 2446, 2450, 2455, 2456, 2457, 2458, 2459, 2460, 2461, 2462, 2463, 2464, 2465, 2469, 2471, 2473, 2475, 2477, 2479, 2481, 2483, 2485, 2487, 2515, 2517, 2519, 2520, 2521, 2522, 2523, 2524, 2525, 2526, 2527, 2529, 2531, 2533, 2535, 2538, 2540, 2542, 2544, 2546, 2550, 2556, 2563, 2564, 2565, 2566, 2567, 2568, 2569, 2570, 2571, 2572, 2573, 2579, 2583, 2585, 2587, 2589, 2591, 2593, 2595, 2597, 2599, 2627, 2629, 2630, 2631, 2632, 2633, 2634, 2635, 2636, 2637, 2638, 2639, 2641, 2643, 2645, 2647, 2649, 2651, 2653, 2655, 2659, 2665, 2673, 2682, 2683, 2684, 2685, 2686, 2687, 2688, 2689, 2690, 2691, 2692, 2700, 2706, 2710, 2712, 2714, 2716, 2718, 2720, 2722, 2724, 2752, 2754, 2755, 2756, 2757, 2758, 2759, 2760, 2761, 2762, 2763, 2764, 2766, 2768, 2770, 2772, 2774, 2776, 2778, 2782, 2788, 2796, 2806, 2817, 2818, 2819, 2820, 2821, 2822, 2823, 2824, 2825, 2826, 2827, 2837, 2845, 2851, 2855, 2857, 2859, 2861, 2863, 2865, 2867, 2895, 2897, 2898, 2899, 2900, 2901, 2902, 2903, 2904, 2905, 2906, 2907, 2909, 2911, 2913, 2915, 2917, 2919, 2923, 2929, 2937, 2947, 2959, 2972, 2973, 2974, 2975, 2976, 2977, 2978, 2980, 2981, 2982, 2994, 3004, 3012, 3018, 3022, 3024, 3026, 3028, 3031, 3033, 3061, 3063, 3064, 3065, 3066, 3067, 3068, 3069, 3070, 3071, 3072, 3073, 3075, 3077, 3079, 3081, 3083, 3087, 3093, 3101, 3111, 3123, 3137, 3152, 3153, 3154, 3155, 3156, 3157, 3158, 3159, 3160, 3161, 3162, 3176, 3188, 3198, 3206, 3212, 3216, 3218, 3220, 3222, 3224, 3252, 3254, 3255, 3256, 3257, 3258, 3259, 3260, 3261, 3262, 3263, 3264, 3266, 3268, 3270, 3272, 3276, 3282, 3290, 3300, 3312, 3326, 3342, 3359, 3360, 3361, 3362, 3363, 3364, 3365, 3366, 3367, 3368, 3369, 3385, 3399, 3411, 3421, 3429, 3435, 3439, 3441, 3443, 3445, 3473, 3475, 3476, 3477, 3478, 3479, 3480, 3481, 3482, 3483, 3484, 3485, 3487, 3489, 3491, 3495, 3501, 3509, 3519, 3531, 3545, 3561, 3579, 3598, 3599, 3600, 3601, 3602, 3603, 3604, 3605, 3606, 3607, 3608, 3626, 3642, 3656, 3668, 3678, 3686, 3692, 3696, 3698, 3700, 3728, 3730, 3731, 3732, 3733, 3734, 3735, 3736, 3737, 3738, 3739, 3740, 3742, 3744, 3748, 3754, 3762, 3772, 3784, 3798, 3814, 3832, 3852, 3873, 3874, 3875, 3876, 3877, 3878, 3879, 3880, 3881, 3882, 3883, 3903, 3921, 3937, 3951, 3963, 3973, 3981, 3987, 3991, 3993, 4019, 4021, 4022, 4023, 4024, 4025, 4026, 4027, 4028, 4029, 4030, 4031, 4033, 4037, 4043, 4051, 4061, 4073, 4087, 4103, 4121, 4141, 4163, 4186, 4187, 4188, 4189, 4190, 4191, 4192, 4193, 4194, 4195, 4196, 4218, 4238, 4256, 4272, 4286, 4298, 4308, 4316, 4322, 4326]
Discarding 1098 places :
Implicit Place search using SMT only with invariants took 17460 ms to find 1098 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 3792/4890 places, 13141/13141 transitions.
Discarding 478 places :
Symmetric choice reduction at 0 with 478 rule applications. Total rules 478 place count 3314 transition count 12663
Iterating global reduction 0 with 478 rules applied. Total rules applied 956 place count 3314 transition count 12663
Discarding 478 places :
Symmetric choice reduction at 0 with 478 rule applications. Total rules 1434 place count 2836 transition count 12185
Iterating global reduction 0 with 478 rules applied. Total rules applied 1912 place count 2836 transition count 12185
Applied a total of 1912 rules in 1035 ms. Remains 2836 /3792 variables (removed 956) and now considering 12185/13141 (removed 956) transitions.
[2024-05-25 03:21:53] [INFO ] Flow matrix only has 11299 transitions (discarded 886 similar events)
// Phase 1: matrix 11299 rows 2836 cols
[2024-05-25 03:21:53] [INFO ] Computed 71 invariants in 197 ms
[2024-05-25 03:22:00] [INFO ] Implicit Places using invariants in 6317 ms returned []
Implicit Place search using SMT only with invariants took 6318 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 2836/4890 places, 12185/13141 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 25533 ms. Remains : 2836/4890 places, 12185/13141 transitions.
RANDOM walk for 2514972 steps (42284 resets) in 120004 ms. (20 steps per ms) remains 1/1 properties
BEST_FIRST walk for 2551369 steps (4369 resets) in 15343 ms. (166 steps per ms) remains 0/1 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C10-CTLCardinality-2023-15 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
[2024-05-25 03:22:35] [INFO ] Flatten gal took : 588 ms
[2024-05-25 03:22:36] [INFO ] Flatten gal took : 624 ms
[2024-05-25 03:22:36] [INFO ] Export to MCC of 7 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 2 ms.
[2024-05-25 03:22:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 17820 places, 26071 transitions and 96034 arcs took 92 ms.
Total runtime 513062 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running MultiCrashLeafsetExtension-PT-S24C10
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/412/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 17820
TRANSITIONS: 26071
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.518s, Sys 0.042s]
SAVING FILE /home/mcc/execution/412/model (.net / .def) ...
EXPORT TIME: [User 0.095s, 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: 685
MODEL NAME: /home/mcc/execution/412/model
17820 places, 26071 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..
CANNOT_COMPUTE
EXITCODE: 87
----------------------------------------------------------------------
BK_STOP 1716608151300
--------------------
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
Error in allocating array of size 785402116 at storage/ct_typebased.h, line 1565
MEDDLY ERROR: Insufficient memory
Error in allocating array of size 785402116 at storage/ct_typebased.h, line 1565
MEDDLY ERROR: Insufficient memory
Error in allocating array of size 785402116 at storage/ct_typebased.h, line 1565
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C10"
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-S24C10, 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-171654349200121"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C10.tgz
mv MultiCrashLeafsetExtension-PT-S24C10 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 ;