About the Execution of 2020-gold for MultiCrashLeafsetExtension-PT-S24C04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1261.012 | 3600000.00 | 7329751.00 | 168365.60 | FFTT?TTT?FTFFFT? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r303-tall-162124171500324.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is MultiCrashLeafsetExtension-PT-S24C04, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r303-tall-162124171500324
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 43K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 151K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 33K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 107K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.5K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K May 12 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 6.2K May 11 18:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 11 18:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K May 11 15:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 11 15:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 12 04:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 7 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 20M May 12 08:13 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 gen-ReachabilityFireability-00
FORMULA_NAME gen-ReachabilityFireability-01
FORMULA_NAME gen-ReachabilityFireability-02
FORMULA_NAME gen-ReachabilityFireability-03
FORMULA_NAME gen-ReachabilityFireability-04
FORMULA_NAME gen-ReachabilityFireability-05
FORMULA_NAME gen-ReachabilityFireability-06
FORMULA_NAME gen-ReachabilityFireability-07
FORMULA_NAME gen-ReachabilityFireability-08
FORMULA_NAME gen-ReachabilityFireability-09
FORMULA_NAME gen-ReachabilityFireability-10
FORMULA_NAME gen-ReachabilityFireability-11
FORMULA_NAME gen-ReachabilityFireability-12
FORMULA_NAME gen-ReachabilityFireability-13
FORMULA_NAME gen-ReachabilityFireability-14
FORMULA_NAME gen-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1621379743026
[2021-05-18 23:15:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-18 23:15:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 23:15:54] [INFO ] Load time of PNML (sax parser for PT used): 582 ms
[2021-05-18 23:15:54] [INFO ] Transformed 9748 places.
[2021-05-18 23:15:54] [INFO ] Transformed 14659 transitions.
[2021-05-18 23:15:54] [INFO ] Parsed PT model containing 9748 places and 14659 transitions in 708 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 117 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 240 resets, run finished after 397 ms. (steps per millisecond=25 ) properties seen :[0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0]
FORMULA gen-ReachabilityFireability-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA gen-ReachabilityFireability-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA gen-ReachabilityFireability-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 44 resets, run finished after 72 ms. (steps per millisecond=138 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 44 resets, run finished after 66 ms. (steps per millisecond=151 ) properties seen :[0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0]
FORMULA gen-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 44 resets, run finished after 76 ms. (steps per millisecond=131 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 44 resets, run finished after 68 ms. (steps per millisecond=147 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 44 resets, run finished after 72 ms. (steps per millisecond=138 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 44 resets, run finished after 94 ms. (steps per millisecond=106 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 44 resets, run finished after 75 ms. (steps per millisecond=133 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 44 resets, run finished after 64 ms. (steps per millisecond=156 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 43 resets, run finished after 101 ms. (steps per millisecond=99 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 44 resets, run finished after 77 ms. (steps per millisecond=129 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 44 resets, run finished after 71 ms. (steps per millisecond=140 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 44 resets, run finished after 66 ms. (steps per millisecond=151 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
[2021-05-18 23:15:56] [INFO ] Flow matrix only has 14059 transitions (discarded 600 similar events)
// Phase 1: matrix 14059 rows 9748 cols
[2021-05-18 23:15:57] [INFO ] Computed 921 place invariants in 1368 ms
[2021-05-18 23:15:59] [INFO ] [Real]Absence check using 62 positive place invariants in 566 ms returned sat
[2021-05-18 23:16:01] [INFO ] [Real]Absence check using 62 positive and 859 generalized place invariants in 1742 ms returned unsat
[2021-05-18 23:16:02] [INFO ] [Real]Absence check using 62 positive place invariants in 272 ms returned unsat
[2021-05-18 23:16:03] [INFO ] [Real]Absence check using 62 positive place invariants in 431 ms returned sat
[2021-05-18 23:16:07] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:16:07] [INFO ] [Real]Absence check using 62 positive and 859 generalized place invariants in 3637 ms returned (error "Failed to check-sat")
[2021-05-18 23:16:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:16:07] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 2
[2021-05-18 23:16:08] [INFO ] [Real]Absence check using 62 positive place invariants in 435 ms returned sat
[2021-05-18 23:16:12] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:16:12] [INFO ] [Real]Absence check using 62 positive and 859 generalized place invariants in 3655 ms returned (error "Failed to check-sat")
[2021-05-18 23:16:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:16:12] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 3
[2021-05-18 23:16:13] [INFO ] [Real]Absence check using 62 positive place invariants in 438 ms returned sat
[2021-05-18 23:16:17] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (= s3422 s3420)") while checking expression at index 4
[2021-05-18 23:16:18] [INFO ] [Real]Absence check using 62 positive place invariants in 440 ms returned sat
[2021-05-18 23:16:20] [INFO ] [Real]Absence check using 62 positive and 859 generalized place invariants in 1990 ms returned unsat
[2021-05-18 23:16:22] [INFO ] [Real]Absence check using 62 positive place invariants in 428 ms returned sat
[2021-05-18 23:16:25] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:16:25] [INFO ] [Real]Absence check using 62 positive and 859 generalized place invariants in 3806 ms returned unknown
[2021-05-18 23:16:27] [INFO ] [Real]Absence check using 62 positive place invariants in 428 ms returned sat
[2021-05-18 23:16:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:16:30] [INFO ] [Real]Absence check using 62 positive and 859 generalized place invariants in 3768 ms returned (error "Failed to check-sat")
[2021-05-18 23:16:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:16:30] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 7
[2021-05-18 23:16:32] [INFO ] [Real]Absence check using 62 positive place invariants in 437 ms returned sat
[2021-05-18 23:16:32] [INFO ] [Real]Absence check using 62 positive and 859 generalized place invariants in 709 ms returned unsat
[2021-05-18 23:16:34] [INFO ] [Real]Absence check using 62 positive place invariants in 445 ms returned sat
[2021-05-18 23:16:36] [INFO ] [Real]Absence check using 62 positive and 859 generalized place invariants in 2005 ms returned unsat
[2021-05-18 23:16:37] [INFO ] [Real]Absence check using 62 positive place invariants in 260 ms returned unsat
[2021-05-18 23:16:38] [INFO ] [Real]Absence check using 62 positive place invariants in 455 ms returned sat
[2021-05-18 23:16:42] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:16:42] [INFO ] [Real]Absence check using 62 positive and 859 generalized place invariants in 3624 ms returned unknown
FORMULA gen-ReachabilityFireability-14 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA gen-ReachabilityFireability-12 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA gen-ReachabilityFireability-11 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA gen-ReachabilityFireability-07 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA gen-ReachabilityFireability-01 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA gen-ReachabilityFireability-00 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Support contains 30 out of 9748 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 9748/9748 places, 14659/14659 transitions.
Discarding 36 places :
Also discarding 0 output transitions
Graph (complete) has 33897 edges and 9748 vertex of which 9712 are kept as prefixes of interest. Removing 36 places using SCC suffix rule.107 ms
Performed 2399 Post agglomeration using F-continuation condition.Transition count delta: 2399
Iterating post reduction 0 with 2399 rules applied. Total rules applied 2400 place count 9712 transition count 12260
Reduce places removed 2399 places and 0 transitions.
Iterating post reduction 1 with 2399 rules applied. Total rules applied 4799 place count 7313 transition count 12260
Performed 200 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 200 Pre rules applied. Total rules applied 4799 place count 7313 transition count 12060
Deduced a syphon composed of 200 places in 27 ms
Reduce places removed 200 places and 0 transitions.
Iterating global reduction 2 with 400 rules applied. Total rules applied 5199 place count 7113 transition count 12060
Symmetric choice reduction at 2 with 2222 rule applications. Total rules 7421 place count 7113 transition count 12060
Deduced a syphon composed of 2222 places in 29 ms
Reduce places removed 2222 places and 2774 transitions.
Iterating global reduction 2 with 4444 rules applied. Total rules applied 11865 place count 4891 transition count 9286
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 7 Pre rules applied. Total rules applied 11865 place count 4891 transition count 9279
Deduced a syphon composed of 7 places in 9 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 2 with 14 rules applied. Total rules applied 11879 place count 4884 transition count 9279
Symmetric choice reduction at 2 with 548 rule applications. Total rules 12427 place count 4884 transition count 9279
Deduced a syphon composed of 548 places in 8 ms
Reduce places removed 548 places and 2192 transitions.
Iterating global reduction 2 with 1096 rules applied. Total rules applied 13523 place count 4336 transition count 7087
Performed 23 Post agglomeration using F-continuation condition.Transition count delta: 23
Deduced a syphon composed of 23 places in 12 ms
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 2 with 46 rules applied. Total rules applied 13569 place count 4313 transition count 7064
Free-agglomeration rule (complex) applied 246 times.
Iterating global reduction 2 with 246 rules applied. Total rules applied 13815 place count 4313 transition count 6818
Reduce places removed 246 places and 0 transitions.
Iterating post reduction 2 with 246 rules applied. Total rules applied 14061 place count 4067 transition count 6818
Partial Free-agglomeration rule applied 25 times.
Drop transitions removed 25 transitions
Iterating global reduction 3 with 25 rules applied. Total rules applied 14086 place count 4067 transition count 6818
Applied a total of 14086 rules in 4524 ms. Remains 4067 /9748 variables (removed 5681) and now considering 6818/14659 (removed 7841) transitions.
Finished structural reductions, in 1 iterations. Remains : 4067/9748 places, 6818/14659 transitions.
Incomplete random walk after 1000000 steps, including 34169 resets, run finished after 22342 ms. (steps per millisecond=44 ) properties seen :[1, 0, 0, 0, 1, 0]
FORMULA gen-ReachabilityFireability-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA gen-ReachabilityFireability-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000001 steps, including 4690 resets, run finished after 4258 ms. (steps per millisecond=234 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 4690 resets, run finished after 4418 ms. (steps per millisecond=226 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 4688 resets, run finished after 4160 ms. (steps per millisecond=240 ) properties seen :[0, 0, 0, 0]
Interrupted Best-First random walk after 170143 steps, including 797 resets, run timeout after 7679 ms. (steps per millisecond=22 ) properties seen :[0, 0, 0, 0]
[2021-05-18 23:17:29] [INFO ] Flow matrix only has 6524 transitions (discarded 294 similar events)
// Phase 1: matrix 6524 rows 4067 cols
[2021-05-18 23:17:29] [INFO ] Computed 885 place invariants in 230 ms
[2021-05-18 23:17:30] [INFO ] [Real]Absence check using 49 positive place invariants in 197 ms returned sat
[2021-05-18 23:17:32] [INFO ] [Real]Absence check using 49 positive and 836 generalized place invariants in 2465 ms returned sat
[2021-05-18 23:17:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:18:14] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:18:14] [INFO ] [Real]Absence check using state equation in 41975 ms returned unknown
[2021-05-18 23:18:15] [INFO ] [Real]Absence check using 49 positive place invariants in 184 ms returned sat
[2021-05-18 23:18:15] [INFO ] [Real]Absence check using 49 positive and 836 generalized place invariants in 299 ms returned unsat
[2021-05-18 23:18:16] [INFO ] [Real]Absence check using 49 positive place invariants in 173 ms returned sat
[2021-05-18 23:18:18] [INFO ] [Real]Absence check using 49 positive and 836 generalized place invariants in 2165 ms returned sat
[2021-05-18 23:18:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:19:00] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:19:00] [INFO ] [Real]Absence check using state equation in 42282 ms returned unknown
[2021-05-18 23:19:01] [INFO ] [Real]Absence check using 49 positive place invariants in 173 ms returned sat
[2021-05-18 23:19:03] [INFO ] [Real]Absence check using 49 positive and 836 generalized place invariants in 2268 ms returned sat
[2021-05-18 23:19:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:19:45] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:19:45] [INFO ] [Real]Absence check using state equation in 42232 ms returned unknown
FORMULA gen-ReachabilityFireability-05 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Support contains 9 out of 4067 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 4067/4067 places, 6818/6818 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4067 transition count 6817
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 4066 transition count 6817
Symmetric choice reduction at 2 with 1 rule applications. Total rules 3 place count 4066 transition count 6817
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 4 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 5 place count 4065 transition count 6813
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 7 place count 4064 transition count 6812
Free-agglomeration rule (complex) applied 74 times.
Iterating global reduction 2 with 74 rules applied. Total rules applied 81 place count 4064 transition count 8385
Reduce places removed 74 places and 0 transitions.
Iterating post reduction 2 with 74 rules applied. Total rules applied 155 place count 3990 transition count 8385
Symmetric choice reduction at 3 with 1 rule applications. Total rules 156 place count 3990 transition count 8385
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 158 place count 3989 transition count 8384
Applied a total of 158 rules in 1314 ms. Remains 3989 /4067 variables (removed 78) and now considering 8384/6818 (removed -1566) transitions.
Finished structural reductions, in 1 iterations. Remains : 3989/4067 places, 8384/6818 transitions.
Interrupted random walk after 787180 steps, including 31256 resets, run timeout after 30001 ms. (steps per millisecond=26 ) properties seen :[0, 0, 0]
Interrupted Best-First random walk after 857340 steps, including 4099 resets, run timeout after 5001 ms. (steps per millisecond=171 ) properties seen :[0, 0, 0]
Interrupted Best-First random walk after 868492 steps, including 4151 resets, run timeout after 5001 ms. (steps per millisecond=173 ) properties seen :[0, 0, 0]
Interrupted Best-First random walk after 850647 steps, including 4066 resets, run timeout after 5001 ms. (steps per millisecond=170 ) properties seen :[0, 0, 0]
Interrupted probabilistic random walk after 214274 steps, run timeout after 30001 ms. (steps per millisecond=7 ) properties seen :[0, 0, 0]
Probabilistic random walk after 214274 steps, saw 94536 distinct states, run finished after 30001 ms. (steps per millisecond=7 ) properties seen :[0, 0, 0]
[2021-05-18 23:21:02] [INFO ] Flow matrix only has 8068 transitions (discarded 316 similar events)
// Phase 1: matrix 8068 rows 3989 cols
[2021-05-18 23:21:02] [INFO ] Computed 885 place invariants in 254 ms
[2021-05-18 23:21:02] [INFO ] [Real]Absence check using 49 positive place invariants in 163 ms returned sat
[2021-05-18 23:21:05] [INFO ] [Real]Absence check using 49 positive and 836 generalized place invariants in 2526 ms returned sat
[2021-05-18 23:21:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:21:47] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:21:47] [INFO ] [Real]Absence check using state equation in 41935 ms returned unknown
[2021-05-18 23:21:47] [INFO ] [Real]Absence check using 49 positive place invariants in 172 ms returned sat
[2021-05-18 23:21:50] [INFO ] [Real]Absence check using 49 positive and 836 generalized place invariants in 2245 ms returned sat
[2021-05-18 23:21:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:22:32] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:22:32] [INFO ] [Real]Absence check using state equation in 42248 ms returned unknown
[2021-05-18 23:22:32] [INFO ] [Real]Absence check using 49 positive place invariants in 187 ms returned sat
[2021-05-18 23:22:35] [INFO ] [Real]Absence check using 49 positive and 836 generalized place invariants in 2576 ms returned sat
[2021-05-18 23:22:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:23:17] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:23:17] [INFO ] [Real]Absence check using state equation in 41916 ms returned (error "Failed to check-sat")
Support contains 9 out of 3989 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3989/3989 places, 8384/8384 transitions.
Applied a total of 0 rules in 317 ms. Remains 3989 /3989 variables (removed 0) and now considering 8384/8384 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 3989/3989 places, 8384/8384 transitions.
Starting structural reductions, iteration 0 : 3989/3989 places, 8384/8384 transitions.
Applied a total of 0 rules in 319 ms. Remains 3989 /3989 variables (removed 0) and now considering 8384/8384 (removed 0) transitions.
[2021-05-18 23:23:17] [INFO ] Flow matrix only has 8068 transitions (discarded 316 similar events)
// Phase 1: matrix 8068 rows 3989 cols
[2021-05-18 23:23:18] [INFO ] Computed 885 place invariants in 264 ms
[2021-05-18 23:23:51] [INFO ] Performed 2175/3989 implicitness test of which 546 returned IMPLICIT in 30 seconds.
[2021-05-18 23:24:21] [INFO ] Performed 3712/3989 implicitness test of which 821 returned IMPLICIT in 60 seconds.
[2021-05-18 23:24:26] [INFO ] Implicit Places using invariants in 69039 ms returned [4, 7, 9, 10, 11, 12, 13, 17, 23, 31, 41, 53, 67, 83, 101, 121, 143, 166, 188, 189, 190, 191, 192, 212, 231, 247, 261, 273, 283, 291, 297, 301, 303, 314, 319, 321, 322, 323, 324, 325, 327, 331, 337, 345, 355, 367, 381, 397, 415, 435, 456, 476, 477, 478, 479, 480, 498, 515, 529, 541, 551, 559, 565, 569, 571, 573, 584, 589, 591, 592, 593, 594, 595, 597, 599, 603, 609, 617, 627, 639, 653, 669, 687, 706, 724, 725, 726, 727, 728, 744, 759, 771, 781, 789, 795, 799, 801, 803, 805, 816, 821, 823, 824, 825, 826, 827, 829, 831, 833, 837, 843, 851, 861, 873, 887, 903, 920, 936, 937, 938, 939, 940, 954, 967, 977, 985, 991, 995, 997, 999, 1001, 1003, 1014, 1019, 1021, 1022, 1023, 1024, 1025, 1027, 1029, 1031, 1033, 1037, 1043, 1051, 1061, 1073, 1087, 1102, 1116, 1117, 1118, 1119, 1120, 1132, 1143, 1151, 1157, 1161, 1163, 1165, 1167, 1169, 1171, 1182, 1187, 1189, 1190, 1191, 1192, 1193, 1195, 1197, 1199, 1201, 1203, 1207, 1213, 1221, 1231, 1243, 1256, 1268, 1269, 1270, 1271, 1272, 1282, 1291, 1297, 1301, 1303, 1305, 1307, 1309, 1311, 1313, 1324, 1329, 1331, 1332, 1333, 1334, 1335, 1337, 1339, 1341, 1343, 1345, 1347, 1351, 1357, 1365, 1375, 1386, 1396, 1397, 1398, 1399, 1400, 1408, 1415, 1419, 1421, 1423, 1425, 1427, 1429, 1431, 1433, 1444, 1449, 1451, 1452, 1453, 1454, 1455, 1457, 1459, 1461, 1463, 1465, 1467, 1469, 1473, 1479, 1487, 1496, 1504, 1505, 1506, 1507, 1508, 1514, 1519, 1521, 1523, 1525, 1527, 1529, 1531, 1533, 1535, 1546, 1551, 1553, 1554, 1555, 1556, 1557, 1559, 1561, 1563, 1565, 1567, 1569, 1571, 1573, 1577, 1583, 1590, 1596, 1597, 1598, 1599, 1600, 1604, 1607, 1609, 1611, 1613, 1615, 1617, 1619, 1621, 1623, 1634, 1639, 1641, 1642, 1643, 1644, 1645, 1647, 1649, 1651, 1653, 1655, 1657, 1659, 1661, 1663, 1667, 1672, 1676, 1677, 1678, 1679, 1680, 1682, 1684, 1686, 1688, 1690, 1692, 1694, 1696, 1698, 1700, 1711, 1716, 1718, 1719, 1720, 1721, 1722, 1724, 1726, 1728, 1730, 1732, 1734, 1736, 1738, 1740, 1742, 1745, 1747, 1748, 1749, 1750, 1751, 1753, 1755, 1757, 1759, 1761, 1763, 1765, 1767, 1769, 1771, 1782, 1787, 1789, 1790, 1791, 1792, 1793, 1795, 1797, 1799, 1801, 1803, 1805, 1807, 1809, 1811, 1813, 1815, 1817, 1818, 1819, 1820, 1821, 1823, 1825, 1827, 1829, 1831, 1833, 1835, 1837, 1839, 1841, 1852, 1854, 1856, 1858, 1859, 1860, 1861, 1862, 1864, 1866, 1868, 1870, 1872, 1874, 1876, 1878, 1880, 1882, 1884, 1886, 1887, 1888, 1889, 1890, 1892, 1894, 1896, 1898, 1900, 1902, 1904, 1906, 1908, 1910, 1921, 1926, 1928, 1929, 1930, 1931, 1932, 1934, 1936, 1938, 1940, 1942, 1944, 1946, 1948, 1950, 1952, 1954, 1956, 1957, 1958, 1959, 1960, 1962, 1964, 1966, 1968, 1970, 1972, 1974, 1976, 1978, 1980, 1991, 1997, 1999, 2000, 2001, 2002, 2003, 2005, 2007, 2009, 2011, 2013, 2015, 2017, 2019, 2021, 2023, 2025, 2028, 2029, 2030, 2031, 2032, 2034, 2036, 2038, 2040, 2042, 2044, 2046, 2048, 2050, 2052, 2063, 2069, 2071, 2072, 2073, 2074, 2075, 2077, 2079, 2081, 2083, 2085, 2087, 2089, 2091, 2093, 2095, 2099, 2104, 2105, 2106, 2107, 2108, 2112, 2114, 2116, 2118, 2120, 2122, 2124, 2126, 2128, 2130, 2141, 2146, 2148, 2149, 2150, 2151, 2152, 2154, 2156, 2158, 2160, 2162, 2164, 2166, 2168, 2170, 2174, 2180, 2187, 2188, 2189, 2190, 2191, 2197, 2201, 2204, 2206, 2208, 2210, 2212, 2214, 2216, 2218, 2229, 2234, 2236, 2237, 2238, 2239, 2240, 2242, 2244, 2246, 2248, 2250, 2252, 2254, 2256, 2260, 2266, 2274, 2283, 2284, 2285, 2286, 2287, 2295, 2301, 2306, 2308, 2310, 2312, 2314, 2316, 2318, 2320, 2331, 2336, 2338, 2339, 2340, 2341, 2342, 2344, 2346, 2348, 2350, 2352, 2354, 2356, 2360, 2366, 2374, 2384, 2395, 2396, 2397, 2398, 2399, 2409, 2417, 2424, 2428, 2430, 2432, 2434, 2436, 2438, 2440, 2451, 2456, 2458, 2459, 2460, 2461, 2462, 2464, 2466, 2468, 2470, 2472, 2474, 2478, 2484, 2492, 2502, 2514, 2527, 2528, 2529, 2530, 2531, 2543, 2553, 2562, 2568, 2572, 2574, 2576, 2578, 2580, 2582, 2593, 2598, 2600, 2601, 2602, 2603, 2604, 2606, 2608, 2610, 2612, 2614, 2618, 2624, 2632, 2642, 2654, 2668, 2683, 2684, 2685, 2686, 2687, 2701, 2713, 2724, 2732, 2738, 2742, 2744, 2746, 2748, 2750, 2761, 2766, 2768, 2769, 2770, 2771, 2772, 2774, 2776, 2778, 2780, 2784, 2790, 2798, 2808, 2820, 2834, 2850, 2867, 2868, 2869, 2870, 2871, 2887, 2901, 2914, 2924, 2932, 2938, 2942, 2944, 2946, 2948, 2959, 2964, 2966, 2967, 2968, 2969, 2970, 2972, 2974, 2976, 2980, 2986, 2994, 3004, 3016, 3030, 3046, 3064, 3083, 3084, 3085, 3086, 3087, 3105, 3121, 3136, 3148, 3158, 3166, 3172, 3176, 3178, 3180, 3191, 3196, 3198, 3199, 3200, 3201, 3202, 3204, 3206, 3210, 3216, 3224, 3234, 3246, 3260, 3276, 3294, 3314, 3335, 3336, 3337, 3338, 3339, 3359, 3377, 3394, 3408, 3420, 3430, 3438, 3444, 3448, 3450, 3461, 3463, 3465, 3467, 3468, 3469, 3470, 3471, 3473, 3477, 3483, 3491, 3501, 3513, 3527, 3543, 3561, 3581, 3603, 3626, 3627, 3628, 3629, 3630, 3652, 3672, 3691, 3707, 3721, 3733, 3743, 3751, 3757, 3761, 3772]
Discarding 828 places :
Implicit Place search using SMT only with invariants took 69088 ms to find 828 implicit places.
[2021-05-18 23:24:28] [INFO ] Redundant transitions in 985 ms returned []
[2021-05-18 23:24:28] [INFO ] Flow matrix only has 8068 transitions (discarded 316 similar events)
// Phase 1: matrix 8068 rows 3161 cols
[2021-05-18 23:24:28] [INFO ] Computed 57 place invariants in 235 ms
[2021-05-18 23:24:58] [INFO ] Performed 4074/8384 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2021-05-18 23:25:19] [INFO ] Dead Transitions using invariants and state equation in 51096 ms returned []
Starting structural reductions, iteration 1 : 3161/3989 places, 8384/8384 transitions.
Symmetric choice reduction at 0 with 192 rule applications. Total rules 192 place count 3161 transition count 8384
Deduced a syphon composed of 192 places in 4 ms
Reduce places removed 192 places and 192 transitions.
Iterating global reduction 0 with 384 rules applied. Total rules applied 576 place count 2969 transition count 8192
Symmetric choice reduction at 0 with 192 rule applications. Total rules 768 place count 2969 transition count 8192
Deduced a syphon composed of 192 places in 4 ms
Reduce places removed 192 places and 192 transitions.
Iterating global reduction 0 with 384 rules applied. Total rules applied 1152 place count 2777 transition count 8000
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 1155 place count 2777 transition count 7997
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 1158 place count 2774 transition count 7997
Applied a total of 1158 rules in 688 ms. Remains 2774 /3161 variables (removed 387) and now considering 7997/8384 (removed 387) transitions.
[2021-05-18 23:25:19] [INFO ] Flow matrix only has 7681 transitions (discarded 316 similar events)
// Phase 1: matrix 7681 rows 2774 cols
[2021-05-18 23:25:19] [INFO ] Computed 57 place invariants in 148 ms
[2021-05-18 23:25:33] [INFO ] Implicit Places using invariants in 13692 ms returned []
[2021-05-18 23:25:33] [INFO ] Flow matrix only has 7681 transitions (discarded 316 similar events)
// Phase 1: matrix 7681 rows 2774 cols
[2021-05-18 23:25:33] [INFO ] Computed 57 place invariants in 167 ms
[2021-05-18 23:25:34] [INFO ] State equation strengthened by 4404 read => feed constraints.
[2021-05-18 23:26:11] [INFO ] Performed 792/2774 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2021-05-18 23:26:41] [INFO ] Performed 1567/2774 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2021-05-18 23:27:11] [INFO ] Performed 2295/2774 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2021-05-18 23:27:31] [INFO ] Implicit Places using invariants and state equation in 117729 ms returned []
Implicit Place search using SMT with State Equation took 131422 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 2774/3989 places, 7997/8384 transitions.
Interrupted random walk after 670010 steps, including 28616 resets, run timeout after 30001 ms. (steps per millisecond=22 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2675 resets, run finished after 3436 ms. (steps per millisecond=291 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 3127 resets, run finished after 3744 ms. (steps per millisecond=267 ) properties seen :[0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 3145 resets, run finished after 3907 ms. (steps per millisecond=255 ) properties seen :[0, 0, 0]
Interrupted probabilistic random walk after 210677 steps, run timeout after 30001 ms. (steps per millisecond=7 ) properties seen :[0, 0, 0]
Probabilistic random walk after 210677 steps, saw 86078 distinct states, run finished after 30001 ms. (steps per millisecond=7 ) properties seen :[0, 0, 0]
[2021-05-18 23:28:42] [INFO ] Flow matrix only has 7681 transitions (discarded 316 similar events)
// Phase 1: matrix 7681 rows 2774 cols
[2021-05-18 23:28:42] [INFO ] Computed 57 place invariants in 161 ms
[2021-05-18 23:28:42] [INFO ] [Real]Absence check using 47 positive place invariants in 100 ms returned sat
[2021-05-18 23:28:42] [INFO ] [Real]Absence check using 47 positive and 10 generalized place invariants in 13 ms returned sat
[2021-05-18 23:28:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:29:27] [INFO ] [Real]Absence check using state equation in 44599 ms returned sat
[2021-05-18 23:29:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 23:29:28] [INFO ] [Nat]Absence check using 47 positive place invariants in 109 ms returned sat
[2021-05-18 23:29:28] [INFO ] [Nat]Absence check using 47 positive and 10 generalized place invariants in 14 ms returned sat
[2021-05-18 23:29:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 23:30:11] [INFO ] [Nat]Absence check using state equation in 43169 ms returned sat
[2021-05-18 23:30:11] [INFO ] State equation strengthened by 4404 read => feed constraints.
[2021-05-18 23:30:12] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:30:12] [INFO ] [Nat]Added 4404 Read/Feed constraints in 1363 ms returned unknown
[2021-05-18 23:30:12] [INFO ] [Real]Absence check using 47 positive place invariants in 103 ms returned sat
[2021-05-18 23:30:12] [INFO ] [Real]Absence check using 47 positive and 10 generalized place invariants in 14 ms returned sat
[2021-05-18 23:30:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:30:57] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:30:57] [INFO ] [Real]Absence check using state equation in 44675 ms returned unknown
[2021-05-18 23:30:58] [INFO ] [Real]Absence check using 47 positive place invariants in 108 ms returned sat
[2021-05-18 23:30:58] [INFO ] [Real]Absence check using 47 positive and 10 generalized place invariants in 13 ms returned sat
[2021-05-18 23:30:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:31:42] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:31:42] [INFO ] [Real]Absence check using state equation in 44656 ms returned unknown
Support contains 9 out of 2774 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2774/2774 places, 7997/7997 transitions.
Applied a total of 0 rules in 272 ms. Remains 2774 /2774 variables (removed 0) and now considering 7997/7997 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2774/2774 places, 7997/7997 transitions.
Starting structural reductions, iteration 0 : 2774/2774 places, 7997/7997 transitions.
Applied a total of 0 rules in 276 ms. Remains 2774 /2774 variables (removed 0) and now considering 7997/7997 (removed 0) transitions.
[2021-05-18 23:31:43] [INFO ] Flow matrix only has 7681 transitions (discarded 316 similar events)
// Phase 1: matrix 7681 rows 2774 cols
[2021-05-18 23:31:43] [INFO ] Computed 57 place invariants in 160 ms
[2021-05-18 23:31:57] [INFO ] Implicit Places using invariants in 14058 ms returned []
[2021-05-18 23:31:57] [INFO ] Flow matrix only has 7681 transitions (discarded 316 similar events)
// Phase 1: matrix 7681 rows 2774 cols
[2021-05-18 23:31:57] [INFO ] Computed 57 place invariants in 163 ms
[2021-05-18 23:31:58] [INFO ] State equation strengthened by 4404 read => feed constraints.
[2021-05-18 23:32:29] [INFO ] Performed 721/2774 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2021-05-18 23:32:59] [INFO ] Performed 1437/2774 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2021-05-18 23:33:29] [INFO ] Performed 2183/2774 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2021-05-18 23:33:53] [INFO ] Implicit Places using invariants and state equation in 116023 ms returned []
Implicit Place search using SMT with State Equation took 130082 ms to find 0 implicit places.
[2021-05-18 23:33:54] [INFO ] Redundant transitions in 698 ms returned []
[2021-05-18 23:33:54] [INFO ] Flow matrix only has 7681 transitions (discarded 316 similar events)
// Phase 1: matrix 7681 rows 2774 cols
[2021-05-18 23:33:54] [INFO ] Computed 57 place invariants in 162 ms
[2021-05-18 23:34:24] [INFO ] Performed 7434/7997 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2021-05-18 23:34:26] [INFO ] Dead Transitions using invariants and state equation in 32760 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2774/2774 places, 7997/7997 transitions.
Incomplete random walk after 100000 steps, including 4269 resets, run finished after 3732 ms. (steps per millisecond=26 ) properties seen :[0, 0, 0]
[2021-05-18 23:34:30] [INFO ] Flow matrix only has 7681 transitions (discarded 316 similar events)
// Phase 1: matrix 7681 rows 2774 cols
[2021-05-18 23:34:30] [INFO ] Computed 57 place invariants in 149 ms
[2021-05-18 23:34:30] [INFO ] [Real]Absence check using 47 positive place invariants in 102 ms returned sat
[2021-05-18 23:34:31] [INFO ] [Real]Absence check using 47 positive and 10 generalized place invariants in 13 ms returned sat
[2021-05-18 23:34:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:34:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:34:50] [INFO ] [Real]Absence check using state equation in 19679 ms returned (error "Failed to check-sat")
[2021-05-18 23:34:51] [INFO ] [Real]Absence check using 47 positive place invariants in 103 ms returned sat
[2021-05-18 23:34:51] [INFO ] [Real]Absence check using 47 positive and 10 generalized place invariants in 14 ms returned sat
[2021-05-18 23:34:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:35:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:35:10] [INFO ] [Real]Absence check using state equation in 19657 ms returned unknown
[2021-05-18 23:35:11] [INFO ] [Real]Absence check using 47 positive place invariants in 121 ms returned sat
[2021-05-18 23:35:11] [INFO ] [Real]Absence check using 47 positive and 10 generalized place invariants in 12 ms returned sat
[2021-05-18 23:35:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:35:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 23:35:30] [INFO ] [Real]Absence check using state equation in 19646 ms returned (error "Failed to check-sat")
Graph (trivial) has 2422 edges and 2774 vertex of which 24 / 2774 are part of one of the 1 SCC in 11 ms
Free SCC test removed 23 places
Discarding 21 places :
Also discarding 0 output transitions
Graph (complete) has 9748 edges and 2751 vertex of which 2730 are kept as prefixes of interest. Removing 21 places using SCC suffix rule.3 ms
Ensure Unique test removed 24 places
Drop transitions removed 579 transitions
Ensure Unique test removed 327 transitions
Reduce isomorphic transitions removed 906 transitions.
Performed 235 Post agglomeration using F-continuation condition.Transition count delta: 235
Iterating post reduction 0 with 1165 rules applied. Total rules applied 1167 place count 2706 transition count 6856
Reduce places removed 235 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 226 transitions
Reduce isomorphic transitions removed 228 transitions.
Performed 225 Post agglomeration using F-continuation condition.Transition count delta: 225
Iterating post reduction 1 with 688 rules applied. Total rules applied 1855 place count 2471 transition count 6403
Reduce places removed 225 places and 0 transitions.
Drop transitions removed 32 transitions
Ensure Unique test removed 188 transitions
Reduce isomorphic transitions removed 220 transitions.
Performed 188 Post agglomeration using F-continuation condition.Transition count delta: 188
Iterating post reduction 2 with 633 rules applied. Total rules applied 2488 place count 2246 transition count 5995
Reduce places removed 188 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 180 transitions
Reduce isomorphic transitions removed 181 transitions.
Performed 180 Post agglomeration using F-continuation condition.Transition count delta: 180
Iterating post reduction 3 with 549 rules applied. Total rules applied 3037 place count 2058 transition count 5634
Reduce places removed 180 places and 0 transitions.
Drop transitions removed 26 transitions
Ensure Unique test removed 149 transitions
Reduce isomorphic transitions removed 175 transitions.
Performed 149 Post agglomeration using F-continuation condition.Transition count delta: 149
Iterating post reduction 4 with 504 rules applied. Total rules applied 3541 place count 1878 transition count 5310
Reduce places removed 149 places and 0 transitions.
Ensure Unique test removed 142 transitions
Reduce isomorphic transitions removed 142 transitions.
Performed 142 Post agglomeration using F-continuation condition.Transition count delta: 142
Iterating post reduction 5 with 433 rules applied. Total rules applied 3974 place count 1729 transition count 5026
Reduce places removed 142 places and 0 transitions.
Drop transitions removed 22 transitions
Ensure Unique test removed 115 transitions
Reduce isomorphic transitions removed 137 transitions.
Performed 115 Post agglomeration using F-continuation condition.Transition count delta: 115
Iterating post reduction 6 with 394 rules applied. Total rules applied 4368 place count 1587 transition count 4774
Reduce places removed 115 places and 0 transitions.
Ensure Unique test removed 108 transitions
Reduce isomorphic transitions removed 108 transitions.
Performed 108 Post agglomeration using F-continuation condition.Transition count delta: 108
Iterating post reduction 7 with 331 rules applied. Total rules applied 4699 place count 1472 transition count 4558
Reduce places removed 108 places and 0 transitions.
Drop transitions removed 18 transitions
Ensure Unique test removed 85 transitions
Reduce isomorphic transitions removed 103 transitions.
Performed 85 Post agglomeration using F-continuation condition.Transition count delta: 85
Iterating post reduction 8 with 296 rules applied. Total rules applied 4995 place count 1364 transition count 4370
Reduce places removed 85 places and 0 transitions.
Ensure Unique test removed 79 transitions
Reduce isomorphic transitions removed 79 transitions.
Performed 79 Post agglomeration using F-continuation condition.Transition count delta: 79
Iterating post reduction 9 with 243 rules applied. Total rules applied 5238 place count 1279 transition count 4212
Reduce places removed 79 places and 0 transitions.
Drop transitions removed 13 transitions
Ensure Unique test removed 61 transitions
Reduce isomorphic transitions removed 74 transitions.
Performed 61 Post agglomeration using F-continuation condition.Transition count delta: 61
Iterating post reduction 10 with 214 rules applied. Total rules applied 5452 place count 1200 transition count 4077
Reduce places removed 61 places and 0 transitions.
Ensure Unique test removed 54 transitions
Reduce isomorphic transitions removed 54 transitions.
Performed 54 Post agglomeration using F-continuation condition.Transition count delta: 54
Iterating post reduction 11 with 169 rules applied. Total rules applied 5621 place count 1139 transition count 3969
Reduce places removed 54 places and 0 transitions.
Drop transitions removed 10 transitions
Ensure Unique test removed 39 transitions
Reduce isomorphic transitions removed 49 transitions.
Performed 39 Post agglomeration using F-continuation condition.Transition count delta: 39
Iterating post reduction 12 with 142 rules applied. Total rules applied 5763 place count 1085 transition count 3881
Reduce places removed 39 places and 0 transitions.
Ensure Unique test removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Performed 32 Post agglomeration using F-continuation condition.Transition count delta: 32
Iterating post reduction 13 with 103 rules applied. Total rules applied 5866 place count 1046 transition count 3817
Reduce places removed 32 places and 0 transitions.
Drop transitions removed 6 transitions
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 27 transitions.
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Iterating post reduction 14 with 80 rules applied. Total rules applied 5946 place count 1014 transition count 3769
Reduce places removed 21 places and 0 transitions.
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: 14
Iterating post reduction 15 with 49 rules applied. Total rules applied 5995 place count 993 transition count 3741
Reduce places removed 14 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 9 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Iterating post reduction 16 with 30 rules applied. Total rules applied 6025 place count 979 transition count 3725
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 17 with 7 rules applied. Total rules applied 6032 place count 972 transition count 3725
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 18 with 8 Pre rules applied. Total rules applied 6032 place count 972 transition count 3717
Deduced a syphon composed of 8 places in 1 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 18 with 16 rules applied. Total rules applied 6048 place count 964 transition count 3717
Symmetric choice reduction at 18 with 486 rule applications. Total rules 6534 place count 964 transition count 3717
Deduced a syphon composed of 486 places in 1 ms
Reduce places removed 486 places and 1944 transitions.
Iterating global reduction 18 with 972 rules applied. Total rules applied 7506 place count 478 transition count 1773
Ensure Unique test removed 438 transitions
Reduce isomorphic transitions removed 438 transitions.
Iterating post reduction 18 with 438 rules applied. Total rules applied 7944 place count 478 transition count 1335
Symmetric choice reduction at 19 with 14 rule applications. Total rules 7958 place count 478 transition count 1335
Deduced a syphon composed of 14 places in 0 ms
Reduce places removed 14 places and 28 transitions.
Iterating global reduction 19 with 28 rules applied. Total rules applied 7986 place count 464 transition count 1307
Symmetric choice reduction at 19 with 12 rule applications. Total rules 7998 place count 464 transition count 1307
Deduced a syphon composed of 12 places in 0 ms
Reduce places removed 12 places and 12 transitions.
Iterating global reduction 19 with 24 rules applied. Total rules applied 8022 place count 452 transition count 1295
Performed 282 Post agglomeration using F-continuation condition.Transition count delta: 282
Deduced a syphon composed of 282 places in 0 ms
Reduce places removed 282 places and 0 transitions.
Iterating global reduction 19 with 564 rules applied. Total rules applied 8586 place count 170 transition count 1013
Drop transitions removed 278 transitions
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 279 transitions.
Iterating post reduction 19 with 279 rules applied. Total rules applied 8865 place count 170 transition count 734
Free-agglomeration rule (complex) applied 14 times.
Iterating global reduction 20 with 14 rules applied. Total rules applied 8879 place count 170 transition count 720
Reduce places removed 14 places and 0 transitions.
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 20 with 17 rules applied. Total rules applied 8896 place count 156 transition count 717
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 21 with 1 rules applied. Total rules applied 8897 place count 156 transition count 717
Partial Post-agglomeration rule applied 38 times.
Drop transitions removed 38 transitions
Iterating global reduction 21 with 38 rules applied. Total rules applied 8935 place count 156 transition count 717
Drop transitions removed 26 transitions
Redundant transition composition rules discarded 26 transitions
Iterating global reduction 21 with 26 rules applied. Total rules applied 8961 place count 156 transition count 691
Symmetric choice reduction at 21 with 20 rule applications. Total rules 8981 place count 156 transition count 691
Deduced a syphon composed of 20 places in 1 ms
Reduce places removed 20 places and 74 transitions.
Iterating global reduction 21 with 40 rules applied. Total rules applied 9021 place count 136 transition count 617
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 21 with 18 rules applied. Total rules applied 9039 place count 136 transition count 599
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 22 with 2 rules applied. Total rules applied 9041 place count 136 transition count 599
Symmetric choice reduction at 22 with 2 rule applications. Total rules 9043 place count 136 transition count 599
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 22 with 4 rules applied. Total rules applied 9047 place count 134 transition count 597
Applied a total of 9047 rules in 3701 ms. Remains 134 /2774 variables (removed 2640) and now considering 597/7997 (removed 7400) transitions.
[2021-05-18 23:35:34] [INFO ] Flow matrix only has 506 transitions (discarded 91 similar events)
// Phase 1: matrix 506 rows 134 cols
[2021-05-18 23:35:34] [INFO ] Computed 12 place invariants in 5 ms
[2021-05-18 23:35:34] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat
[2021-05-18 23:35:34] [INFO ] [Real]Absence check using 4 positive and 8 generalized place invariants in 3 ms returned sat
[2021-05-18 23:35:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:35:34] [INFO ] [Real]Absence check using state equation in 186 ms returned sat
[2021-05-18 23:35:34] [INFO ] State equation strengthened by 1 read => feed constraints.
[2021-05-18 23:35:34] [INFO ] [Real]Added 1 Read/Feed constraints in 4 ms returned sat
[2021-05-18 23:35:34] [INFO ] Deduced a trap composed of 7 places in 89 ms
[2021-05-18 23:35:34] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 127 ms
[2021-05-18 23:35:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 23:35:34] [INFO ] [Nat]Absence check using 4 positive place invariants in 5 ms returned sat
[2021-05-18 23:35:34] [INFO ] [Nat]Absence check using 4 positive and 8 generalized place invariants in 3 ms returned sat
[2021-05-18 23:35:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 23:35:35] [INFO ] [Nat]Absence check using state equation in 163 ms returned sat
[2021-05-18 23:35:35] [INFO ] [Nat]Added 1 Read/Feed constraints in 21 ms returned sat
[2021-05-18 23:35:35] [INFO ] Computed and/alt/rep : 488/52400/397 causal constraints in 118 ms.
[2021-05-18 23:35:35] [INFO ] Added : 11 causal constraints over 3 iterations in 230 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 9 ms.
[2021-05-18 23:35:35] [INFO ] [Real]Absence check using 4 positive place invariants in 4 ms returned sat
[2021-05-18 23:35:35] [INFO ] [Real]Absence check using 4 positive and 8 generalized place invariants in 3 ms returned sat
[2021-05-18 23:35:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:35:35] [INFO ] [Real]Absence check using state equation in 162 ms returned sat
[2021-05-18 23:35:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 23:35:35] [INFO ] [Nat]Absence check using 4 positive place invariants in 6 ms returned sat
[2021-05-18 23:35:35] [INFO ] [Nat]Absence check using 4 positive and 8 generalized place invariants in 4 ms returned sat
[2021-05-18 23:35:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 23:35:35] [INFO ] [Nat]Absence check using state equation in 183 ms returned sat
[2021-05-18 23:35:35] [INFO ] [Nat]Added 1 Read/Feed constraints in 21 ms returned sat
[2021-05-18 23:35:35] [INFO ] Computed and/alt/rep : 488/52400/397 causal constraints in 44 ms.
[2021-05-18 23:35:35] [INFO ] Added : 15 causal constraints over 4 iterations in 218 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 12 ms.
[2021-05-18 23:35:36] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat
[2021-05-18 23:35:36] [INFO ] [Real]Absence check using 4 positive and 8 generalized place invariants in 4 ms returned sat
[2021-05-18 23:35:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 23:35:36] [INFO ] [Real]Absence check using state equation in 177 ms returned sat
[2021-05-18 23:35:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 23:35:36] [INFO ] [Nat]Absence check using 4 positive place invariants in 6 ms returned sat
[2021-05-18 23:35:36] [INFO ] [Nat]Absence check using 4 positive and 8 generalized place invariants in 3 ms returned sat
[2021-05-18 23:35:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 23:35:36] [INFO ] [Nat]Absence check using state equation in 184 ms returned sat
[2021-05-18 23:35:36] [INFO ] [Nat]Added 1 Read/Feed constraints in 11 ms returned sat
[2021-05-18 23:35:36] [INFO ] Computed and/alt/rep : 488/52400/397 causal constraints in 50 ms.
[2021-05-18 23:35:36] [INFO ] Added : 15 causal constraints over 4 iterations in 193 ms. Result :sat
[2021-05-18 23:35:36] [INFO ] Deduced a trap composed of 6 places in 109 ms
[2021-05-18 23:35:36] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 157 ms
Attempting to minimize the solution found.
Minimization took 10 ms.
[2021-05-18 23:35:37] [INFO ] Flatten gal took : 518 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
[2021-05-18 23:35:38] [INFO ] Flatten gal took : 505 ms
[2021-05-18 23:35:38] [INFO ] Applying decomposition
[2021-05-18 23:35:38] [INFO ] Flatten gal took : 406 ms
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
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-S24C04"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="gold2020"
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-4028"
echo " Executing tool gold2020"
echo " Input is MultiCrashLeafsetExtension-PT-S24C04, 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 r303-tall-162124171500324"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C04.tgz
mv MultiCrashLeafsetExtension-PT-S24C04 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 ;