About the Execution of ITS-Tools for Echo-PT-d04r03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16218.724 | 3600000.00 | 5422398.00 | 308564.00 | FTTTTTT?TTFFTFTF | 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.r165-tall-167838849900111.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 itstools
Input is Echo-PT-d04r03, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r165-tall-167838849900111
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 976K
-rw-r--r-- 1 mcc users 6.6K Feb 25 14:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 14:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 14:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 25 14:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 14:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 25 14:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:03 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 530K 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 Echo-PT-d04r03-ReachabilityFireability-00
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-01
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-02
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-03
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-04
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-05
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-06
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-07
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-08
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-09
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-10
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-11
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-12
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-13
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-14
FORMULA_NAME Echo-PT-d04r03-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1679437986582
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=itstools
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Echo-PT-d04r03
Not applying reductions.
Model is PT
ReachabilityFireability PT
Running Version 202303021504
[2023-03-21 22:33:08] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2023-03-21 22:33:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 22:33:08] [INFO ] Load time of PNML (sax parser for PT used): 116 ms
[2023-03-21 22:33:08] [INFO ] Transformed 1019 places.
[2023-03-21 22:33:08] [INFO ] Transformed 850 transitions.
[2023-03-21 22:33:08] [INFO ] Found NUPN structural information;
[2023-03-21 22:33:08] [INFO ] Parsed PT model containing 1019 places and 850 transitions and 6340 arcs in 206 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 10 ms.
Working with output stream class java.io.PrintStream
[2023-03-21 22:33:09] [INFO ] Flatten gal took : 211 ms
Incomplete random walk after 10000 steps, including 61 resets, run finished after 609 ms. (steps per millisecond=16 ) properties (out of 16) seen :9
FORMULA Echo-PT-d04r03-ReachabilityFireability-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityFireability-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityFireability-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityFireability-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityFireability-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityFireability-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityFireability-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityFireability-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityFireability-00 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2023-03-21 22:33:09] [INFO ] Flatten gal took : 130 ms
[2023-03-21 22:33:09] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1754794954713583176.gal : 32 ms
[2023-03-21 22:33:09] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16891586083856875667.prop : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality1754794954713583176.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16891586083856875667.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 217 ms. (steps per millisecond=46 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 84 ms. (steps per millisecond=119 ) properties (out of 7) seen :1
FORMULA Echo-PT-d04r03-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Loading property file /tmp/ReachabilityCardinality16891586083856875667.prop.
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 57 ms. (steps per millisecond=175 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=106 ) properties (out of 6) seen :1
FORMULA Echo-PT-d04r03-ReachabilityFireability-05 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 58 ms. (steps per millisecond=172 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=98 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 55 ms. (steps per millisecond=181 ) properties (out of 5) seen :1
FORMULA Echo-PT-d04r03-ReachabilityFireability-11 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Running SMT prover for 4 properties.
// Phase 1: matrix 850 rows 1019 cols
[2023-03-21 22:33:09] [INFO ] Computed 513 place invariants in 58 ms
SDD proceeding with computation,16 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,16 properties remain. new max is 8
SDD size :5 after 13
SDD proceeding with computation,16 properties remain. new max is 16
SDD size :13 after 56
SDD proceeding with computation,16 properties remain. new max is 32
SDD size :56 after 328
SDD proceeding with computation,16 properties remain. new max is 64
SDD size :328 after 363
SDD proceeding with computation,16 properties remain. new max is 128
SDD size :363 after 427
[2023-03-21 22:33:11] [INFO ] After 990ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
SDD proceeding with computation,16 properties remain. new max is 256
SDD size :427 after 1400
[2023-03-21 22:33:11] [INFO ] [Nat]Absence check using 115 positive place invariants in 84 ms returned sat
[2023-03-21 22:33:12] [INFO ] [Nat]Absence check using 115 positive and 398 generalized place invariants in 236 ms returned sat
SDD proceeding with computation,16 properties remain. new max is 512
SDD size :1400 after 3901
SDD proceeding with computation,16 properties remain. new max is 1024
SDD size :3901 after 17053
SDD proceeding with computation,16 properties remain. new max is 2048
SDD size :17053 after 29803
[2023-03-21 22:33:36] [INFO ] After 25076ms SMT Verify possible using all constraints in natural domain returned unsat :3 sat :0
FORMULA Echo-PT-d04r03-ReachabilityFireability-10 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA Echo-PT-d04r03-ReachabilityFireability-04 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA Echo-PT-d04r03-ReachabilityFireability-01 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 4 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 33 out of 1019 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1019/1019 places, 850/850 transitions.
Graph (complete) has 4450 edges and 1019 vertex of which 921 are kept as prefixes of interest. Removing 98 places using SCC suffix rule.30 ms
Discarding 98 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 9 place count 921 transition count 841
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 1 with 1 rules applied. Total rules applied 10 place count 920 transition count 840
Applied a total of 10 rules in 370 ms. Remains 920 /1019 variables (removed 99) and now considering 840/850 (removed 10) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 370 ms. Remains : 920/1019 places, 840/850 transitions.
Incomplete random walk after 10000 steps, including 63 resets, run finished after 276 ms. (steps per millisecond=36 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=104 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 442476 steps, run timeout after 3001 ms. (steps per millisecond=147 ) properties seen :{}
Probabilistic random walk after 442476 steps, saw 79525 distinct states, run finished after 3018 ms. (steps per millisecond=146 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 840 rows 920 cols
[2023-03-21 22:33:41] [INFO ] Computed 416 place invariants in 1008 ms
[2023-03-21 22:33:41] [INFO ] After 169ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-21 22:33:51] [INFO ] [Nat]Absence check using 0 positive and 416 generalized place invariants in 9658 ms returned sat
SDD proceeding with computation,16 properties remain. new max is 4096
SDD size :29803 after 276650
[2023-03-21 22:34:00] [INFO ] After 18897ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 0 ms.
Support contains 33 out of 920 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 920/920 places, 840/840 transitions.
Applied a total of 0 rules in 45 ms. Remains 920 /920 variables (removed 0) and now considering 840/840 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 73 ms. Remains : 920/920 places, 840/840 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 920/920 places, 840/840 transitions.
Applied a total of 0 rules in 52 ms. Remains 920 /920 variables (removed 0) and now considering 840/840 (removed 0) transitions.
[2023-03-21 22:34:00] [INFO ] Invariant cache hit.
SDD proceeding with computation,16 properties remain. new max is 8192
SDD size :276650 after 1.29373e+06
[2023-03-21 22:36:40] [INFO ] Performed 261/920 implicitness test of which 4 returned IMPLICIT in 157 seconds.
[2023-03-21 22:36:40] [INFO ] Implicit Places using invariants in 160045 ms returned [162, 196, 208, 261]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 160050 ms to find 4 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 916/920 places, 840/840 transitions.
Applied a total of 0 rules in 27 ms. Remains 916 /916 variables (removed 0) and now considering 840/840 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 160130 ms. Remains : 916/920 places, 840/840 transitions.
Incomplete random walk after 10000 steps, including 64 resets, run finished after 106 ms. (steps per millisecond=94 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 50 ms. (steps per millisecond=200 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 490911 steps, run timeout after 3001 ms. (steps per millisecond=163 ) properties seen :{}
Probabilistic random walk after 490911 steps, saw 87341 distinct states, run finished after 3001 ms. (steps per millisecond=163 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 840 rows 916 cols
[2023-03-21 22:36:44] [INFO ] Computed 412 place invariants in 774 ms
[2023-03-21 22:36:44] [INFO ] After 157ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-21 22:36:54] [INFO ] [Nat]Absence check using 0 positive and 412 generalized place invariants in 9454 ms returned sat
[2023-03-21 22:37:09] [INFO ] After 25015ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 0 ms.
Support contains 33 out of 916 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 916/916 places, 840/840 transitions.
Applied a total of 0 rules in 25 ms. Remains 916 /916 variables (removed 0) and now considering 840/840 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 25 ms. Remains : 916/916 places, 840/840 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 916/916 places, 840/840 transitions.
Applied a total of 0 rules in 25 ms. Remains 916 /916 variables (removed 0) and now considering 840/840 (removed 0) transitions.
[2023-03-21 22:37:09] [INFO ] Invariant cache hit.
SDD proceeding with computation,16 properties remain. new max is 16384
SDD size :1.29373e+06 after 2.07614e+06
[2023-03-21 22:39:49] [INFO ] Performed 349/916 implicitness test of which 1 returned IMPLICIT in 159 seconds.
[2023-03-21 22:39:49] [INFO ] Implicit Places with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... after 160026 ms
Discarding 1 places :
Implicit Place search using SMT only with invariants took 160028 ms to find 1 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 915/916 places, 840/840 transitions.
Applied a total of 0 rules in 25 ms. Remains 915 /915 variables (removed 0) and now considering 840/840 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 160078 ms. Remains : 915/916 places, 840/840 transitions.
Incomplete random walk after 10000 steps, including 64 resets, run finished after 109 ms. (steps per millisecond=91 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 54 ms. (steps per millisecond=185 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 478050 steps, run timeout after 3001 ms. (steps per millisecond=159 ) properties seen :{}
Probabilistic random walk after 478050 steps, saw 85289 distinct states, run finished after 3001 ms. (steps per millisecond=159 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 840 rows 915 cols
[2023-03-21 22:39:53] [INFO ] Computed 411 place invariants in 756 ms
[2023-03-21 22:39:53] [INFO ] After 170ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-21 22:39:54] [INFO ] [Nat]Absence check using 0 positive and 411 generalized place invariants in 776 ms returned sat
[2023-03-21 22:40:05] [INFO ] After 10215ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-21 22:40:14] [INFO ] After 19265ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :0
[2023-03-21 22:40:14] [INFO ] After 20460ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 20 ms.
Support contains 33 out of 915 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 915/915 places, 840/840 transitions.
Applied a total of 0 rules in 22 ms. Remains 915 /915 variables (removed 0) and now considering 840/840 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 22 ms. Remains : 915/915 places, 840/840 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 915/915 places, 840/840 transitions.
Applied a total of 0 rules in 21 ms. Remains 915 /915 variables (removed 0) and now considering 840/840 (removed 0) transitions.
[2023-03-21 22:40:14] [INFO ] Invariant cache hit.
[2023-03-21 22:42:27] [INFO ] Performed 69/915 implicitness test of which 0 returned IMPLICIT in 132 seconds.
[2023-03-21 22:42:27] [INFO ] Timeout of Implicit test with SMT after 132 seconds.
[2023-03-21 22:42:27] [INFO ] Implicit Places using invariants in 133265 ms returned []
[2023-03-21 22:42:27] [INFO ] Invariant cache hit.
[2023-03-21 22:42:47] [INFO ] Implicit Places using invariants and state equation in 19732 ms returned [70]
Discarding 1 places :
Implicit Place search using SMT with State Equation took 153000 ms to find 1 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 914/915 places, 840/840 transitions.
Applied a total of 0 rules in 23 ms. Remains 914 /914 variables (removed 0) and now considering 840/840 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 153045 ms. Remains : 914/915 places, 840/840 transitions.
Incomplete random walk after 10000 steps, including 64 resets, run finished after 113 ms. (steps per millisecond=88 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 48 ms. (steps per millisecond=208 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 477188 steps, run timeout after 3001 ms. (steps per millisecond=159 ) properties seen :{}
Probabilistic random walk after 477188 steps, saw 85104 distinct states, run finished after 3001 ms. (steps per millisecond=159 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 840 rows 914 cols
[2023-03-21 22:42:51] [INFO ] Computed 410 place invariants in 693 ms
[2023-03-21 22:42:51] [INFO ] After 137ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-21 22:43:07] [INFO ] [Nat]Absence check using 0 positive and 410 generalized place invariants in 16269 ms returned sat
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.checkResults(DeadlockTester.java:797)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:631)
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.Application.startNoEx(Application.java:902)
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-21 22:43:16] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-21 22:43:16] [INFO ] After 25031ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:1
Parikh walk visited 0 properties in 0 ms.
Support contains 33 out of 914 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 914/914 places, 840/840 transitions.
Applied a total of 0 rules in 22 ms. Remains 914 /914 variables (removed 0) and now considering 840/840 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 22 ms. Remains : 914/914 places, 840/840 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 914/914 places, 840/840 transitions.
Applied a total of 0 rules in 22 ms. Remains 914 /914 variables (removed 0) and now considering 840/840 (removed 0) transitions.
[2023-03-21 22:43:16] [INFO ] Invariant cache hit.
[2023-03-21 22:43:45] [INFO ] Implicit Places using invariants in 29077 ms returned [211, 223]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 29079 ms to find 2 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 912/914 places, 840/840 transitions.
Applied a total of 0 rules in 22 ms. Remains 912 /912 variables (removed 0) and now considering 840/840 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 29123 ms. Remains : 912/914 places, 840/840 transitions.
Incomplete random walk after 10000 steps, including 63 resets, run finished after 109 ms. (steps per millisecond=91 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 63 ms. (steps per millisecond=158 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 464260 steps, run timeout after 3001 ms. (steps per millisecond=154 ) properties seen :{}
Probabilistic random walk after 464260 steps, saw 82916 distinct states, run finished after 3001 ms. (steps per millisecond=154 ) properties seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 840 rows 912 cols
[2023-03-21 22:43:49] [INFO ] Computed 408 place invariants in 635 ms
[2023-03-21 22:43:49] [INFO ] After 159ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-21 22:43:49] [INFO ] [Nat]Absence check using 0 positive and 408 generalized place invariants in 271 ms returned sat
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.checkResults(DeadlockTester.java:797)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:631)
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.Application.startNoEx(Application.java:902)
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-21 22:44:14] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-21 22:44:14] [INFO ] After 25041ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:1
Parikh walk visited 0 properties in 0 ms.
Support contains 33 out of 912 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 912/912 places, 840/840 transitions.
Applied a total of 0 rules in 25 ms. Remains 912 /912 variables (removed 0) and now considering 840/840 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 25 ms. Remains : 912/912 places, 840/840 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 912/912 places, 840/840 transitions.
Applied a total of 0 rules in 34 ms. Remains 912 /912 variables (removed 0) and now considering 840/840 (removed 0) transitions.
[2023-03-21 22:44:14] [INFO ] Invariant cache hit.
[2023-03-21 22:44:29] [INFO ] Implicit Places using invariants in 14389 ms returned []
[2023-03-21 22:44:29] [INFO ] Invariant cache hit.
SDD proceeding with computation,16 properties remain. new max is 32768
SDD size :2.07614e+06 after 7.42707e+06
[2023-03-21 22:47:09] [INFO ] Performed 740/912 implicitness test of which 0 returned IMPLICIT in 159 seconds.
[2023-03-21 22:47:09] [INFO ] Timeout of Implicit test with SMT after 159 seconds.
[2023-03-21 22:47:09] [INFO ] Implicit Places using invariants and state equation in 160025 ms returned []
Implicit Place search using SMT with State Equation took 174428 ms to find 0 implicit places.
[2023-03-21 22:47:09] [INFO ] Redundant transitions in 67 ms returned []
[2023-03-21 22:47:09] [INFO ] Invariant cache hit.
[2023-03-21 22:47:44] [INFO ] Performed 292/840 'is it Dead' test of which 0 returned DEAD in 35 seconds.
[2023-03-21 22:48:09] [INFO ] Dead Transitions using invariants and state equation in 60013 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 234558 ms. Remains : 912/912 places, 840/840 transitions.
Applied a total of 0 rules in 51 ms. Remains 912 /912 variables (removed 0) and now considering 840/840 (removed 0) transitions.
Running SMT prover for 1 properties.
[2023-03-21 22:48:09] [INFO ] Invariant cache hit.
[2023-03-21 22:48:09] [INFO ] After 151ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-21 22:48:09] [INFO ] [Nat]Absence check using 0 positive and 408 generalized place invariants in 298 ms returned sat
[2023-03-21 22:48:21] [INFO ] After 11097ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-21 22:48:22] [INFO ] After 12562ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 9040 ms.
[2023-03-21 22:48:31] [INFO ] After 22202ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
[2023-03-21 22:48:31] [INFO ] Flatten gal took : 121 ms
[2023-03-21 22:48:31] [INFO ] Flatten gal took : 74 ms
[2023-03-21 22:48:31] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10131001169505860239.gal : 12 ms
[2023-03-21 22:48:31] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9203532136375265880.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality10131001169505860239.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality9203532136375265880.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality9203532136375265880.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 4
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :4 after 12
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :12 after 55
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :55 after 168
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :168 after 202
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :202 after 1107
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :1107 after 4030
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :4030 after 4609
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :4609 after 19668
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :19668 after 28707
Detected timeout of ITS tools.
[2023-03-21 22:48:46] [INFO ] Flatten gal took : 57 ms
[2023-03-21 22:48:46] [INFO ] Applying decomposition
[2023-03-21 22:48:47] [INFO ] Flatten gal took : 52 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph13530395130866203176.txt' '-o' '/tmp/graph13530395130866203176.bin' '-w' '/tmp/graph13530395130866203176.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph13530395130866203176.bin' '-l' '-1' '-v' '-w' '/tmp/graph13530395130866203176.weights' '-q' '0' '-e' '0.001'
[2023-03-21 22:48:47] [INFO ] Decomposing Gal with order
[2023-03-21 22:48:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 22:48:47] [INFO ] Removed a total of 1525 redundant transitions.
[2023-03-21 22:48:47] [INFO ] Flatten gal took : 193 ms
[2023-03-21 22:48:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 254 labels/synchronizations in 46 ms.
[2023-03-21 22:48:47] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8097840169273408783.gal : 17 ms
[2023-03-21 22:48:47] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16139570270629533997.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality8097840169273408783.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16139570270629533997.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Loading property file /tmp/ReachabilityCardinality16139570270629533997.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 29
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :29 after 553
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :553 after 8.40907e+06
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :8.40907e+06 after 8.92323e+06
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin8253992291703612691
[2023-03-21 22:49:02] [INFO ] Built C files in 38ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8253992291703612691
Running compilation step : cd /tmp/ltsmin8253992291703612691;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
Compilation finished in 2341 ms.
Running link step : cd /tmp/ltsmin8253992291703612691;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 42 ms.
Running LTSmin : cd /tmp/ltsmin8253992291703612691;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '--when' '-i' 'EchoPTd04r03ReachabilityFireability07==true'
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
ITS runner failed with exception null
java.lang.InterruptedException
at java.base/java.lang.Object.wait(Native Method)
at java.base/java.lang.Thread.join(Thread.java:1304)
at java.base/java.lang.Thread.join(Thread.java:1372)
at fr.lip6.move.gal.application.runner.AbstractRunner.join(AbstractRunner.java:27)
at fr.lip6.move.gal.application.runner.its.ITSRunner.join(ITSRunner.java:177)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:675)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.lambda$2(ReachabilitySolver.java:63)
at java.base/java.lang.Thread.run(Thread.java:833)
[2023-03-21 22:49:18] [INFO ] Flatten gal took : 56 ms
[2023-03-21 22:49:18] [INFO ] Applying decomposition
[2023-03-21 22:49:18] [INFO ] Flatten gal took : 64 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph8716594376224024437.txt' '-o' '/tmp/graph8716594376224024437.bin' '-w' '/tmp/graph8716594376224024437.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph8716594376224024437.bin' '-l' '-1' '-v' '-w' '/tmp/graph8716594376224024437.weights' '-q' '0' '-e' '0.001'
[2023-03-21 22:49:18] [INFO ] Decomposing Gal with order
[2023-03-21 22:49:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 22:49:18] [INFO ] Removed a total of 1508 redundant transitions.
[2023-03-21 22:49:18] [INFO ] Flatten gal took : 123 ms
[2023-03-21 22:49:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 194 labels/synchronizations in 40 ms.
[2023-03-21 22:49:18] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17717594690206105865.gal : 12 ms
[2023-03-21 22:49:18] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality925161200059545337.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality17717594690206105865.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality925161200059545337.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...307
Loading property file /tmp/ReachabilityCardinality925161200059545337.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :2 after 586
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :586 after 1.03075e+09
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :1.03075e+09 after 1.1884e+10
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :1.1884e+10 after 2.42783e+13
Detected timeout of ITS tools.
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :2.42783e+13 after 3.73588e+13
Detected timeout of ITS tools.
[2023-03-21 23:19:21] [INFO ] Flatten gal took : 582 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin5838439230009472361
[2023-03-21 23:19:22] [INFO ] Computing symmetric may disable matrix : 840 transitions.
[2023-03-21 23:19:22] [INFO ] Computation of Complete disable matrix. took 43 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2023-03-21 23:19:22] [INFO ] Computing symmetric may enable matrix : 840 transitions.
[2023-03-21 23:19:22] [INFO ] Computation of Complete enable matrix. took 17 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2023-03-21 23:19:22] [INFO ] Applying decomposition
[2023-03-21 23:19:22] [INFO ] Flatten gal took : 468 ms
[2023-03-21 23:19:24] [INFO ] Computing Do-Not-Accords matrix : 840 transitions.
[2023-03-21 23:19:24] [INFO ] Computation of Completed DNA matrix. took 31 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2023-03-21 23:19:24] [INFO ] Built C files in 2284ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5838439230009472361
Running compilation step : cd /tmp/ltsmin5838439230009472361;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/limit_time.pl' '720' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph504456798516936378.txt' '-o' '/tmp/graph504456798516936378.bin' '-w' '/tmp/graph504456798516936378.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph504456798516936378.bin' '-l' '-1' '-v' '-w' '/tmp/graph504456798516936378.weights' '-q' '0' '-e' '0.001'
[2023-03-21 23:19:24] [INFO ] Decomposing Gal with order
[2023-03-21 23:19:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 23:19:24] [INFO ] Removed a total of 1408 redundant transitions.
[2023-03-21 23:19:24] [INFO ] Flatten gal took : 87 ms
[2023-03-21 23:19:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 5 ms.
[2023-03-21 23:19:24] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability11584690249627169197.gal : 18 ms
[2023-03-21 23:19:24] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability11966317763438254485.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityFireability11584690249627169197.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityFireability11966317763438254485.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...309
Loading property file /tmp/ReachabilityFireability11966317763438254485.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :8 after 232
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :232 after 4040
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :4040 after 88352
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :88352 after 418576
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :418576 after 1.08109e+09
Compilation finished in 3049 ms.
Running link step : cd /tmp/ltsmin5838439230009472361;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 64 ms.
Running LTSmin : cd /tmp/ltsmin5838439230009472361;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'EchoPTd04r03ReachabilityFireability07==true'
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :1.08109e+09 after 1.72803e+10
pins2lts-mc-linux64, 0.000: Registering PINS so language module
pins2lts-mc-linux64( 5/ 8), 0.000: library has no initializer
pins2lts-mc-linux64( 5/ 8), 0.000: loading model GAL
pins2lts-mc-linux64( 3/ 8), 0.001: library has no initializer
pins2lts-mc-linux64( 3/ 8), 0.001: loading model GAL
pins2lts-mc-linux64( 1/ 8), 0.010: library has no initializer
pins2lts-mc-linux64( 1/ 8), 0.010: loading model GAL
pins2lts-mc-linux64( 2/ 8), 0.025: library has no initializer
pins2lts-mc-linux64( 2/ 8), 0.025: loading model GAL
pins2lts-mc-linux64( 4/ 8), 0.025: library has no initializer
pins2lts-mc-linux64( 4/ 8), 0.025: loading model GAL
pins2lts-mc-linux64( 0/ 8), 0.026: Loading model from ./gal.so
pins2lts-mc-linux64( 0/ 8), 0.026: library has no initializer
pins2lts-mc-linux64( 0/ 8), 0.026: loading model GAL
pins2lts-mc-linux64( 7/ 8), 0.029: library has no initializer
pins2lts-mc-linux64( 7/ 8), 0.031: loading model GAL
pins2lts-mc-linux64( 6/ 8), 0.030: library has no initializer
pins2lts-mc-linux64( 6/ 8), 0.031: loading model GAL
pins2lts-mc-linux64( 5/ 8), 0.198: completed loading model GAL
pins2lts-mc-linux64( 2/ 8), 0.721: completed loading model GAL
pins2lts-mc-linux64( 4/ 8), 1.097: completed loading model GAL
pins2lts-mc-linux64( 3/ 8), 1.108: completed loading model GAL
pins2lts-mc-linux64( 6/ 8), 1.187: completed loading model GAL
pins2lts-mc-linux64( 7/ 8), 1.199: completed loading model GAL
pins2lts-mc-linux64( 0/ 8), 1.203: completed loading model GAL
pins2lts-mc-linux64( 0/ 8), 1.203: Initializing POR dependencies: labels 841, guards 840
pins2lts-mc-linux64( 1/ 8), 1.219: completed loading model GAL
pins2lts-mc-linux64( 0/ 8), 18.816: Forcing use of the an ignoring proviso (closed-set)
pins2lts-mc-linux64( 6/ 8), 18.839: "EchoPTd04r03ReachabilityFireability07==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 4/ 8), 18.839: "EchoPTd04r03ReachabilityFireability07==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 2/ 8), 18.840: "EchoPTd04r03ReachabilityFireability07==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 5/ 8), 18.840: "EchoPTd04r03ReachabilityFireability07==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 7/ 8), 18.840: "EchoPTd04r03ReachabilityFireability07==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 1/ 8), 18.842: "EchoPTd04r03ReachabilityFireability07==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 0/ 8), 18.841: "EchoPTd04r03ReachabilityFireability07==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 3/ 8), 18.842: "EchoPTd04r03ReachabilityFireability07==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 0/ 8), 18.842: There are 841 state labels and 1 edge labels
pins2lts-mc-linux64( 0/ 8), 18.842: State length is 912, there are 840 groups
pins2lts-mc-linux64( 0/ 8), 18.842: Running bfs using 8 cores
pins2lts-mc-linux64( 0/ 8), 18.842: Using a non-indexing tree table with 2^27 elements
pins2lts-mc-linux64( 0/ 8), 18.842: Successor permutation: none
pins2lts-mc-linux64( 0/ 8), 18.842: Visible groups: 0 / 840, labels: 1 / 841
pins2lts-mc-linux64( 0/ 8), 18.842: POR cycle proviso: closed-set
pins2lts-mc-linux64( 0/ 8), 18.842: Global bits: 0, count bits: 0, local bits: 0
pins2lts-mc-linux64( 1/ 8), 19.400: ~2 levels ~960 states ~19432 transitions
pins2lts-mc-linux64( 1/ 8), 19.765: ~2 levels ~1920 states ~39680 transitions
pins2lts-mc-linux64( 1/ 8), 20.448: ~3 levels ~3840 states ~84184 transitions
pins2lts-mc-linux64( 1/ 8), 25.759: ~3 levels ~7680 states ~177272 transitions
pins2lts-mc-linux64( 1/ 8), 30.404: ~3 levels ~15360 states ~366248 transitions
pins2lts-mc-linux64( 1/ 8), 35.826: ~4 levels ~30720 states ~767296 transitions
pins2lts-mc-linux64( 5/ 8), 47.341: ~3 levels ~61440 states ~1634968 transitions
pins2lts-mc-linux64( 5/ 8), 68.849: ~3 levels ~122880 states ~3354744 transitions
pins2lts-mc-linux64( 1/ 8), 112.750: ~5 levels ~245760 states ~6799760 transitions
pins2lts-mc-linux64( 1/ 8), 205.289: ~5 levels ~491520 states ~14207664 transitions
pins2lts-mc-linux64( 0/ 8), 325.862: Error: tree leafs table full! Change -s/--ratio.
pins2lts-mc-linux64( 0/ 8), 326.368:
pins2lts-mc-linux64( 0/ 8), 326.368: mean standard work distribution: 7.5% (states) 1.8% (transitions)
pins2lts-mc-linux64( 0/ 8), 326.369:
pins2lts-mc-linux64( 0/ 8), 326.369: Explored 707950 states 22693894 transitions, fanout: 32.056
pins2lts-mc-linux64( 0/ 8), 326.369: Total exploration time 307.520 sec (307.030 sec minimum, 307.241 sec on average)
pins2lts-mc-linux64( 0/ 8), 326.369: States per second: 2302, Transitions per second: 73796
pins2lts-mc-linux64( 0/ 8), 326.369: Ignoring proviso: 0
pins2lts-mc-linux64( 0/ 8), 326.369:
pins2lts-mc-linux64( 0/ 8), 326.369: Queue width: 8B, total height: 7278320, memory: 55.53MB
pins2lts-mc-linux64( 0/ 8), 326.369: Tree memory: 316.9MB, 41.6 B/state, compr.: 1.1%
pins2lts-mc-linux64( 0/ 8), 326.369: Tree fill ratio (roots/leafs): 5.0%/99.0%
pins2lts-mc-linux64( 0/ 8), 326.369: Stored 857 string chucks using 0MB
pins2lts-mc-linux64( 0/ 8), 326.369: Total memory used for chunk indexing: 0MB
pins2lts-mc-linux64( 0/ 8), 326.369: Est. total memory use: 372.5MB (~1079.5MB paged-in)
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Unexpected exception when executing ltsmin :cd /tmp/ltsmin5838439230009472361;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'EchoPTd04r03ReachabilityFireability07==true'
255
java.lang.RuntimeException: Unexpected exception when executing ltsmin :cd /tmp/ltsmin5838439230009472361;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'EchoPTd04r03ReachabilityFireability07==true'
255
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner.checkProperty(LTSminRunner.java:240)
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.checkProperties(LTSminRunner.java:175)
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:113)
at java.base/java.lang.Thread.run(Thread.java:833)
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :1.72803e+10 after 9.40072e+13
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11588176 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15786284 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ 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//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
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="Echo-PT-d04r03"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool itstools"
echo " Input is Echo-PT-d04r03, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r165-tall-167838849900111"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d04r03.tgz
mv Echo-PT-d04r03 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;