About the Execution of 2023-gold for MultiCrashLeafsetExtension-PT-S24C12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16224.115 | 285489.00 | 401464.00 | 16870.70 | FT?FF????T???TFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r263-tall-171654372000089.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is MultiCrashLeafsetExtension-PT-S24C12, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r263-tall-171654372000089
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 19 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 19 18:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 20M May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1716653011021
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C12
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-25 16:03:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML]
[2024-05-25 16:03:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 16:03:33] [INFO ] Load time of PNML (sax parser for PT used): 576 ms
[2024-05-25 16:03:34] [INFO ] Transformed 20612 places.
[2024-05-25 16:03:34] [INFO ] Transformed 29875 transitions.
[2024-05-25 16:03:34] [INFO ] Parsed PT model containing 20612 places and 29875 transitions and 109334 arcs in 1937 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 50 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 81 resets, run finished after 671 ms. (steps per millisecond=14 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 16) seen :0
Interrupted probabilistic random walk after 8335 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 8335 steps, saw 4156 distinct states, run finished after 3002 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 16 properties.
[2024-05-25 16:03:38] [INFO ] Flow matrix only has 29275 transitions (discarded 600 similar events)
// Phase 1: matrix 29275 rows 20612 cols
[2024-05-25 16:03:41] [INFO ] Computed 1353 invariants in 2805 ms
[2024-05-25 16:03:48] [INFO ] [Real]Absence check using 78 positive place invariants in 98 ms returned sat
[2024-05-25 16:03:49] [INFO ] [Real]Absence check using 78 positive and 1275 generalized place invariants in 1209 ms returned sat
[2024-05-25 16:03:49] [INFO ] After 7881ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0 real:15
[2024-05-25 16:03:54] [INFO ] [Nat]Absence check using 78 positive place invariants in 67 ms returned sat
[2024-05-25 16:03:56] [INFO ] [Nat]Absence check using 78 positive and 1275 generalized place invariants in 1114 ms returned sat
[2024-05-25 16:04:14] [INFO ] After 25022ms SMT Verify possible using all constraints in natural domain returned unsat :8 sat :0
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-15 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-14 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-13 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-09 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-04 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-03 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-01 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-00 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 16 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 129 out of 20612 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20612/20612 places, 29875/29875 transitions.
Graph (complete) has 64441 edges and 20612 vertex of which 20561 are kept as prefixes of interest. Removing 51 places using SCC suffix rule.54 ms
Discarding 51 places :
Also discarding 0 output transitions
Drop transitions removed 6754 transitions
Trivial Post-agglo rules discarded 6754 transitions
Performed 6754 trivial Post agglomeration. Transition count delta: 6754
Iterating post reduction 0 with 6754 rules applied. Total rules applied 6755 place count 20561 transition count 23121
Reduce places removed 6754 places and 0 transitions.
Performed 102 Post agglomeration using F-continuation condition.Transition count delta: 102
Iterating post reduction 1 with 6856 rules applied. Total rules applied 13611 place count 13807 transition count 23019
Reduce places removed 102 places and 0 transitions.
Iterating post reduction 2 with 102 rules applied. Total rules applied 13713 place count 13705 transition count 23019
Performed 593 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 593 Pre rules applied. Total rules applied 13713 place count 13705 transition count 22426
Deduced a syphon composed of 593 places in 28 ms
Reduce places removed 593 places and 0 transitions.
Iterating global reduction 3 with 1186 rules applied. Total rules applied 14899 place count 13112 transition count 22426
Discarding 6534 places :
Symmetric choice reduction at 3 with 6534 rule applications. Total rules 21433 place count 6578 transition count 15892
Iterating global reduction 3 with 6534 rules applied. Total rules applied 27967 place count 6578 transition count 15892
Discarding 496 places :
Symmetric choice reduction at 3 with 496 rule applications. Total rules 28463 place count 6082 transition count 12910
Iterating global reduction 3 with 496 rules applied. Total rules applied 28959 place count 6082 transition count 12910
Discarding 239 places :
Symmetric choice reduction at 3 with 239 rule applications. Total rules 29198 place count 5843 transition count 10042
Iterating global reduction 3 with 239 rules applied. Total rules applied 29437 place count 5843 transition count 10042
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 8 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 29487 place count 5818 transition count 10017
Free-agglomeration rule (complex) applied 408 times.
Iterating global reduction 3 with 408 rules applied. Total rules applied 29895 place count 5818 transition count 13778
Reduce places removed 408 places and 0 transitions.
Iterating post reduction 3 with 408 rules applied. Total rules applied 30303 place count 5410 transition count 13778
Partial Free-agglomeration rule applied 595 times.
Drop transitions removed 595 transitions
Iterating global reduction 4 with 595 rules applied. Total rules applied 30898 place count 5410 transition count 13778
Applied a total of 30898 rules in 7870 ms. Remains 5410 /20612 variables (removed 15202) and now considering 13778/29875 (removed 16097) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7875 ms. Remains : 5410/20612 places, 13778/29875 transitions.
Incomplete random walk after 10000 steps, including 130 resets, run finished after 771 ms. (steps per millisecond=12 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 18 resets, run finished after 137 ms. (steps per millisecond=73 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 18 resets, run finished after 139 ms. (steps per millisecond=71 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 18 resets, run finished after 136 ms. (steps per millisecond=73 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 18 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10000 steps, including 18 resets, run finished after 130 ms. (steps per millisecond=76 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10000 steps, including 18 resets, run finished after 132 ms. (steps per millisecond=75 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 18 resets, run finished after 128 ms. (steps per millisecond=78 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 18 resets, run finished after 121 ms. (steps per millisecond=82 ) properties (out of 8) seen :0
Interrupted probabilistic random walk after 18203 steps, run timeout after 3001 ms. (steps per millisecond=6 ) properties seen :{}
Probabilistic random walk after 18203 steps, saw 8669 distinct states, run finished after 3002 ms. (steps per millisecond=6 ) properties seen :0
Running SMT prover for 8 properties.
[2024-05-25 16:04:27] [INFO ] Flow matrix only has 12895 transitions (discarded 883 similar events)
// Phase 1: matrix 12895 rows 5410 cols
[2024-05-25 16:04:27] [INFO ] Computed 1302 invariants in 397 ms
[2024-05-25 16:04:28] [INFO ] After 953ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:8
[2024-05-25 16:04:29] [INFO ] [Nat]Absence check using 52 positive place invariants in 90 ms returned sat
[2024-05-25 16:04:29] [INFO ] [Nat]Absence check using 52 positive and 1250 generalized place invariants in 372 ms returned sat
[2024-05-25 16:04:50] [INFO ] After 19418ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :8
[2024-05-25 16:04:50] [INFO ] State equation strengthened by 8256 read => feed constraints.
[2024-05-25 16:04:53] [INFO ] After 3427ms SMT Verify possible using 8256 Read/Feed constraints in natural domain returned unsat :0 sat :7
[2024-05-25 16:04:53] [INFO ] After 3428ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :7
Attempting to minimize the solution found.
Minimization took 9 ms.
[2024-05-25 16:04:53] [INFO ] After 25051ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :7
Parikh walk visited 0 properties in 96 ms.
Support contains 129 out of 5410 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5410/5410 places, 13778/13778 transitions.
Applied a total of 0 rules in 834 ms. Remains 5410 /5410 variables (removed 0) and now considering 13778/13778 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 834 ms. Remains : 5410/5410 places, 13778/13778 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5410/5410 places, 13778/13778 transitions.
Applied a total of 0 rules in 844 ms. Remains 5410 /5410 variables (removed 0) and now considering 13778/13778 (removed 0) transitions.
[2024-05-25 16:04:55] [INFO ] Flow matrix only has 12895 transitions (discarded 883 similar events)
[2024-05-25 16:04:55] [INFO ] Invariant cache hit.
[2024-05-25 16:05:02] [INFO ] Implicit Places using invariants in 6877 ms returned []
Implicit Place search using SMT only with invariants took 6878 ms to find 0 implicit places.
[2024-05-25 16:05:02] [INFO ] Flow matrix only has 12895 transitions (discarded 883 similar events)
[2024-05-25 16:05:02] [INFO ] Invariant cache hit.
[2024-05-25 16:05:10] [INFO ] Dead Transitions using invariants and state equation in 8293 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 16019 ms. Remains : 5410/5410 places, 13778/13778 transitions.
Graph (trivial) has 3596 edges and 5410 vertex of which 25 / 5410 are part of one of the 1 SCC in 10 ms
Free SCC test removed 24 places
Drop transitions removed 641 transitions
Ensure Unique test removed 842 transitions
Reduce isomorphic transitions removed 1483 transitions.
Graph (complete) has 49685 edges and 5386 vertex of which 5364 are kept as prefixes of interest. Removing 22 places using SCC suffix rule.7 ms
Discarding 22 places :
Also discarding 0 output transitions
Ensure Unique test removed 385 places
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Remove reverse transitions (loop back) rule discarded transition Node10DetectsThatNode13CanReplaceNode12.Node13IsBecomingTheNewNodeMaster and 1 places that fell out of Prefix Of Interest.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 237 transitions
Trivial Post-agglo rules discarded 237 transitions
Performed 237 trivial Post agglomeration. Transition count delta: 237
Iterating post reduction 0 with 239 rules applied. Total rules applied 241 place count 4978 transition count 12056
Ensure Unique test removed 1 places
Reduce places removed 238 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 236 transitions
Reduce isomorphic transitions removed 237 transitions.
Drop transitions removed 234 transitions
Trivial Post-agglo rules discarded 234 transitions
Performed 234 trivial Post agglomeration. Transition count delta: 234
Iterating post reduction 1 with 709 rules applied. Total rules applied 950 place count 4740 transition count 11585
Ensure Unique test removed 1 places
Reduce places removed 235 places and 0 transitions.
Drop transitions removed 40 transitions
Ensure Unique test removed 194 transitions
Reduce isomorphic transitions removed 234 transitions.
Drop transitions removed 194 transitions
Trivial Post-agglo rules discarded 194 transitions
Performed 194 trivial Post agglomeration. Transition count delta: 194
Iterating post reduction 2 with 663 rules applied. Total rules applied 1613 place count 4505 transition count 11157
Ensure Unique test removed 40 places
Reduce places removed 234 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 192 transitions
Reduce isomorphic transitions removed 194 transitions.
Drop transitions removed 190 transitions
Trivial Post-agglo rules discarded 190 transitions
Performed 190 trivial Post agglomeration. Transition count delta: 190
Iterating post reduction 3 with 618 rules applied. Total rules applied 2231 place count 4271 transition count 10773
Ensure Unique test removed 2 places
Reduce places removed 192 places and 0 transitions.
Drop transitions removed 35 transitions
Ensure Unique test removed 155 transitions
Reduce isomorphic transitions removed 190 transitions.
Drop transitions removed 154 transitions
Trivial Post-agglo rules discarded 154 transitions
Performed 154 trivial Post agglomeration. Transition count delta: 154
Iterating post reduction 4 with 536 rules applied. Total rules applied 2767 place count 4079 transition count 10429
Ensure Unique test removed 35 places
Reduce places removed 189 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 152 transitions
Reduce isomorphic transitions removed 154 transitions.
Drop transitions removed 151 transitions
Trivial Post-agglo rules discarded 151 transitions
Performed 151 trivial Post agglomeration. Transition count delta: 151
Iterating post reduction 5 with 494 rules applied. Total rules applied 3261 place count 3890 transition count 10124
Ensure Unique test removed 2 places
Reduce places removed 153 places and 0 transitions.
Drop transitions removed 32 transitions
Ensure Unique test removed 119 transitions
Reduce isomorphic transitions removed 151 transitions.
Drop transitions removed 116 transitions
Trivial Post-agglo rules discarded 116 transitions
Performed 116 trivial Post agglomeration. Transition count delta: 116
Iterating post reduction 6 with 420 rules applied. Total rules applied 3681 place count 3737 transition count 9857
Ensure Unique test removed 32 places
Reduce places removed 148 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 114 transitions
Reduce isomorphic transitions removed 116 transitions.
Drop transitions removed 112 transitions
Trivial Post-agglo rules discarded 112 transitions
Performed 112 trivial Post agglomeration. Transition count delta: 112
Iterating post reduction 7 with 376 rules applied. Total rules applied 4057 place count 3589 transition count 9629
Ensure Unique test removed 2 places
Reduce places removed 114 places and 0 transitions.
Drop transitions removed 26 transitions
Ensure Unique test removed 86 transitions
Reduce isomorphic transitions removed 112 transitions.
Drop transitions removed 86 transitions
Trivial Post-agglo rules discarded 86 transitions
Performed 86 trivial Post agglomeration. Transition count delta: 86
Iterating post reduction 8 with 312 rules applied. Total rules applied 4369 place count 3475 transition count 9431
Ensure Unique test removed 26 places
Reduce places removed 112 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 84 transitions
Reduce isomorphic transitions removed 86 transitions.
Drop transitions removed 84 transitions
Trivial Post-agglo rules discarded 84 transitions
Performed 84 trivial Post agglomeration. Transition count delta: 84
Iterating post reduction 9 with 282 rules applied. Total rules applied 4651 place count 3363 transition count 9261
Ensure Unique test removed 2 places
Reduce places removed 86 places and 0 transitions.
Drop transitions removed 22 transitions
Ensure Unique test removed 62 transitions
Reduce isomorphic transitions removed 84 transitions.
Drop transitions removed 62 transitions
Trivial Post-agglo rules discarded 62 transitions
Performed 62 trivial Post agglomeration. Transition count delta: 62
Iterating post reduction 10 with 232 rules applied. Total rules applied 4883 place count 3277 transition count 9115
Ensure Unique test removed 22 places
Reduce places removed 84 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 60 transitions
Reduce isomorphic transitions removed 62 transitions.
Drop transitions removed 60 transitions
Trivial Post-agglo rules discarded 60 transitions
Performed 60 trivial Post agglomeration. Transition count delta: 60
Iterating post reduction 11 with 206 rules applied. Total rules applied 5089 place count 3193 transition count 8993
Ensure Unique test removed 2 places
Reduce places removed 62 places and 0 transitions.
Drop transitions removed 18 transitions
Ensure Unique test removed 42 transitions
Reduce isomorphic transitions removed 60 transitions.
Drop transitions removed 41 transitions
Trivial Post-agglo rules discarded 41 transitions
Performed 41 trivial Post agglomeration. Transition count delta: 41
Iterating post reduction 12 with 163 rules applied. Total rules applied 5252 place count 3131 transition count 8892
Ensure Unique test removed 18 places
Reduce places removed 59 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 39 transitions
Reduce isomorphic transitions removed 41 transitions.
Drop transitions removed 38 transitions
Trivial Post-agglo rules discarded 38 transitions
Performed 38 trivial Post agglomeration. Transition count delta: 38
Iterating post reduction 13 with 138 rules applied. Total rules applied 5390 place count 3072 transition count 8813
Ensure Unique test removed 2 places
Reduce places removed 40 places and 0 transitions.
Drop transitions removed 15 transitions
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 38 transitions.
Drop transitions removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 14 with 101 rules applied. Total rules applied 5491 place count 3032 transition count 8752
Ensure Unique test removed 15 places
Reduce places removed 38 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 23 transitions.
Drop transitions removed 21 transitions
Trivial Post-agglo rules discarded 21 transitions
Performed 21 trivial Post agglomeration. Transition count delta: 21
Iterating post reduction 15 with 82 rules applied. Total rules applied 5573 place count 2994 transition count 8708
Ensure Unique test removed 2 places
Reduce places removed 23 places and 0 transitions.
Drop transitions removed 9 transitions
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 21 transitions.
Drop transitions removed 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 16 with 56 rules applied. Total rules applied 5629 place count 2971 transition count 8675
Ensure Unique test removed 9 places
Reduce places removed 21 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 12 transitions.
Drop transitions removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 17 with 44 rules applied. Total rules applied 5673 place count 2950 transition count 8652
Ensure Unique test removed 1 places
Reduce places removed 12 places and 0 transitions.
Drop transitions removed 7 transitions
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 11 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 18 with 27 rules applied. Total rules applied 5700 place count 2938 transition count 8637
Ensure Unique test removed 7 places
Reduce places removed 11 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 19 with 18 rules applied. Total rules applied 5718 place count 2927 transition count 8630
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 3 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 20 with 9 rules applied. Total rules applied 5727 place count 2923 transition count 8625
Ensure Unique test removed 1 places
Reduce places removed 3 places and 0 transitions.
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: 14
Iterating post reduction 21 with 19 rules applied. Total rules applied 5746 place count 2920 transition count 8609
Ensure Unique test removed 2 places
Reduce places removed 16 places and 0 transitions.
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 22 with 30 rules applied. Total rules applied 5776 place count 2904 transition count 8595
Performed 596 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 23 with 596 Pre rules applied. Total rules applied 5776 place count 2904 transition count 7999
Deduced a syphon composed of 596 places in 3 ms
Ensure Unique test removed 505 places
Reduce places removed 1101 places and 0 transitions.
Iterating global reduction 23 with 1697 rules applied. Total rules applied 7473 place count 1803 transition count 7999
Discarding 506 places :
Symmetric choice reduction at 23 with 506 rule applications. Total rules 7979 place count 1297 transition count 7493
Iterating global reduction 23 with 506 rules applied. Total rules applied 8485 place count 1297 transition count 7493
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 23 with 1 Pre rules applied. Total rules applied 8485 place count 1297 transition count 7492
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 23 with 2 rules applied. Total rules applied 8487 place count 1296 transition count 7492
Discarding 41 places :
Symmetric choice reduction at 23 with 41 rule applications. Total rules 8528 place count 1255 transition count 7000
Iterating global reduction 23 with 41 rules applied. Total rules applied 8569 place count 1255 transition count 7000
Ensure Unique test removed 39 transitions
Reduce isomorphic transitions removed 39 transitions.
Iterating post reduction 23 with 39 rules applied. Total rules applied 8608 place count 1255 transition count 6961
Discarding 17 places :
Symmetric choice reduction at 24 with 17 rule applications. Total rules 8625 place count 1238 transition count 6944
Iterating global reduction 24 with 17 rules applied. Total rules applied 8642 place count 1238 transition count 6944
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 17 transitions.
Iterating post reduction 24 with 17 rules applied. Total rules applied 8659 place count 1238 transition count 6927
Performed 100 Post agglomeration using F-continuation condition.Transition count delta: 100
Deduced a syphon composed of 100 places in 2 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 25 with 200 rules applied. Total rules applied 8859 place count 1138 transition count 6827
Drop transitions removed 83 transitions
Reduce isomorphic transitions removed 83 transitions.
Iterating post reduction 25 with 83 rules applied. Total rules applied 8942 place count 1138 transition count 6744
Drop transitions removed 55 transitions
Redundant transition composition rules discarded 55 transitions
Iterating global reduction 26 with 55 rules applied. Total rules applied 8997 place count 1138 transition count 6689
Drop transitions removed 36 transitions
Trivial Post-agglo rules discarded 36 transitions
Performed 36 trivial Post agglomeration. Transition count delta: 36
Iterating post reduction 26 with 36 rules applied. Total rules applied 9033 place count 1138 transition count 6653
Reduce places removed 36 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 27 with 40 rules applied. Total rules applied 9073 place count 1102 transition count 6649
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 28 with 4 rules applied. Total rules applied 9077 place count 1098 transition count 6649
Free-agglomeration rule (complex) applied 24 times.
Iterating global reduction 29 with 24 rules applied. Total rules applied 9101 place count 1098 transition count 6625
Reduce places removed 24 places and 0 transitions.
Iterating post reduction 29 with 24 rules applied. Total rules applied 9125 place count 1074 transition count 6625
Partial Free-agglomeration rule applied 2444 times.
Drop transitions removed 2444 transitions
Iterating global reduction 30 with 2444 rules applied. Total rules applied 11569 place count 1074 transition count 6625
Partial Post-agglomeration rule applied 167 times.
Drop transitions removed 167 transitions
Iterating global reduction 30 with 167 rules applied. Total rules applied 11736 place count 1074 transition count 6625
Applied a total of 11736 rules in 13580 ms. Remains 1074 /5410 variables (removed 4336) and now considering 6625/13778 (removed 7153) transitions.
Running SMT prover for 8 properties.
// Phase 1: matrix 6625 rows 1074 cols
[2024-05-25 16:05:24] [INFO ] Computed 165 invariants in 544 ms
[2024-05-25 16:05:25] [INFO ] After 279ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:8
[2024-05-25 16:05:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2024-05-25 16:05:25] [INFO ] [Nat]Absence check using 7 positive and 158 generalized place invariants in 30 ms returned sat
[2024-05-25 16:05:28] [INFO ] After 2825ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :8
[2024-05-25 16:05:30] [INFO ] After 4975ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :8
Attempting to minimize the solution found.
Minimization took 1189 ms.
[2024-05-25 16:05:31] [INFO ] After 6575ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :8
[2024-05-25 16:05:31] [INFO ] Export to MCC of 8 properties in file /home/mcc/execution/ReachabilityCardinality.sr.xml took 5 ms.
[2024-05-25 16:05:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 5410 places, 13778 transitions and 86086 arcs took 75 ms.
[2024-05-25 16:05:33] [INFO ] Flatten gal took : 955 ms
Total runtime 120643 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S24C12
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/372
ReachabilityCardinality
BK_STOP 1716653296510
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/372/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/372/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/372/ReachabilityCardinality.xml
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 38 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 43 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 48 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: Created skeleton in 3.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 53 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 58 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: Created skeleton in 4.000000 secs.
lola: Created skeleton in 3.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 63 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 68 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 73 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 78 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 83 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 88 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 93 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 98 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 103 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 108 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 114 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 119 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 124 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 129 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 134 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 139 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 144 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 149 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 154 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 159 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
/home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin//../BenchKit_head.sh: line 63: 499 Killed lola --conf=$BIN_DIR/configfiles/reachabilitycardinalityconf --formula=$DIR/ReachabilityCardinality.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
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-S24C12"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="gold2023"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool gold2023"
echo " Input is MultiCrashLeafsetExtension-PT-S24C12, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r263-tall-171654372000089"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C12.tgz
mv MultiCrashLeafsetExtension-PT-S24C12 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;