About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10235.888 | 3600000.00 | 12518052.00 | 1583.00 | TFF??FTFFTTFT?TT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r132-tall-165271821300782.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S24C11, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-tall-165271821300782
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 19M
-rw-r--r-- 1 mcc users 13K Apr 29 16:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Apr 29 16:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Apr 29 16:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Apr 29 16:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K May 9 08:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 9 08:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K May 9 08:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 9 08:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 27K Apr 29 17:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 165K Apr 29 17:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K Apr 29 16:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Apr 29 16:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 9 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 9 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 19M May 10 09:34 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-S24C11-ReachabilityCardinality-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1654249310729
Running Version 202205111006
[2022-06-03 09:41:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-03 09:41:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-03 09:41:52] [INFO ] Load time of PNML (sax parser for PT used): 865 ms
[2022-06-03 09:41:52] [INFO ] Transformed 19254 places.
[2022-06-03 09:41:53] [INFO ] Transformed 27973 transitions.
[2022-06-03 09:41:53] [INFO ] Parsed PT model containing 19254 places and 27973 transitions in 1114 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 73 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 88 resets, run finished after 770 ms. (steps per millisecond=12 ) properties (out of 16) seen :1
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 15) 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 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 15) 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 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 15) 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 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 15) 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 15) 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 15) seen :0
Interrupted probabilistic random walk after 7487 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 7487 steps, saw 3728 distinct states, run finished after 3002 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 15 properties.
[2022-06-03 09:41:57] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19254 cols
[2022-06-03 09:42:00] [INFO ] Computed 1299 place invariants in 2404 ms
[2022-06-03 09:42:06] [INFO ] After 6649ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:15
[2022-06-03 09:42:12] [INFO ] [Nat]Absence check using 76 positive place invariants in 85 ms returned sat
[2022-06-03 09:42:13] [INFO ] [Nat]Absence check using 76 positive and 1223 generalized place invariants in 1187 ms returned sat
[2022-06-03 09:42:31] [INFO ] After 16346ms SMT Verify possible using state equation in natural domain returned unsat :11 sat :3
[2022-06-03 09:42:31] [INFO ] State equation strengthened by 8602 read => feed constraints.
[2022-06-03 09:42:31] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-03 09:42:31] [INFO ] After 25230ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:15
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-15 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-12 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-11 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-10 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-09 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-08 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-07 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-06 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-05 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-01 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-00 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 15 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 38 out of 19254 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 19254/19254 places, 27973/27973 transitions.
Graph (complete) has 60623 edges and 19254 vertex of which 19204 are kept as prefixes of interest. Removing 50 places using SCC suffix rule.64 ms
Discarding 50 places :
Also discarding 0 output transitions
Drop transitions removed 6268 transitions
Trivial Post-agglo rules discarded 6268 transitions
Performed 6268 trivial Post agglomeration. Transition count delta: 6268
Iterating post reduction 0 with 6268 rules applied. Total rules applied 6269 place count 19204 transition count 21705
Reduce places removed 6268 places and 0 transitions.
Performed 22 Post agglomeration using F-continuation condition.Transition count delta: 22
Iterating post reduction 1 with 6290 rules applied. Total rules applied 12559 place count 12936 transition count 21683
Reduce places removed 22 places and 0 transitions.
Iterating post reduction 2 with 22 rules applied. Total rules applied 12581 place count 12914 transition count 21683
Performed 548 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 548 Pre rules applied. Total rules applied 12581 place count 12914 transition count 21135
Deduced a syphon composed of 548 places in 26 ms
Reduce places removed 548 places and 0 transitions.
Iterating global reduction 3 with 1096 rules applied. Total rules applied 13677 place count 12366 transition count 21135
Discarding 6053 places :
Symmetric choice reduction at 3 with 6053 rule applications. Total rules 19730 place count 6313 transition count 15082
Iterating global reduction 3 with 6053 rules applied. Total rules applied 25783 place count 6313 transition count 15082
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 9 Pre rules applied. Total rules applied 25783 place count 6313 transition count 15073
Deduced a syphon composed of 9 places in 15 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 3 with 18 rules applied. Total rules applied 25801 place count 6304 transition count 15073
Discarding 535 places :
Symmetric choice reduction at 3 with 535 rule applications. Total rules 26336 place count 5769 transition count 11928
Iterating global reduction 3 with 535 rules applied. Total rules applied 26871 place count 5769 transition count 11928
Discarding 265 places :
Symmetric choice reduction at 3 with 265 rule applications. Total rules 27136 place count 5504 transition count 9013
Iterating global reduction 3 with 265 rules applied. Total rules applied 27401 place count 5504 transition count 9013
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 10 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 27451 place count 5479 transition count 8988
Free-agglomeration rule (complex) applied 355 times.
Iterating global reduction 3 with 355 rules applied. Total rules applied 27806 place count 5479 transition count 13683
Reduce places removed 355 places and 0 transitions.
Iterating post reduction 3 with 355 rules applied. Total rules applied 28161 place count 5124 transition count 13683
Partial Free-agglomeration rule applied 299 times.
Drop transitions removed 299 transitions
Iterating global reduction 4 with 299 rules applied. Total rules applied 28460 place count 5124 transition count 13683
Applied a total of 28460 rules in 8718 ms. Remains 5124 /19254 variables (removed 14130) and now considering 13683/27973 (removed 14290) transitions.
Finished structural reductions, in 1 iterations. Remains : 5124/19254 places, 13683/27973 transitions.
Interrupted random walk after 368594 steps, including 5355 resets, run timeout after 30001 ms. (steps per millisecond=12 ) properties seen 1
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Interrupted Best-First random walk after 402477 steps, including 808 resets, run timeout after 5001 ms. (steps per millisecond=80 ) properties seen 0
Interrupted Best-First random walk after 395506 steps, including 794 resets, run timeout after 5001 ms. (steps per millisecond=79 ) properties seen 0
Interrupted Best-First random walk after 415996 steps, including 835 resets, run timeout after 5001 ms. (steps per millisecond=83 ) properties seen 0
Running SMT prover for 3 properties.
[2022-06-03 09:43:25] [INFO ] Flow matrix only has 12798 transitions (discarded 885 similar events)
// Phase 1: matrix 12798 rows 5124 cols
[2022-06-03 09:43:26] [INFO ] Computed 1249 place invariants in 372 ms
[2022-06-03 09:43:26] [INFO ] After 589ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2022-06-03 09:43:27] [INFO ] [Nat]Absence check using 49 positive place invariants in 77 ms returned sat
[2022-06-03 09:43:27] [INFO ] [Nat]Absence check using 49 positive and 1200 generalized place invariants in 353 ms returned sat
[2022-06-03 09:43:40] [INFO ] After 12264ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2022-06-03 09:43:40] [INFO ] State equation strengthened by 8392 read => feed constraints.
[2022-06-03 09:44:02] [INFO ] After 21666ms SMT Verify possible using 8392 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2022-06-03 09:44:20] [INFO ] After 39759ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :0
[2022-06-03 09:44:20] [INFO ] After 53492ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 493 ms.
Support contains 32 out of 5124 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 5124/5124 places, 13683/13683 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 5124 transition count 13682
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 5123 transition count 13682
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 2 with 3 rules applied. Total rules applied 5 place count 5123 transition count 13679
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 8 place count 5120 transition count 13679
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 10 place count 5118 transition count 13677
Iterating global reduction 3 with 2 rules applied. Total rules applied 12 place count 5118 transition count 13677
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 3 with 2 rules applied. Total rules applied 14 place count 5118 transition count 13677
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 16 place count 5116 transition count 13675
Iterating global reduction 3 with 2 rules applied. Total rules applied 18 place count 5116 transition count 13675
Applied a total of 18 rules in 4158 ms. Remains 5116 /5124 variables (removed 8) and now considering 13675/13683 (removed 8) transitions.
Finished structural reductions, in 1 iterations. Remains : 5116/5124 places, 13675/13683 transitions.
Interrupted random walk after 377073 steps, including 5478 resets, run timeout after 30001 ms. (steps per millisecond=12 ) properties seen 0
Interrupted Best-First random walk after 413988 steps, including 831 resets, run timeout after 5001 ms. (steps per millisecond=82 ) properties seen 0
Interrupted Best-First random walk after 417754 steps, including 839 resets, run timeout after 5001 ms. (steps per millisecond=83 ) properties seen 0
Interrupted Best-First random walk after 409523 steps, including 822 resets, run timeout after 5001 ms. (steps per millisecond=81 ) properties seen 0
Interrupted probabilistic random walk after 752577 steps, run timeout after 135001 ms. (steps per millisecond=5 ) properties seen :{}
Probabilistic random walk after 752577 steps, saw 327717 distinct states, run finished after 135002 ms. (steps per millisecond=5 ) properties seen :0
Running SMT prover for 3 properties.
[2022-06-03 09:47:24] [INFO ] Flow matrix only has 12790 transitions (discarded 885 similar events)
// Phase 1: matrix 12790 rows 5116 cols
[2022-06-03 09:47:25] [INFO ] Computed 1249 place invariants in 374 ms
[2022-06-03 09:47:26] [INFO ] After 707ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2022-06-03 09:47:26] [INFO ] [Nat]Absence check using 49 positive place invariants in 82 ms returned sat
[2022-06-03 09:47:27] [INFO ] [Nat]Absence check using 49 positive and 1200 generalized place invariants in 342 ms returned sat
[2022-06-03 09:47:42] [INFO ] After 14698ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2022-06-03 09:47:42] [INFO ] State equation strengthened by 8392 read => feed constraints.
[2022-06-03 09:48:07] [INFO ] After 25710ms SMT Verify possible using 8392 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-03 09:48:08] [INFO ] After 26403ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 416 ms.
[2022-06-03 09:48:09] [INFO ] After 43028ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 860 ms.
Support contains 32 out of 5116 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 5116/5116 places, 13675/13675 transitions.
Applied a total of 0 rules in 1067 ms. Remains 5116 /5116 variables (removed 0) and now considering 13675/13675 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 5116/5116 places, 13675/13675 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 5116/5116 places, 13675/13675 transitions.
Applied a total of 0 rules in 1080 ms. Remains 5116 /5116 variables (removed 0) and now considering 13675/13675 (removed 0) transitions.
[2022-06-03 09:48:12] [INFO ] Flow matrix only has 12790 transitions (discarded 885 similar events)
// Phase 1: matrix 12790 rows 5116 cols
[2022-06-03 09:48:12] [INFO ] Computed 1249 place invariants in 349 ms
[2022-06-03 09:48:17] [INFO ] Implicit Places using invariants in 5152 ms returned []
Implicit Place search using SMT only with invariants took 5153 ms to find 0 implicit places.
[2022-06-03 09:48:17] [INFO ] Flow matrix only has 12790 transitions (discarded 885 similar events)
// Phase 1: matrix 12790 rows 5116 cols
[2022-06-03 09:48:17] [INFO ] Computed 1249 place invariants in 383 ms
[2022-06-03 09:48:25] [INFO ] Dead Transitions using invariants and state equation in 7956 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 5116/5116 places, 13675/13675 transitions.
Interrupted random walk after 377199 steps, including 5484 resets, run timeout after 30001 ms. (steps per millisecond=12 ) properties seen 0
Interrupted Best-First random walk after 400905 steps, including 805 resets, run timeout after 5001 ms. (steps per millisecond=80 ) properties seen 0
Interrupted Best-First random walk after 391701 steps, including 786 resets, run timeout after 5001 ms. (steps per millisecond=78 ) properties seen 0
Interrupted Best-First random walk after 410671 steps, including 824 resets, run timeout after 5001 ms. (steps per millisecond=82 ) properties seen 0
Interrupted probabilistic random walk after 745461 steps, run timeout after 135001 ms. (steps per millisecond=5 ) properties seen :{}
Probabilistic random walk after 745461 steps, saw 324578 distinct states, run finished after 135002 ms. (steps per millisecond=5 ) properties seen :0
Running SMT prover for 3 properties.
[2022-06-03 09:51:25] [INFO ] Flow matrix only has 12790 transitions (discarded 885 similar events)
// Phase 1: matrix 12790 rows 5116 cols
[2022-06-03 09:51:25] [INFO ] Computed 1249 place invariants in 345 ms
[2022-06-03 09:51:26] [INFO ] After 671ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2022-06-03 09:51:26] [INFO ] [Nat]Absence check using 49 positive place invariants in 75 ms returned sat
[2022-06-03 09:51:27] [INFO ] [Nat]Absence check using 49 positive and 1200 generalized place invariants in 324 ms returned sat
[2022-06-03 09:51:43] [INFO ] After 15704ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2022-06-03 09:51:43] [INFO ] State equation strengthened by 8392 read => feed constraints.
[2022-06-03 09:52:11] [INFO ] After 27952ms SMT Verify possible using 8392 Read/Feed constraints in natural domain returned unsat :0 sat :0
[2022-06-03 09:52:11] [INFO ] After 45041ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 835 ms.
Support contains 32 out of 5116 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 5116/5116 places, 13675/13675 transitions.
Applied a total of 0 rules in 943 ms. Remains 5116 /5116 variables (removed 0) and now considering 13675/13675 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 5116/5116 places, 13675/13675 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 5116/5116 places, 13675/13675 transitions.
Applied a total of 0 rules in 938 ms. Remains 5116 /5116 variables (removed 0) and now considering 13675/13675 (removed 0) transitions.
[2022-06-03 09:52:14] [INFO ] Flow matrix only has 12790 transitions (discarded 885 similar events)
// Phase 1: matrix 12790 rows 5116 cols
[2022-06-03 09:52:14] [INFO ] Computed 1249 place invariants in 385 ms
[2022-06-03 09:52:19] [INFO ] Implicit Places using invariants in 5201 ms returned []
Implicit Place search using SMT only with invariants took 5226 ms to find 0 implicit places.
[2022-06-03 09:52:19] [INFO ] Flow matrix only has 12790 transitions (discarded 885 similar events)
// Phase 1: matrix 12790 rows 5116 cols
[2022-06-03 09:52:19] [INFO ] Computed 1249 place invariants in 362 ms
[2022-06-03 09:52:27] [INFO ] Dead Transitions using invariants and state equation in 8158 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 5116/5116 places, 13675/13675 transitions.
Graph (trivial) has 3566 edges and 5116 vertex of which 25 / 5116 are part of one of the 1 SCC in 17 ms
Free SCC test removed 24 places
Drop transitions removed 642 transitions
Ensure Unique test removed 843 transitions
Reduce isomorphic transitions removed 1485 transitions.
Graph (complete) has 50324 edges and 5092 vertex of which 5070 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 384 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.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 241 transitions
Trivial Post-agglo rules discarded 241 transitions
Performed 241 trivial Post agglomeration. Transition count delta: 241
Iterating post reduction 0 with 244 rules applied. Total rules applied 246 place count 4684 transition count 11947
Ensure Unique test removed 1 places
Reduce places removed 242 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 239 transitions
Reduce isomorphic transitions removed 240 transitions.
Drop transitions removed 239 transitions
Trivial Post-agglo rules discarded 239 transitions
Performed 239 trivial Post agglomeration. Transition count delta: 239
Iterating post reduction 1 with 721 rules applied. Total rules applied 967 place count 4442 transition count 11468
Ensure Unique test removed 1 places
Reduce places removed 240 places and 0 transitions.
Drop transitions removed 40 transitions
Ensure Unique test removed 199 transitions
Reduce isomorphic transitions removed 239 transitions.
Drop transitions removed 198 transitions
Trivial Post-agglo rules discarded 198 transitions
Performed 198 trivial Post agglomeration. Transition count delta: 198
Iterating post reduction 2 with 677 rules applied. Total rules applied 1644 place count 4202 transition count 11031
Ensure Unique test removed 40 places
Reduce places removed 238 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 196 transitions
Reduce isomorphic transitions removed 198 transitions.
Drop transitions removed 195 transitions
Trivial Post-agglo rules discarded 195 transitions
Performed 195 trivial Post agglomeration. Transition count delta: 195
Iterating post reduction 3 with 631 rules applied. Total rules applied 2275 place count 3964 transition count 10638
Ensure Unique test removed 2 places
Reduce places removed 197 places and 0 transitions.
Drop transitions removed 35 transitions
Ensure Unique test removed 160 transitions
Reduce isomorphic transitions removed 195 transitions.
Drop transitions removed 159 transitions
Trivial Post-agglo rules discarded 159 transitions
Performed 159 trivial Post agglomeration. Transition count delta: 159
Iterating post reduction 4 with 551 rules applied. Total rules applied 2826 place count 3767 transition count 10284
Ensure Unique test removed 35 places
Reduce places removed 194 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 157 transitions
Reduce isomorphic transitions removed 159 transitions.
Drop transitions removed 157 transitions
Trivial Post-agglo rules discarded 157 transitions
Performed 157 trivial Post agglomeration. Transition count delta: 157
Iterating post reduction 5 with 510 rules applied. Total rules applied 3336 place count 3573 transition count 9968
Ensure Unique test removed 2 places
Reduce places removed 159 places and 0 transitions.
Drop transitions removed 32 transitions
Ensure Unique test removed 125 transitions
Reduce isomorphic transitions removed 157 transitions.
Drop transitions removed 125 transitions
Trivial Post-agglo rules discarded 125 transitions
Performed 125 trivial Post agglomeration. Transition count delta: 125
Iterating post reduction 6 with 441 rules applied. Total rules applied 3777 place count 3414 transition count 9686
Ensure Unique test removed 32 places
Reduce places removed 157 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 125 transitions.
Drop transitions removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 7 with 405 rules applied. Total rules applied 4182 place count 3257 transition count 9438
Ensure Unique test removed 2 places
Reduce places removed 125 places and 0 transitions.
Drop transitions removed 26 transitions
Ensure Unique test removed 97 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions removed 97 transitions
Trivial Post-agglo rules discarded 97 transitions
Performed 97 trivial Post agglomeration. Transition count delta: 97
Iterating post reduction 8 with 345 rules applied. Total rules applied 4527 place count 3132 transition count 9218
Ensure Unique test removed 26 places
Reduce places removed 123 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 95 transitions
Reduce isomorphic transitions removed 97 transitions.
Drop transitions removed 95 transitions
Trivial Post-agglo rules discarded 95 transitions
Performed 95 trivial Post agglomeration. Transition count delta: 95
Iterating post reduction 9 with 315 rules applied. Total rules applied 4842 place count 3009 transition count 9026
Ensure Unique test removed 2 places
Reduce places removed 97 places and 0 transitions.
Drop transitions removed 24 transitions
Ensure Unique test removed 71 transitions
Reduce isomorphic transitions removed 95 transitions.
Drop transitions removed 71 transitions
Trivial Post-agglo rules discarded 71 transitions
Performed 71 trivial Post agglomeration. Transition count delta: 71
Iterating post reduction 10 with 263 rules applied. Total rules applied 5105 place count 2912 transition count 8860
Ensure Unique test removed 24 places
Reduce places removed 95 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 69 transitions
Reduce isomorphic transitions removed 71 transitions.
Drop transitions removed 69 transitions
Trivial Post-agglo rules discarded 69 transitions
Performed 69 trivial Post agglomeration. Transition count delta: 69
Iterating post reduction 11 with 235 rules applied. Total rules applied 5340 place count 2817 transition count 8720
Ensure Unique test removed 2 places
Reduce places removed 71 places and 0 transitions.
Drop transitions removed 20 transitions
Ensure Unique test removed 49 transitions
Reduce isomorphic transitions removed 69 transitions.
Drop transitions removed 49 transitions
Trivial Post-agglo rules discarded 49 transitions
Performed 49 trivial Post agglomeration. Transition count delta: 49
Iterating post reduction 12 with 189 rules applied. Total rules applied 5529 place count 2746 transition count 8602
Ensure Unique test removed 20 places
Reduce places removed 69 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 47 transitions
Reduce isomorphic transitions removed 49 transitions.
Drop transitions removed 46 transitions
Trivial Post-agglo rules discarded 46 transitions
Performed 46 trivial Post agglomeration. Transition count delta: 46
Iterating post reduction 13 with 164 rules applied. Total rules applied 5693 place count 2677 transition count 8507
Ensure Unique test removed 2 places
Reduce places removed 48 places and 0 transitions.
Drop transitions removed 16 transitions
Ensure Unique test removed 30 transitions
Reduce isomorphic transitions removed 46 transitions.
Drop transitions removed 30 transitions
Trivial Post-agglo rules discarded 30 transitions
Performed 30 trivial Post agglomeration. Transition count delta: 30
Iterating post reduction 14 with 124 rules applied. Total rules applied 5817 place count 2629 transition count 8431
Ensure Unique test removed 16 places
Reduce places removed 46 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 29 transitions
Reduce isomorphic transitions removed 30 transitions.
Drop transitions removed 29 transitions
Trivial Post-agglo rules discarded 29 transitions
Performed 29 trivial Post agglomeration. Transition count delta: 29
Iterating post reduction 15 with 105 rules applied. Total rules applied 5922 place count 2583 transition count 8372
Ensure Unique test removed 1 places
Reduce places removed 30 places and 0 transitions.
Drop transitions removed 12 transitions
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 29 transitions.
Drop transitions removed 17 transitions
Trivial Post-agglo rules discarded 17 transitions
Performed 17 trivial Post agglomeration. Transition count delta: 17
Iterating post reduction 16 with 76 rules applied. Total rules applied 5998 place count 2553 transition count 8326
Ensure Unique test removed 12 places
Reduce places removed 29 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 17 transitions.
Drop transitions removed 16 transitions
Trivial Post-agglo rules discarded 16 transitions
Performed 16 trivial Post agglomeration. Transition count delta: 16
Iterating post reduction 17 with 62 rules applied. Total rules applied 6060 place count 2524 transition count 8293
Ensure Unique test removed 1 places
Reduce places removed 17 places and 0 transitions.
Drop transitions removed 8 transitions
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 16 transitions.
Drop transitions removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 18 with 41 rules applied. Total rules applied 6101 place count 2507 transition count 8269
Ensure Unique test removed 8 places
Reduce places removed 16 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 8 transitions.
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 19 with 30 rules applied. Total rules applied 6131 place count 2491 transition count 8255
Ensure Unique test removed 2 places
Reduce places removed 8 places and 0 transitions.
Drop transitions removed 4 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 6 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 16 rules applied. Total rules applied 6147 place count 2483 transition count 8247
Ensure Unique test removed 4 places
Reduce places removed 6 places and 0 transitions.
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 21 with 12 rules applied. Total rules applied 6159 place count 2477 transition count 8241
Ensure Unique test removed 2 places
Reduce places removed 6 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 22 with 10 rules applied. Total rules applied 6169 place count 2471 transition count 8237
Performed 547 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 23 with 547 Pre rules applied. Total rules applied 6169 place count 2471 transition count 7690
Deduced a syphon composed of 547 places in 2 ms
Ensure Unique test removed 529 places
Reduce places removed 1076 places and 0 transitions.
Iterating global reduction 23 with 1623 rules applied. Total rules applied 7792 place count 1395 transition count 7690
Discarding 532 places :
Symmetric choice reduction at 23 with 532 rule applications. Total rules 8324 place count 863 transition count 7158
Iterating global reduction 23 with 532 rules applied. Total rules applied 8856 place count 863 transition count 7158
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 23 with 1 Pre rules applied. Total rules applied 8856 place count 863 transition count 7157
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 8858 place count 862 transition count 7157
Discarding 330 places :
Symmetric choice reduction at 23 with 330 rule applications. Total rules 9188 place count 532 transition count 3527
Iterating global reduction 23 with 330 rules applied. Total rules applied 9518 place count 532 transition count 3527
Ensure Unique test removed 330 transitions
Reduce isomorphic transitions removed 330 transitions.
Iterating post reduction 23 with 330 rules applied. Total rules applied 9848 place count 532 transition count 3197
Performed 39 Post agglomeration using F-continuation condition.Transition count delta: 39
Deduced a syphon composed of 39 places in 0 ms
Reduce places removed 39 places and 0 transitions.
Iterating global reduction 24 with 78 rules applied. Total rules applied 9926 place count 493 transition count 3158
Drop transitions removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 24 with 16 rules applied. Total rules applied 9942 place count 493 transition count 3142
Drop transitions removed 5 transitions
Redundant transition composition rules discarded 5 transitions
Iterating global reduction 25 with 5 rules applied. Total rules applied 9947 place count 493 transition count 3137
Free-agglomeration rule (complex) applied 16 times.
Iterating global reduction 25 with 16 rules applied. Total rules applied 9963 place count 493 transition count 3121
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 25 with 16 rules applied. Total rules applied 9979 place count 477 transition count 3121
Partial Free-agglomeration rule applied 1256 times.
Drop transitions removed 1256 transitions
Iterating global reduction 26 with 1256 rules applied. Total rules applied 11235 place count 477 transition count 3121
Discarding 11 places :
Symmetric choice reduction at 26 with 11 rule applications. Total rules 11246 place count 466 transition count 3000
Iterating global reduction 26 with 11 rules applied. Total rules applied 11257 place count 466 transition count 3000
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Iterating post reduction 26 with 11 rules applied. Total rules applied 11268 place count 466 transition count 2989
Partial Post-agglomeration rule applied 19 times.
Drop transitions removed 19 transitions
Iterating global reduction 27 with 19 rules applied. Total rules applied 11287 place count 466 transition count 2989
Applied a total of 11287 rules in 12050 ms. Remains 466 /5116 variables (removed 4650) and now considering 2989/13675 (removed 10686) transitions.
Running SMT prover for 3 properties.
// Phase 1: matrix 2989 rows 466 cols
[2022-06-03 09:52:39] [INFO ] Computed 76 place invariants in 84 ms
[2022-06-03 09:52:39] [INFO ] After 94ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2022-06-03 09:52:39] [INFO ] [Nat]Absence check using 4 positive place invariants in 30 ms returned sat
[2022-06-03 09:52:39] [INFO ] [Nat]Absence check using 4 positive and 72 generalized place invariants in 15 ms returned sat
[2022-06-03 09:52:40] [INFO ] After 1023ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2022-06-03 09:52:41] [INFO ] After 1420ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
Attempting to minimize the solution found.
Minimization took 242 ms.
[2022-06-03 09:52:41] [INFO ] After 1805ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
[2022-06-03 09:52:42] [INFO ] Flatten gal took : 1081 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin5631795601427121402
[2022-06-03 09:52:43] [INFO ] Too many transitions (13675) to apply POR reductions. Disabling POR matrices.
[2022-06-03 09:52:43] [INFO ] Built C files in 348ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5631795601427121402
Running compilation step : cd /tmp/ltsmin5631795601427121402;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '240' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2022-06-03 09:52:44] [INFO ] Applying decomposition
[2022-06-03 09:52:44] [INFO ] Flatten gal took : 1486 ms
[2022-06-03 09:52:45] [INFO ] Flatten gal took : 1088 ms
[2022-06-03 09:52:46] [INFO ] Input system was already deterministic with 13675 transitions.
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph451084042366471557.txt' '-o' '/tmp/graph451084042366471557.bin' '-w' '/tmp/graph451084042366471557.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph451084042366471557.bin' '-l' '-1' '-v' '-w' '/tmp/graph451084042366471557.weights' '-q' '0' '-e' '0.001'
[2022-06-03 09:52:47] [INFO ] Decomposing Gal with order
[2022-06-03 09:52:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-03 09:52:51] [INFO ] Ran tautology test, simplified 0 / 3 in 6045 ms.
[2022-06-03 09:52:51] [INFO ] BMC solution for property MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-03(UNSAT) depth K=0 took 116 ms
[2022-06-03 09:52:51] [INFO ] BMC solution for property MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-04(UNSAT) depth K=0 took 1 ms
[2022-06-03 09:52:51] [INFO ] BMC solution for property MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-13(UNSAT) depth K=0 took 0 ms
[2022-06-03 09:52:51] [INFO ] BMC solution for property MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-03(UNSAT) depth K=1 took 24 ms
[2022-06-03 09:52:51] [INFO ] BMC solution for property MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-04(UNSAT) depth K=1 took 12 ms
[2022-06-03 09:52:51] [INFO ] BMC solution for property MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-13(UNSAT) depth K=1 took 5 ms
[2022-06-03 09:52:51] [INFO ] Removed a total of 5064 redundant transitions.
[2022-06-03 09:52:52] [INFO ] Flatten gal took : 4382 ms
[2022-06-03 09:52:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 1352 labels/synchronizations in 476 ms.
[2022-06-03 09:52:55] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4492702929855010423.gal : 253 ms
[2022-06-03 09:52:55] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8873751503126412326.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4492702929855010423.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality8873751503126412326.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...319
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 12790 out of 13675 initially.
// Phase 1: matrix 12790 rows 5116 cols
[2022-06-03 09:52:56] [INFO ] Computed 1249 place invariants in 468 ms
[2022-06-03 09:52:56] [INFO ] Computed 1249 place invariants in 472 ms
Loading property file /tmp/ReachabilityCardinality8873751503126412326.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :5 after 7
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :7 after 14
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :14 after 23
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :23 after 29
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :29 after 39
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :39 after 50
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :50 after 135
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :135 after 158
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :158 after 356
Compilation finished in 120855 ms.
Running link step : cd /tmp/ltsmin5631795601427121402;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 133 ms.
Running LTSmin : cd /tmp/ltsmin5631795601427121402;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'MultiCrashLeafsetExtensionPTS24C11ReachabilityCardinality03==true'
SDD proceeding with computation,3 properties remain. new max is 4096
SDD size :356 after 523
SDD proceeding with computation,3 properties remain. new max is 8192
SDD size :523 after 1116
[2022-06-03 10:01:12] [INFO ] Proved 5116 variables to be positive in 496383 ms
[2022-06-03 10:01:51] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesMultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-03
[2022-06-03 10:01:51] [INFO ] KInduction solution for property MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-03(SAT) depth K=0 took 39109 ms
[2022-06-03 10:02:43] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesMultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-04
[2022-06-03 10:02:43] [INFO ] KInduction solution for property MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-04(SAT) depth K=0 took 51622 ms
[2022-06-03 10:03:18] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesMultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-13
[2022-06-03 10:03:18] [INFO ] KInduction solution for property MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-13(SAT) depth K=0 took 34652 ms
SDD proceeding with computation,3 properties remain. new max is 16384
SDD size :1116 after 1390
WARNING : LTSmin timed out (>1200 s) on command cd /tmp/ltsmin5631795601427121402;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'MultiCrashLeafsetExtensionPTS24C11ReachabilityCardinality03==true'
Running LTSmin : cd /tmp/ltsmin5631795601427121402;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'MultiCrashLeafsetExtensionPTS24C11ReachabilityCardinality04==true'
Detected timeout of ITS tools.
[2022-06-03 10:16:35] [INFO ] Flatten gal took : 2143 ms
[2022-06-03 10:16:36] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7685480254329476880.gal : 273 ms
[2022-06-03 10:16:36] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1509755593647966054.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality7685480254329476880.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality1509755593647966054.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...319
[2022-06-03 10:16:40] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesMultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-03
[2022-06-03 10:16:40] [INFO ] KInduction solution for property MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-03(SAT) depth K=1 took 800857 ms
Loading property file /tmp/ReachabilityCardinality1509755593647966054.prop.
[2022-06-03 10:19:13] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesMultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-04
[2022-06-03 10:19:13] [INFO ] KInduction solution for property MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-04(SAT) depth K=1 took 152065 ms
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 11
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :11 after 13
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :13 after 14
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :14 after 16
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :16 after 19
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :19 after 24
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :24 after 36
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :36 after 83
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :83 after 406
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :406 after 519
[2022-06-03 10:34:22] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesMultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-13
[2022-06-03 10:34:22] [INFO ] KInduction solution for property MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-13(SAT) depth K=1 took 909942 ms
SDD proceeding with computation,3 properties remain. new max is 4096
SDD size :519 after 526
WARNING : LTSmin timed out (>1200 s) on command cd /tmp/ltsmin5631795601427121402;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'MultiCrashLeafsetExtensionPTS24C11ReachabilityCardinality04==true'
Running LTSmin : cd /tmp/ltsmin5631795601427121402;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'MultiCrashLeafsetExtensionPTS24C11ReachabilityCardinality13==true'
Detected timeout of ITS tools.
[2022-06-03 10:40:17] [INFO ] Flatten gal took : 2249 ms
[2022-06-03 10:40:18] [INFO ] Input system was already deterministic with 13675 transitions.
[2022-06-03 10:40:18] [INFO ] Transformed 5116 places.
[2022-06-03 10:40:18] [INFO ] Transformed 13675 transitions.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar' '/home/mcc/execution/gspn'
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2' '/home/mcc/execution/gspn' '-META' '-varord-only'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2022-06-03 10:40:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15457722592006401901.gal : 200 ms
[2022-06-03 10:40:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15255157883509239458.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality15457722592006401901.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality15255157883509239458.prop' '--nowitness' '--load-order' '/home/mcc/execution/model.ord' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...366
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/ReachabilityCardinality15255157883509239458.prop.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination ReachabilityCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
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-S24C11"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S24C11, 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 r132-tall-165271821300782"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C11.tgz
mv MultiCrashLeafsetExtension-PT-S24C11 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 ;