About the Execution of LTSMin+red for MultiCrashLeafsetExtension-PT-S32C10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5040.235 | 931239.00 | 1023164.00 | 1932.10 | TF?TFTFFFFTFTT?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r508-tall-171654351100214.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool ltsminxred
Input is MultiCrashLeafsetExtension-PT-S32C10, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r508-tall-171654351100214
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 33M
-rw-r--r-- 1 mcc users 17K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 110K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 19 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 19 18:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 32M May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1717231097257
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C10
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 08:38:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML]
[2024-06-01 08:38:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 08:38:19] [INFO ] Load time of PNML (sax parser for PT used): 1087 ms
[2024-06-01 08:38:19] [INFO ] Transformed 32088 places.
[2024-06-01 08:38:19] [INFO ] Transformed 48223 transitions.
[2024-06-01 08:38:19] [INFO ] Parsed PT model containing 32088 places and 48223 transitions and 181342 arcs in 1386 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 30 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (390 resets) in 4356 ms. (9 steps per ms) remains 14/16 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40001 steps (60 resets) in 706 ms. (56 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40002 steps (60 resets) in 440 ms. (90 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40000 steps (60 resets) in 933 ms. (42 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40003 steps (60 resets) in 494 ms. (80 steps per ms) remains 13/14 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-01 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40001 steps (60 resets) in 532 ms. (75 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40001 steps (60 resets) in 1455 ms. (27 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40002 steps (60 resets) in 517 ms. (77 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (60 resets) in 616 ms. (64 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (60 resets) in 380 ms. (104 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (60 resets) in 400 ms. (99 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40002 steps (60 resets) in 370 ms. (107 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40002 steps (60 resets) in 427 ms. (93 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40002 steps (60 resets) in 371 ms. (107 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40002 steps (60 resets) in 383 ms. (104 steps per ms) remains 13/13 properties
[2024-06-01 08:38:23] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32088 cols
[2024-06-01 08:38:32] [INFO ] Computed 1893 invariants in 8928 ms
[2024-06-01 08:38:33] [INFO ] State equation strengthened by 15490 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/264 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 13 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-15 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-15 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 1 (OVERLAPS) 5468/5732 variables, 1/1 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5732 variables, 0/1 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 3 (OVERLAPS) 16771/22503 variables, 662/663 constraints. Problems are: Problem set: 1 solved, 12 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 22503/79255 variables, and 663 constraints, problems are : Problem set: 1 solved, 12 unsolved in 5080 ms.
Refiners :[Positive P Invariants (semi-flows): 1/90 constraints, Generalized P Invariants (flows): 662/1803 constraints, State Equation: 0/32088 constraints, ReadFeed: 0/15490 constraints, PredecessorRefiner: 13/13 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 12 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/251 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 1 (OVERLAPS) 5469/5720 variables, 1/1 constraints. Problems are: Problem set: 1 solved, 12 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5720/79255 variables, and 1 constraints, problems are : Problem set: 1 solved, 12 unsolved in 5019 ms.
Refiners :[Positive P Invariants (semi-flows): 1/90 constraints, Generalized P Invariants (flows): 0/1803 constraints, State Equation: 0/32088 constraints, ReadFeed: 0/15490 constraints, PredecessorRefiner: 0/13 constraints, Known Traps: 0/0 constraints]
After SMT, in 19669ms problems are : Problem set: 1 solved, 12 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 251 out of 32088 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32088/32088 places, 48223/48223 transitions.
Graph (complete) has 105773 edges and 32088 vertex of which 32033 are kept as prefixes of interest. Removing 55 places using SCC suffix rule.80 ms
Discarding 55 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 9763 transitions
Trivial Post-agglo rules discarded 9763 transitions
Performed 9763 trivial Post agglomeration. Transition count delta: 9763
Iterating post reduction 0 with 9763 rules applied. Total rules applied 9764 place count 32033 transition count 38460
Reduce places removed 9763 places and 0 transitions.
Performed 193 Post agglomeration using F-continuation condition.Transition count delta: 193
Iterating post reduction 1 with 9956 rules applied. Total rules applied 19720 place count 22270 transition count 38267
Reduce places removed 193 places and 0 transitions.
Iterating post reduction 2 with 193 rules applied. Total rules applied 19913 place count 22077 transition count 38267
Performed 647 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 647 Pre rules applied. Total rules applied 19913 place count 22077 transition count 37620
Deduced a syphon composed of 647 places in 77 ms
Reduce places removed 647 places and 0 transitions.
Iterating global reduction 3 with 1294 rules applied. Total rules applied 21207 place count 21430 transition count 37620
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 103 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 21273 place count 21397 transition count 37587
Free-agglomeration rule (complex) applied 2033 times.
Iterating global reduction 3 with 2033 rules applied. Total rules applied 23306 place count 21397 transition count 35554
Reduce places removed 2033 places and 0 transitions.
Iterating post reduction 3 with 2033 rules applied. Total rules applied 25339 place count 19364 transition count 35554
Partial Free-agglomeration rule applied 9763 times.
Drop transitions (Partial Free agglomeration) removed 9763 transitions
Iterating global reduction 4 with 9763 rules applied. Total rules applied 35102 place count 19364 transition count 35554
Applied a total of 35102 rules in 13140 ms. Remains 19364 /32088 variables (removed 12724) and now considering 35554/48223 (removed 12669) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 13156 ms. Remains : 19364/32088 places, 35554/48223 transitions.
RANDOM walk for 40000 steps (642 resets) in 4997 ms. (8 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 708 ms. (56 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 561 ms. (71 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 500 ms. (79 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40003 steps (64 resets) in 582 ms. (68 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 558 ms. (71 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 575 ms. (69 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 604 ms. (66 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 506 ms. (78 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 527 ms. (75 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 534 ms. (74 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 556 ms. (71 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (64 resets) in 486 ms. (82 steps per ms) remains 12/12 properties
Interrupted probabilistic random walk after 22777 steps, run timeout after 9001 ms. (steps per millisecond=2 ) properties seen :1 out of 12
Probabilistic random walk after 22777 steps, saw 10775 distinct states, run finished after 9007 ms. (steps per millisecond=2 ) properties seen :1
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-13 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
[2024-06-01 08:39:08] [INFO ] Flow matrix only has 33998 transitions (discarded 1556 similar events)
// Phase 1: matrix 33998 rows 19364 cols
[2024-06-01 08:39:20] [INFO ] Computed 1838 invariants in 11559 ms
[2024-06-01 08:39:21] [INFO ] State equation strengthened by 15490 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/188 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 11 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-07 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-07 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-09 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-09 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-11 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-11 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 1 (OVERLAPS) 6901/7089 variables, 4/4 constraints. Problems are: Problem set: 3 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7089 variables, 3/7 constraints. Problems are: Problem set: 3 solved, 8 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/7089 variables, 0/7 constraints. Problems are: Problem set: 3 solved, 8 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-00 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-00 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-04 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-04 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-06 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-06 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-10 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-10 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-12 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-12 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 4 (OVERLAPS) 11892/18981 variables, 1448/1455 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/18981 variables, 0/1455 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 6 (OVERLAPS) 60/19041 variables, 60/1515 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/19041 variables, 0/1515 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 323/19364 variables, 323/1838 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/19364 variables, 0/1838 constraints. Problems are: Problem set: 8 solved, 3 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 53362/53362 variables, and 21202 constraints, problems are : Problem set: 8 solved, 3 unsolved in 45098 ms.
Refiners :[Positive P Invariants (semi-flows): 64/64 constraints, Generalized P Invariants (flows): 1774/1774 constraints, State Equation: 19364/19364 constraints, ReadFeed: 0/15490 constraints, PredecessorRefiner: 11/11 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 8 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/70 variables, 0/0 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 6975/7045 variables, 4/4 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7045 variables, 2/6 constraints. Problems are: Problem set: 8 solved, 3 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/7045 variables, 0/6 constraints. Problems are: Problem set: 8 solved, 3 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-05 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-05 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 4 (OVERLAPS) 11935/18980 variables, 1448/1454 constraints. Problems are: Problem set: 9 solved, 2 unsolved
[2024-06-01 08:41:39] [INFO ] Deduced a trap composed of 1121 places in 87894 ms of which 931 ms to minimize.
SMT process timed out in 150095ms, After SMT, problems are : Problem set: 9 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 41 out of 19364 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19364/19364 places, 35554/35554 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 92 transitions
Trivial Post-agglo rules discarded 92 transitions
Performed 92 trivial Post agglomeration. Transition count delta: 92
Iterating post reduction 0 with 92 rules applied. Total rules applied 92 place count 19364 transition count 35462
Reduce places removed 92 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 93 rules applied. Total rules applied 185 place count 19272 transition count 35461
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 186 place count 19271 transition count 35461
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 10 Pre rules applied. Total rules applied 186 place count 19271 transition count 35451
Deduced a syphon composed of 10 places in 22 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 3 with 20 rules applied. Total rules applied 206 place count 19261 transition count 35451
Free-agglomeration rule (complex) applied 34 times.
Iterating global reduction 3 with 34 rules applied. Total rules applied 240 place count 19261 transition count 35417
Reduce places removed 34 places and 0 transitions.
Iterating post reduction 3 with 34 rules applied. Total rules applied 274 place count 19227 transition count 35417
Partial Free-agglomeration rule applied 647 times.
Drop transitions (Partial Free agglomeration) removed 647 transitions
Iterating global reduction 4 with 647 rules applied. Total rules applied 921 place count 19227 transition count 35417
Applied a total of 921 rules in 4419 ms. Remains 19227 /19364 variables (removed 137) and now considering 35417/35554 (removed 137) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4419 ms. Remains : 19227/19364 places, 35417/35554 transitions.
RANDOM walk for 40000 steps (648 resets) in 4590 ms. (8 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (64 resets) in 620 ms. (64 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (64 resets) in 478 ms. (83 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 7764 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :0 out of 2
Probabilistic random walk after 7764 steps, saw 3777 distinct states, run finished after 3001 ms. (steps per millisecond=2 ) properties seen :0
[2024-06-01 08:41:48] [INFO ] Flow matrix only has 33854 transitions (discarded 1563 similar events)
// Phase 1: matrix 33854 rows 19227 cols
[2024-06-01 08:42:01] [INFO ] Computed 1838 invariants in 13183 ms
[2024-06-01 08:42:02] [INFO ] State equation strengthened by 15490 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/41 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 6955/6996 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6996 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 11864/18860 variables, 1466/1471 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/18860 variables, 0/1471 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 60/18920 variables, 60/1531 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/18920 variables, 0/1531 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 307/19227 variables, 307/1838 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/19227 variables, 0/1838 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 53081/53081 variables, and 21065 constraints, problems are : Problem set: 0 solved, 2 unsolved in 64210 ms.
Refiners :[Positive P Invariants (semi-flows): 65/65 constraints, Generalized P Invariants (flows): 1773/1773 constraints, State Equation: 19227/19227 constraints, ReadFeed: 0/15490 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/41 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 6955/6996 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/6996 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 11864/18860 variables, 1466/1471 constraints. Problems are: Problem set: 0 solved, 2 unsolved
SMT process timed out in 202605ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 41 out of 19227 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19227/19227 places, 35417/35417 transitions.
Applied a total of 0 rules in 1328 ms. Remains 19227 /19227 variables (removed 0) and now considering 35417/35417 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1328 ms. Remains : 19227/19227 places, 35417/35417 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19227/19227 places, 35417/35417 transitions.
Applied a total of 0 rules in 1303 ms. Remains 19227 /19227 variables (removed 0) and now considering 35417/35417 (removed 0) transitions.
[2024-06-01 08:45:13] [INFO ] Flow matrix only has 33854 transitions (discarded 1563 similar events)
[2024-06-01 08:45:13] [INFO ] Invariant cache hit.
[2024-06-01 08:45:47] [INFO ] Performed 4378/19227 implicitness test of which 199 returned IMPLICIT in 30 seconds.
[2024-06-01 08:46:17] [INFO ] Performed 7412/19227 implicitness test of which 400 returned IMPLICIT in 60 seconds.
[2024-06-01 08:46:47] [INFO ] Performed 10524/19227 implicitness test of which 649 returned IMPLICIT in 90 seconds.
[2024-06-01 08:47:18] [INFO ] Performed 12520/19227 implicitness test of which 794 returned IMPLICIT in 120 seconds.
[2024-06-01 08:47:49] [INFO ] Performed 14751/19227 implicitness test of which 926 returned IMPLICIT in 152 seconds.
[2024-06-01 08:47:53] [INFO ] Implicit Places with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... after 160080 ms
[2024-06-01 08:47:53] [INFO ] Actually due to overlaps returned [862, 1664, 2412, 3110, 4375, 4947, 5485, 5993, 6476, 6936, 7378, 7806, 8225, 8638, 9049, 9459, 10283, 10702, 11131, 11573, 12033, 12517, 13025, 13565, 14138, 14748, 3763, 9871, 769, 787, 803, 817, 829, 1577, 1593, 1607, 1619, 1631, 2329, 2343, 2355, 2367, 2379, 3029, 3041, 3053, 3065, 3077, 3682, 3694, 3706, 3718, 3730, 4294, 4306, 4318, 4330, 4342, 4866, 4878, 4890, 4902, 4914, 5404, 5416, 5428, 5440, 5452, 5912, 5924, 5936, 5948, 5960, 6394, 6407, 6419, 6431, 6443, 6855, 6867, 6879, 6891, 6903, 7297, 7309, 7321, 7333, 7345, 7725, 7737, 7749, 7761, 7773, 8144, 8156, 8168, 8180, 8192, 8556, 8568, 8580, 8592, 8604, 8968, 8980, 8992, 9004, 9016, 9378, 9390, 9402, 9414, 9426, 9790, 9802, 9814, 9826, 9838, 10202, 10214, 10226, 10238, 10250, 10621, 10633, 10645, 10657, 10669, 11049, 11061, 11073, 11085, 11492, 11504, 11516, 11528, 11540, 11952, 11964, 11976, 11988, 12000, 12436, 12448, 12460, 12472, 12484, 12944, 12956, 12968, 12980, 12992, 13484, 13496, 13508, 13520, 13532, 14056, 14068, 14080, 14092, 14104, 14667, 14679, 14691, 14703, 14715, 15332, 15344, 15356, 15368, 4, 9051, 11097]
Discarding 174 places :
Implicit Place search using SMT only with invariants took 160149 ms to find 174 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 19053/19227 places, 35417/35417 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 19053 transition count 35415
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 19051 transition count 35415
Applied a total of 4 rules in 2652 ms. Remains 19051 /19053 variables (removed 2) and now considering 35415/35417 (removed 2) transitions.
[2024-06-01 08:47:56] [INFO ] Flow matrix only has 33852 transitions (discarded 1563 similar events)
// Phase 1: matrix 33852 rows 19051 cols
[2024-06-01 08:48:10] [INFO ] Computed 1664 invariants in 14090 ms
[2024-06-01 08:48:43] [INFO ] Performed 5647/19051 implicitness test of which 231 returned IMPLICIT in 30 seconds.
[2024-06-01 08:49:13] [INFO ] Performed 9395/19051 implicitness test of which 463 returned IMPLICIT in 60 seconds.
[2024-06-01 08:49:43] [INFO ] Performed 12157/19051 implicitness test of which 639 returned IMPLICIT in 90 seconds.
[2024-06-01 08:50:14] [INFO ] Performed 14578/19051 implicitness test of which 756 returned IMPLICIT in 120 seconds.
[2024-06-01 08:50:46] [INFO ] Performed 18371/19051 implicitness test of which 918 returned IMPLICIT in 153 seconds.
[2024-06-01 08:50:50] [INFO ] Implicit Places using invariants in 174160 ms returned [6, 18, 32, 48, 66, 86, 108, 133, 159, 187, 217, 249, 283, 319, 357, 397, 438, 478, 516, 552, 586, 618, 648, 676, 702, 726, 748, 860, 872, 884, 898, 914, 932, 952, 974, 998, 1024, 1052, 1082, 1114, 1148, 1184, 1222, 1261, 1299, 1335, 1369, 1401, 1431, 1459, 1485, 1509, 1531, 1551, 1656, 1668, 1680, 1692, 1706, 1722, 1740, 1760, 1782, 1806, 1832, 1860, 1890, 1922, 1956, 1992, 2029, 2065, 2099, 2131, 2161, 2189, 2215, 2239, 2261, 2281, 2299, 2398, 2410, 2422, 2434, 2446, 2460, 2476, 2494, 2514, 2536, 2560, 2586, 2614, 2644, 2676, 2710, 2745, 2779, 2811, 2841, 2869, 2895, 2919, 2941, 2961, 2979, 2995, 3090, 3102, 3114, 3126, 3138, 3150, 3164, 3180, 3199, 3219, 3241, 3265, 3291, 3319, 3349, 3381, 3414, 3446, 3476, 3504, 3530, 3554, 3576, 3596, 3614, 3630, 3644, 3737, 3749, 3761, 3773, 3785, 3797, 3809, 3824, 3840, 3858, 3878, 3900, 3924, 3950, 3978, 4008, 4039, 4069, 4097, 4123, 4147, 4169, 4189, 4207, 4224, 4238, 4250, 4343, 4355, 4367, 4379, 4391, 4403, 4415, 4427, 4441, 4457, 4475, 4495, 4517, 4541, 4567, 4595, 4624, 4652, 4678, 4702, 4724, 4744, 4762, 4778, 4792, 4804, 4816, 4909, 4921, 4933, 4945, 4957, 4969, 4981, 4993, 5005, 5019, 5035, 5053, 5073, 5095, 5119, 5145, 5172, 5198, 5222, 5244, 5264, 5282, 5298, 5312, 5324, 5336, 5348, 5441, 5453, 5465, 5477, 5489, 5501, 5513, 5525, 5537, 5549, 5563, 5579, 5597, 5617, 5639, 5663, 5688, 5712, 5734, 5754, 5772, 5788, 5802, 5814, 5826, 5838, 5850, 5943, 5955, 5967, 5979, 5991, 6003, 6015, 6027, 6039, 6051, 6063, 6077, 6093, 6111, 6131, 6153, 6176, 6198, 6218, 6236, 6252, 6266, 6278, 6290, 6302, 6314, 6326, 6420, 6432, 6444, 6456, 6468, 6480, 6492, 6504, 6516, 6528, 6540, 6552, 6566, 6582, 6600, 6620, 6641, 6661, 6679, 6695, 6709, 6721, 6733, 6745, 6757, 6769, 6781, 6874, 6886, 6898, 6910, 6922, 6934, 6946, 6958, 6970, 6982, 6994, 7006, 7018, 7032, 7048, 7066, 7085, 7103, 7119, 7133, 7145, 7157, 7169, 7181, 7193, 7205, 7217, 7310, 7322, 7334, 7346, 7358, 7370, 7382, 7394, 7406, 7418, 7430, 7442, 7454, 7466, 7480, 7496, 7513, 7529, 7543, 7555, 7567, 7579, 7591, 7603, 7615, 7627, 7639, 7732, 7744, 7757, 7769, 7781, 7793, 7805, 7817, 7829, 7841, 7853, 7865, 7877, 7889, 7901, 7915, 7930, 7944, 7956, 7968, 7980, 7992, 8004, 8016, 8028, 8040, 8052, 8145, 8157, 8169, 8181, 8193, 8205, 8217, 8229, 8241, 8253, 8265, 8277, 8289, 8301, 8313, 8325, 8338, 8350, 8362, 8374, 8386, 8398, 8410, 8422, 8434, 8446, 8458, 8552, 8564, 8576, 8588, 8600, 8612, 8624, 8636, 8648, 8660, 8672, 8684, 8696, 8708, 8720, 8732, 8744, 8756, 8768, 8780, 8792, 8804, 8816, 8828, 8840, 8852, 8864, 8955, 8967, 8979, 8991, 9003, 9015, 9027, 9039, 9051, 9063, 9075, 9087, 9099, 9111, 9123, 9135, 9147, 9159, 9171, 9183, 9195, 9207, 9219, 9231, 9243, 9255, 9267, 9359, 9371, 9383, 9395, 9407, 9419, 9431, 9443, 9455, 9467, 9479, 9491, 9503, 9515, 9527, 9539, 9551, 9563, 9575, 9587, 9599, 9612, 9624, 9636, 9648, 9660, 9672, 9765, 9777, 9789, 9801, 9813, 9825, 9837, 9849, 9861, 9873, 9885, 9897, 9909, 9921, 9933, 9945, 9957, 9970, 9982, 9994, 10006, 10018, 10030, 10042, 10054, 10066, 10078, 10171, 10183, 10195, 10207, 10219, 10231, 10243, 10255, 10267, 10279, 10291, 10303, 10315, 10327, 10339, 10351, 10365, 10380, 10394, 10406, 10418, 10431, 10443, 10455, 10467, 10479, 10491, 10584, 10596, 10608, 10620, 10632, 10644, 10656, 10668, 10680, 10692, 10704, 10716, 10728, 10740, 10752, 10766, 10782, 10799, 10815, 10829, 10841, 10853, 10865, 10877, 10889, 10901, 10913, 11007, 11019, 11031, 11043, 11055, 11067, 11079, 11091, 11103, 11115, 11127, 11139, 11151, 11163, 11177, 11193, 11211, 11230, 11248, 11264, 11278, 11290, 11302, 11314, 11326, 11338, 11350, 11443, 11455, 11467, 11479, 11491, 11503, 11515, 11527, 11539, 11551, 11563, 11575, 11587, 11601, 11617, 11635, 11655, 11676, 11696, 11714, 11730, 11744, 11756, 11768, 11780, 11792, 11804, 11897, 11909, 11922, 11935, 11947, 11959, 11971, 11983, 11995, 12007, 12019, 12031, 12045, 12061, 12079, 12099, 12121, 12144, 12166, 12186, 12204, 12220, 12234, 12246, 12258, 12270, 12282, 12375, 12387, 12399, 12411, 12423, 12435, 12447, 12459, 12471, 12483, 12495, 12509, 12525, 12543, 12563, 12585, 12609, 12634, 12658, 12680, 12700, 12718, 12734, 12748, 12760, 12772, 12784, 12877, 12889, 12901, 12913, 12925, 12937, 12949, 12961, 12973, 12985, 12999, 13015, 13033, 13053, 13075, 13099, 13125, 13152, 13180, 13204, 13226, 13246, 13264, 13280, 13294, 13306, 13318, 13411, 13423, 13435, 13447, 13459, 13471, 13483, 13495, 13507, 13521, 13537, 13555, 13575, 13597, 13621, 13647, 13675, 13704, 13732, 13758, 13782, 13804, 13824, 13842, 13858, 13872, 13884, 13978, 13990, 14002, 14014, 14026, 14038, 14050, 14062, 14076, 14092, 14110, 14130, 14152, 14176, 14202, 14230, 14260, 14291, 14321, 14349, 14375, 14399, 14421, 14441, 14459, 14475, 14489, 14582, 14594, 14606, 14618, 14630, 14642, 14654, 14668, 14684, 14702, 14722, 14744, 14768, 14794, 14822, 14852, 14884, 14917, 14950, 14980, 15008, 15034, 15058, 15080, 15100, 15118, 15134, 15148, 15225, 15231, 15243, 15255, 15267, 15279, 15291, 15305, 15321, 15339, 15359, 15381, 15405, 15431, 15459, 15489, 15521, 15555, 15590, 15624, 15657, 15687, 15715, 15741, 15765, 15787, 15807, 15825, 15841, 15855, 15867, 15879, 15891, 15924, 15930, 15942, 15954, 15966, 15978, 15992, 16008, 16026, 16046, 16068, 16092, 16118, 16146, 16176, 16208, 16242, 16278, 16315, 16351, 16385, 16417, 16447, 16475, 16501, 16525, 16547, 16567, 16585, 16601, 16615, 16627, 16639, 16672, 16678, 16690, 16702, 16714, 16728, 16744, 16762, 16782, 16804, 16828, 16854, 16882, 16912, 16944, 16978, 17014, 17052, 17091, 17129, 17165, 17199, 17231, 17261, 17289, 17315, 17339, 17361, 17381, 17399, 17415, 17429, 17441, 17474, 17476, 17479, 17491, 17503, 17517, 17533, 17552, 17572, 17594, 17618, 17644, 17672, 17702, 17734, 17768, 17804, 17842, 17882, 17923, 17963, 18001, 18037, 18072, 18104, 18134, 18162, 18188, 18212, 18234, 18254, 18272, 18288, 18302, 18336]
[2024-06-01 08:50:50] [INFO ] Actually due to overlaps returned [15225, 15924, 16672, 17474, 18336, 6, 18, 32, 48, 66, 86, 108, 133, 159, 187, 217, 249, 283, 319, 357, 397, 438, 478, 516, 552, 586, 618, 648, 676, 702, 726, 748, 860, 872, 884, 898, 914, 932, 952, 974, 998, 1024, 1052, 1082, 1114, 1148, 1184, 1222, 1261, 1299, 1335, 1369, 1401, 1431, 1459, 1485, 1509, 1531, 1551, 1656, 1668, 1680, 1692, 1706, 1722, 1740, 1760, 1782, 1806, 1832, 1860, 1890, 1922, 1956, 1992, 2029, 2065, 2099, 2131, 2161, 2189, 2215, 2239, 2261, 2281, 2299, 2398, 2410, 2422, 2434, 2446, 2460, 2476, 2494, 2514, 2536, 2560, 2586, 2614, 2644, 2676, 2710, 2745, 2779, 2811, 2841, 2869, 2895, 2919, 2941, 2961, 2979, 2995, 3090, 3102, 3114, 3126, 3138, 3150, 3164, 3180, 3199, 3219, 3241, 3265, 3291, 3319, 3349, 3381, 3414, 3446, 3476, 3504, 3530, 3554, 3576, 3596, 3614, 3630, 3644, 3737, 3749, 3761, 3773, 3785, 3797, 3809, 3824, 3840, 3858, 3878, 3900, 3924, 3950, 3978, 4008, 4039, 4069, 4097, 4123, 4147, 4169, 4189, 4207, 4224, 4238, 4250, 4343, 4355, 4367, 4379, 4391, 4403, 4415, 4427, 4441, 4457, 4475, 4495, 4517, 4541, 4567, 4595, 4624, 4652, 4678, 4702, 4724, 4744, 4762, 4778, 4792, 4804, 4816, 4909, 4921, 4933, 4945, 4957, 4969, 4981, 4993, 5005, 5019, 5035, 5053, 5073, 5095, 5119, 5145, 5172, 5198, 5222, 5244, 5264, 5282, 5298, 5312, 5324, 5336, 5348, 5441, 5453, 5465, 5477, 5489, 5501, 5513, 5525, 5537, 5549, 5563, 5579, 5597, 5617, 5639, 5663, 5688, 5712, 5734, 5754, 5772, 5788, 5802, 5814, 5826, 5838, 5850, 5943, 5955, 5967, 5979, 5991, 6003, 6015, 6027, 6039, 6051, 6063, 6077, 6093, 6111, 6131, 6153, 6176, 6198, 6218, 6236, 6252, 6266, 6278, 6290, 6302, 6314, 6326, 6420, 6432, 6444, 6456, 6468, 6480, 6492, 6504, 6516, 6528, 6540, 6552, 6566, 6582, 6600, 6620, 6641, 6661, 6679, 6695, 6709, 6721, 6733, 6745, 6757, 6769, 6781, 6874, 6886, 6898, 6910, 6922, 6934, 6946, 6958, 6970, 6982, 6994, 7006, 7018, 7032, 7048, 7066, 7085, 7103, 7119, 7133, 7145, 7157, 7169, 7181, 7193, 7205, 7217, 7310, 7322, 7334, 7346, 7358, 7370, 7382, 7394, 7406, 7418, 7430, 7442, 7454, 7466, 7480, 7496, 7513, 7529, 7543, 7555, 7567, 7579, 7591, 7603, 7615, 7627, 7639, 7732, 7744, 7757, 7769, 7781, 7793, 7805, 7817, 7829, 7841, 7853, 7865, 7877, 7889, 7901, 7915, 7930, 7944, 7956, 7968, 7980, 7992, 8004, 8016, 8028, 8040, 8052, 8145, 8157, 8169, 8181, 8193, 8205, 8217, 8229, 8241, 8253, 8265, 8277, 8289, 8301, 8313, 8325, 8338, 8350, 8362, 8374, 8386, 8398, 8410, 8422, 8434, 8446, 8458, 8552, 8564, 8576, 8588, 8600, 8612, 8624, 8636, 8648, 8660, 8672, 8684, 8696, 8708, 8720, 8732, 8744, 8756, 8768, 8780, 8792, 8804, 8816, 8828, 8840, 8852, 8864, 8955, 8967, 8979, 8991, 9003, 9015, 9027, 9039, 9051, 9063, 9075, 9087, 9099, 9111, 9123, 9135, 9147, 9159, 9171, 9183, 9195, 9207, 9219, 9231, 9243, 9255, 9267, 9359, 9371, 9383, 9395, 9407, 9419, 9431, 9443, 9455, 9467, 9479, 9491, 9503, 9515, 9527, 9539, 9551, 9563, 9575, 9587, 9599, 9612, 9624, 9636, 9648, 9660, 9672, 9765, 9777, 9789, 9801, 9813, 9825, 9837, 9849, 9861, 9873, 9885, 9897, 9909, 9921, 9933, 9945, 9957, 9970, 9982, 9994, 10006, 10018, 10030, 10042, 10054, 10066, 10078, 10171, 10183, 10195, 10207, 10219, 10231, 10243, 10255, 10267, 10279, 10291, 10303, 10315, 10327, 10339, 10351, 10365, 10380, 10394, 10406, 10418, 10431, 10443, 10455, 10467, 10479, 10491, 10584, 10596, 10608, 10620, 10632, 10644, 10656, 10668, 10680, 10692, 10704, 10716, 10728, 10740, 10752, 10766, 10782, 10799, 10815, 10829, 10841, 10853, 10865, 10877, 10889, 10901, 10913, 11007, 11019, 11031, 11043, 11055, 11067, 11079, 11091, 11103, 11115, 11127, 11139, 11151, 11163, 11177, 11193, 11211, 11230, 11248, 11264, 11278, 11290, 11302, 11314, 11326, 11338, 11350, 11443, 11455, 11467, 11479, 11491, 11503, 11515, 11527, 11539, 11551, 11563, 11575, 11587, 11601, 11617, 11635, 11655, 11676, 11696, 11714, 11730, 11744, 11756, 11768, 11780, 11792, 11804, 11897, 11909, 11922, 11935, 11947, 11959, 11971, 11983, 11995, 12007, 12019, 12031, 12045, 12061, 12079, 12099, 12121, 12144, 12166, 12186, 12204, 12220, 12234, 12246, 12258, 12270, 12282, 12375, 12387, 12399, 12411, 12423, 12435, 12447, 12459, 12471, 12483, 12495, 12509, 12525, 12543, 12563, 12585, 12609, 12634, 12658, 12680, 12700, 12718, 12734, 12748, 12760, 12772, 12784, 12877, 12889, 12901, 12913, 12925, 12937, 12949, 12961, 12973, 12985, 12999, 13015, 13033, 13053, 13075, 13099, 13125, 13180, 13204, 13226, 13246, 13264, 13280, 13294, 13306, 13318, 13411, 13423, 13435, 13447, 13459, 13471, 13483, 13495, 13507, 13521, 13537, 13555, 13575, 13597, 13621, 13647, 13675, 13704, 13732, 13758, 13782, 13804, 13824, 13842, 13858, 13872, 13884, 13978, 13990, 14002, 14014, 14026, 14038, 14050, 14062, 14076, 14092, 14110, 14130, 14152, 14176, 14202, 14230, 14260, 14291, 14321, 14349, 14375, 14399, 14421, 14441, 14459, 14475, 14489, 14582, 14594, 14606, 14618, 14630, 14642, 14654, 14668, 14684, 14702, 14722, 14744, 14768, 14794, 14822, 14852, 14884, 14917, 14950, 14980, 15008, 15034, 15058, 15080, 15100, 15118, 15134, 15148, 15231, 15243, 15255, 15267, 15279, 15291, 15305, 15321, 15339, 15359, 15381, 15405, 15431, 15459, 15489, 15521, 15555, 15590, 15624, 15657, 15687, 15715, 15741, 15765, 15787, 15807, 15825, 15841, 15930, 15942, 15954, 15966, 15978, 15992, 16008, 16026, 16046, 16068, 16092, 16118, 16146, 16176, 16208, 16242, 16278, 16315, 16351, 16385, 16417, 16447, 16475, 16501, 16525, 16547, 16567, 16585, 16678, 16690, 16702, 16714, 16728, 16744, 16762, 16782, 16804, 16828, 16854, 16882, 16912, 16944, 16978, 17014, 17052, 17091, 17129, 17165, 17199, 17231, 17261, 17289, 17315, 17339, 17361, 17381, 17479, 17491, 17503, 17517, 17552, 17572, 17594, 17618, 17644, 17672, 17702, 17734, 17768, 17804, 17842, 17882, 17923, 17963, 18001, 18037, 18072, 18104, 18134, 18162, 18188, 18212, 18234, 13152, 17476, 17533]
Discarding 902 places :
Implicit Place search using SMT only with invariants took 174257 ms to find 902 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 18149/19227 places, 35415/35417 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 18149 transition count 35414
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 18148 transition count 35414
Applied a total of 2 rules in 2412 ms. Remains 18148 /18149 variables (removed 1) and now considering 35414/35415 (removed 1) transitions.
[2024-06-01 08:50:52] [INFO ] Flow matrix only has 33851 transitions (discarded 1563 similar events)
// Phase 1: matrix 33851 rows 18148 cols
[2024-06-01 08:51:04] [INFO ] Computed 762 invariants in 11652 ms
[2024-06-01 08:51:37] [INFO ] Performed 7975/18148 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-06-01 08:52:07] [INFO ] Performed 12402/18148 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2024-06-01 08:52:37] [INFO ] Performed 17469/18148 implicitness test of which 16 returned IMPLICIT in 90 seconds.
[2024-06-01 08:53:07] [INFO ] Performed 17680/18148 implicitness test of which 16 returned IMPLICIT in 120 seconds.
[2024-06-01 08:53:39] [INFO ] Performed 17819/18148 implicitness test of which 16 returned IMPLICIT in 152 seconds.
[2024-06-01 08:53:44] [INFO ] Implicit Places using invariants in 171712 ms returned [15042, 15054, 15066, 15078, 15759, 15773, 15785, 15797, 16528, 16544, 16558, 16570, 17353, 17371, 17387, 17401]
Discarding 16 places :
Implicit Place search using SMT only with invariants took 171737 ms to find 16 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 3 : 18132/19227 places, 35414/35417 transitions.
Applied a total of 0 rules in 1260 ms. Remains 18132 /18132 variables (removed 0) and now considering 35414/35414 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 4 iterations and 513777 ms. Remains : 18132/19227 places, 35414/35417 transitions.
[2024-06-01 08:53:45] [INFO ] Export to MCC of 2 properties in file /home/mcc/execution/ReachabilityCardinality.sr.xml took 3 ms.
[2024-06-01 08:53:45] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 18132 places, 35414 transitions and 193637 arcs took 146 ms.
[2024-06-01 08:53:48] [INFO ] Flatten gal took : 1824 ms
Total runtime 929794 ms.
There are residual formulas that ITS could not solve within timeout
Usage: pnml2lts-sym [-gvqh] [--order=
[--mu-opt] [--saturation=
[--sat-granularity=
[--guidance=
[--action=
[--trace=
[--mu=
[--ctl=
[--save-levels=STRING] [--pg-solve] [--attr=
[--saturating-attractor] [--write-strategy=
[--check-strategy] [--interactive-play] [--player]
[--pg-write=
[--edge-label=
[--mucalc=
[--allow-undefined-edges] [--allow-undefined-values]
[-p|--por=
[--weak=[valmari] (default: uses stronger left-commutativity)]
[--leap] [-r|--regroup=<(T,)+>] [--sloan-w1=
[--cw-max-cols=
[--mh-timeout=
[--graph-metrics] [--regroup-exit] [--regroup-time]
[-g|--pins-guards] [--vset=
[--ldd32-cache=
[--cache-ratio=
[--min-free-nodes=
[--fdd-reorder=
[--vset-cache-diff=
[--next-union] [--peak-nodes] [--maxsum=
[--block-size=
[--debug=
[--timeout=INT] [--version] [-h|--help] [--usage]
[OPTIONS]
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-02
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2023-14
BK_STOP 1717232028496
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -timeout 360 -rebuildPNML
mcc2024
rfs formula name MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2024-02
rfs formula type AG
rfs formula formula --invariant=/tmp/624/inv_0_
rfs formula name MultiCrashLeafsetExtension-PT-S32C10-ReachabilityCardinality-2023-14
rfs formula type AG
rfs formula formula --invariant=/tmp/624/inv_1_
pnml2lts-sym, ** error **: unknown vector set implementation lddmc
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C10"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="ltsminxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool ltsminxred"
echo " Input is MultiCrashLeafsetExtension-PT-S32C10, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r508-tall-171654351100214"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C10.tgz
mv MultiCrashLeafsetExtension-PT-S32C10 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;