About the Execution of GreatSPN+red for MultiCrashLeafsetExtension-PT-S32C10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11265.619 | 3600000.00 | 3716688.00 | 9788.60 | TF?TF?FFFFTFTT?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r245-tall-171654349400214.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-S32C10, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-171654349400214
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 33M
-rw-r--r-- 1 mcc users 17K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 110K 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 51K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 19 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 19 18:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K 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 32M 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-S32C10-ReachabilityCardinality-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1716642252362
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C10
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-25 13:04:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML]
[2024-05-25 13:04:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 13:04:14] [INFO ] Load time of PNML (sax parser for PT used): 1048 ms
[2024-05-25 13:04:14] [INFO ] Transformed 32088 places.
[2024-05-25 13:04:14] [INFO ] Transformed 48223 transitions.
[2024-05-25 13:04:14] [INFO ] Parsed PT model containing 32088 places and 48223 transitions and 181342 arcs in 1394 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 33 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (388 resets) in 4459 ms. (8 steps per ms) remains 14/16 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40001 steps (60 resets) in 696 ms. (57 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (60 resets) in 941 ms. (42 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40003 steps (60 resets) in 577 ms. (69 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40002 steps (60 resets) in 486 ms. (82 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40003 steps (60 resets) in 590 ms. (67 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40003 steps (60 resets) in 1315 ms. (30 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40003 steps (60 resets) in 583 ms. (68 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40002 steps (60 resets) in 778 ms. (51 steps per ms) remains 13/14 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-03 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40002 steps (60 resets) in 635 ms. (62 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (60 resets) in 547 ms. (72 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (60 resets) in 406 ms. (98 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (60 resets) in 516 ms. (77 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40002 steps (60 resets) in 383 ms. (104 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (60 resets) in 383 ms. (104 steps per ms) remains 13/13 properties
[2024-05-25 13:04:19] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32088 cols
[2024-05-25 13:04:27] [INFO ] Computed 1893 invariants in 7783 ms
[2024-05-25 13:04:27] [INFO ] State equation strengthened by 15490 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/264 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 13 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-15 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-15 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 1 (OVERLAPS) 5468/5732 variables, 1/1 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5732 variables, 0/1 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 3 (OVERLAPS) 16771/22503 variables, 662/663 constraints. Problems are: Problem set: 1 solved, 12 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 22503/79255 variables, and 663 constraints, problems are : Problem set: 1 solved, 12 unsolved in 5058 ms.
Refiners :[Positive P Invariants (semi-flows): 1/90 constraints, Generalized P Invariants (flows): 662/1803 constraints, State Equation: 0/32088 constraints, ReadFeed: 0/15490 constraints, PredecessorRefiner: 13/13 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 12 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/251 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 1 (OVERLAPS) 5469/5720 variables, 1/1 constraints. Problems are: Problem set: 1 solved, 12 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5720/79255 variables, and 1 constraints, problems are : Problem set: 1 solved, 12 unsolved in 5200 ms.
Refiners :[Positive P Invariants (semi-flows): 1/90 constraints, Generalized P Invariants (flows): 0/1803 constraints, State Equation: 0/32088 constraints, ReadFeed: 0/15490 constraints, PredecessorRefiner: 0/13 constraints, Known Traps: 0/0 constraints]
After SMT, in 18696ms problems are : Problem set: 1 solved, 12 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 251 out of 32088 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32088/32088 places, 48223/48223 transitions.
Graph (complete) has 105773 edges and 32088 vertex of which 32033 are kept as prefixes of interest. Removing 55 places using SCC suffix rule.66 ms
Discarding 55 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 9763 transitions
Trivial Post-agglo rules discarded 9763 transitions
Performed 9763 trivial Post agglomeration. Transition count delta: 9763
Iterating post reduction 0 with 9763 rules applied. Total rules applied 9764 place count 32033 transition count 38460
Reduce places removed 9763 places and 0 transitions.
Performed 193 Post agglomeration using F-continuation condition.Transition count delta: 193
Iterating post reduction 1 with 9956 rules applied. Total rules applied 19720 place count 22270 transition count 38267
Reduce places removed 193 places and 0 transitions.
Iterating post reduction 2 with 193 rules applied. Total rules applied 19913 place count 22077 transition count 38267
Performed 647 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 647 Pre rules applied. Total rules applied 19913 place count 22077 transition count 37620
Deduced a syphon composed of 647 places in 50 ms
Reduce places removed 647 places and 0 transitions.
Iterating global reduction 3 with 1294 rules applied. Total rules applied 21207 place count 21430 transition count 37620
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 110 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 21273 place count 21397 transition count 37587
Free-agglomeration rule (complex) applied 2033 times.
Iterating global reduction 3 with 2033 rules applied. Total rules applied 23306 place count 21397 transition count 35554
Reduce places removed 2033 places and 0 transitions.
Iterating post reduction 3 with 2033 rules applied. Total rules applied 25339 place count 19364 transition count 35554
Partial Free-agglomeration rule applied 9763 times.
Drop transitions (Partial Free agglomeration) removed 9763 transitions
Iterating global reduction 4 with 9763 rules applied. Total rules applied 35102 place count 19364 transition count 35554
Applied a total of 35102 rules in 12646 ms. Remains 19364 /32088 variables (removed 12724) and now considering 35554/48223 (removed 12669) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 12668 ms. Remains : 19364/32088 places, 35554/48223 transitions.
RANDOM walk for 40000 steps (642 resets) in 5674 ms. (7 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 653 ms. (61 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 744 ms. (53 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 557 ms. (71 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 534 ms. (74 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 623 ms. (64 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 496 ms. (80 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 523 ms. (76 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 631 ms. (63 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 546 ms. (73 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 503 ms. (79 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 638 ms. (62 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 496 ms. (80 steps per ms) remains 12/12 properties
Interrupted probabilistic random walk after 22693 steps, run timeout after 9001 ms. (steps per millisecond=2 ) properties seen :1 out of 12
Probabilistic random walk after 22693 steps, saw 10743 distinct states, run finished after 9018 ms. (steps per millisecond=2 ) properties seen :1
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-13 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
[2024-05-25 13:05:03] [INFO ] Flow matrix only has 33998 transitions (discarded 1556 similar events)
// Phase 1: matrix 33998 rows 19364 cols
[2024-05-25 13:05:15] [INFO ] Computed 1838 invariants in 11944 ms
[2024-05-25 13:05:16] [INFO ] State equation strengthened by 15490 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/188 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 11 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-07 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-07 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-09 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-09 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-11 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-11 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 1 (OVERLAPS) 6901/7089 variables, 4/4 constraints. Problems are: Problem set: 3 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7089 variables, 3/7 constraints. Problems are: Problem set: 3 solved, 8 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/7089 variables, 0/7 constraints. Problems are: Problem set: 3 solved, 8 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-00 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-00 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-04 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-04 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-06 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-06 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-10 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-10 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-12 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-12 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 4 (OVERLAPS) 11892/18981 variables, 1448/1455 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/18981 variables, 0/1455 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 6 (OVERLAPS) 60/19041 variables, 60/1515 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/19041 variables, 0/1515 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 323/19364 variables, 323/1838 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/19364 variables, 0/1838 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 10 (OVERLAPS) 33998/53362 variables, 19364/21202 constraints. Problems are: Problem set: 8 solved, 3 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
SMT process timed out in 58431ms, After SMT, problems are : Problem set: 8 solved, 3 unsolved
Fused 3 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 70 out of 19364 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19364/19364 places, 35554/35554 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 85 transitions
Trivial Post-agglo rules discarded 85 transitions
Performed 85 trivial Post agglomeration. Transition count delta: 85
Iterating post reduction 0 with 85 rules applied. Total rules applied 85 place count 19364 transition count 35469
Reduce places removed 85 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 86 rules applied. Total rules applied 171 place count 19279 transition count 35468
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 172 place count 19278 transition count 35468
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 8 Pre rules applied. Total rules applied 172 place count 19278 transition count 35460
Deduced a syphon composed of 8 places in 25 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 3 with 16 rules applied. Total rules applied 188 place count 19270 transition count 35460
Free-agglomeration rule (complex) applied 24 times.
Iterating global reduction 3 with 24 rules applied. Total rules applied 212 place count 19270 transition count 35436
Reduce places removed 24 places and 0 transitions.
Iterating post reduction 3 with 24 rules applied. Total rules applied 236 place count 19246 transition count 35436
Partial Free-agglomeration rule applied 699 times.
Drop transitions (Partial Free agglomeration) removed 699 transitions
Iterating global reduction 4 with 699 rules applied. Total rules applied 935 place count 19246 transition count 35436
Applied a total of 935 rules in 4491 ms. Remains 19246 /19364 variables (removed 118) and now considering 35436/35554 (removed 118) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4491 ms. Remains : 19246/19364 places, 35436/35554 transitions.
RANDOM walk for 40000 steps (648 resets) in 5105 ms. (7 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (64 resets) in 578 ms. (69 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (64 resets) in 565 ms. (70 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (64 resets) in 506 ms. (78 steps per ms) remains 3/3 properties
Interrupted probabilistic random walk after 7967 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :0 out of 3
Probabilistic random walk after 7967 steps, saw 3869 distinct states, run finished after 3001 ms. (steps per millisecond=2 ) properties seen :0
[2024-05-25 13:06:11] [INFO ] Flow matrix only has 33874 transitions (discarded 1562 similar events)
// Phase 1: matrix 33874 rows 19246 cols
[2024-05-25 13:06:23] [INFO ] Computed 1838 invariants in 12043 ms
[2024-05-25 13:06:24] [INFO ] State equation strengthened by 15490 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/70 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 6924/6994 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6994 variables, 2/7 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/6994 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (OVERLAPS) 11870/18864 variables, 1449/1456 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/18864 variables, 0/1456 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 6 (OVERLAPS) 60/18924 variables, 60/1516 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/18924 variables, 0/1516 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 322/19246 variables, 322/1838 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/19246 variables, 0/1838 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 10 (OVERLAPS) 33874/53120 variables, 19246/21084 constraints. Problems are: Problem set: 0 solved, 3 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 53120/53120 variables, and 36574 constraints, problems are : Problem set: 0 solved, 3 unsolved in 75104 ms.
Refiners :[Positive P Invariants (semi-flows): 65/65 constraints, Generalized P Invariants (flows): 1773/1773 constraints, State Equation: 19246/19246 constraints, ReadFeed: 15490/15490 constraints, PredecessorRefiner: 3/3 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/70 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 6924/6994 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6994 variables, 2/7 constraints. Problems are: Problem set: 0 solved, 3 unsolved
[2024-05-25 13:07:47] [INFO ] Deduced a trap composed of 1947 places in 6783 ms of which 228 ms to minimize.
[2024-05-25 13:07:54] [INFO ] Deduced a trap composed of 2022 places in 6629 ms of which 43 ms to minimize.
[2024-05-25 13:08:01] [INFO ] Deduced a trap composed of 1935 places in 6736 ms of which 33 ms to minimize.
[2024-05-25 13:08:07] [INFO ] Deduced a trap composed of 1972 places in 6809 ms of which 33 ms to minimize.
[2024-05-25 13:08:14] [INFO ] Deduced a trap composed of 2122 places in 6834 ms of which 28 ms to minimize.
[2024-05-25 13:08:21] [INFO ] Deduced a trap composed of 1954 places in 6568 ms of which 34 ms to minimize.
[2024-05-25 13:08:28] [INFO ] Deduced a trap composed of 1890 places in 6676 ms of which 30 ms to minimize.
[2024-05-25 13:08:35] [INFO ] Deduced a trap composed of 1893 places in 6638 ms of which 31 ms to minimize.
[2024-05-25 13:08:41] [INFO ] Deduced a trap composed of 1461 places in 6649 ms of which 30 ms to minimize.
[2024-05-25 13:08:48] [INFO ] Deduced a trap composed of 1877 places in 6643 ms of which 32 ms to minimize.
[2024-05-25 13:08:55] [INFO ] Deduced a trap composed of 1858 places in 6728 ms of which 31 ms to minimize.
SMT process timed out in 164079ms, After SMT, problems are : Problem set: 0 solved, 3 unsolved
Fused 3 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 70 out of 19246 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19246/19246 places, 35436/35436 transitions.
Applied a total of 0 rules in 1294 ms. Remains 19246 /19246 variables (removed 0) and now considering 35436/35436 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1294 ms. Remains : 19246/19246 places, 35436/35436 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19246/19246 places, 35436/35436 transitions.
Applied a total of 0 rules in 1236 ms. Remains 19246 /19246 variables (removed 0) and now considering 35436/35436 (removed 0) transitions.
[2024-05-25 13:08:57] [INFO ] Flow matrix only has 33874 transitions (discarded 1562 similar events)
[2024-05-25 13:08:57] [INFO ] Invariant cache hit.
[2024-05-25 13:09:31] [INFO ] Performed 5998/19246 implicitness test of which 297 returned IMPLICIT in 30 seconds.
[2024-05-25 13:10:01] [INFO ] Performed 9881/19246 implicitness test of which 594 returned IMPLICIT in 60 seconds.
[2024-05-25 13:10:31] [INFO ] Performed 13035/19246 implicitness test of which 824 returned IMPLICIT in 90 seconds.
[2024-05-25 13:11:01] [INFO ] Performed 16114/19246 implicitness test of which 989 returned IMPLICIT in 120 seconds.
[2024-05-25 13:11:31] [INFO ] Performed 18670/19246 implicitness test of which 1089 returned IMPLICIT in 150 seconds.
[2024-05-25 13:11:38] [INFO ] Implicit Places using invariants in 160077 ms returned [4, 7, 19, 33, 49, 67, 87, 109, 134, 160, 188, 218, 250, 284, 320, 358, 398, 439, 479, 517, 553, 587, 619, 649, 677, 703, 727, 749, 769, 787, 803, 817, 829, 862, 868, 880, 892, 906, 922, 940, 960, 982, 1006, 1032, 1060, 1090, 1122, 1156, 1192, 1230, 1269, 1307, 1343, 1377, 1409, 1439, 1467, 1493, 1517, 1539, 1559, 1577, 1593, 1607, 1619, 1665, 1671, 1683, 1695, 1707, 1721, 1737, 1755, 1777, 1799, 1823, 1849, 1877, 1907, 1939, 1973, 2009, 2046, 2082, 2116, 2148, 2178, 2207, 2233, 2257, 2279, 2299, 2317, 2333, 2347, 2359, 2371, 2383, 2416, 2422, 2434, 2446, 2458, 2470, 2484, 2500, 2518, 2538, 2560, 2584, 2610, 2638, 2668, 2700, 2734, 2769, 2803, 2835, 2865, 2893, 2919, 2943, 2965, 2985, 3003, 3019, 3033, 3045, 3057, 3069, 3081, 3114, 3120, 3132, 3144, 3156, 3168, 3180, 3194, 3210, 3229, 3249, 3271, 3295, 3321, 3349, 3379, 3411, 3444, 3476, 3506, 3534, 3560, 3584, 3606, 3626, 3644, 3660, 3674, 3686, 3698, 3710, 3722, 3734, 3767, 3773, 3785, 3797, 3809, 3821, 3833, 3845, 3860, 3876, 3894, 3914, 3936, 3960, 3986, 4014, 4044, 4075, 4105, 4133, 4159, 4183, 4205, 4225, 4243, 4260, 4274, 4286, 4298, 4310, 4322, 4334, 4346, 4379, 4385, 4397, 4409, 4421, 4433, 4445, 4457, 4469, 4483, 4499, 4517, 4537, 4559, 4583, 4609, 4637, 4666, 4694, 4720, 4744, 4766, 4786, 4804, 4820, 4834, 4846, 4858, 4870, 4882, 4894, 4906, 4918, 4951, 4957, 4969, 4981, 4993, 5005, 5017, 5029, 5041, 5053, 5067, 5083, 5101, 5121, 5143, 5167, 5193, 5220, 5246, 5270, 5292, 5312, 5330, 5346, 5360, 5372, 5384, 5396, 5408, 5420, 5432, 5444, 5456, 5489, 5495, 5507, 5519, 5531, 5543, 5555, 5567, 5579, 5591, 5603, 5617, 5633, 5651, 5671, 5693, 5717, 5742, 5766, 5788, 5808, 5826, 5842, 5856, 5868, 5880, 5892, 5904, 5916, 5928, 5940, 5952, 5964, 5997, 6003, 6015, 6027, 6039, 6051, 6063, 6075, 6087, 6099, 6111, 6123, 6137, 6153, 6171, 6191, 6213, 6237, 6259, 6279, 6297, 6313, 6327, 6339, 6351, 6363, 6375, 6387, 6399, 6412, 6424, 6436, 6448, 6481, 6487, 6499, 6511, 6523, 6535, 6547, 6559, 6571, 6583, 6595, 6607, 6619, 6633, 6649, 6667, 6687, 6708, 6728, 6746, 6762, 6776, 6788, 6800, 6812, 6824, 6836, 6848, 6860, 6872, 6884, 6896, 6908, 6941, 6947, 6959, 6971, 6983, 6995, 7007, 7019, 7031, 7043, 7055, 7067, 7079, 7091, 7105, 7121, 7139, 7158, 7176, 7192, 7206, 7218, 7230, 7242, 7254, 7266, 7278, 7290, 7302, 7314, 7326, 7338, 7350, 7383, 7389, 7401, 7413, 7425, 7437, 7449, 7461, 7473, 7485, 7497, 7509, 7521, 7533, 7545, 7559, 7575, 7592, 7608, 7622, 7634, 7646, 7658, 7670, 7682, 7694, 7706, 7718, 7730, 7742, 7754, 7766, 7778, 7811, 7817, 7829, 7842, 7854, 7866, 7878, 7890, 7902, 7914, 7926, 7938, 7950, 7962, 7974, 7986, 8000, 8015, 8029, 8041, 8053, 8065, 8077, 8089, 8101, 8113, 8125, 8137, 8149, 8161, 8173, 8185, 8197, 8230, 8236, 8248, 8273, 8285, 8297, 8309, 8321, 8333, 8345, 8357, 8369, 8381, 8393, 8405, 8417, 8430, 8442, 8454, 8466, 8478, 8490, 8502, 8514, 8526, 8538, 8550, 8562, 8574, 8586, 8598, 8610, 8644, 8650, 8662, 8674, 8686, 8698, 8710, 8722, 8734, 8746, 8758, 8770, 8782, 8794, 8806, 8818, 8830, 8842, 8854, 8866, 8878, 8890, 8902, 8914, 8926, 8938, 8950, 8962, 8974, 8986, 8998, 9010, 9022, 9055, 9057, 9060, 9072, 9084, 9096, 9108, 9120, 9132, 9144, 9157, 9169, 9181, 9193, 9205, 9217, 9229, 9241, 9253, 9265, 9277, 9289, 9301, 9313, 9325, 9337, 9349, 9361, 9373, 9385, 9397, 9409, 9421, 9433, 9466, 9472, 9484, 9496, 9508, 9520, 9532, 9544, 9556, 9568, 9580, 9592, 9604, 9616, 9628, 9640, 9652, 9664, 9676, 9688, 9700, 9712, 9725, 9737, 9749, 9761, 9773, 9785, 9797, 9809, 9821, 9833, 9845, 9878, 9884, 9896, 9908, 9920, 9932, 9944, 9956, 9968, 9980, 9992, 10004, 10016, 10028, 10040, 10052, 10064, 10076, 10089, 10101, 10113, 10125, 10137, 10149, 10161, 10173, 10185, 10197, 10209, 10221, 10233, 10245, 10257, 10290, 10296, 10308, 10320, 10332, 10344, 10356, 10368, 10380, 10392, 10404, 10416, 10428, 10440, 10452, 10464, 10476, 10490, 10505, 10519, 10531, 10543, 10556, 10568, 10580, 10592, 10604, 10616, 10628, 10640, 10652, 10664, 10676, 10709, 10715, 10727, 10739, 10751, 10763, 10775, 10787, 10799, 10811, 10823, 10835, 10847, 10859, 10871, 10883, 10897, 10913, 10930, 10946, 10960, 10972, 10984, 10996, 11008, 11020, 11032, 11044, 11056, 11068, 11080, 11092, 11104, 11139, 11145, 11157, 11169, 11181, 11193, 11205, 11217, 11229, 11254, 11266, 11278, 11290, 11302, 11316, 11332, 11350, 11369, 11387, 11403, 11417, 11429, 11441, 11453, 11465, 11477, 11489, 11501, 11513, 11525, 11537, 11549, 11582, 11588, 11600, 11612, 11624, 11636, 11648, 11660, 11672, 11684, 11696, 11708, 11720, 11732, 11746, 11762, 11780, 11800, 11821, 11841, 11859, 11875, 11889, 11901, 11913, 11925, 11937, 11949, 11961, 11973, 11985, 11997, 12009, 12043, 12049, 12061, 12074, 12087, 12099, 12111, 12123, 12135, 12147, 12159, 12171, 12183, 12197, 12213, 12231, 12251, 12273, 12296, 12318, 12338, 12356, 12372, 12386, 12398, 12410, 12422, 12434, 12446, 12458, 12470, 12482, 12494, 12527, 12533, 12545, 12557, 12569, 12581, 12593, 12605, 12617, 12629, 12641, 12653, 12667, 12683, 12701, 12721, 12743, 12767, 12792, 12816, 12838, 12858, 12876, 12892, 12906, 12918, 12930, 12942, 12954, 12966, 12978, 12990, 13002, 13035, 13041, 13053, 13065, 13077, 13089, 13101, 13113, 13125, 13137, 13149, 13163, 13179, 13198, 13218, 13240, 13264, 13290, 13317, 13345, 13369, 13391, 13411, 13429, 13445, 13459, 13471, 13483, 13495, 13507, 13519, 13531, 13543, 13576, 13582, 13594, 13606, 13618, 13630, 13642, 13654, 13666, 13678, 13692, 13708, 13726, 13746, 13768, 13792, 13818, 13846, 13875, 13903, 13929, 13953, 13975, 13995, 14013, 14029, 14043, 14055, 14067, 14079, 14091, 14103, 14115, 14149, 14155, 14167, 14179, 14191, 14203, 14215, 14227, 14239, 14253, 14269, 14287, 14307, 14329, 14353, 14380, 14408, 14438, 14469, 14499, 14527, 14553, 14577, 14599, 14619, 14637, 14653, 14667, 14679, 14691, 14703, 14715, 14727, 14760, 14766, 14778, 14790, 14802, 14814, 14826, 14838, 14852, 14868, 14886, 14906, 14928, 14952, 14978, 15006, 15036, 15068, 15101, 15134, 15164, 15192, 15218, 15243, 15265, 15285, 15303, 15319, 15333, 15345, 15357, 15369, 15381, 15414, 15420, 15432, 15444, 15456, 15468, 15480, 15494, 15510, 15528, 15548, 15570, 15594, 15620, 15648, 15678, 15710, 15744, 15779, 15813, 15846, 15876, 15904, 15930, 15954, 15976, 15996, 16014, 16030, 16044, 16056, 16068, 16080, 16113, 16119, 16131, 16143, 16155, 16167, 16181, 16197, 16215, 16235, 16257, 16281, 16307, 16335, 16365, 16397, 16431, 16467, 16504, 16540, 16574, 16606, 16636, 16664, 16690, 16714, 16736, 16756, 16774, 16790, 16804, 16816, 16828, 16861, 16867, 16879, 16891, 16903, 16917, 16933, 16951, 16971, 16993, 17017, 17043, 17071, 17101, 17133, 17167, 17203, 17241, 17280, 17318, 17354, 17388, 17420, 17450, 17478, 17504, 17528, 17550, 17570, 17588, 17604, 17618, 17630, 17663, 17665, 17668, 17680, 17692, 17706, 17722, 17741, 17761, 17783, 17807, 17833, 17861, 17891, 17923, 17957, 17993, 18031, 18071, 18112, 18152, 18190, 18226, 18261, 18293, 18323, 18351, 18377, 18401, 18423, 18443, 18461, 18477, 18491, 18525]
[2024-05-25 13:11:38] [INFO ] Actually due to overlaps returned [862, 1665, 3114, 4379, 4951, 5489, 6481, 6941, 7383, 7811, 8230, 8644, 9055, 9466, 10290, 10709, 11139, 11582, 12043, 12527, 13035, 13576, 14149, 14760, 15414, 16113, 16861, 17663, 2416, 3767, 5997, 9878, 18525, 4, 9057, 17665]
Discarding 36 places :
Implicit Place search using SMT only with invariants took 160128 ms to find 36 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 19210/19246 places, 35436/35436 transitions.
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 19210 transition count 35433
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 6 place count 19207 transition count 35433
Applied a total of 6 rules in 2543 ms. Remains 19207 /19210 variables (removed 3) and now considering 35433/35436 (removed 3) transitions.
[2024-05-25 13:11:40] [INFO ] Flow matrix only has 33871 transitions (discarded 1562 similar events)
// Phase 1: matrix 33871 rows 19207 cols
[2024-05-25 13:11:53] [INFO ] Computed 1802 invariants in 12881 ms
[2024-05-25 13:12:26] [INFO ] Performed 6472/19207 implicitness test of which 319 returned IMPLICIT in 30 seconds.
[2024-05-25 13:12:56] [INFO ] Performed 11118/19207 implicitness test of which 670 returned IMPLICIT in 60 seconds.
[2024-05-25 13:13:27] [INFO ] Performed 14731/19207 implicitness test of which 893 returned IMPLICIT in 90 seconds.
[2024-05-25 13:13:59] [INFO ] Performed 18591/19207 implicitness test of which 1053 returned IMPLICIT in 122 seconds.
[2024-05-25 13:14:33] [INFO ] Performed 18837/19207 implicitness test of which 1053 returned IMPLICIT in 156 seconds.
[2024-05-25 13:14:33] [INFO ] Implicit Places using invariants in 172962 ms returned [6, 18, 32, 48, 66, 86, 108, 133, 159, 187, 217, 249, 283, 319, 357, 397, 438, 478, 516, 552, 586, 618, 648, 676, 702, 726, 748, 768, 786, 802, 816, 828, 865, 877, 889, 903, 919, 937, 957, 979, 1003, 1029, 1057, 1087, 1119, 1153, 1189, 1227, 1266, 1304, 1340, 1374, 1406, 1436, 1464, 1490, 1514, 1536, 1556, 1574, 1590, 1604, 1616, 1667, 1679, 1691, 1703, 1717, 1733, 1751, 1773, 1795, 1819, 1845, 1873, 1903, 1935, 1969, 2005, 2042, 2078, 2112, 2144, 2174, 2203, 2229, 2253, 2275, 2295, 2313, 2329, 2343, 2355, 2367, 2379, 2417, 2429, 2441, 2453, 2465, 2479, 2495, 2513, 2533, 2555, 2579, 2605, 2633, 2663, 2695, 2729, 2764, 2798, 2830, 2860, 2888, 2914, 2938, 2960, 2980, 2998, 3014, 3028, 3040, 3052, 3064, 3076, 3114, 3126, 3138, 3150, 3162, 3174, 3188, 3204, 3223, 3243, 3265, 3289, 3315, 3343, 3373, 3405, 3438, 3470, 3500, 3528, 3554, 3578, 3600, 3620, 3638, 3654, 3668, 3680, 3692, 3704, 3716, 3728, 3766, 3778, 3790, 3802, 3814, 3826, 3838, 3853, 3869, 3887, 3907, 3929, 3953, 3979, 4007, 4037, 4068, 4098, 4126, 4152, 4176, 4198, 4218, 4236, 4253, 4267, 4279, 4291, 4303, 4315, 4327, 4339, 4377, 4389, 4401, 4413, 4425, 4437, 4449, 4461, 4475, 4491, 4509, 4529, 4551, 4575, 4601, 4629, 4658, 4686, 4712, 4736, 4758, 4778, 4796, 4812, 4826, 4838, 4850, 4862, 4874, 4886, 4898, 4910, 4948, 4960, 4972, 4984, 4996, 5008, 5020, 5032, 5044, 5058, 5074, 5092, 5112, 5134, 5158, 5184, 5211, 5237, 5261, 5283, 5303, 5321, 5337, 5351, 5363, 5375, 5387, 5399, 5411, 5423, 5435, 5447, 5485, 5497, 5509, 5521, 5533, 5545, 5557, 5569, 5581, 5593, 5607, 5623, 5641, 5661, 5683, 5707, 5732, 5756, 5778, 5798, 5816, 5832, 5846, 5858, 5870, 5882, 5894, 5906, 5918, 5930, 5942, 5954, 5992, 6004, 6016, 6028, 6040, 6052, 6064, 6076, 6088, 6100, 6112, 6126, 6142, 6160, 6180, 6202, 6226, 6248, 6268, 6286, 6302, 6316, 6328, 6340, 6352, 6364, 6376, 6388, 6401, 6413, 6425, 6437, 6475, 6487, 6499, 6511, 6523, 6535, 6547, 6559, 6571, 6583, 6595, 6607, 6621, 6637, 6655, 6675, 6696, 6716, 6734, 6750, 6764, 6776, 6788, 6800, 6812, 6824, 6836, 6848, 6860, 6872, 6884, 6896, 6934, 6946, 6958, 6970, 6982, 6994, 7006, 7018, 7030, 7042, 7054, 7066, 7078, 7092, 7108, 7126, 7145, 7163, 7179, 7193, 7205, 7217, 7229, 7241, 7253, 7265, 7277, 7289, 7301, 7313, 7325, 7337, 7375, 7387, 7399, 7411, 7423, 7435, 7447, 7459, 7471, 7483, 7495, 7507, 7519, 7531, 7545, 7561, 7578, 7594, 7608, 7620, 7632, 7644, 7656, 7668, 7680, 7692, 7704, 7716, 7728, 7740, 7752, 7764, 7802, 7814, 7827, 7839, 7851, 7863, 7875, 7887, 7899, 7911, 7923, 7935, 7947, 7959, 7971, 7985, 8000, 8014, 8026, 8038, 8050, 8062, 8074, 8086, 8098, 8110, 8122, 8134, 8146, 8158, 8170, 8182, 8220, 8232, 8257, 8269, 8281, 8293, 8305, 8317, 8329, 8341, 8353, 8365, 8377, 8389, 8401, 8414, 8426, 8438, 8450, 8462, 8474, 8486, 8498, 8510, 8522, 8534, 8546, 8558, 8570, 8582, 8594, 8633, 8645, 8657, 8669, 8681, 8693, 8705, 8717, 8729, 8741, 8753, 8765, 8777, 8789, 8801, 8813, 8825, 8837, 8849, 8861, 8873, 8885, 8897, 8909, 8921, 8933, 8945, 8957, 8969, 8981, 8993, 9005, 9041, 9053, 9065, 9077, 9089, 9101, 9113, 9125, 9138, 9150, 9162, 9174, 9186, 9198, 9210, 9222, 9234, 9246, 9258, 9270, 9282, 9294, 9306, 9318, 9330, 9342, 9354, 9366, 9378, 9390, 9402, 9414, 9451, 9463, 9475, 9487, 9499, 9511, 9523, 9535, 9547, 9559, 9571, 9583, 9595, 9607, 9619, 9631, 9643, 9655, 9667, 9679, 9691, 9704, 9716, 9728, 9740, 9752, 9764, 9776, 9788, 9800, 9812, 9824, 9862, 9874, 9886, 9898, 9910, 9922, 9934, 9946, 9958, 9970, 9982, 9994, 10006, 10018, 10030, 10042, 10054, 10067, 10079, 10091, 10103, 10115, 10127, 10139, 10151, 10163, 10175, 10187, 10199, 10211, 10223, 10235, 10273, 10285, 10297, 10309, 10321, 10333, 10345, 10357, 10369, 10381, 10393, 10405, 10417, 10429, 10441, 10453, 10467, 10482, 10496, 10508, 10520, 10533, 10545, 10557, 10569, 10581, 10593, 10605, 10617, 10629, 10641, 10653, 10691, 10703, 10715, 10727, 10739, 10751, 10763, 10775, 10787, 10799, 10811, 10823, 10835, 10847, 10859, 10873, 10889, 10906, 10922, 10936, 10948, 10960, 10972, 10984, 10996, 11008, 11020, 11032, 11044, 11056, 11068, 11080, 11120, 11132, 11144, 11156, 11168, 11180, 11192, 11204, 11229, 11241, 11253, 11265, 11277, 11291, 11307, 11325, 11344, 11362, 11378, 11392, 11404, 11416, 11428, 11440, 11452, 11464, 11476, 11488, 11500, 11512, 11524, 11562, 11574, 11586, 11598, 11610, 11622, 11634, 11646, 11658, 11670, 11682, 11694, 11706, 11720, 11736, 11754, 11774, 11795, 11815, 11833, 11849, 11863, 11875, 11887, 11899, 11911, 11923, 11935, 11947, 11959, 11971, 11983, 12022, 12034, 12047, 12060, 12072, 12084, 12096, 12108, 12120, 12132, 12144, 12156, 12170, 12186, 12204, 12224, 12246, 12269, 12291, 12311, 12329, 12345, 12359, 12371, 12383, 12395, 12407, 12419, 12431, 12443, 12455, 12467, 12505, 12517, 12529, 12541, 12553, 12565, 12577, 12589, 12601, 12613, 12625, 12639, 12655, 12673, 12693, 12715, 12739, 12764, 12788, 12810, 12830, 12848, 12864, 12878, 12890, 12902, 12914, 12926, 12938, 12950, 12962, 12974, 13012, 13024, 13036, 13048, 13060, 13072, 13084, 13096, 13108, 13120, 13134, 13150, 13169, 13189, 13211, 13235, 13261, 13288, 13316, 13340, 13362, 13382, 13400, 13416, 13430, 13442, 13454, 13466, 13478, 13490, 13502, 13514, 13552, 13564, 13576, 13588, 13600, 13612, 13624, 13636, 13648, 13662, 13678, 13696, 13716, 13738, 13762, 13788, 13816, 13845, 13873, 13899, 13923, 13945, 13965, 13983, 13999, 14013, 14025, 14037, 14049, 14061, 14073, 14085, 14124, 14136, 14148, 14160, 14172, 14184, 14196, 14208, 14222, 14238, 14256, 14276, 14298, 14322, 14349, 14377, 14407, 14438, 14468, 14496, 14522, 14546, 14568, 14588, 14606, 14622, 14636, 14648, 14660, 14672, 14684, 14696, 14734, 14746, 14758, 14770, 14782, 14794, 14806, 14820, 14836, 14854, 14874, 14896, 14920, 14946, 14974, 15004, 15036, 15069, 15102, 15132, 15160, 15186, 15211, 15233, 15253, 15271, 15287, 15301, 15313, 15325, 15337, 15349, 15387, 15399, 15411, 15423, 15435, 15447, 15461, 15477, 15495, 15515, 15537, 15561, 15587, 15615, 15645, 15677, 15711, 15746, 15780, 15813, 15843, 15871, 15897, 15921, 15943, 15963, 15981, 15997, 16011, 16023, 16035, 16047, 16085, 16097, 16109, 16121, 16133, 16147, 16163, 16181, 16201, 16223, 16247, 16273, 16301, 16331, 16363, 16397, 16433, 16470, 16506, 16540, 16572, 16602, 16630, 16656, 16680, 16702, 16722, 16740, 16756, 16770, 16782, 16794, 16832, 16844, 16856, 16868, 16882, 16898, 16916, 16936, 16958, 16982, 17008, 17036, 17066, 17098, 17132, 17168, 17206, 17245, 17283, 17319, 17353, 17385, 17415, 17443, 17469, 17493, 17515, 17535, 17553, 17569, 17583, 17595, 17631, 17643, 17655, 17669, 17685, 17704, 17724, 17746, 17770, 17796, 17824, 17854, 17886, 17920, 17956, 17994, 18034, 18075, 18115, 18153, 18189, 18224, 18256, 18286, 18314, 18340, 18364, 18386, 18406, 18424, 18440, 18454]
Discarding 1053 places :
Implicit Place search using SMT only with invariants took 173063 ms to find 1053 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 18154/19246 places, 35433/35436 transitions.
Applied a total of 0 rules in 1130 ms. Remains 18154 /18154 variables (removed 0) and now considering 35433/35433 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 338105 ms. Remains : 18154/19246 places, 35433/35436 transitions.
[2024-05-25 13:14:34] [INFO ] Export to MCC of 3 properties in file /home/mcc/execution/ReachabilityCardinality.sr.xml took 3 ms.
[2024-05-25 13:14:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 18154 places, 35433 transitions and 193583 arcs took 142 ms.
[2024-05-25 13:14:37] [INFO ] Flatten gal took : 1679 ms
Total runtime 623490 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running MultiCrashLeafsetExtension-PT-S32C10
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/413/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 18154
TRANSITIONS: 35433
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.949s, Sys 0.099s]
SAVING FILE /home/mcc/execution/413/model (.net / .def) ...
EXPORT TIME: [User 0.141s, Sys 0.000s]
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -timeout 360 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C10"
export BK_EXAMINATION="ReachabilityCardinality"
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-S32C10, examination is ReachabilityCardinality"
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-171654349400214"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C10.tgz
mv MultiCrashLeafsetExtension-PT-S32C10 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;