About the Execution of LTSMin+red for MultiCrashLeafsetExtension-PT-S24C02
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4039.903 | 3600000.00 | 13779849.00 | 864.70 | ???T?F??FFFTFF?? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r233-tall-167856419400801.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool ltsminxred
Input is MultiCrashLeafsetExtension-PT-S24C02, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r233-tall-167856419400801
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.1M
-rw-r--r-- 1 mcc users 15K Feb 26 02:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 02:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 02:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 02:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 16:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K Feb 26 03:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 26 03:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 26 03:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 26 03:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 7.6M Mar 5 18:22 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-S24C02-CTLCardinality-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1679618876454
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C02
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202303021504
[2023-03-24 00:47:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2023-03-24 00:47:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-24 00:47:58] [INFO ] Load time of PNML (sax parser for PT used): 348 ms
[2023-03-24 00:47:58] [INFO ] Transformed 7032 places.
[2023-03-24 00:47:58] [INFO ] Transformed 10855 transitions.
[2023-03-24 00:47:58] [INFO ] Parsed PT model containing 7032 places and 10855 transitions and 46214 arcs in 485 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 15 ms.
Support contains 176 out of 7032 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 7032/7032 places, 10855/10855 transitions.
Reduce places removed 31 places and 0 transitions.
Iterating post reduction 0 with 31 rules applied. Total rules applied 31 place count 7001 transition count 10855
Discarding 1173 places :
Symmetric choice reduction at 1 with 1173 rule applications. Total rules 1204 place count 5828 transition count 9682
Iterating global reduction 1 with 1173 rules applied. Total rules applied 2377 place count 5828 transition count 9682
Discarding 1047 places :
Symmetric choice reduction at 1 with 1047 rule applications. Total rules 3424 place count 4781 transition count 8635
Iterating global reduction 1 with 1047 rules applied. Total rules applied 4471 place count 4781 transition count 8635
Discarding 486 places :
Symmetric choice reduction at 1 with 486 rule applications. Total rules 4957 place count 4295 transition count 7663
Iterating global reduction 1 with 486 rules applied. Total rules applied 5443 place count 4295 transition count 7663
Applied a total of 5443 rules in 2298 ms. Remains 4295 /7032 variables (removed 2737) and now considering 7663/10855 (removed 3192) transitions.
[2023-03-24 00:48:01] [INFO ] Flow matrix only has 7063 transitions (discarded 600 similar events)
// Phase 1: matrix 7063 rows 4295 cols
[2023-03-24 00:48:01] [INFO ] Computed 782 place invariants in 407 ms
[2023-03-24 00:48:04] [INFO ] Implicit Places using invariants in 3723 ms returned []
[2023-03-24 00:48:04] [INFO ] Flow matrix only has 7063 transitions (discarded 600 similar events)
[2023-03-24 00:48:04] [INFO ] Invariant cache hit.
[2023-03-24 00:48:08] [INFO ] Implicit Places using invariants and state equation in 3692 ms returned []
Implicit Place search using SMT with State Equation took 7448 ms to find 0 implicit places.
[2023-03-24 00:48:08] [INFO ] Flow matrix only has 7063 transitions (discarded 600 similar events)
[2023-03-24 00:48:08] [INFO ] Invariant cache hit.
[2023-03-24 00:48:12] [INFO ] Dead Transitions using invariants and state equation in 4355 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4295/7032 places, 7663/10855 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 14106 ms. Remains : 4295/7032 places, 7663/10855 transitions.
Support contains 176 out of 4295 places after structural reductions.
[2023-03-24 00:48:13] [INFO ] Flatten gal took : 549 ms
[2023-03-24 00:48:14] [INFO ] Flatten gal took : 346 ms
[2023-03-24 00:48:14] [INFO ] Input system was already deterministic with 7663 transitions.
Incomplete random walk after 10000 steps, including 471 resets, run finished after 620 ms. (steps per millisecond=16 ) properties (out of 103) seen :25
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 78) seen :1
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 77) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 77) seen :2
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 75) seen :0
Incomplete Best-First random walk after 1000 steps, including 8 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 75) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 75) seen :1
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 74) seen :1
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 73) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 73) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 73) seen :1
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 1000 steps, including 8 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 1000 steps, including 8 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 1000 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 1000 steps, including 8 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 72) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 72) seen :1
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 71) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 71) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 71) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 71) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 71) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 71) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 71) seen :1
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 1000 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 70) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 70) seen :1
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1000 steps, including 8 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1000 steps, including 8 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1000 steps, including 8 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 69) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 69) seen :0
Running SMT prover for 69 properties.
[2023-03-24 00:48:16] [INFO ] Flow matrix only has 7063 transitions (discarded 600 similar events)
[2023-03-24 00:48:16] [INFO ] Invariant cache hit.
[2023-03-24 00:48:20] [INFO ] [Real]Absence check using 47 positive place invariants in 54 ms returned sat
[2023-03-24 00:48:21] [INFO ] [Real]Absence check using 47 positive and 735 generalized place invariants in 223 ms returned sat
[2023-03-24 00:48:21] [INFO ] After 4873ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0 real:68
[2023-03-24 00:48:25] [INFO ] [Nat]Absence check using 47 positive place invariants in 49 ms returned sat
[2023-03-24 00:48:25] [INFO ] [Nat]Absence check using 47 positive and 735 generalized place invariants in 225 ms returned sat
[2023-03-24 00:48:37] [INFO ] After 10094ms SMT Verify possible using state equation in natural domain returned unsat :38 sat :31
[2023-03-24 00:48:37] [INFO ] State equation strengthened by 2716 read => feed constraints.
[2023-03-24 00:48:41] [INFO ] After 4289ms SMT Verify possible using 2716 Read/Feed constraints in natural domain returned unsat :66 sat :3
[2023-03-24 00:48:46] [INFO ] Deduced a trap composed of 312 places in 3847 ms of which 14 ms to minimize.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:1255)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineResultsWithTraps(DeadlockTester.java:736)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:656)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.checkAtomicPropositionsLogic(AtomicReducerSR.java:105)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.strongReductions(AtomicReducerSR.java:44)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.preSolveForLogic(LTLPropertySolver.java:176)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:626)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-24 00:48:46] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-24 00:48:46] [INFO ] After 25394ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :0 real:68
Fused 69 Parikh solutions to 3 different solutions.
Parikh walk visited 0 properties in 18 ms.
Support contains 5 out of 4295 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4295/4295 places, 7663/7663 transitions.
Graph (complete) has 19367 edges and 4295 vertex of which 4294 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.19 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 21 transitions
Trivial Post-agglo rules discarded 21 transitions
Performed 21 trivial Post agglomeration. Transition count delta: 21
Iterating post reduction 0 with 21 rules applied. Total rules applied 22 place count 4294 transition count 7642
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 1 with 21 rules applied. Total rules applied 43 place count 4273 transition count 7642
Performed 100 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 100 Pre rules applied. Total rules applied 43 place count 4273 transition count 7542
Deduced a syphon composed of 100 places in 4 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 2 with 200 rules applied. Total rules applied 243 place count 4173 transition count 7542
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 282 place count 4134 transition count 7492
Iterating global reduction 2 with 39 rules applied. Total rules applied 321 place count 4134 transition count 7492
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 349 place count 4106 transition count 7436
Iterating global reduction 2 with 28 rules applied. Total rules applied 377 place count 4106 transition count 7436
Performed 29 Post agglomeration using F-continuation condition.Transition count delta: 29
Deduced a syphon composed of 29 places in 5 ms
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 2 with 58 rules applied. Total rules applied 435 place count 4077 transition count 7407
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 456 place count 4056 transition count 7386
Iterating global reduction 2 with 21 rules applied. Total rules applied 477 place count 4056 transition count 7386
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 477 place count 4056 transition count 7384
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 481 place count 4054 transition count 7384
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 502 place count 4033 transition count 7342
Iterating global reduction 2 with 21 rules applied. Total rules applied 523 place count 4033 transition count 7342
Free-agglomeration rule (complex) applied 339 times.
Iterating global reduction 2 with 339 rules applied. Total rules applied 862 place count 4033 transition count 7549
Reduce places removed 339 places and 0 transitions.
Iterating post reduction 2 with 339 rules applied. Total rules applied 1201 place count 3694 transition count 7549
Partial Free-agglomeration rule applied 50 times.
Drop transitions removed 50 transitions
Iterating global reduction 3 with 50 rules applied. Total rules applied 1251 place count 3694 transition count 7549
Applied a total of 1251 rules in 3872 ms. Remains 3694 /4295 variables (removed 601) and now considering 7549/7663 (removed 114) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3874 ms. Remains : 3694/4295 places, 7549/7663 transitions.
Incomplete random walk after 10000 steps, including 765 resets, run finished after 262 ms. (steps per millisecond=38 ) properties (out of 3) seen :1
Incomplete Best-First random walk after 10001 steps, including 91 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 2) seen :1
Incomplete Best-First random walk after 10001 steps, including 91 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
[2023-03-24 00:48:50] [INFO ] Flow matrix only has 6664 transitions (discarded 885 similar events)
// Phase 1: matrix 6664 rows 3694 cols
[2023-03-24 00:48:50] [INFO ] Computed 781 place invariants in 182 ms
[2023-03-24 00:48:51] [INFO ] After 515ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-24 00:48:51] [INFO ] [Nat]Absence check using 49 positive place invariants in 52 ms returned sat
[2023-03-24 00:48:52] [INFO ] [Nat]Absence check using 49 positive and 732 generalized place invariants in 178 ms returned sat
[2023-03-24 00:48:54] [INFO ] After 2744ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-24 00:48:54] [INFO ] State equation strengthened by 3202 read => feed constraints.
[2023-03-24 00:48:58] [INFO ] After 3264ms SMT Verify possible using 3202 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-24 00:49:01] [INFO ] Deduced a trap composed of 309 places in 3386 ms of which 5 ms to minimize.
[2023-03-24 00:49:01] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 3756 ms
[2023-03-24 00:49:02] [INFO ] After 7149ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 186 ms.
[2023-03-24 00:49:02] [INFO ] After 10773ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 5 ms.
Support contains 1 out of 3694 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3694/3694 places, 7549/7549 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 3694 transition count 7547
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 3692 transition count 7547
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 6 place count 3692 transition count 7545
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 8 place count 3690 transition count 7545
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 12 place count 3686 transition count 7541
Iterating global reduction 3 with 4 rules applied. Total rules applied 16 place count 3686 transition count 7541
Applied a total of 16 rules in 1145 ms. Remains 3686 /3694 variables (removed 8) and now considering 7541/7549 (removed 8) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1145 ms. Remains : 3686/3694 places, 7541/7549 transitions.
Incomplete random walk after 10000 steps, including 763 resets, run finished after 170 ms. (steps per millisecond=58 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 91 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 25293 steps, run timeout after 3001 ms. (steps per millisecond=8 ) properties seen :{}
Probabilistic random walk after 25293 steps, saw 11376 distinct states, run finished after 3002 ms. (steps per millisecond=8 ) properties seen :0
Running SMT prover for 1 properties.
[2023-03-24 00:49:06] [INFO ] Flow matrix only has 6656 transitions (discarded 885 similar events)
// Phase 1: matrix 6656 rows 3686 cols
[2023-03-24 00:49:06] [INFO ] Computed 781 place invariants in 209 ms
[2023-03-24 00:49:07] [INFO ] After 389ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-24 00:49:07] [INFO ] [Nat]Absence check using 49 positive place invariants in 57 ms returned sat
[2023-03-24 00:49:07] [INFO ] [Nat]Absence check using 49 positive and 732 generalized place invariants in 200 ms returned sat
[2023-03-24 00:49:10] [INFO ] After 2818ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-24 00:49:10] [INFO ] State equation strengthened by 3202 read => feed constraints.
[2023-03-24 00:49:12] [INFO ] After 2229ms SMT Verify possible using 3202 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-24 00:49:16] [INFO ] Deduced a trap composed of 336 places in 3375 ms of which 5 ms to minimize.
[2023-03-24 00:49:16] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 3758 ms
[2023-03-24 00:49:16] [INFO ] After 6128ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 213 ms.
[2023-03-24 00:49:17] [INFO ] After 9878ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 2 ms.
Support contains 1 out of 3686 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3686/3686 places, 7541/7541 transitions.
Applied a total of 0 rules in 411 ms. Remains 3686 /3686 variables (removed 0) and now considering 7541/7541 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 411 ms. Remains : 3686/3686 places, 7541/7541 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3686/3686 places, 7541/7541 transitions.
Applied a total of 0 rules in 404 ms. Remains 3686 /3686 variables (removed 0) and now considering 7541/7541 (removed 0) transitions.
[2023-03-24 00:49:17] [INFO ] Flow matrix only has 6656 transitions (discarded 885 similar events)
[2023-03-24 00:49:17] [INFO ] Invariant cache hit.
[2023-03-24 00:49:24] [INFO ] Implicit Places using invariants in 7111 ms returned [4, 7, 9, 10, 11, 15, 21, 29, 39, 51, 65, 81, 99, 119, 141, 164, 186, 187, 188, 208, 226, 242, 256, 268, 278, 286, 292, 296, 298, 305, 311, 313, 314, 315, 317, 321, 327, 335, 345, 357, 371, 387, 405, 425, 446, 466, 467, 468, 486, 502, 516, 528, 538, 546, 552, 556, 558, 560, 567, 573, 575, 576, 577, 579, 581, 585, 591, 599, 609, 621, 635, 651, 669, 688, 706, 707, 708, 724, 738, 750, 760, 768, 774, 778, 780, 782, 784, 791, 797, 799, 800, 801, 803, 805, 807, 811, 817, 825, 835, 847, 861, 877, 894, 910, 911, 912, 926, 938, 948, 956, 962, 966, 968, 970, 972, 974, 981, 987, 989, 990, 991, 993, 995, 997, 999, 1003, 1009, 1017, 1027, 1039, 1053, 1068, 1082, 1083, 1084, 1096, 1106, 1114, 1120, 1124, 1126, 1128, 1130, 1132, 1134, 1141, 1147, 1149, 1150, 1151, 1153, 1155, 1157, 1159, 1161, 1165, 1171, 1179, 1189, 1201, 1214, 1226, 1227, 1228, 1238, 1246, 1252, 1256, 1258, 1260, 1262, 1264, 1266, 1268, 1275, 1281, 1283, 1284, 1285, 1287, 1289, 1291, 1293, 1295, 1297, 1301, 1307, 1316, 1326, 1337, 1347, 1348, 1349, 1357, 1363, 1367, 1369, 1371, 1373, 1375, 1377, 1379, 1381, 1388, 1394, 1396, 1397, 1398, 1400, 1402, 1404, 1406, 1408, 1410, 1412, 1416, 1422, 1430, 1439, 1447, 1448, 1449, 1455, 1459, 1461, 1463, 1465, 1467, 1469, 1471, 1473, 1475, 1482, 1488, 1490, 1491, 1492, 1494, 1496, 1498, 1500, 1502, 1504, 1506, 1508, 1512, 1518, 1525, 1531, 1532, 1533, 1537, 1539, 1541, 1543, 1545, 1547, 1549, 1551, 1553, 1555, 1562, 1568, 1570, 1571, 1572, 1574, 1576, 1578, 1580, 1582, 1584, 1586, 1588, 1590, 1594, 1599, 1603, 1604, 1605, 1607, 1609, 1611, 1613, 1615, 1617, 1619, 1621, 1623, 1625, 1632, 1638, 1640, 1641, 1642, 1644, 1646, 1648, 1650, 1652, 1654, 1656, 1658, 1660, 1662, 1665, 1667, 1668, 1669, 1671, 1673, 1675, 1677, 1679, 1681, 1683, 1685, 1687, 1689, 1696, 1702, 1704, 1705, 1706, 1708, 1710, 1712, 1714, 1716, 1718, 1720, 1722, 1724, 1726, 1728, 1730, 1731, 1732, 1734, 1736, 1738, 1740, 1742, 1744, 1746, 1748, 1750, 1752, 1759, 1761, 1764, 1766, 1767, 1768, 1770, 1772, 1774, 1776, 1778, 1780, 1782, 1784, 1786, 1788, 1790, 1792, 1793, 1794, 1796, 1798, 1800, 1802, 1804, 1806, 1808, 1810, 1812, 1814, 1821, 1827, 1829, 1830, 1831, 1833, 1835, 1837, 1839, 1841, 1843, 1845, 1847, 1849, 1851, 1853, 1855, 1856, 1857, 1859, 1861, 1863, 1865, 1867, 1869, 1871, 1873, 1875, 1877, 1884, 1890, 1892, 1893, 1894, 1896, 1898, 1900, 1902, 1904, 1906, 1908, 1910, 1912, 1914, 1916, 1919, 1920, 1921, 1923, 1925, 1927, 1929, 1931, 1933, 1935, 1937, 1939, 1941, 1948, 1954, 1956, 1957, 1958, 1960, 1962, 1964, 1966, 1968, 1970, 1972, 1974, 1976, 1978, 1982, 1987, 1988, 1989, 1993, 1995, 1997, 1999, 2001, 2003, 2005, 2007, 2009, 2011, 2018, 2024, 2026, 2027, 2028, 2030, 2032, 2034, 2036, 2038, 2040, 2042, 2044, 2046, 2050, 2056, 2063, 2064, 2065, 2071, 2075, 2077, 2079, 2081, 2083, 2085, 2087, 2089, 2091, 2098, 2104, 2106, 2107, 2108, 2110, 2112, 2114, 2116, 2118, 2120, 2122, 2124, 2128, 2134, 2142, 2151, 2152, 2153, 2161, 2167, 2171, 2173, 2175, 2177, 2179, 2181, 2183, 2185, 2192, 2198, 2200, 2201, 2202, 2204, 2206, 2208, 2210, 2212, 2214, 2216, 2220, 2226, 2234, 2244, 2255, 2256, 2257, 2267, 2275, 2281, 2285, 2287, 2289, 2291, 2293, 2295, 2297, 2304, 2310, 2312, 2313, 2314, 2316, 2318, 2320, 2322, 2324, 2326, 2330, 2336, 2344, 2354, 2366, 2379, 2380, 2381, 2393, 2403, 2411, 2417, 2421, 2423, 2425, 2427, 2429, 2431, 2438, 2444, 2446, 2447, 2448, 2450, 2452, 2454, 2456, 2458, 2462, 2468, 2476, 2486, 2498, 2512, 2527, 2528, 2529, 2543, 2555, 2565, 2573, 2579, 2583, 2585, 2587, 2589, 2591, 2598, 2604, 2606, 2607, 2608, 2610, 2612, 2614, 2616, 2620, 2626, 2634, 2644, 2656, 2670, 2686, 2703, 2704, 2705, 2721, 2735, 2747, 2757, 2765, 2771, 2775, 2777, 2779, 2781, 2788, 2794, 2796, 2797, 2798, 2800, 2802, 2804, 2808, 2814, 2822, 2832, 2844, 2858, 2874, 2892, 2911, 2912, 2913, 2931, 2947, 2961, 2973, 2983, 2991, 2997, 3001, 3003, 3005, 3012, 3018, 3020, 3021, 3022, 3024, 3026, 3030, 3036, 3044, 3054, 3066, 3080, 3096, 3114, 3134, 3155, 3156, 3157, 3177, 3195, 3211, 3225, 3237, 3247, 3255, 3261, 3265, 3267, 3274, 3276, 3279, 3281, 3282, 3283, 3285, 3289, 3295, 3303, 3313, 3325, 3339, 3355, 3373, 3393, 3415, 3438, 3439, 3440, 3462, 3482, 3500, 3516, 3530, 3542, 3552, 3560, 3566, 3570, 3577]
Discarding 728 places :
Implicit Place search using SMT only with invariants took 7127 ms to find 728 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 2958/3686 places, 7541/7541 transitions.
Discarding 96 places :
Symmetric choice reduction at 0 with 96 rule applications. Total rules 96 place count 2862 transition count 7445
Iterating global reduction 0 with 96 rules applied. Total rules applied 192 place count 2862 transition count 7445
Discarding 96 places :
Symmetric choice reduction at 0 with 96 rule applications. Total rules 288 place count 2766 transition count 7349
Iterating global reduction 0 with 96 rules applied. Total rules applied 384 place count 2766 transition count 7349
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 387 place count 2766 transition count 7346
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 390 place count 2763 transition count 7346
Applied a total of 390 rules in 908 ms. Remains 2763 /2958 variables (removed 195) and now considering 7346/7541 (removed 195) transitions.
[2023-03-24 00:49:25] [INFO ] Flow matrix only has 6461 transitions (discarded 885 similar events)
// Phase 1: matrix 6461 rows 2763 cols
[2023-03-24 00:49:26] [INFO ] Computed 53 place invariants in 193 ms
[2023-03-24 00:49:29] [INFO ] Implicit Places using invariants in 3360 ms returned []
[2023-03-24 00:49:29] [INFO ] Flow matrix only has 6461 transitions (discarded 885 similar events)
[2023-03-24 00:49:29] [INFO ] Invariant cache hit.
[2023-03-24 00:49:30] [INFO ] State equation strengthened by 3202 read => feed constraints.
[2023-03-24 00:49:48] [INFO ] Implicit Places using invariants and state equation in 19078 ms returned []
Implicit Place search using SMT with State Equation took 22441 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 2763/3686 places, 7346/7541 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 30881 ms. Remains : 2763/3686 places, 7346/7541 transitions.
Incomplete random walk after 10000 steps, including 829 resets, run finished after 171 ms. (steps per millisecond=58 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 52 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 29257 steps, run timeout after 3001 ms. (steps per millisecond=9 ) properties seen :{}
Probabilistic random walk after 29257 steps, saw 12087 distinct states, run finished after 3001 ms. (steps per millisecond=9 ) properties seen :0
Running SMT prover for 1 properties.
[2023-03-24 00:49:51] [INFO ] Flow matrix only has 6461 transitions (discarded 885 similar events)
[2023-03-24 00:49:51] [INFO ] Invariant cache hit.
[2023-03-24 00:49:51] [INFO ] After 264ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-24 00:49:52] [INFO ] [Nat]Absence check using 47 positive place invariants in 37 ms returned sat
[2023-03-24 00:49:52] [INFO ] [Nat]Absence check using 47 positive and 6 generalized place invariants in 2 ms returned sat
[2023-03-24 00:49:54] [INFO ] After 2545ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-24 00:49:54] [INFO ] State equation strengthened by 3202 read => feed constraints.
[2023-03-24 00:49:57] [INFO ] After 2670ms SMT Verify possible using 3202 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-24 00:49:59] [INFO ] Deduced a trap composed of 217 places in 1696 ms of which 3 ms to minimize.
[2023-03-24 00:49:59] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 2000 ms
[2023-03-24 00:49:59] [INFO ] After 4804ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 165 ms.
[2023-03-24 00:49:59] [INFO ] After 7880ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 2 ms.
Support contains 1 out of 2763 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2763/2763 places, 7346/7346 transitions.
Applied a total of 0 rules in 291 ms. Remains 2763 /2763 variables (removed 0) and now considering 7346/7346 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 291 ms. Remains : 2763/2763 places, 7346/7346 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2763/2763 places, 7346/7346 transitions.
Applied a total of 0 rules in 295 ms. Remains 2763 /2763 variables (removed 0) and now considering 7346/7346 (removed 0) transitions.
[2023-03-24 00:50:00] [INFO ] Flow matrix only has 6461 transitions (discarded 885 similar events)
[2023-03-24 00:50:00] [INFO ] Invariant cache hit.
[2023-03-24 00:50:03] [INFO ] Implicit Places using invariants in 3552 ms returned []
[2023-03-24 00:50:03] [INFO ] Flow matrix only has 6461 transitions (discarded 885 similar events)
[2023-03-24 00:50:03] [INFO ] Invariant cache hit.
[2023-03-24 00:50:04] [INFO ] State equation strengthened by 3202 read => feed constraints.
[2023-03-24 00:50:24] [INFO ] Implicit Places using invariants and state equation in 20212 ms returned []
Implicit Place search using SMT with State Equation took 23770 ms to find 0 implicit places.
[2023-03-24 00:50:24] [INFO ] Redundant transitions in 758 ms returned []
[2023-03-24 00:50:24] [INFO ] Flow matrix only has 6461 transitions (discarded 885 similar events)
[2023-03-24 00:50:24] [INFO ] Invariant cache hit.
[2023-03-24 00:50:28] [INFO ] Dead Transitions using invariants and state equation in 4071 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 28909 ms. Remains : 2763/2763 places, 7346/7346 transitions.
Successfully simplified 66 atomic propositions for a total of 16 simplifications.
FORMULA MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-24 00:50:29] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2023-03-24 00:50:29] [INFO ] Flatten gal took : 227 ms
[2023-03-24 00:50:29] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C02-CTLCardinality-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-24 00:50:29] [INFO ] Flatten gal took : 256 ms
[2023-03-24 00:50:29] [INFO ] Input system was already deterministic with 7663 transitions.
Support contains 27 out of 4295 places (down from 39) after GAL structural reductions.
Computed a total of 1671 stabilizing places and 2462 stable transitions
Graph (complete) has 26901 edges and 4295 vertex of which 4294 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.36 ms
Starting structural reductions in LTL mode, iteration 0 : 4295/4295 places, 7663/7663 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4294 transition count 7663
Discarding 63 places :
Symmetric choice reduction at 1 with 63 rule applications. Total rules 64 place count 4231 transition count 7589
Iterating global reduction 1 with 63 rules applied. Total rules applied 127 place count 4231 transition count 7589
Discarding 52 places :
Symmetric choice reduction at 1 with 52 rule applications. Total rules 179 place count 4179 transition count 7507
Iterating global reduction 1 with 52 rules applied. Total rules applied 231 place count 4179 transition count 7507
Discarding 22 places :
Symmetric choice reduction at 1 with 22 rule applications. Total rules 253 place count 4157 transition count 7463
Iterating global reduction 1 with 22 rules applied. Total rules applied 275 place count 4157 transition count 7463
Applied a total of 275 rules in 1250 ms. Remains 4157 /4295 variables (removed 138) and now considering 7463/7663 (removed 200) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1252 ms. Remains : 4157/4295 places, 7463/7663 transitions.
[2023-03-24 00:50:31] [INFO ] Flatten gal took : 221 ms
[2023-03-24 00:50:31] [INFO ] Flatten gal took : 220 ms
[2023-03-24 00:50:32] [INFO ] Input system was already deterministic with 7463 transitions.
Starting structural reductions in LTL mode, iteration 0 : 4295/4295 places, 7663/7663 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4294 transition count 7663
Discarding 62 places :
Symmetric choice reduction at 1 with 62 rule applications. Total rules 63 place count 4232 transition count 7590
Iterating global reduction 1 with 62 rules applied. Total rules applied 125 place count 4232 transition count 7590
Discarding 51 places :
Symmetric choice reduction at 1 with 51 rule applications. Total rules 176 place count 4181 transition count 7511
Iterating global reduction 1 with 51 rules applied. Total rules applied 227 place count 4181 transition count 7511
Discarding 23 places :
Symmetric choice reduction at 1 with 23 rule applications. Total rules 250 place count 4158 transition count 7465
Iterating global reduction 1 with 23 rules applied. Total rules applied 273 place count 4158 transition count 7465
Applied a total of 273 rules in 1274 ms. Remains 4158 /4295 variables (removed 137) and now considering 7465/7663 (removed 198) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1275 ms. Remains : 4158/4295 places, 7465/7663 transitions.
[2023-03-24 00:50:33] [INFO ] Flatten gal took : 236 ms
[2023-03-24 00:50:33] [INFO ] Flatten gal took : 228 ms
[2023-03-24 00:50:34] [INFO ] Input system was already deterministic with 7465 transitions.
Starting structural reductions in LTL mode, iteration 0 : 4295/4295 places, 7663/7663 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4294 transition count 7663
Discarding 57 places :
Symmetric choice reduction at 1 with 57 rule applications. Total rules 58 place count 4237 transition count 7596
Iterating global reduction 1 with 57 rules applied. Total rules applied 115 place count 4237 transition count 7596
Discarding 47 places :
Symmetric choice reduction at 1 with 47 rule applications. Total rules 162 place count 4190 transition count 7523
Iterating global reduction 1 with 47 rules applied. Total rules applied 209 place count 4190 transition count 7523
Discarding 21 places :
Symmetric choice reduction at 1 with 21 rule applications. Total rules 230 place count 4169 transition count 7481
Iterating global reduction 1 with 21 rules applied. Total rules applied 251 place count 4169 transition count 7481
Applied a total of 251 rules in 1264 ms. Remains 4169 /4295 variables (removed 126) and now considering 7481/7663 (removed 182) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1265 ms. Remains : 4169/4295 places, 7481/7663 transitions.
[2023-03-24 00:50:35] [INFO ] Flatten gal took : 193 ms
[2023-03-24 00:50:35] [INFO ] Flatten gal took : 219 ms
[2023-03-24 00:50:36] [INFO ] Input system was already deterministic with 7481 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 4295/4295 places, 7663/7663 transitions.
Graph (complete) has 26901 edges and 4295 vertex of which 4294 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.17 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 0 with 23 rules applied. Total rules applied 24 place count 4294 transition count 7640
Reduce places removed 23 places and 0 transitions.
Iterating post reduction 1 with 23 rules applied. Total rules applied 47 place count 4271 transition count 7640
Performed 100 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 100 Pre rules applied. Total rules applied 47 place count 4271 transition count 7540
Deduced a syphon composed of 100 places in 5 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 2 with 200 rules applied. Total rules applied 247 place count 4171 transition count 7540
Discarding 42 places :
Symmetric choice reduction at 2 with 42 rule applications. Total rules 289 place count 4129 transition count 7487
Iterating global reduction 2 with 42 rules applied. Total rules applied 331 place count 4129 transition count 7487
Discarding 31 places :
Symmetric choice reduction at 2 with 31 rule applications. Total rules 362 place count 4098 transition count 7425
Iterating global reduction 2 with 31 rules applied. Total rules applied 393 place count 4098 transition count 7425
Performed 29 Post agglomeration using F-continuation condition.Transition count delta: 29
Deduced a syphon composed of 29 places in 5 ms
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 2 with 58 rules applied. Total rules applied 451 place count 4069 transition count 7396
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 472 place count 4048 transition count 7375
Iterating global reduction 2 with 21 rules applied. Total rules applied 493 place count 4048 transition count 7375
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 493 place count 4048 transition count 7372
Deduced a syphon composed of 3 places in 4 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 499 place count 4045 transition count 7372
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 520 place count 4024 transition count 7330
Iterating global reduction 2 with 21 rules applied. Total rules applied 541 place count 4024 transition count 7330
Applied a total of 541 rules in 2902 ms. Remains 4024 /4295 variables (removed 271) and now considering 7330/7663 (removed 333) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 2902 ms. Remains : 4024/4295 places, 7330/7663 transitions.
[2023-03-24 00:50:39] [INFO ] Flatten gal took : 188 ms
[2023-03-24 00:50:39] [INFO ] Flatten gal took : 212 ms
[2023-03-24 00:50:40] [INFO ] Input system was already deterministic with 7330 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 4295/4295 places, 7663/7663 transitions.
Graph (complete) has 26901 edges and 4295 vertex of which 4294 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.9 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 0 with 23 rules applied. Total rules applied 24 place count 4294 transition count 7640
Reduce places removed 23 places and 0 transitions.
Iterating post reduction 1 with 23 rules applied. Total rules applied 47 place count 4271 transition count 7640
Performed 100 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 100 Pre rules applied. Total rules applied 47 place count 4271 transition count 7540
Deduced a syphon composed of 100 places in 4 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 2 with 200 rules applied. Total rules applied 247 place count 4171 transition count 7540
Discarding 43 places :
Symmetric choice reduction at 2 with 43 rule applications. Total rules 290 place count 4128 transition count 7486
Iterating global reduction 2 with 43 rules applied. Total rules applied 333 place count 4128 transition count 7486
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 365 place count 4096 transition count 7422
Iterating global reduction 2 with 32 rules applied. Total rules applied 397 place count 4096 transition count 7422
Performed 29 Post agglomeration using F-continuation condition.Transition count delta: 29
Deduced a syphon composed of 29 places in 4 ms
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 2 with 58 rules applied. Total rules applied 455 place count 4067 transition count 7393
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 476 place count 4046 transition count 7372
Iterating global reduction 2 with 21 rules applied. Total rules applied 497 place count 4046 transition count 7372
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 497 place count 4046 transition count 7368
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 505 place count 4042 transition count 7368
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 526 place count 4021 transition count 7326
Iterating global reduction 2 with 21 rules applied. Total rules applied 547 place count 4021 transition count 7326
Applied a total of 547 rules in 2467 ms. Remains 4021 /4295 variables (removed 274) and now considering 7326/7663 (removed 337) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 2467 ms. Remains : 4021/4295 places, 7326/7663 transitions.
[2023-03-24 00:50:42] [INFO ] Flatten gal took : 193 ms
[2023-03-24 00:50:42] [INFO ] Flatten gal took : 218 ms
[2023-03-24 00:50:43] [INFO ] Input system was already deterministic with 7326 transitions.
Starting structural reductions in LTL mode, iteration 0 : 4295/4295 places, 7663/7663 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4294 transition count 7663
Discarding 64 places :
Symmetric choice reduction at 1 with 64 rule applications. Total rules 65 place count 4230 transition count 7588
Iterating global reduction 1 with 64 rules applied. Total rules applied 129 place count 4230 transition count 7588
Discarding 53 places :
Symmetric choice reduction at 1 with 53 rule applications. Total rules 182 place count 4177 transition count 7505
Iterating global reduction 1 with 53 rules applied. Total rules applied 235 place count 4177 transition count 7505
Discarding 23 places :
Symmetric choice reduction at 1 with 23 rule applications. Total rules 258 place count 4154 transition count 7459
Iterating global reduction 1 with 23 rules applied. Total rules applied 281 place count 4154 transition count 7459
Applied a total of 281 rules in 1270 ms. Remains 4154 /4295 variables (removed 141) and now considering 7459/7663 (removed 204) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1270 ms. Remains : 4154/4295 places, 7459/7663 transitions.
[2023-03-24 00:50:44] [INFO ] Flatten gal took : 193 ms
[2023-03-24 00:50:45] [INFO ] Flatten gal took : 217 ms
[2023-03-24 00:50:45] [INFO ] Input system was already deterministic with 7459 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 4295/4295 places, 7663/7663 transitions.
Graph (complete) has 26901 edges and 4295 vertex of which 4294 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.9 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 22 transitions
Trivial Post-agglo rules discarded 22 transitions
Performed 22 trivial Post agglomeration. Transition count delta: 22
Iterating post reduction 0 with 22 rules applied. Total rules applied 23 place count 4294 transition count 7641
Reduce places removed 22 places and 0 transitions.
Iterating post reduction 1 with 22 rules applied. Total rules applied 45 place count 4272 transition count 7641
Performed 100 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 100 Pre rules applied. Total rules applied 45 place count 4272 transition count 7541
Deduced a syphon composed of 100 places in 4 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 2 with 200 rules applied. Total rules applied 245 place count 4172 transition count 7541
Discarding 43 places :
Symmetric choice reduction at 2 with 43 rule applications. Total rules 288 place count 4129 transition count 7487
Iterating global reduction 2 with 43 rules applied. Total rules applied 331 place count 4129 transition count 7487
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 363 place count 4097 transition count 7423
Iterating global reduction 2 with 32 rules applied. Total rules applied 395 place count 4097 transition count 7423
Performed 29 Post agglomeration using F-continuation condition.Transition count delta: 29
Deduced a syphon composed of 29 places in 5 ms
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 2 with 58 rules applied. Total rules applied 453 place count 4068 transition count 7394
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 473 place count 4048 transition count 7374
Iterating global reduction 2 with 20 rules applied. Total rules applied 493 place count 4048 transition count 7374
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 493 place count 4048 transition count 7371
Deduced a syphon composed of 3 places in 5 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 499 place count 4045 transition count 7371
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 519 place count 4025 transition count 7331
Iterating global reduction 2 with 20 rules applied. Total rules applied 539 place count 4025 transition count 7331
Applied a total of 539 rules in 2554 ms. Remains 4025 /4295 variables (removed 270) and now considering 7331/7663 (removed 332) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 2557 ms. Remains : 4025/4295 places, 7331/7663 transitions.
[2023-03-24 00:50:48] [INFO ] Flatten gal took : 191 ms
[2023-03-24 00:50:48] [INFO ] Flatten gal took : 213 ms
[2023-03-24 00:50:48] [INFO ] Input system was already deterministic with 7331 transitions.
Starting structural reductions in LTL mode, iteration 0 : 4295/4295 places, 7663/7663 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4294 transition count 7663
Discarding 61 places :
Symmetric choice reduction at 1 with 61 rule applications. Total rules 62 place count 4233 transition count 7591
Iterating global reduction 1 with 61 rules applied. Total rules applied 123 place count 4233 transition count 7591
Discarding 50 places :
Symmetric choice reduction at 1 with 50 rule applications. Total rules 173 place count 4183 transition count 7514
Iterating global reduction 1 with 50 rules applied. Total rules applied 223 place count 4183 transition count 7514
Discarding 23 places :
Symmetric choice reduction at 1 with 23 rule applications. Total rules 246 place count 4160 transition count 7468
Iterating global reduction 1 with 23 rules applied. Total rules applied 269 place count 4160 transition count 7468
Applied a total of 269 rules in 1233 ms. Remains 4160 /4295 variables (removed 135) and now considering 7468/7663 (removed 195) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1235 ms. Remains : 4160/4295 places, 7468/7663 transitions.
[2023-03-24 00:50:50] [INFO ] Flatten gal took : 195 ms
[2023-03-24 00:50:50] [INFO ] Flatten gal took : 218 ms
[2023-03-24 00:50:50] [INFO ] Input system was already deterministic with 7468 transitions.
[2023-03-24 00:50:51] [INFO ] Flatten gal took : 220 ms
[2023-03-24 00:50:51] [INFO ] Flatten gal took : 226 ms
[2023-03-24 00:50:51] [INFO ] Export to MCC of 8 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 1 ms.
[2023-03-24 00:50:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4295 places, 7663 transitions and 35836 arcs took 38 ms.
Total runtime 173230 ms.
There are residual formulas that ITS could not solve within timeout
pnml2lts-sym model.pnml --lace-workers=4 --vset=lddmc --saturation=sat -rbs,w2W,ru,hf --sylvan-sizes=20,28,20,28 --ctl=/tmp/548/ctl_0_ --ctl=/tmp/548/ctl_1_ --ctl=/tmp/548/ctl_2_ --ctl=/tmp/548/ctl_3_ --ctl=/tmp/548/ctl_4_ --ctl=/tmp/548/ctl_5_ --ctl=/tmp/548/ctl_6_ --ctl=/tmp/548/ctl_7_ --mu-par --mu-opt
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12091644 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16082192 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -timeout 360 -rebuildPNML
mcc2023
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-S24C02"
export BK_EXAMINATION="CTLCardinality"
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-5348"
echo " Executing tool ltsminxred"
echo " Input is MultiCrashLeafsetExtension-PT-S24C02, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r233-tall-167856419400801"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C02.tgz
mv MultiCrashLeafsetExtension-PT-S24C02 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;