About the Execution of GreatSPN+red for MultiCrashLeafsetExtension-PT-S32C09
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
7028.611 | 3600000.00 | 3692728.00 | 9007.20 | ?TTT????F???F??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r245-tall-171654349400207.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-S32C09, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-171654349400207
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 31M
-rw-r--r-- 1 mcc users 17K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 103K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 77K 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 28K May 19 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 19 18:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 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 30M 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-S32C09-ReachabilityFireability-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2023-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2023-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2023-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1716638636309
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C09
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-25 12:03:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2024-05-25 12:03:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 12:03:58] [INFO ] Load time of PNML (sax parser for PT used): 1063 ms
[2024-05-25 12:03:58] [INFO ] Transformed 29770 places.
[2024-05-25 12:03:58] [INFO ] Transformed 44921 transitions.
[2024-05-25 12:03:58] [INFO ] Parsed PT model containing 29770 places and 44921 transitions and 170374 arcs in 1326 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 44 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (432 resets) in 3280 ms. (12 steps per ms) remains 15/16 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 141 ms. (28 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 14/15 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-03 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 14/14 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 14/14 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 14/14 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 14/14 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 14/14 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 14/14 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 14/14 properties
[2024-05-25 12:04:00] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29770 cols
[2024-05-25 12:04:06] [INFO ] Computed 1823 invariants in 5844 ms
[2024-05-25 12:04:07] [INFO ] State equation strengthened by 14434 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/335 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 14 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/335 variables, 1/13 constraints. Problems are: Problem set: 0 solved, 14 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/335 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 14 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-01 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-01 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 3 (OVERLAPS) 5490/5825 variables, 52/65 constraints. Problems are: Problem set: 1 solved, 13 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5825 variables, 6/71 constraints. Problems are: Problem set: 1 solved, 13 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/5825 variables, 0/71 constraints. Problems are: Problem set: 1 solved, 13 unsolved
At refinement iteration 6 (OVERLAPS) 24/5849 variables, 24/95 constraints. Problems are: Problem set: 1 solved, 13 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5849 variables, 0/95 constraints. Problems are: Problem set: 1 solved, 13 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 20419/73635 variables, and 738 constraints, problems are : Problem set: 1 solved, 13 unsolved in 5050 ms.
Refiners :[Positive P Invariants (semi-flows): 88/88 constraints, Generalized P Invariants (flows): 650/1735 constraints, State Equation: 0/29770 constraints, ReadFeed: 0/14434 constraints, PredecessorRefiner: 14/10 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 13 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/319 variables, 12/12 constraints. Problems are: Problem set: 1 solved, 13 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/319 variables, 1/13 constraints. Problems are: Problem set: 1 solved, 13 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/319 variables, 0/13 constraints. Problems are: Problem set: 1 solved, 13 unsolved
At refinement iteration 3 (OVERLAPS) 5492/5811 variables, 52/65 constraints. Problems are: Problem set: 1 solved, 13 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5811 variables, 4/69 constraints. Problems are: Problem set: 1 solved, 13 unsolved
[2024-05-25 12:04:21] [INFO ] Deduced a trap composed of 389 places in 5620 ms of which 269 ms to minimize.
SMT process timed out in 20752ms, After SMT, problems are : Problem set: 1 solved, 13 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 319 out of 29770 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 29770/29770 places, 44921/44921 transitions.
Graph (complete) has 99155 edges and 29770 vertex of which 29716 are kept as prefixes of interest. Removing 54 places using SCC suffix rule.64 ms
Discarding 54 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 8927 transitions
Trivial Post-agglo rules discarded 8927 transitions
Performed 8927 trivial Post agglomeration. Transition count delta: 8927
Iterating post reduction 0 with 8927 rules applied. Total rules applied 8928 place count 29716 transition count 35994
Reduce places removed 8927 places and 0 transitions.
Performed 542 Post agglomeration using F-continuation condition.Transition count delta: 542
Iterating post reduction 1 with 9469 rules applied. Total rules applied 18397 place count 20789 transition count 35452
Reduce places removed 542 places and 0 transitions.
Iterating post reduction 2 with 542 rules applied. Total rules applied 18939 place count 20247 transition count 35452
Performed 557 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 557 Pre rules applied. Total rules applied 18939 place count 20247 transition count 34895
Deduced a syphon composed of 557 places in 51 ms
Reduce places removed 557 places and 0 transitions.
Iterating global reduction 3 with 1114 rules applied. Total rules applied 20053 place count 19690 transition count 34895
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 18
Deduced a syphon composed of 18 places in 52 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 3 with 36 rules applied. Total rules applied 20089 place count 19672 transition count 34877
Free-agglomeration rule (complex) applied 328 times.
Iterating global reduction 3 with 328 rules applied. Total rules applied 20417 place count 19672 transition count 34549
Reduce places removed 328 places and 0 transitions.
Iterating post reduction 3 with 328 rules applied. Total rules applied 20745 place count 19344 transition count 34549
Partial Free-agglomeration rule applied 8399 times.
Drop transitions (Partial Free agglomeration) removed 8399 transitions
Iterating global reduction 4 with 8399 rules applied. Total rules applied 29144 place count 19344 transition count 34549
Applied a total of 29144 rules in 10565 ms. Remains 19344 /29770 variables (removed 10426) and now considering 34549/44921 (removed 10372) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 10581 ms. Remains : 19344/29770 places, 34549/44921 transitions.
RANDOM walk for 40000 steps (611 resets) in 2969 ms. (13 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (68 resets) in 349 ms. (114 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (68 resets) in 388 ms. (102 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (68 resets) in 296 ms. (134 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (68 resets) in 282 ms. (141 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (68 resets) in 255 ms. (156 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (68 resets) in 556 ms. (71 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (68 resets) in 258 ms. (154 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (68 resets) in 280 ms. (142 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (68 resets) in 388 ms. (102 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (68 resets) in 329 ms. (121 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (68 resets) in 306 ms. (130 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (68 resets) in 283 ms. (140 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (68 resets) in 339 ms. (117 steps per ms) remains 13/13 properties
Interrupted probabilistic random walk after 13017 steps, run timeout after 6001 ms. (steps per millisecond=2 ) properties seen :0 out of 13
Probabilistic random walk after 13017 steps, saw 6475 distinct states, run finished after 6007 ms. (steps per millisecond=2 ) properties seen :0
[2024-05-25 12:04:40] [INFO ] Flow matrix only has 33166 transitions (discarded 1383 similar events)
// Phase 1: matrix 33166 rows 19344 cols
[2024-05-25 12:04:47] [INFO ] Computed 1769 invariants in 7589 ms
[2024-05-25 12:04:49] [INFO ] State equation strengthened by 14434 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/319 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/319 variables, 2/14 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/319 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 13 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-08 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-08 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 3 (OVERLAPS) 7883/8202 variables, 33/47 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8202 variables, 6/53 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/8202 variables, 0/53 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 6 (OVERLAPS) 6/8208 variables, 6/59 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/8208 variables, 0/59 constraints. Problems are: Problem set: 1 solved, 12 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-12 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C09-ReachabilityFireability-2024-12 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 8 (OVERLAPS) 10820/19028 variables, 1394/1453 constraints. Problems are: Problem set: 2 solved, 11 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/19028 variables, 0/1453 constraints. Problems are: Problem set: 2 solved, 11 unsolved
At refinement iteration 10 (OVERLAPS) 12/19040 variables, 12/1465 constraints. Problems are: Problem set: 2 solved, 11 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/19040 variables, 0/1465 constraints. Problems are: Problem set: 2 solved, 11 unsolved
At refinement iteration 12 (OVERLAPS) 304/19344 variables, 304/1769 constraints. Problems are: Problem set: 2 solved, 11 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/19344 variables, 0/1769 constraints. Problems are: Problem set: 2 solved, 11 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 52510/52510 variables, and 21113 constraints, problems are : Problem set: 2 solved, 11 unsolved in 45084 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, Generalized P Invariants (flows): 1706/1706 constraints, State Equation: 19344/19344 constraints, ReadFeed: 0/14434 constraints, PredecessorRefiner: 13/7 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 2 solved, 11 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/177 variables, 6/6 constraints. Problems are: Problem set: 2 solved, 11 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/177 variables, 1/7 constraints. Problems are: Problem set: 2 solved, 11 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/177 variables, 0/7 constraints. Problems are: Problem set: 2 solved, 11 unsolved
At refinement iteration 3 (OVERLAPS) 7973/8150 variables, 23/30 constraints. Problems are: Problem set: 2 solved, 11 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8150 variables, 5/35 constraints. Problems are: Problem set: 2 solved, 11 unsolved
[2024-05-25 12:05:51] [INFO ] Deduced a trap composed of 1571 places in 15133 ms of which 58 ms to minimize.
[2024-05-25 12:06:06] [INFO ] Deduced a trap composed of 1662 places in 14703 ms of which 54 ms to minimize.
[2024-05-25 12:06:21] [INFO ] Deduced a trap composed of 2682 places in 14585 ms of which 53 ms to minimize.
SMT process timed out in 101076ms, After SMT, problems are : Problem set: 2 solved, 11 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 177 out of 19344 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19344/19344 places, 34549/34549 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 19 transitions
Trivial Post-agglo rules discarded 19 transitions
Performed 19 trivial Post agglomeration. Transition count delta: 19
Iterating post reduction 0 with 19 rules applied. Total rules applied 19 place count 19344 transition count 34530
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 38 place count 19325 transition count 34530
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 19 Pre rules applied. Total rules applied 38 place count 19325 transition count 34511
Deduced a syphon composed of 19 places in 29 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 2 with 38 rules applied. Total rules applied 76 place count 19306 transition count 34511
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 29 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 2 with 12 rules applied. Total rules applied 88 place count 19300 transition count 34505
Free-agglomeration rule (complex) applied 70 times.
Iterating global reduction 2 with 70 rules applied. Total rules applied 158 place count 19300 transition count 34435
Reduce places removed 70 places and 0 transitions.
Iterating post reduction 2 with 70 rules applied. Total rules applied 228 place count 19230 transition count 34435
Partial Free-agglomeration rule applied 220 times.
Drop transitions (Partial Free agglomeration) removed 220 transitions
Iterating global reduction 3 with 220 rules applied. Total rules applied 448 place count 19230 transition count 34435
Applied a total of 448 rules in 6647 ms. Remains 19230 /19344 variables (removed 114) and now considering 34435/34549 (removed 114) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6647 ms. Remains : 19230/19344 places, 34435/34549 transitions.
RANDOM walk for 40000 steps (614 resets) in 1906 ms. (20 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 330 ms. (120 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 241 ms. (165 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (68 resets) in 288 ms. (138 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 244 ms. (163 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 297 ms. (134 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40002 steps (68 resets) in 241 ms. (165 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 272 ms. (146 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 239 ms. (166 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 300 ms. (132 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 241 ms. (165 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (68 resets) in 283 ms. (140 steps per ms) remains 11/11 properties
Interrupted probabilistic random walk after 6635 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :0 out of 11
Probabilistic random walk after 6635 steps, saw 3297 distinct states, run finished after 3002 ms. (steps per millisecond=2 ) properties seen :0
[2024-05-25 12:06:32] [INFO ] Flow matrix only has 32985 transitions (discarded 1450 similar events)
// Phase 1: matrix 32985 rows 19230 cols
[2024-05-25 12:06:39] [INFO ] Computed 1769 invariants in 7356 ms
[2024-05-25 12:06:40] [INFO ] State equation strengthened by 14434 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/177 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/177 variables, 2/8 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/177 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 3 (OVERLAPS) 7894/8071 variables, 23/31 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8071 variables, 4/35 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/8071 variables, 0/35 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 6 (OVERLAPS) 10/8081 variables, 10/45 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/8081 variables, 0/45 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 8 (OVERLAPS) 10831/18912 variables, 1406/1451 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/18912 variables, 0/1451 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 10 (OVERLAPS) 24/18936 variables, 24/1475 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/18936 variables, 0/1475 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 12 (OVERLAPS) 294/19230 variables, 294/1769 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/19230 variables, 0/1769 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 14 (OVERLAPS) 32985/52215 variables, 19230/20999 constraints. Problems are: Problem set: 0 solved, 11 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 52215/52215 variables, and 35433 constraints, problems are : Problem set: 0 solved, 11 unsolved in 75129 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, Generalized P Invariants (flows): 1706/1706 constraints, State Equation: 19230/19230 constraints, ReadFeed: 14434/14434 constraints, PredecessorRefiner: 11/7 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 11 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/177 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/177 variables, 2/8 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/177 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 3 (OVERLAPS) 7894/8071 variables, 23/31 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8071 variables, 4/35 constraints. Problems are: Problem set: 0 solved, 11 unsolved
[2024-05-25 12:08:12] [INFO ] Deduced a trap composed of 988 places in 14409 ms of which 56 ms to minimize.
[2024-05-25 12:08:28] [INFO ] Deduced a trap composed of 2572 places in 15267 ms of which 56 ms to minimize.
[2024-05-25 12:08:42] [INFO ] Deduced a trap composed of 2640 places in 14660 ms of which 54 ms to minimize.
[2024-05-25 12:08:57] [INFO ] Deduced a trap composed of 2874 places in 13982 ms of which 49 ms to minimize.
[2024-05-25 12:09:11] [INFO ] Deduced a trap composed of 2805 places in 14434 ms of which 53 ms to minimize.
SMT process timed out in 159032ms, After SMT, problems are : Problem set: 0 solved, 11 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 177 out of 19230 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19230/19230 places, 34435/34435 transitions.
Applied a total of 0 rules in 1565 ms. Remains 19230 /19230 variables (removed 0) and now considering 34435/34435 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1565 ms. Remains : 19230/19230 places, 34435/34435 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19230/19230 places, 34435/34435 transitions.
Applied a total of 0 rules in 1550 ms. Remains 19230 /19230 variables (removed 0) and now considering 34435/34435 (removed 0) transitions.
[2024-05-25 12:09:14] [INFO ] Flow matrix only has 32985 transitions (discarded 1450 similar events)
[2024-05-25 12:09:14] [INFO ] Invariant cache hit.
[2024-05-25 12:09:48] [INFO ] Performed 7850/19230 implicitness test of which 429 returned IMPLICIT in 30 seconds.
[2024-05-25 12:10:18] [INFO ] Performed 13224/19230 implicitness test of which 832 returned IMPLICIT in 60 seconds.
[2024-05-25 12:10:48] [INFO ] Performed 18656/19230 implicitness test of which 1084 returned IMPLICIT in 90 seconds.
[2024-05-25 12:11:18] [INFO ] Implicit Places using invariants in 123269 ms returned [4, 8, 21, 35, 51, 70, 90, 112, 136, 162, 190, 220, 253, 287, 323, 362, 402, 443, 483, 521, 558, 592, 625, 655, 683, 709, 733, 755, 775, 793, 810, 826, 838, 871, 878, 890, 902, 916, 933, 951, 971, 993, 1017, 1043, 1071, 1102, 1134, 1168, 1205, 1243, 1282, 1320, 1356, 1391, 1423, 1454, 1482, 1508, 1532, 1554, 1574, 1592, 1608, 1622, 1635, 1647, 1678, 1684, 1696, 1708, 1720, 1735, 1751, 1769, 1789, 1811, 1835, 1861, 1890, 1920, 1952, 1987, 2023, 2060, 2096, 2130, 2163, 2193, 2222, 2248, 2272, 2294, 2314, 2332, 2348, 2362, 2374, 2386, 2398, 2429, 2435, 2447, 2459, 2471, 2484, 2498, 2514, 2532, 2552, 2574, 2598, 2625, 2653, 2683, 2716, 2750, 2785, 2819, 2851, 2882, 2910, 2937, 2961, 2983, 3003, 3021, 3037, 3051, 3063, 3075, 3087, 3099, 3130, 3137, 3149, 3161, 3173, 3185, 3197, 3211, 3227, 3245, 3265, 3287, 3312, 3338, 3366, 3397, 3429, 3462, 3494, 3524, 3580, 3605, 3627, 3647, 3665, 3681, 3695, 3707, 3719, 3731, 3743, 3755, 3787, 3793, 3805, 3817, 3829, 3841, 3853, 3866, 3881, 3897, 3915, 3935, 3958, 3982, 4008, 4037, 4067, 4098, 4128, 4156, 4183, 4207, 4230, 4250, 4268, 4284, 4298, 4310, 4323, 4335, 4347, 4359, 4372, 4403, 4409, 4421, 4433, 4445, 4457, 4469, 4481, 4493, 4507, 4523, 4541, 4562, 4584, 4608, 4635, 4663, 4692, 4720, 4746, 4771, 4793, 4814, 4832, 4848, 4862, 4874, 4886, 4898, 4910, 4922, 4934, 4946, 4977, 4983, 4995, 5007, 5019, 5031, 5043, 5055, 5067, 5079, 5093, 5109, 5128, 5148, 5170, 5195, 5221, 5248, 5274, 5298, 5321, 5341, 5360, 5376, 5390, 5402, 5414, 5426, 5438, 5450, 5462, 5474, 5486, 5518, 5524, 5536, 5548, 5560, 5572, 5584, 5596, 5608, 5620, 5632, 5646, 5663, 5681, 5701, 5724, 5748, 5773, 5797, 5819, 5840, 5858, 5875, 5889, 5901, 5913, 5925, 5937, 5949, 5961, 5973, 5985, 5997, 6028, 6034, 6046, 6058, 6070, 6082, 6094, 6106, 6118, 6130, 6142, 6154, 6169, 6185, 6203, 6224, 6246, 6269, 6291, 6311, 6330, 6346, 6361, 6373, 6385, 6397, 6409, 6421, 6433, 6445, 6457, 6469, 6481, 6512, 6518, 6530, 6542, 6554, 6566, 6578, 6590, 6602, 6614, 6626, 6638, 6651, 6665, 6681, 6700, 6720, 6741, 6761, 6779, 6796, 6810, 6823, 6835, 6847, 6859, 6871, 6883, 6895, 6907, 6919, 6931, 6943, 6975, 6982, 6994, 7006, 7018, 7030, 7042, 7054, 7066, 7078, 7090, 7102, 7114, 7126, 7140, 7157, 7175, 7194, 7212, 7228, 7243, 7255, 7267, 7279, 7291, 7304, 7316, 7328, 7340, 7352, 7364, 7376, 7388, 7419, 7425, 7437, 7449, 7461, 7473, 7485, 7497, 7509, 7521, 7533, 7545, 7557, 7569, 7581, 7596, 7612, 7629, 7645, 7659, 7672, 7684, 7696, 7708, 7720, 7732, 7744, 7756, 7768, 7780, 7792, 7804, 7816, 7847, 7853, 7865, 7877, 7889, 7901, 7913, 7925, 7937, 7949, 7961, 7973, 7985, 7997, 8009, 8022, 8036, 8051, 8065, 8077, 8089, 8101, 8113, 8125, 8137, 8149, 8161, 8173, 8185, 8197, 8209, 8221, 8233, 8264, 8271, 8283, 8295, 8307, 8319, 8331, 8343, 8355, 8367, 8379, 8391, 8403, 8415, 8427, 8439, 8451, 8464, 8476, 8488, 8500, 8512, 8524, 8536, 8548, 8572, 8584, 8596, 8608, 8620, 8632, 8644, 8675, 8681, 8693, 8705, 8717, 8729, 8741, 8753, 8765, 8777, 8789, 8801, 8813, 8825, 8837, 8849, 8861, 8874, 8886, 8898, 8910, 8922, 8934, 8946, 8958, 8970, 8982, 8994, 9006, 9018, 9030, 9042, 9054, 9085, 9087, 9090, 9102, 9114, 9126, 9138, 9150, 9162, 9174, 9186, 9198, 9210, 9222, 9234, 9246, 9258, 9270, 9282, 9294, 9306, 9318, 9330, 9342, 9354, 9366, 9378, 9390, 9402, 9414, 9426, 9438, 9450, 9462, 9493, 9499, 9511, 9523, 9535, 9547, 9559, 9571, 9583, 9595, 9607, 9619, 9631, 9644, 9656, 9668, 9680, 9692, 9704, 9716, 9728, 9740, 9752, 9764, 9776, 9788, 9800, 9812, 9824, 9836, 9848, 9860, 9872, 9903, 9909, 9921, 9933, 9945, 9957, 9969, 9981, 9993, 10005, 10017, 10029, 10041, 10053, 10065, 10077, 10089, 10101, 10114, 10126, 10138, 10151, 10163, 10175, 10188, 10200, 10212, 10224, 10236, 10248, 10260, 10272, 10284, 10322, 10334, 10346, 10358, 10370, 10382, 10394, 10406, 10418, 10430, 10442, 10454, 10466, 10478, 10490, 10503, 10517, 10532, 10559, 10571, 10583, 10595, 10607, 10619, 10631, 10643, 10655, 10667, 10679, 10691, 10703, 10736, 10742, 10754, 10766, 10778, 10790, 10802, 10814, 10826, 10838, 10850, 10862, 10874, 10886, 10898, 10910, 10926, 10942, 10959, 10975, 10989, 11002, 11014, 11026, 11038, 11050, 11062, 11074, 11086, 11098, 11110, 11122, 11134, 11172, 11184, 11196, 11208, 11220, 11232, 11244, 11256, 11268, 11280, 11292, 11304, 11316, 11328, 11342, 11359, 11377, 11396, 11414, 11430, 11445, 11457, 11469, 11481, 11493, 11505, 11517, 11529, 11541, 11553, 11565, 11577, 11609, 11615, 11627, 11639, 11651, 11663, 11675, 11687, 11699, 11711, 11723, 11735, 11747, 11760, 11774, 11790, 11809, 11829, 11850, 11870, 11888, 11905, 11919, 11932, 11944, 11956, 11968, 11980, 11992, 12004, 12016, 12028, 12040, 12079, 12091, 12103, 12115, 12127, 12139, 12151, 12163, 12175, 12187, 12199, 12211, 12226, 12242, 12260, 12281, 12303, 12326, 12348, 12368, 12387, 12403, 12419, 12431, 12443, 12455, 12467, 12479, 12491, 12503, 12515, 12527, 12559, 12565, 12577, 12589, 12601, 12613, 12625, 12637, 12649, 12661, 12673, 12685, 12699, 12716, 12734, 12754, 12777, 12801, 12826, 12850, 12872, 12893, 12911, 12943, 12955, 12967, 12979, 12991, 13003, 13015, 13027, 13039, 13070, 13076, 13088, 13100, 13112, 13124, 13136, 13148, 13160, 13172, 13184, 13198, 13214, 13233, 13253, 13275, 13300, 13326, 13353, 13380, 13404, 13427, 13447, 13466, 13482, 13496, 13508, 13520, 13532, 13544, 13556, 13568, 13580, 13618, 13630, 13642, 13654, 13666, 13678, 13690, 13702, 13714, 13728, 13744, 13762, 13783, 13805, 13829, 13856, 13884, 13913, 13942, 13968, 13993, 14015, 14036, 14054, 14070, 14084, 14096, 14108, 14120, 14132, 14144, 14156, 14189, 14196, 14208, 14220, 14232, 14244, 14256, 14268, 14280, 14294, 14310, 14328, 14348, 14372, 14396, 14422, 14451, 14481, 14512, 14542, 14570, 14597, 14621, 14644, 14664, 14682, 14698, 14712, 14724, 14736, 14748, 14760, 14772, 14804, 14810, 14822, 14834, 14846, 14858, 14870, 14882, 14896, 14912, 14930, 14950, 14972, 14997, 15023, 15051, 15082, 15114, 15147, 15179, 15209, 15238, 15264, 15289, 15311, 15331, 15349, 15365, 15379, 15391, 15403, 15415, 15427, 15458, 15464, 15476, 15488, 15500, 15512, 15525, 15539, 15555, 15573, 15593, 15615, 15639, 15666, 15694, 15724, 15757, 15791, 15826, 15860, 15892, 15923, 15951, 15978, 16002, 16024, 16044, 16062, 16078, 16092, 16104, 16116, 16128, 16159, 16166, 16178, 16190, 16202, 16214, 16229, 16245, 16263, 16283, 16305, 16329, 16355, 16384, 16414, 16446, 16481, 16517, 16554, 16591, 16625, 16658, 16688, 16717, 16743, 16767, 16789, 16809, 16827, 16843, 16857, 16869, 16881, 16913, 16919, 16931, 16943, 16955, 16969, 16986, 17004, 17024, 17046, 17070, 17096, 17124, 17155, 17187, 17221, 17258, 17296, 17335, 17373, 17409, 17444, 17476, 17507, 17535, 17561, 17585, 17607, 17627, 17645, 17661, 17675, 17688, 17721, 17723, 17726, 17738, 17751, 17765, 17781, 17800, 17820, 17842, 17866, 17892, 17920, 17950, 17983, 18017, 18053, 18092, 18132, 18173, 18213, 18251, 18288, 18322, 18355, 18385, 18413, 18439, 18463, 18485, 18505, 18523, 18539, 18554, 18585]
[2024-05-25 12:11:18] [INFO ] Actually due to overlaps returned [871, 1678, 2429, 3130, 3787, 4403, 4977, 5518, 6028, 6512, 6975, 7419, 7847, 8264, 8675, 9085, 9493, 9903, 10736, 11609, 12559, 13070, 14189, 14804, 15458, 16159, 16913, 17721, 18585, 4, 483, 558, 625, 709, 1320, 1391, 1454, 1532, 2096, 2163, 2222, 2294, 2819, 2882, 2937, 3003, 3494, 3605, 3665, 4128, 4183, 4230, 4284, 4720, 4771, 4814, 4862, 5274, 5321, 5360, 5402, 5797, 5840, 5875, 5913, 6291, 6330, 6361, 6397, 6761, 6796, 6823, 6859, 7212, 7243, 7267, 7304, 7645, 7672, 7696, 7732, 8065, 8089, 8113, 8149, 8476, 8500, 8524, 8886, 8910, 8934, 8970, 9087, 9294, 9318, 9342, 9378, 9704, 9728, 9752, 9788, 10138, 10163, 10200, 10559, 10583, 10619, 10975, 11014, 11050, 11414, 11445, 11457, 11493, 11870, 11905, 11956, 12348, 12387, 12419, 12443, 12850, 12893, 12955, 13380, 13427, 13466, 13942, 13993, 14036, 14084, 14542, 14597, 14644, 14698, 15179, 15238, 15289, 15349, 15860, 15923, 15978, 16044, 16591, 16658, 16717, 16789, 17373, 17444, 17507, 17585, 17723, 18213, 18288, 18355, 18439]
Discarding 156 places :
Implicit Place search using SMT only with invariants took 123320 ms to find 156 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 19074/19230 places, 34435/34435 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 19074 transition count 34433
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 19072 transition count 34433
Applied a total of 4 rules in 3475 ms. Remains 19072 /19074 variables (removed 2) and now considering 34433/34435 (removed 2) transitions.
[2024-05-25 12:11:21] [INFO ] Flow matrix only has 32983 transitions (discarded 1450 similar events)
// Phase 1: matrix 32983 rows 19072 cols
[2024-05-25 12:11:29] [INFO ] Computed 1613 invariants in 8097 ms
[2024-05-25 12:12:03] [INFO ] Performed 8712/19072 implicitness test of which 429 returned IMPLICIT in 30 seconds.
[2024-05-25 12:12:33] [INFO ] Performed 15325/19072 implicitness test of which 816 returned IMPLICIT in 60 seconds.
[2024-05-25 12:13:03] [INFO ] Performed 18911/19072 implicitness test of which 928 returned IMPLICIT in 90 seconds.
[2024-05-25 12:13:11] [INFO ] Implicit Places using invariants in 109927 ms returned [7, 20, 34, 50, 69, 89, 111, 135, 161, 189, 219, 252, 286, 322, 361, 401, 442, 519, 589, 651, 679, 728, 750, 770, 788, 805, 821, 833, 872, 884, 896, 910, 927, 945, 965, 987, 1011, 1037, 1065, 1096, 1128, 1162, 1199, 1237, 1276, 1349, 1415, 1473, 1499, 1544, 1564, 1582, 1598, 1612, 1625, 1637, 1673, 1685, 1697, 1709, 1724, 1740, 1758, 1778, 1800, 1824, 1850, 1879, 1909, 1941, 1976, 2012, 2049, 2118, 2180, 2234, 2258, 2299, 2317, 2333, 2347, 2359, 2371, 2383, 2419, 2431, 2443, 2455, 2468, 2482, 2498, 2516, 2536, 2558, 2582, 2609, 2637, 2667, 2700, 2734, 2769, 2834, 2892, 2942, 2964, 3001, 3017, 3031, 3043, 3055, 3067, 3079, 3116, 3128, 3140, 3152, 3164, 3176, 3190, 3206, 3224, 3244, 3266, 3291, 3317, 3345, 3376, 3408, 3441, 3502, 3558, 3604, 3624, 3657, 3671, 3683, 3695, 3707, 3719, 3731, 3768, 3780, 3792, 3804, 3816, 3828, 3841, 3856, 3872, 3890, 3910, 3933, 3957, 3983, 4012, 4042, 4073, 4130, 4180, 4222, 4240, 4269, 4281, 4294, 4306, 4318, 4330, 4343, 4379, 4391, 4403, 4415, 4427, 4439, 4451, 4463, 4477, 4493, 4511, 4532, 4554, 4578, 4605, 4633, 4662, 4715, 4761, 4799, 4815, 4840, 4852, 4864, 4876, 4888, 4900, 4912, 4948, 4960, 4972, 4984, 4996, 5008, 5020, 5032, 5044, 5058, 5074, 5093, 5113, 5135, 5160, 5186, 5213, 5262, 5304, 5338, 5352, 5375, 5387, 5399, 5411, 5423, 5435, 5447, 5484, 5496, 5508, 5520, 5532, 5544, 5556, 5568, 5580, 5592, 5606, 5623, 5641, 5661, 5684, 5708, 5733, 5778, 5816, 5846, 5858, 5881, 5893, 5905, 5917, 5929, 5941, 5953, 5989, 6001, 6013, 6025, 6037, 6049, 6061, 6073, 6085, 6097, 6109, 6124, 6140, 6158, 6179, 6201, 6224, 6265, 6299, 6325, 6337, 6360, 6372, 6384, 6396, 6408, 6420, 6432, 6468, 6480, 6492, 6504, 6516, 6528, 6540, 6552, 6564, 6576, 6588, 6601, 6615, 6631, 6650, 6670, 6691, 6728, 6758, 6782, 6794, 6817, 6829, 6841, 6853, 6865, 6877, 6889, 6927, 6939, 6951, 6963, 6975, 6987, 6999, 7011, 7023, 7035, 7047, 7059, 7071, 7085, 7102, 7120, 7139, 7172, 7198, 7221, 7233, 7257, 7269, 7281, 7293, 7305, 7317, 7329, 7365, 7377, 7389, 7401, 7413, 7425, 7437, 7449, 7461, 7473, 7485, 7497, 7509, 7521, 7536, 7552, 7569, 7598, 7622, 7645, 7657, 7680, 7692, 7704, 7716, 7728, 7740, 7752, 7788, 7800, 7812, 7824, 7836, 7848, 7860, 7872, 7884, 7896, 7908, 7920, 7932, 7944, 7957, 7971, 7986, 8011, 8034, 8057, 8069, 8092, 8104, 8116, 8128, 8140, 8152, 8164, 8201, 8213, 8225, 8237, 8249, 8261, 8273, 8285, 8297, 8309, 8321, 8333, 8345, 8357, 8369, 8381, 8394, 8417, 8440, 8463, 8475, 8499, 8511, 8523, 8535, 8547, 8559, 8571, 8607, 8619, 8631, 8643, 8655, 8667, 8679, 8691, 8703, 8715, 8727, 8739, 8751, 8763, 8775, 8787, 8800, 8823, 8846, 8869, 8881, 8904, 8916, 8928, 8940, 8952, 8964, 8976, 9010, 9022, 9034, 9046, 9058, 9070, 9082, 9094, 9106, 9118, 9130, 9142, 9154, 9166, 9178, 9190, 9202, 9225, 9248, 9271, 9283, 9306, 9318, 9330, 9342, 9354, 9366, 9378, 9413, 9425, 9437, 9449, 9461, 9473, 9485, 9497, 9509, 9521, 9533, 9545, 9558, 9570, 9582, 9594, 9606, 9629, 9652, 9675, 9687, 9710, 9722, 9734, 9746, 9758, 9770, 9782, 9818, 9830, 9842, 9854, 9866, 9878, 9890, 9902, 9914, 9926, 9938, 9950, 9962, 9974, 9986, 9998, 10010, 10023, 10035, 10059, 10082, 10095, 10118, 10130, 10142, 10154, 10166, 10178, 10190, 10228, 10240, 10252, 10264, 10276, 10288, 10300, 10312, 10324, 10336, 10348, 10360, 10372, 10384, 10396, 10409, 10423, 10438, 10476, 10499, 10511, 10534, 10546, 10558, 10570, 10582, 10594, 10606, 10644, 10656, 10668, 10680, 10692, 10704, 10716, 10728, 10740, 10752, 10764, 10776, 10788, 10800, 10812, 10828, 10844, 10861, 10890, 10903, 10926, 10938, 10961, 10973, 10985, 10997, 11009, 11021, 11033, 11071, 11083, 11095, 11107, 11119, 11131, 11143, 11155, 11167, 11179, 11191, 11203, 11215, 11227, 11241, 11258, 11276, 11295, 11328, 11365, 11377, 11400, 11412, 11424, 11436, 11448, 11460, 11472, 11509, 11521, 11533, 11545, 11557, 11569, 11581, 11593, 11605, 11617, 11629, 11641, 11654, 11668, 11684, 11703, 11723, 11744, 11781, 11811, 11824, 11836, 11859, 11871, 11883, 11895, 11907, 11919, 11931, 11970, 11982, 11994, 12006, 12018, 12030, 12042, 12054, 12066, 12078, 12090, 12102, 12117, 12133, 12151, 12172, 12194, 12217, 12258, 12292, 12319, 12342, 12354, 12366, 12378, 12390, 12402, 12414, 12451, 12463, 12475, 12487, 12499, 12511, 12523, 12535, 12547, 12559, 12571, 12585, 12602, 12620, 12640, 12663, 12687, 12712, 12757, 12795, 12827, 12850, 12862, 12874, 12886, 12898, 12910, 12922, 12958, 12970, 12982, 12994, 13006, 13018, 13030, 13042, 13054, 13066, 13080, 13096, 13115, 13135, 13157, 13182, 13208, 13235, 13285, 13327, 13361, 13375, 13387, 13399, 13411, 13423, 13435, 13447, 13459, 13497, 13509, 13521, 13533, 13545, 13557, 13569, 13581, 13593, 13607, 13623, 13641, 13662, 13684, 13708, 13735, 13763, 13792, 13846, 13892, 13930, 13946, 13971, 13983, 13995, 14007, 14019, 14031, 14070, 14082, 14094, 14106, 14118, 14130, 14142, 14154, 14168, 14184, 14202, 14222, 14246, 14270, 14296, 14325, 14355, 14386, 14443, 14493, 14535, 14553, 14582, 14594, 14606, 14618, 14630, 14642, 14679, 14691, 14703, 14715, 14727, 14739, 14751, 14765, 14781, 14799, 14819, 14841, 14866, 14892, 14920, 14951, 14983, 15016, 15077, 15131, 15177, 15197, 15230, 15244, 15256, 15268, 15280, 15292, 15328, 15340, 15352, 15364, 15376, 15389, 15403, 15419, 15437, 15457, 15479, 15503, 15530, 15558, 15588, 15621, 15655, 15690, 15755, 15813, 15863, 15885, 15922, 15938, 15952, 15964, 15976, 15988, 16025, 16037, 16049, 16061, 16073, 16088, 16104, 16122, 16142, 16164, 16188, 16214, 16243, 16273, 16305, 16340, 16376, 16413, 16483, 16545, 16599, 16623, 16664, 16682, 16698, 16712, 16724, 16736, 16773, 16785, 16797, 16809, 16823, 16840, 16858, 16878, 16900, 16924, 16950, 16978, 17009, 17041, 17075, 17112, 17150, 17189, 17262, 17328, 17386, 17412, 17457, 17477, 17495, 17511, 17525, 17538, 17574, 17586, 17599, 17613, 17629, 17648, 17668, 17690, 17714, 17740, 17768, 17798, 17831, 17865, 17901, 17940, 17980, 18021, 18098, 18168, 18230, 18258, 18307, 18329, 18349, 18367, 18383, 18398]
Discarding 928 places :
Implicit Place search using SMT only with invariants took 109961 ms to find 928 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 18144/19230 places, 34433/34435 transitions.
Applied a total of 0 rules in 1541 ms. Remains 18144 /18144 variables (removed 0) and now considering 34433/34433 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 239855 ms. Remains : 18144/19230 places, 34433/34435 transitions.
[2024-05-25 12:13:13] [INFO ] Export to MCC of 11 properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 11 ms.
[2024-05-25 12:13:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 18144 places, 34433 transitions and 173395 arcs took 122 ms.
[2024-05-25 12:13:15] [INFO ] Flatten gal took : 1463 ms
Total runtime 557712 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running MultiCrashLeafsetExtension-PT-S32C09
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/411/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 18144
TRANSITIONS: 34433
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.884s, Sys 0.073s]
SAVING FILE /home/mcc/execution/411/model (.net / .def) ...
EXPORT TIME: [User 0.121s, Sys 0.008s]
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -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-S32C09"
export BK_EXAMINATION="ReachabilityFireability"
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-S32C09, examination is ReachabilityFireability"
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-171654349400207"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C09.tgz
mv MultiCrashLeafsetExtension-PT-S32C09 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;