About the Execution of ITS-Tools for ShieldPPPs-PT-050B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11056.567 | 3600000.00 | 11001092.00 | 36576.30 | ?TFFFFFFF?FFTTFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r216-tall-162098205400670.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is ShieldPPPs-PT-050B, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r216-tall-162098205400670
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 141K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 12:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 12:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 18:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 888K May 5 16:52 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 ShieldPPPs-PT-050B-ReachabilityCardinality-00
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-01
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-02
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-03
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-04
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-05
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-06
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-07
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-08
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-09
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-10
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-11
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-12
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-13
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-14
FORMULA_NAME ShieldPPPs-PT-050B-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1621158966174
Running Version 0
[2021-05-16 09:56:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-16 09:56:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 09:56:19] [INFO ] Load time of PNML (sax parser for PT used): 175 ms
[2021-05-16 09:56:19] [INFO ] Transformed 3403 places.
[2021-05-16 09:56:19] [INFO ] Transformed 3153 transitions.
[2021-05-16 09:56:19] [INFO ] Found NUPN structural information;
[2021-05-16 09:56:19] [INFO ] Parsed PT model containing 3403 places and 3153 transitions in 387 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 11 ms.
Working with output stream class java.io.PrintStream
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=51 ) properties (out of 10) seen :3
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-07 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 7) seen :0
Running SMT prover for 7 properties.
// Phase 1: matrix 3153 rows 3403 cols
[2021-05-16 09:56:20] [INFO ] Computed 551 place invariants in 55 ms
[2021-05-16 09:56:21] [INFO ] [Real]Absence check using 551 positive place invariants in 256 ms returned sat
[2021-05-16 09:56:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 09:56:23] [INFO ] [Real]Absence check using state equation in 1715 ms returned sat
[2021-05-16 09:56:36] [INFO ] Deduced a trap composed of 18 places in 2723 ms of which 15 ms to minimize.
[2021-05-16 09:56:36] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 0
[2021-05-16 09:56:36] [INFO ] [Real]Absence check using 551 positive place invariants in 246 ms returned sat
[2021-05-16 09:56:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 09:56:38] [INFO ] [Real]Absence check using state equation in 1788 ms returned sat
[2021-05-16 09:56:40] [INFO ] Deduced a trap composed of 30 places in 1070 ms of which 3 ms to minimize.
[2021-05-16 09:56:41] [INFO ] Deduced a trap composed of 14 places in 1076 ms of which 2 ms to minimize.
[2021-05-16 09:56:41] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 1
[2021-05-16 09:56:42] [INFO ] [Real]Absence check using 551 positive place invariants in 252 ms returned sat
[2021-05-16 09:56:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 09:56:43] [INFO ] [Real]Absence check using state equation in 1726 ms returned sat
[2021-05-16 09:56:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 09:56:44] [INFO ] [Nat]Absence check using 551 positive place invariants in 248 ms returned sat
[2021-05-16 09:56:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 09:56:46] [INFO ] [Nat]Absence check using state equation in 1762 ms returned sat
[2021-05-16 09:56:47] [INFO ] Deduced a trap composed of 21 places in 982 ms of which 2 ms to minimize.
[2021-05-16 09:56:48] [INFO ] Deduced a trap composed of 20 places in 917 ms of which 2 ms to minimize.
[2021-05-16 09:56:49] [INFO ] Deduced a trap composed of 22 places in 953 ms of which 13 ms to minimize.
[2021-05-16 09:56:49] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 2
[2021-05-16 09:56:50] [INFO ] [Real]Absence check using 551 positive place invariants in 268 ms returned sat
[2021-05-16 09:56:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 09:56:52] [INFO ] [Real]Absence check using state equation in 1632 ms returned sat
[2021-05-16 09:56:53] [INFO ] Deduced a trap composed of 26 places in 1097 ms of which 2 ms to minimize.
[2021-05-16 09:56:54] [INFO ] Deduced a trap composed of 20 places in 1123 ms of which 1 ms to minimize.
[2021-05-16 09:56:54] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 3
[2021-05-16 09:56:55] [INFO ] [Real]Absence check using 551 positive place invariants in 238 ms returned sat
[2021-05-16 09:56:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 09:56:57] [INFO ] [Real]Absence check using state equation in 1560 ms returned sat
[2021-05-16 09:56:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 09:56:58] [INFO ] [Nat]Absence check using 551 positive place invariants in 232 ms returned sat
[2021-05-16 09:56:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 09:56:59] [INFO ] [Nat]Absence check using state equation in 1649 ms returned sat
[2021-05-16 09:57:00] [INFO ] Deduced a trap composed of 21 places in 1020 ms of which 2 ms to minimize.
[2021-05-16 09:57:01] [INFO ] Deduced a trap composed of 24 places in 1037 ms of which 2 ms to minimize.
[2021-05-16 09:57:03] [INFO ] Deduced a trap composed of 20 places in 974 ms of which 1 ms to minimize.
[2021-05-16 09:57:03] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 4
[2021-05-16 09:57:03] [INFO ] [Real]Absence check using 551 positive place invariants in 244 ms returned sat
[2021-05-16 09:57:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 09:57:05] [INFO ] [Real]Absence check using state equation in 1939 ms returned sat
[2021-05-16 09:57:06] [INFO ] Deduced a trap composed of 22 places in 1003 ms of which 2 ms to minimize.
[2021-05-16 09:57:08] [INFO ] Deduced a trap composed of 34 places in 1019 ms of which 2 ms to minimize.
[2021-05-16 09:57:08] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 5
[2021-05-16 09:57:08] [INFO ] [Real]Absence check using 551 positive place invariants in 239 ms returned sat
[2021-05-16 09:57:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 09:57:10] [INFO ] [Real]Absence check using state equation in 1662 ms returned sat
[2021-05-16 09:57:10] [INFO ] Solution in real domain found non-integer solution.
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-13 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 7 Parikh solutions to 1 different solutions.
Support contains 32 out of 3403 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3403/3403 places, 3153/3153 transitions.
Drop transitions removed 340 transitions
Trivial Post-agglo rules discarded 340 transitions
Performed 340 trivial Post agglomeration. Transition count delta: 340
Iterating post reduction 0 with 340 rules applied. Total rules applied 340 place count 3403 transition count 2813
Reduce places removed 340 places and 0 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Iterating post reduction 1 with 347 rules applied. Total rules applied 687 place count 3063 transition count 2806
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 2 with 7 rules applied. Total rules applied 694 place count 3056 transition count 2806
Performed 248 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 248 Pre rules applied. Total rules applied 694 place count 3056 transition count 2558
Deduced a syphon composed of 248 places in 8 ms
Reduce places removed 248 places and 0 transitions.
Iterating global reduction 3 with 496 rules applied. Total rules applied 1190 place count 2808 transition count 2558
Discarding 345 places :
Symmetric choice reduction at 3 with 345 rule applications. Total rules 1535 place count 2463 transition count 2213
Iterating global reduction 3 with 345 rules applied. Total rules applied 1880 place count 2463 transition count 2213
Performed 143 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 143 Pre rules applied. Total rules applied 1880 place count 2463 transition count 2070
Deduced a syphon composed of 143 places in 13 ms
Reduce places removed 143 places and 0 transitions.
Iterating global reduction 3 with 286 rules applied. Total rules applied 2166 place count 2320 transition count 2070
Performed 742 Post agglomeration using F-continuation condition.Transition count delta: 742
Deduced a syphon composed of 742 places in 4 ms
Reduce places removed 742 places and 0 transitions.
Iterating global reduction 3 with 1484 rules applied. Total rules applied 3650 place count 1578 transition count 1328
Renaming transitions due to excessive name length > 1024 char.
Partial Free-agglomeration rule applied 432 times.
Drop transitions removed 432 transitions
Iterating global reduction 3 with 432 rules applied. Total rules applied 4082 place count 1578 transition count 1328
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 4083 place count 1577 transition count 1327
Applied a total of 4083 rules in 1481 ms. Remains 1577 /3403 variables (removed 1826) and now considering 1327/3153 (removed 1826) transitions.
Finished structural reductions, in 1 iterations. Remains : 1577/3403 places, 1327/3153 transitions.
[2021-05-16 09:57:13] [INFO ] Flatten gal took : 170 ms
[2021-05-16 09:57:13] [INFO ] Flatten gal took : 109 ms
[2021-05-16 09:57:13] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3405529759847228082.gal : 34 ms
[2021-05-16 09:57:13] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9985001332601531436.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality3405529759847228082.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9985001332601531436.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality3405529759847228082.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9985001332601531436.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality9985001332601531436.prop.
SDD proceeding with computation,6 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,6 properties remain. new max is 8
SDD size :3 after 6
SDD proceeding with computation,6 properties remain. new max is 16
SDD size :6 after 12
SDD proceeding with computation,6 properties remain. new max is 32
SDD size :12 after 36
SDD proceeding with computation,6 properties remain. new max is 64
SDD size :36 after 108
SDD proceeding with computation,6 properties remain. new max is 128
SDD size :108 after 648
SDD proceeding with computation,6 properties remain. new max is 256
SDD size :648 after 27366
SDD proceeding with computation,6 properties remain. new max is 512
SDD size :27366 after 27853
SDD proceeding with computation,6 properties remain. new max is 1024
SDD size :27853 after 332703
SDD proceeding with computation,6 properties remain. new max is 2048
SDD size :332703 after 411374
Detected timeout of ITS tools.
[2021-05-16 09:57:28] [INFO ] Flatten gal took : 100 ms
[2021-05-16 09:57:28] [INFO ] Applying decomposition
[2021-05-16 09:57:28] [INFO ] Flatten gal took : 81 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph5049251173031290619.txt, -o, /tmp/graph5049251173031290619.bin, -w, /tmp/graph5049251173031290619.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph5049251173031290619.bin, -l, -1, -v, -w, /tmp/graph5049251173031290619.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 09:57:28] [INFO ] Decomposing Gal with order
[2021-05-16 09:57:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 09:57:29] [INFO ] Removed a total of 690 redundant transitions.
[2021-05-16 09:57:29] [INFO ] Flatten gal took : 192 ms
[2021-05-16 09:57:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 1325 labels/synchronizations in 61 ms.
[2021-05-16 09:57:29] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15020806509300923031.gal : 21 ms
[2021-05-16 09:57:29] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6695002689224708325.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality15020806509300923031.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6695002689224708325.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality15020806509300923031.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6695002689224708325.prop --nowitness
Loading property file /tmp/ReachabilityCardinality6695002689224708325.prop.
SDD proceeding with computation,6 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,6 properties remain. new max is 8
SDD size :1 after 3
SDD proceeding with computation,6 properties remain. new max is 16
SDD size :3 after 12
SDD proceeding with computation,6 properties remain. new max is 32
SDD size :12 after 12
SDD proceeding with computation,6 properties remain. new max is 64
SDD size :12 after 12
SDD proceeding with computation,6 properties remain. new max is 128
SDD size :12 after 36
SDD proceeding with computation,6 properties remain. new max is 256
SDD size :36 after 1.90234e+11
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin9471884299635224393
[2021-05-16 09:57:44] [INFO ] Built C files in 27ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9471884299635224393
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9471884299635224393]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9471884299635224393] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9471884299635224393] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 156 resets, run finished after 13926 ms. (steps per millisecond=71 ) properties (out of 6) seen :4
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-050B-ReachabilityCardinality-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Interrupted Best-First random walk after 678460 steps, including 3 resets, run timeout after 5001 ms. (steps per millisecond=135 ) properties seen :{}
Interrupted Best-First random walk after 689009 steps, including 5 resets, run timeout after 5001 ms. (steps per millisecond=137 ) properties seen :{}
Running SMT prover for 2 properties.
// Phase 1: matrix 1327 rows 1577 cols
[2021-05-16 09:58:09] [INFO ] Computed 551 place invariants in 63 ms
[2021-05-16 09:58:10] [INFO ] [Real]Absence check using 527 positive place invariants in 104 ms returned sat
[2021-05-16 09:58:10] [INFO ] [Real]Absence check using 527 positive and 24 generalized place invariants in 4 ms returned sat
[2021-05-16 09:58:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 09:58:10] [INFO ] [Real]Absence check using state equation in 603 ms returned sat
[2021-05-16 09:58:10] [INFO ] Deduced a trap composed of 9 places in 129 ms of which 1 ms to minimize.
[2021-05-16 09:58:11] [INFO ] Deduced a trap composed of 6 places in 122 ms of which 1 ms to minimize.
[2021-05-16 09:58:11] [INFO ] Deduced a trap composed of 7 places in 119 ms of which 0 ms to minimize.
[2021-05-16 09:58:11] [INFO ] Deduced a trap composed of 5 places in 117 ms of which 1 ms to minimize.
[2021-05-16 09:58:11] [INFO ] Deduced a trap composed of 6 places in 108 ms of which 1 ms to minimize.
[2021-05-16 09:58:11] [INFO ] Deduced a trap composed of 6 places in 91 ms of which 1 ms to minimize.
[2021-05-16 09:58:11] [INFO ] Deduced a trap composed of 9 places in 102 ms of which 1 ms to minimize.
[2021-05-16 09:58:11] [INFO ] Deduced a trap composed of 5 places in 92 ms of which 1 ms to minimize.
[2021-05-16 09:58:12] [INFO ] Deduced a trap composed of 8 places in 87 ms of which 0 ms to minimize.
[2021-05-16 09:58:12] [INFO ] Deduced a trap composed of 10 places in 83 ms of which 1 ms to minimize.
[2021-05-16 09:58:12] [INFO ] Deduced a trap composed of 5 places in 62 ms of which 0 ms to minimize.
[2021-05-16 09:58:12] [INFO ] Deduced a trap composed of 6 places in 75 ms of which 3 ms to minimize.
[2021-05-16 09:58:12] [INFO ] Deduced a trap composed of 12 places in 83 ms of which 0 ms to minimize.
[2021-05-16 09:58:12] [INFO ] Deduced a trap composed of 9 places in 68 ms of which 1 ms to minimize.
[2021-05-16 09:58:12] [INFO ] Deduced a trap composed of 11 places in 68 ms of which 0 ms to minimize.
[2021-05-16 09:58:12] [INFO ] Deduced a trap composed of 9 places in 64 ms of which 1 ms to minimize.
[2021-05-16 09:58:13] [INFO ] Deduced a trap composed of 9 places in 59 ms of which 1 ms to minimize.
[2021-05-16 09:58:13] [INFO ] Deduced a trap composed of 6 places in 59 ms of which 1 ms to minimize.
[2021-05-16 09:58:13] [INFO ] Deduced a trap composed of 12 places in 84 ms of which 0 ms to minimize.
[2021-05-16 09:58:13] [INFO ] Trap strengthening (SAT) tested/added 20/19 trap constraints in 2680 ms
[2021-05-16 09:58:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 09:58:13] [INFO ] [Nat]Absence check using 527 positive place invariants in 88 ms returned sat
[2021-05-16 09:58:13] [INFO ] [Nat]Absence check using 527 positive and 24 generalized place invariants in 4 ms returned sat
[2021-05-16 09:58:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 09:58:14] [INFO ] [Nat]Absence check using state equation in 544 ms returned sat
[2021-05-16 09:58:14] [INFO ] Deduced a trap composed of 4 places in 190 ms of which 0 ms to minimize.
[2021-05-16 09:58:14] [INFO ] Deduced a trap composed of 6 places in 176 ms of which 5 ms to minimize.
[2021-05-16 09:58:14] [INFO ] Deduced a trap composed of 6 places in 198 ms of which 1 ms to minimize.
[2021-05-16 09:58:15] [INFO ] Deduced a trap composed of 4 places in 201 ms of which 0 ms to minimize.
[2021-05-16 09:58:15] [INFO ] Deduced a trap composed of 5 places in 197 ms of which 0 ms to minimize.
[2021-05-16 09:58:15] [INFO ] Deduced a trap composed of 6 places in 212 ms of which 1 ms to minimize.
[2021-05-16 09:58:15] [INFO ] Deduced a trap composed of 6 places in 177 ms of which 1 ms to minimize.
[2021-05-16 09:58:16] [INFO ] Deduced a trap composed of 7 places in 175 ms of which 1 ms to minimize.
[2021-05-16 09:58:16] [INFO ] Deduced a trap composed of 5 places in 178 ms of which 1 ms to minimize.
[2021-05-16 09:58:16] [INFO ] Deduced a trap composed of 3 places in 175 ms of which 0 ms to minimize.
[2021-05-16 09:58:16] [INFO ] Deduced a trap composed of 6 places in 196 ms of which 1 ms to minimize.
[2021-05-16 09:58:17] [INFO ] Deduced a trap composed of 8 places in 195 ms of which 0 ms to minimize.
[2021-05-16 09:58:17] [INFO ] Deduced a trap composed of 5 places in 199 ms of which 1 ms to minimize.
[2021-05-16 09:58:17] [INFO ] Deduced a trap composed of 9 places in 196 ms of which 0 ms to minimize.
[2021-05-16 09:58:17] [INFO ] Deduced a trap composed of 6 places in 192 ms of which 1 ms to minimize.
[2021-05-16 09:58:18] [INFO ] Deduced a trap composed of 6 places in 184 ms of which 1 ms to minimize.
[2021-05-16 09:58:18] [INFO ] Deduced a trap composed of 6 places in 177 ms of which 1 ms to minimize.
[2021-05-16 09:58:18] [INFO ] Deduced a trap composed of 6 places in 175 ms of which 1 ms to minimize.
[2021-05-16 09:58:18] [INFO ] Deduced a trap composed of 9 places in 147 ms of which 1 ms to minimize.
[2021-05-16 09:58:18] [INFO ] Deduced a trap composed of 6 places in 149 ms of which 0 ms to minimize.
[2021-05-16 09:58:19] [INFO ] Deduced a trap composed of 7 places in 154 ms of which 0 ms to minimize.
[2021-05-16 09:58:19] [INFO ] Deduced a trap composed of 4 places in 135 ms of which 1 ms to minimize.
[2021-05-16 09:58:19] [INFO ] Deduced a trap composed of 4 places in 153 ms of which 0 ms to minimize.
[2021-05-16 09:58:19] [INFO ] Deduced a trap composed of 10 places in 130 ms of which 1 ms to minimize.
[2021-05-16 09:58:19] [INFO ] Deduced a trap composed of 9 places in 124 ms of which 1 ms to minimize.
[2021-05-16 09:58:20] [INFO ] Deduced a trap composed of 4 places in 124 ms of which 0 ms to minimize.
[2021-05-16 09:58:20] [INFO ] Deduced a trap composed of 6 places in 117 ms of which 0 ms to minimize.
[2021-05-16 09:58:20] [INFO ] Deduced a trap composed of 6 places in 68 ms of which 0 ms to minimize.
[2021-05-16 09:58:20] [INFO ] Deduced a trap composed of 4 places in 68 ms of which 1 ms to minimize.
[2021-05-16 09:58:20] [INFO ] Deduced a trap composed of 4 places in 67 ms of which 0 ms to minimize.
[2021-05-16 09:58:20] [INFO ] Deduced a trap composed of 17 places in 61 ms of which 1 ms to minimize.
[2021-05-16 09:58:20] [INFO ] Trap strengthening (SAT) tested/added 32/31 trap constraints in 6481 ms
[2021-05-16 09:58:20] [INFO ] Computed and/alt/rep : 1317/4043/1317 causal constraints (skipped 0 transitions) in 89 ms.
[2021-05-16 09:58:40] [INFO ] Added : 900 causal constraints over 180 iterations in 20110 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 48 ms.
[2021-05-16 09:58:41] [INFO ] [Real]Absence check using 527 positive place invariants in 87 ms returned sat
[2021-05-16 09:58:41] [INFO ] [Real]Absence check using 527 positive and 24 generalized place invariants in 4 ms returned sat
[2021-05-16 09:58:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 09:58:41] [INFO ] [Real]Absence check using state equation in 652 ms returned sat
[2021-05-16 09:58:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 09:58:42] [INFO ] [Nat]Absence check using 527 positive place invariants in 93 ms returned sat
[2021-05-16 09:58:42] [INFO ] [Nat]Absence check using 527 positive and 24 generalized place invariants in 4 ms returned sat
[2021-05-16 09:58:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 09:58:42] [INFO ] [Nat]Absence check using state equation in 586 ms returned sat
[2021-05-16 09:58:42] [INFO ] Deduced a trap composed of 6 places in 185 ms of which 1 ms to minimize.
[2021-05-16 09:58:43] [INFO ] Deduced a trap composed of 6 places in 163 ms of which 0 ms to minimize.
[2021-05-16 09:58:43] [INFO ] Deduced a trap composed of 6 places in 168 ms of which 0 ms to minimize.
[2021-05-16 09:58:43] [INFO ] Deduced a trap composed of 6 places in 141 ms of which 1 ms to minimize.
[2021-05-16 09:58:43] [INFO ] Deduced a trap composed of 14 places in 141 ms of which 1 ms to minimize.
[2021-05-16 09:58:43] [INFO ] Deduced a trap composed of 5 places in 145 ms of which 1 ms to minimize.
[2021-05-16 09:58:44] [INFO ] Deduced a trap composed of 5 places in 123 ms of which 1 ms to minimize.
[2021-05-16 09:58:44] [INFO ] Deduced a trap composed of 6 places in 136 ms of which 1 ms to minimize.
[2021-05-16 09:58:44] [INFO ] Deduced a trap composed of 11 places in 128 ms of which 1 ms to minimize.
[2021-05-16 09:58:44] [INFO ] Deduced a trap composed of 6 places in 117 ms of which 1 ms to minimize.
[2021-05-16 09:58:44] [INFO ] Deduced a trap composed of 6 places in 123 ms of which 1 ms to minimize.
[2021-05-16 09:58:45] [INFO ] Deduced a trap composed of 9 places in 127 ms of which 0 ms to minimize.
[2021-05-16 09:58:45] [INFO ] Deduced a trap composed of 6 places in 122 ms of which 1 ms to minimize.
[2021-05-16 09:58:45] [INFO ] Deduced a trap composed of 8 places in 120 ms of which 0 ms to minimize.
[2021-05-16 09:58:45] [INFO ] Deduced a trap composed of 5 places in 120 ms of which 1 ms to minimize.
[2021-05-16 09:58:45] [INFO ] Deduced a trap composed of 8 places in 116 ms of which 1 ms to minimize.
[2021-05-16 09:58:45] [INFO ] Deduced a trap composed of 9 places in 113 ms of which 0 ms to minimize.
[2021-05-16 09:58:45] [INFO ] Deduced a trap composed of 9 places in 89 ms of which 0 ms to minimize.
[2021-05-16 09:58:46] [INFO ] Deduced a trap composed of 8 places in 90 ms of which 0 ms to minimize.
[2021-05-16 09:58:46] [INFO ] Deduced a trap composed of 6 places in 89 ms of which 0 ms to minimize.
[2021-05-16 09:58:46] [INFO ] Deduced a trap composed of 10 places in 87 ms of which 0 ms to minimize.
[2021-05-16 09:58:46] [INFO ] Deduced a trap composed of 6 places in 99 ms of which 0 ms to minimize.
[2021-05-16 09:58:46] [INFO ] Deduced a trap composed of 6 places in 95 ms of which 1 ms to minimize.
[2021-05-16 09:58:46] [INFO ] Deduced a trap composed of 17 places in 96 ms of which 1 ms to minimize.
[2021-05-16 09:58:46] [INFO ] Deduced a trap composed of 30 places in 79 ms of which 0 ms to minimize.
[2021-05-16 09:58:46] [INFO ] Trap strengthening (SAT) tested/added 26/25 trap constraints in 4214 ms
[2021-05-16 09:58:47] [INFO ] Computed and/alt/rep : 1317/4043/1317 causal constraints (skipped 0 transitions) in 60 ms.
[2021-05-16 09:59:07] [INFO ] Added : 915 causal constraints over 183 iterations in 20188 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 54 ms.
Incomplete Parikh walk after 111100 steps, including 1004 resets, run finished after 1221 ms. (steps per millisecond=90 ) properties (out of 2) seen :0 could not realise parikh vector
Incomplete Parikh walk after 150000 steps, including 974 resets, run finished after 1572 ms. (steps per millisecond=95 ) properties (out of 2) seen :0 could not realise parikh vector
Support contains 11 out of 1577 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1577/1577 places, 1327/1327 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1577 transition count 1325
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 1575 transition count 1325
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 4 place count 1575 transition count 1323
Deduced a syphon composed of 2 places in 7 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 8 place count 1573 transition count 1323
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 2 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 26 place count 1564 transition count 1314
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 2 with 6 rules applied. Total rules applied 32 place count 1564 transition count 1314
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 33 place count 1563 transition count 1313
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 34 place count 1562 transition count 1312
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 35 place count 1561 transition count 1311
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 36 place count 1560 transition count 1310
Applied a total of 36 rules in 1616 ms. Remains 1560 /1577 variables (removed 17) and now considering 1310/1327 (removed 17) transitions.
Finished structural reductions, in 1 iterations. Remains : 1560/1577 places, 1310/1327 transitions.
[2021-05-16 09:59:11] [INFO ] Flatten gal took : 59 ms
[2021-05-16 09:59:11] [INFO ] Flatten gal took : 58 ms
[2021-05-16 09:59:11] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12281332036412935597.gal : 7 ms
[2021-05-16 09:59:11] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13615383716352503062.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality12281332036412935597.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality13615383716352503062.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality12281332036412935597.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality13615383716352503062.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality13615383716352503062.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :3 after 6
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :6 after 18
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :18 after 126
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :126 after 161
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :161 after 221
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :221 after 509
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :509 after 1826
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :1826 after 305839
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :305839 after 386118
Detected timeout of ITS tools.
[2021-05-16 09:59:26] [INFO ] Flatten gal took : 63 ms
[2021-05-16 09:59:26] [INFO ] Applying decomposition
[2021-05-16 09:59:27] [INFO ] Flatten gal took : 55 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph3270900692200558788.txt, -o, /tmp/graph3270900692200558788.bin, -w, /tmp/graph3270900692200558788.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph3270900692200558788.bin, -l, -1, -v, -w, /tmp/graph3270900692200558788.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 09:59:27] [INFO ] Decomposing Gal with order
[2021-05-16 09:59:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 09:59:27] [INFO ] Removed a total of 651 redundant transitions.
[2021-05-16 09:59:27] [INFO ] Flatten gal took : 216 ms
[2021-05-16 09:59:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 1378 labels/synchronizations in 37 ms.
[2021-05-16 09:59:27] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2061982688878621888.gal : 13 ms
[2021-05-16 09:59:27] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7604159250737369792.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality2061982688878621888.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7604159250737369792.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality2061982688878621888.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7604159250737369792.prop --nowitness
Loading property file /tmp/ReachabilityCardinality7604159250737369792.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :1 after 31812
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin5906133401173893917
[2021-05-16 09:59:42] [INFO ] Built C files in 36ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5906133401173893917
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5906133401173893917]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5906133401173893917] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5906133401173893917] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 140 resets, run finished after 13742 ms. (steps per millisecond=72 ) properties (out of 2) seen :0
Interrupted Best-First random walk after 680723 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=136 ) properties seen :{}
Interrupted Best-First random walk after 709008 steps, including 5 resets, run timeout after 5001 ms. (steps per millisecond=141 ) properties seen :{}
Interrupted probabilistic random walk after 1115675 steps, run timeout after 30001 ms. (steps per millisecond=37 ) properties seen :{}
Probabilistic random walk after 1115675 steps, saw 428736 distinct states, run finished after 30001 ms. (steps per millisecond=37 ) properties seen :{}
Running SMT prover for 2 properties.
// Phase 1: matrix 1310 rows 1560 cols
[2021-05-16 10:00:37] [INFO ] Computed 551 place invariants in 65 ms
[2021-05-16 10:00:38] [INFO ] [Real]Absence check using 523 positive place invariants in 96 ms returned sat
[2021-05-16 10:00:38] [INFO ] [Real]Absence check using 523 positive and 28 generalized place invariants in 6 ms returned sat
[2021-05-16 10:00:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 10:00:38] [INFO ] [Real]Absence check using state equation in 563 ms returned sat
[2021-05-16 10:00:38] [INFO ] Deduced a trap composed of 4 places in 123 ms of which 1 ms to minimize.
[2021-05-16 10:00:39] [INFO ] Deduced a trap composed of 8 places in 135 ms of which 0 ms to minimize.
[2021-05-16 10:00:39] [INFO ] Deduced a trap composed of 6 places in 125 ms of which 0 ms to minimize.
[2021-05-16 10:00:39] [INFO ] Deduced a trap composed of 8 places in 126 ms of which 0 ms to minimize.
[2021-05-16 10:00:39] [INFO ] Deduced a trap composed of 6 places in 130 ms of which 1 ms to minimize.
[2021-05-16 10:00:39] [INFO ] Deduced a trap composed of 4 places in 107 ms of which 0 ms to minimize.
[2021-05-16 10:00:39] [INFO ] Deduced a trap composed of 6 places in 110 ms of which 1 ms to minimize.
[2021-05-16 10:00:40] [INFO ] Deduced a trap composed of 6 places in 109 ms of which 1 ms to minimize.
[2021-05-16 10:00:40] [INFO ] Deduced a trap composed of 6 places in 106 ms of which 1 ms to minimize.
[2021-05-16 10:00:40] [INFO ] Deduced a trap composed of 6 places in 95 ms of which 1 ms to minimize.
[2021-05-16 10:00:40] [INFO ] Deduced a trap composed of 9 places in 95 ms of which 0 ms to minimize.
[2021-05-16 10:00:40] [INFO ] Deduced a trap composed of 17 places in 85 ms of which 0 ms to minimize.
[2021-05-16 10:00:40] [INFO ] Deduced a trap composed of 6 places in 75 ms of which 0 ms to minimize.
[2021-05-16 10:00:40] [INFO ] Deduced a trap composed of 6 places in 76 ms of which 0 ms to minimize.
[2021-05-16 10:00:40] [INFO ] Trap strengthening (SAT) tested/added 15/14 trap constraints in 2215 ms
[2021-05-16 10:00:40] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 10:00:41] [INFO ] [Nat]Absence check using 523 positive place invariants in 93 ms returned sat
[2021-05-16 10:00:41] [INFO ] [Nat]Absence check using 523 positive and 28 generalized place invariants in 5 ms returned sat
[2021-05-16 10:00:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 10:00:41] [INFO ] [Nat]Absence check using state equation in 583 ms returned sat
[2021-05-16 10:00:42] [INFO ] Deduced a trap composed of 4 places in 147 ms of which 1 ms to minimize.
[2021-05-16 10:00:42] [INFO ] Deduced a trap composed of 6 places in 158 ms of which 1 ms to minimize.
[2021-05-16 10:00:42] [INFO ] Deduced a trap composed of 6 places in 152 ms of which 0 ms to minimize.
[2021-05-16 10:00:42] [INFO ] Deduced a trap composed of 9 places in 150 ms of which 1 ms to minimize.
[2021-05-16 10:00:42] [INFO ] Deduced a trap composed of 6 places in 151 ms of which 1 ms to minimize.
[2021-05-16 10:00:43] [INFO ] Deduced a trap composed of 9 places in 155 ms of which 0 ms to minimize.
[2021-05-16 10:00:43] [INFO ] Deduced a trap composed of 5 places in 132 ms of which 0 ms to minimize.
[2021-05-16 10:00:43] [INFO ] Deduced a trap composed of 5 places in 118 ms of which 0 ms to minimize.
[2021-05-16 10:00:43] [INFO ] Deduced a trap composed of 8 places in 104 ms of which 0 ms to minimize.
[2021-05-16 10:00:43] [INFO ] Deduced a trap composed of 6 places in 108 ms of which 0 ms to minimize.
[2021-05-16 10:00:43] [INFO ] Deduced a trap composed of 9 places in 108 ms of which 0 ms to minimize.
[2021-05-16 10:00:43] [INFO ] Deduced a trap composed of 5 places in 91 ms of which 0 ms to minimize.
[2021-05-16 10:00:44] [INFO ] Deduced a trap composed of 6 places in 101 ms of which 0 ms to minimize.
[2021-05-16 10:00:44] [INFO ] Deduced a trap composed of 6 places in 98 ms of which 0 ms to minimize.
[2021-05-16 10:00:44] [INFO ] Deduced a trap composed of 6 places in 99 ms of which 1 ms to minimize.
[2021-05-16 10:00:44] [INFO ] Deduced a trap composed of 6 places in 91 ms of which 1 ms to minimize.
[2021-05-16 10:00:44] [INFO ] Deduced a trap composed of 6 places in 100 ms of which 0 ms to minimize.
[2021-05-16 10:00:44] [INFO ] Deduced a trap composed of 6 places in 81 ms of which 1 ms to minimize.
[2021-05-16 10:00:44] [INFO ] Deduced a trap composed of 6 places in 81 ms of which 0 ms to minimize.
[2021-05-16 10:00:45] [INFO ] Deduced a trap composed of 10 places in 83 ms of which 0 ms to minimize.
[2021-05-16 10:00:45] [INFO ] Deduced a trap composed of 5 places in 82 ms of which 1 ms to minimize.
[2021-05-16 10:00:45] [INFO ] Deduced a trap composed of 4 places in 78 ms of which 1 ms to minimize.
[2021-05-16 10:00:45] [INFO ] Deduced a trap composed of 11 places in 77 ms of which 1 ms to minimize.
[2021-05-16 10:00:45] [INFO ] Deduced a trap composed of 8 places in 68 ms of which 1 ms to minimize.
[2021-05-16 10:00:45] [INFO ] Deduced a trap composed of 6 places in 66 ms of which 0 ms to minimize.
[2021-05-16 10:00:45] [INFO ] Deduced a trap composed of 17 places in 72 ms of which 0 ms to minimize.
[2021-05-16 10:00:45] [INFO ] Deduced a trap composed of 8 places in 57 ms of which 0 ms to minimize.
[2021-05-16 10:00:45] [INFO ] Deduced a trap composed of 3 places in 62 ms of which 0 ms to minimize.
[2021-05-16 10:00:46] [INFO ] Deduced a trap composed of 9 places in 78 ms of which 0 ms to minimize.
[2021-05-16 10:00:46] [INFO ] Deduced a trap composed of 6 places in 68 ms of which 0 ms to minimize.
[2021-05-16 10:00:46] [INFO ] Trap strengthening (SAT) tested/added 31/30 trap constraints in 4453 ms
[2021-05-16 10:00:46] [INFO ] Computed and/alt/rep : 1305/3911/1305 causal constraints (skipped 0 transitions) in 81 ms.
[2021-05-16 10:01:06] [INFO ] Added : 935 causal constraints over 187 iterations in 20280 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 55 ms.
[2021-05-16 10:01:06] [INFO ] [Real]Absence check using 523 positive place invariants in 112 ms returned sat
[2021-05-16 10:01:07] [INFO ] [Real]Absence check using 523 positive and 28 generalized place invariants in 31 ms returned sat
[2021-05-16 10:01:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 10:01:07] [INFO ] [Real]Absence check using state equation in 553 ms returned sat
[2021-05-16 10:01:07] [INFO ] Deduced a trap composed of 9 places in 164 ms of which 1 ms to minimize.
[2021-05-16 10:01:08] [INFO ] Deduced a trap composed of 4 places in 162 ms of which 0 ms to minimize.
[2021-05-16 10:01:08] [INFO ] Deduced a trap composed of 6 places in 143 ms of which 1 ms to minimize.
[2021-05-16 10:01:08] [INFO ] Deduced a trap composed of 6 places in 115 ms of which 1 ms to minimize.
[2021-05-16 10:01:08] [INFO ] Deduced a trap composed of 5 places in 128 ms of which 1 ms to minimize.
[2021-05-16 10:01:08] [INFO ] Deduced a trap composed of 6 places in 125 ms of which 1 ms to minimize.
[2021-05-16 10:01:08] [INFO ] Deduced a trap composed of 7 places in 119 ms of which 1 ms to minimize.
[2021-05-16 10:01:09] [INFO ] Deduced a trap composed of 9 places in 100 ms of which 1 ms to minimize.
[2021-05-16 10:01:09] [INFO ] Deduced a trap composed of 6 places in 102 ms of which 0 ms to minimize.
[2021-05-16 10:01:09] [INFO ] Deduced a trap composed of 4 places in 96 ms of which 0 ms to minimize.
[2021-05-16 10:01:09] [INFO ] Deduced a trap composed of 8 places in 78 ms of which 0 ms to minimize.
[2021-05-16 10:01:09] [INFO ] Deduced a trap composed of 6 places in 90 ms of which 1 ms to minimize.
[2021-05-16 10:01:09] [INFO ] Deduced a trap composed of 4 places in 89 ms of which 1 ms to minimize.
[2021-05-16 10:01:09] [INFO ] Deduced a trap composed of 7 places in 87 ms of which 0 ms to minimize.
[2021-05-16 10:01:10] [INFO ] Deduced a trap composed of 6 places in 87 ms of which 1 ms to minimize.
[2021-05-16 10:01:10] [INFO ] Deduced a trap composed of 11 places in 75 ms of which 0 ms to minimize.
[2021-05-16 10:01:10] [INFO ] Deduced a trap composed of 11 places in 65 ms of which 0 ms to minimize.
[2021-05-16 10:01:10] [INFO ] Deduced a trap composed of 11 places in 66 ms of which 0 ms to minimize.
[2021-05-16 10:01:10] [INFO ] Deduced a trap composed of 6 places in 57 ms of which 1 ms to minimize.
[2021-05-16 10:01:10] [INFO ] Deduced a trap composed of 10 places in 57 ms of which 0 ms to minimize.
[2021-05-16 10:01:10] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 3022 ms
[2021-05-16 10:01:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 10:01:10] [INFO ] [Nat]Absence check using 523 positive place invariants in 92 ms returned sat
[2021-05-16 10:01:10] [INFO ] [Nat]Absence check using 523 positive and 28 generalized place invariants in 5 ms returned sat
[2021-05-16 10:01:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 10:01:11] [INFO ] [Nat]Absence check using state equation in 539 ms returned sat
[2021-05-16 10:01:11] [INFO ] Deduced a trap composed of 9 places in 161 ms of which 0 ms to minimize.
[2021-05-16 10:01:11] [INFO ] Deduced a trap composed of 4 places in 165 ms of which 1 ms to minimize.
[2021-05-16 10:01:12] [INFO ] Deduced a trap composed of 6 places in 132 ms of which 0 ms to minimize.
[2021-05-16 10:01:12] [INFO ] Deduced a trap composed of 6 places in 135 ms of which 0 ms to minimize.
[2021-05-16 10:01:12] [INFO ] Deduced a trap composed of 6 places in 131 ms of which 1 ms to minimize.
[2021-05-16 10:01:12] [INFO ] Deduced a trap composed of 6 places in 125 ms of which 1 ms to minimize.
[2021-05-16 10:01:12] [INFO ] Deduced a trap composed of 8 places in 110 ms of which 1 ms to minimize.
[2021-05-16 10:01:12] [INFO ] Deduced a trap composed of 4 places in 103 ms of which 0 ms to minimize.
[2021-05-16 10:01:13] [INFO ] Deduced a trap composed of 6 places in 111 ms of which 1 ms to minimize.
[2021-05-16 10:01:13] [INFO ] Deduced a trap composed of 5 places in 95 ms of which 0 ms to minimize.
[2021-05-16 10:01:13] [INFO ] Deduced a trap composed of 6 places in 101 ms of which 0 ms to minimize.
[2021-05-16 10:01:13] [INFO ] Deduced a trap composed of 9 places in 110 ms of which 1 ms to minimize.
[2021-05-16 10:01:13] [INFO ] Deduced a trap composed of 4 places in 110 ms of which 0 ms to minimize.
[2021-05-16 10:01:13] [INFO ] Deduced a trap composed of 8 places in 109 ms of which 0 ms to minimize.
[2021-05-16 10:01:14] [INFO ] Deduced a trap composed of 8 places in 106 ms of which 1 ms to minimize.
[2021-05-16 10:01:14] [INFO ] Deduced a trap composed of 6 places in 95 ms of which 0 ms to minimize.
[2021-05-16 10:01:14] [INFO ] Deduced a trap composed of 11 places in 87 ms of which 0 ms to minimize.
[2021-05-16 10:01:14] [INFO ] Deduced a trap composed of 11 places in 75 ms of which 0 ms to minimize.
[2021-05-16 10:01:14] [INFO ] Deduced a trap composed of 7 places in 63 ms of which 0 ms to minimize.
[2021-05-16 10:01:14] [INFO ] Deduced a trap composed of 10 places in 70 ms of which 0 ms to minimize.
[2021-05-16 10:01:14] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 3198 ms
[2021-05-16 10:01:14] [INFO ] Computed and/alt/rep : 1305/3911/1305 causal constraints (skipped 0 transitions) in 70 ms.
[2021-05-16 10:01:35] [INFO ] Added : 930 causal constraints over 186 iterations in 20672 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 50 ms.
Incomplete Parikh walk after 119700 steps, including 1009 resets, run finished after 1323 ms. (steps per millisecond=90 ) properties (out of 2) seen :0 could not realise parikh vector
Incomplete Parikh walk after 121700 steps, including 1006 resets, run finished after 1377 ms. (steps per millisecond=88 ) properties (out of 2) seen :0 could not realise parikh vector
Support contains 11 out of 1560 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1560/1560 places, 1310/1310 transitions.
Applied a total of 0 rules in 53 ms. Remains 1560 /1560 variables (removed 0) and now considering 1310/1310 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1560/1560 places, 1310/1310 transitions.
Starting structural reductions, iteration 0 : 1560/1560 places, 1310/1310 transitions.
Applied a total of 0 rules in 54 ms. Remains 1560 /1560 variables (removed 0) and now considering 1310/1310 (removed 0) transitions.
// Phase 1: matrix 1310 rows 1560 cols
[2021-05-16 10:01:38] [INFO ] Computed 551 place invariants in 17 ms
[2021-05-16 10:01:39] [INFO ] Implicit Places using invariants in 953 ms returned []
// Phase 1: matrix 1310 rows 1560 cols
[2021-05-16 10:01:39] [INFO ] Computed 551 place invariants in 16 ms
[2021-05-16 10:01:41] [INFO ] Implicit Places using invariants and state equation in 1862 ms returned []
Implicit Place search using SMT with State Equation took 2817 ms to find 0 implicit places.
[2021-05-16 10:01:41] [INFO ] Redundant transitions in 78 ms returned []
// Phase 1: matrix 1310 rows 1560 cols
[2021-05-16 10:01:41] [INFO ] Computed 551 place invariants in 16 ms
[2021-05-16 10:01:42] [INFO ] Dead Transitions using invariants and state equation in 823 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1560/1560 places, 1310/1310 transitions.
Incomplete random walk after 100000 steps, including 14 resets, run finished after 1345 ms. (steps per millisecond=74 ) properties (out of 2) seen :0
Running SMT prover for 2 properties.
// Phase 1: matrix 1310 rows 1560 cols
[2021-05-16 10:01:43] [INFO ] Computed 551 place invariants in 16 ms
[2021-05-16 10:01:43] [INFO ] [Real]Absence check using 523 positive place invariants in 82 ms returned sat
[2021-05-16 10:01:43] [INFO ] [Real]Absence check using 523 positive and 28 generalized place invariants in 4 ms returned sat
[2021-05-16 10:01:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 10:01:44] [INFO ] [Real]Absence check using state equation in 544 ms returned sat
[2021-05-16 10:01:44] [INFO ] Deduced a trap composed of 4 places in 129 ms of which 1 ms to minimize.
[2021-05-16 10:01:44] [INFO ] Deduced a trap composed of 8 places in 123 ms of which 1 ms to minimize.
[2021-05-16 10:01:44] [INFO ] Deduced a trap composed of 6 places in 111 ms of which 1 ms to minimize.
[2021-05-16 10:01:44] [INFO ] Deduced a trap composed of 8 places in 121 ms of which 1 ms to minimize.
[2021-05-16 10:01:45] [INFO ] Deduced a trap composed of 6 places in 116 ms of which 1 ms to minimize.
[2021-05-16 10:01:45] [INFO ] Deduced a trap composed of 4 places in 111 ms of which 1 ms to minimize.
[2021-05-16 10:01:45] [INFO ] Deduced a trap composed of 6 places in 114 ms of which 1 ms to minimize.
[2021-05-16 10:01:45] [INFO ] Deduced a trap composed of 6 places in 96 ms of which 1 ms to minimize.
[2021-05-16 10:01:45] [INFO ] Deduced a trap composed of 6 places in 95 ms of which 1 ms to minimize.
[2021-05-16 10:01:45] [INFO ] Deduced a trap composed of 6 places in 84 ms of which 0 ms to minimize.
[2021-05-16 10:01:45] [INFO ] Deduced a trap composed of 9 places in 83 ms of which 1 ms to minimize.
[2021-05-16 10:01:45] [INFO ] Deduced a trap composed of 17 places in 75 ms of which 0 ms to minimize.
[2021-05-16 10:01:46] [INFO ] Deduced a trap composed of 6 places in 66 ms of which 1 ms to minimize.
[2021-05-16 10:01:46] [INFO ] Deduced a trap composed of 6 places in 59 ms of which 0 ms to minimize.
[2021-05-16 10:01:46] [INFO ] Trap strengthening (SAT) tested/added 15/14 trap constraints in 2060 ms
[2021-05-16 10:01:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 10:01:46] [INFO ] [Nat]Absence check using 523 positive place invariants in 95 ms returned sat
[2021-05-16 10:01:46] [INFO ] [Nat]Absence check using 523 positive and 28 generalized place invariants in 4 ms returned sat
[2021-05-16 10:01:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 10:01:47] [INFO ] [Nat]Absence check using state equation in 572 ms returned sat
[2021-05-16 10:01:47] [INFO ] Deduced a trap composed of 4 places in 146 ms of which 0 ms to minimize.
[2021-05-16 10:01:47] [INFO ] Deduced a trap composed of 6 places in 152 ms of which 1 ms to minimize.
[2021-05-16 10:01:47] [INFO ] Deduced a trap composed of 6 places in 146 ms of which 0 ms to minimize.
[2021-05-16 10:01:47] [INFO ] Deduced a trap composed of 9 places in 146 ms of which 1 ms to minimize.
[2021-05-16 10:01:48] [INFO ] Deduced a trap composed of 6 places in 144 ms of which 0 ms to minimize.
[2021-05-16 10:01:48] [INFO ] Deduced a trap composed of 9 places in 142 ms of which 1 ms to minimize.
[2021-05-16 10:01:48] [INFO ] Deduced a trap composed of 5 places in 132 ms of which 1 ms to minimize.
[2021-05-16 10:01:48] [INFO ] Deduced a trap composed of 5 places in 119 ms of which 0 ms to minimize.
[2021-05-16 10:01:48] [INFO ] Deduced a trap composed of 8 places in 117 ms of which 0 ms to minimize.
[2021-05-16 10:01:48] [INFO ] Deduced a trap composed of 6 places in 109 ms of which 0 ms to minimize.
[2021-05-16 10:01:49] [INFO ] Deduced a trap composed of 9 places in 108 ms of which 1 ms to minimize.
[2021-05-16 10:01:49] [INFO ] Deduced a trap composed of 5 places in 89 ms of which 0 ms to minimize.
[2021-05-16 10:01:49] [INFO ] Deduced a trap composed of 6 places in 96 ms of which 0 ms to minimize.
[2021-05-16 10:01:49] [INFO ] Deduced a trap composed of 6 places in 85 ms of which 1 ms to minimize.
[2021-05-16 10:01:49] [INFO ] Deduced a trap composed of 6 places in 99 ms of which 1 ms to minimize.
[2021-05-16 10:01:49] [INFO ] Deduced a trap composed of 6 places in 100 ms of which 0 ms to minimize.
[2021-05-16 10:01:49] [INFO ] Deduced a trap composed of 6 places in 89 ms of which 0 ms to minimize.
[2021-05-16 10:01:50] [INFO ] Deduced a trap composed of 6 places in 71 ms of which 0 ms to minimize.
[2021-05-16 10:01:50] [INFO ] Deduced a trap composed of 6 places in 70 ms of which 1 ms to minimize.
[2021-05-16 10:01:50] [INFO ] Deduced a trap composed of 10 places in 81 ms of which 1 ms to minimize.
[2021-05-16 10:01:50] [INFO ] Deduced a trap composed of 5 places in 78 ms of which 0 ms to minimize.
[2021-05-16 10:01:50] [INFO ] Deduced a trap composed of 4 places in 77 ms of which 0 ms to minimize.
[2021-05-16 10:01:50] [INFO ] Deduced a trap composed of 11 places in 76 ms of which 0 ms to minimize.
[2021-05-16 10:01:50] [INFO ] Deduced a trap composed of 8 places in 77 ms of which 0 ms to minimize.
[2021-05-16 10:01:50] [INFO ] Deduced a trap composed of 6 places in 80 ms of which 0 ms to minimize.
[2021-05-16 10:01:51] [INFO ] Deduced a trap composed of 17 places in 66 ms of which 1 ms to minimize.
[2021-05-16 10:01:51] [INFO ] Deduced a trap composed of 8 places in 62 ms of which 0 ms to minimize.
[2021-05-16 10:01:51] [INFO ] Deduced a trap composed of 3 places in 62 ms of which 0 ms to minimize.
[2021-05-16 10:01:51] [INFO ] Deduced a trap composed of 9 places in 74 ms of which 1 ms to minimize.
[2021-05-16 10:01:51] [INFO ] Deduced a trap composed of 6 places in 62 ms of which 0 ms to minimize.
[2021-05-16 10:01:51] [INFO ] Trap strengthening (SAT) tested/added 31/30 trap constraints in 4361 ms
[2021-05-16 10:01:51] [INFO ] Computed and/alt/rep : 1305/3911/1305 causal constraints (skipped 0 transitions) in 89 ms.
[2021-05-16 10:02:06] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 0
[2021-05-16 10:02:06] [INFO ] [Real]Absence check using 523 positive place invariants in 82 ms returned sat
[2021-05-16 10:02:06] [INFO ] [Real]Absence check using 523 positive and 28 generalized place invariants in 4 ms returned sat
[2021-05-16 10:02:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 10:02:07] [INFO ] [Real]Absence check using state equation in 488 ms returned sat
[2021-05-16 10:02:07] [INFO ] Deduced a trap composed of 9 places in 167 ms of which 1 ms to minimize.
[2021-05-16 10:02:07] [INFO ] Deduced a trap composed of 4 places in 155 ms of which 0 ms to minimize.
[2021-05-16 10:02:07] [INFO ] Deduced a trap composed of 6 places in 116 ms of which 1 ms to minimize.
[2021-05-16 10:02:07] [INFO ] Deduced a trap composed of 6 places in 109 ms of which 0 ms to minimize.
[2021-05-16 10:02:07] [INFO ] Deduced a trap composed of 5 places in 108 ms of which 0 ms to minimize.
[2021-05-16 10:02:08] [INFO ] Deduced a trap composed of 6 places in 108 ms of which 0 ms to minimize.
[2021-05-16 10:02:08] [INFO ] Deduced a trap composed of 7 places in 100 ms of which 0 ms to minimize.
[2021-05-16 10:02:08] [INFO ] Deduced a trap composed of 9 places in 93 ms of which 1 ms to minimize.
[2021-05-16 10:02:08] [INFO ] Deduced a trap composed of 6 places in 83 ms of which 1 ms to minimize.
[2021-05-16 10:02:08] [INFO ] Deduced a trap composed of 4 places in 75 ms of which 1 ms to minimize.
[2021-05-16 10:02:08] [INFO ] Deduced a trap composed of 8 places in 72 ms of which 0 ms to minimize.
[2021-05-16 10:02:08] [INFO ] Deduced a trap composed of 6 places in 70 ms of which 0 ms to minimize.
[2021-05-16 10:02:09] [INFO ] Deduced a trap composed of 4 places in 70 ms of which 0 ms to minimize.
[2021-05-16 10:02:09] [INFO ] Deduced a trap composed of 7 places in 68 ms of which 0 ms to minimize.
[2021-05-16 10:02:09] [INFO ] Deduced a trap composed of 6 places in 68 ms of which 0 ms to minimize.
[2021-05-16 10:02:09] [INFO ] Deduced a trap composed of 11 places in 67 ms of which 0 ms to minimize.
[2021-05-16 10:02:09] [INFO ] Deduced a trap composed of 11 places in 62 ms of which 1 ms to minimize.
[2021-05-16 10:02:09] [INFO ] Deduced a trap composed of 11 places in 60 ms of which 1 ms to minimize.
[2021-05-16 10:02:09] [INFO ] Deduced a trap composed of 6 places in 57 ms of which 0 ms to minimize.
[2021-05-16 10:02:09] [INFO ] Deduced a trap composed of 10 places in 56 ms of which 1 ms to minimize.
[2021-05-16 10:02:09] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 2754 ms
[2021-05-16 10:02:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 10:02:10] [INFO ] [Nat]Absence check using 523 positive place invariants in 93 ms returned sat
[2021-05-16 10:02:10] [INFO ] [Nat]Absence check using 523 positive and 28 generalized place invariants in 4 ms returned sat
[2021-05-16 10:02:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 10:02:10] [INFO ] [Nat]Absence check using state equation in 539 ms returned sat
[2021-05-16 10:02:10] [INFO ] Deduced a trap composed of 9 places in 152 ms of which 1 ms to minimize.
[2021-05-16 10:02:11] [INFO ] Deduced a trap composed of 4 places in 149 ms of which 0 ms to minimize.
[2021-05-16 10:02:11] [INFO ] Deduced a trap composed of 6 places in 132 ms of which 0 ms to minimize.
[2021-05-16 10:02:11] [INFO ] Deduced a trap composed of 6 places in 112 ms of which 0 ms to minimize.
[2021-05-16 10:02:11] [INFO ] Deduced a trap composed of 6 places in 110 ms of which 0 ms to minimize.
[2021-05-16 10:02:11] [INFO ] Deduced a trap composed of 6 places in 115 ms of which 0 ms to minimize.
[2021-05-16 10:02:11] [INFO ] Deduced a trap composed of 8 places in 110 ms of which 0 ms to minimize.
[2021-05-16 10:02:12] [INFO ] Deduced a trap composed of 4 places in 96 ms of which 2 ms to minimize.
[2021-05-16 10:02:12] [INFO ] Deduced a trap composed of 6 places in 99 ms of which 0 ms to minimize.
[2021-05-16 10:02:12] [INFO ] Deduced a trap composed of 5 places in 96 ms of which 1 ms to minimize.
[2021-05-16 10:02:12] [INFO ] Deduced a trap composed of 6 places in 102 ms of which 0 ms to minimize.
[2021-05-16 10:02:12] [INFO ] Deduced a trap composed of 9 places in 99 ms of which 0 ms to minimize.
[2021-05-16 10:02:12] [INFO ] Deduced a trap composed of 4 places in 99 ms of which 1 ms to minimize.
[2021-05-16 10:02:12] [INFO ] Deduced a trap composed of 8 places in 97 ms of which 0 ms to minimize.
[2021-05-16 10:02:13] [INFO ] Deduced a trap composed of 8 places in 94 ms of which 1 ms to minimize.
[2021-05-16 10:02:13] [INFO ] Deduced a trap composed of 6 places in 93 ms of which 1 ms to minimize.
[2021-05-16 10:02:13] [INFO ] Deduced a trap composed of 11 places in 85 ms of which 1 ms to minimize.
[2021-05-16 10:02:13] [INFO ] Deduced a trap composed of 11 places in 63 ms of which 1 ms to minimize.
[2021-05-16 10:02:13] [INFO ] Deduced a trap composed of 7 places in 60 ms of which 0 ms to minimize.
[2021-05-16 10:02:13] [INFO ] Deduced a trap composed of 10 places in 55 ms of which 0 ms to minimize.
[2021-05-16 10:02:13] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 2964 ms
[2021-05-16 10:02:13] [INFO ] Computed and/alt/rep : 1305/3911/1305 causal constraints (skipped 0 transitions) in 78 ms.
[2021-05-16 10:02:29] [INFO ] Added : 835 causal constraints over 167 iterations in 16232 ms. Result :unknown
[2021-05-16 10:02:30] [INFO ] Flatten gal took : 111 ms
[2021-05-16 10:02:30] [INFO ] Flatten gal took : 64 ms
[2021-05-16 10:02:30] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7653868914777348087.gal : 7 ms
[2021-05-16 10:02:30] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14744353510742189083.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality7653868914777348087.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14744353510742189083.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality7653868914777348087.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14744353510742189083.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality14744353510742189083.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :3 after 6
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :6 after 18
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :18 after 126
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :126 after 161
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :161 after 221
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :221 after 509
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :509 after 1826
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :1826 after 305839
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :305839 after 386118
Detected timeout of ITS tools.
[2021-05-16 10:02:45] [INFO ] Flatten gal took : 82 ms
[2021-05-16 10:02:45] [INFO ] Applying decomposition
[2021-05-16 10:02:45] [INFO ] Flatten gal took : 56 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph16683058263114564662.txt, -o, /tmp/graph16683058263114564662.bin, -w, /tmp/graph16683058263114564662.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph16683058263114564662.bin, -l, -1, -v, -w, /tmp/graph16683058263114564662.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 10:02:45] [INFO ] Decomposing Gal with order
[2021-05-16 10:02:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 10:02:45] [INFO ] Removed a total of 661 redundant transitions.
[2021-05-16 10:02:45] [INFO ] Flatten gal took : 89 ms
[2021-05-16 10:02:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 1253 labels/synchronizations in 32 ms.
[2021-05-16 10:02:45] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality780002995168683347.gal : 12 ms
[2021-05-16 10:02:45] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2125218031344050000.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality780002995168683347.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2125218031344050000.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality780002995168683347.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2125218031344050000.prop --nowitness
Loading property file /tmp/ReachabilityCardinality2125218031344050000.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :1 after 3
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11030467356056717927
[2021-05-16 10:03:00] [INFO ] Built C files in 17ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11030467356056717927
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11030467356056717927]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11030467356056717927] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11030467356056717927] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Applied a total of 0 rules in 88 ms. Remains 1560 /1560 variables (removed 0) and now considering 1310/1310 (removed 0) transitions.
Running SMT prover for 2 properties.
// Phase 1: matrix 1310 rows 1560 cols
[2021-05-16 10:03:01] [INFO ] Computed 551 place invariants in 18 ms
[2021-05-16 10:03:02] [INFO ] [Real]Absence check using 523 positive place invariants in 82 ms returned sat
[2021-05-16 10:03:02] [INFO ] [Real]Absence check using 523 positive and 28 generalized place invariants in 4 ms returned sat
[2021-05-16 10:03:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 10:03:02] [INFO ] [Real]Absence check using state equation in 505 ms returned sat
[2021-05-16 10:03:02] [INFO ] Deduced a trap composed of 4 places in 119 ms of which 0 ms to minimize.
[2021-05-16 10:03:02] [INFO ] Deduced a trap composed of 8 places in 111 ms of which 0 ms to minimize.
[2021-05-16 10:03:03] [INFO ] Deduced a trap composed of 6 places in 107 ms of which 1 ms to minimize.
[2021-05-16 10:03:03] [INFO ] Deduced a trap composed of 8 places in 105 ms of which 0 ms to minimize.
[2021-05-16 10:03:03] [INFO ] Deduced a trap composed of 6 places in 95 ms of which 0 ms to minimize.
[2021-05-16 10:03:03] [INFO ] Deduced a trap composed of 4 places in 94 ms of which 0 ms to minimize.
[2021-05-16 10:03:03] [INFO ] Deduced a trap composed of 6 places in 94 ms of which 1 ms to minimize.
[2021-05-16 10:03:03] [INFO ] Deduced a trap composed of 6 places in 85 ms of which 0 ms to minimize.
[2021-05-16 10:03:03] [INFO ] Deduced a trap composed of 6 places in 82 ms of which 0 ms to minimize.
[2021-05-16 10:03:04] [INFO ] Deduced a trap composed of 6 places in 83 ms of which 0 ms to minimize.
[2021-05-16 10:03:04] [INFO ] Deduced a trap composed of 9 places in 79 ms of which 0 ms to minimize.
[2021-05-16 10:03:04] [INFO ] Deduced a trap composed of 17 places in 72 ms of which 0 ms to minimize.
[2021-05-16 10:03:04] [INFO ] Deduced a trap composed of 6 places in 63 ms of which 1 ms to minimize.
[2021-05-16 10:03:04] [INFO ] Deduced a trap composed of 6 places in 49 ms of which 0 ms to minimize.
[2021-05-16 10:03:04] [INFO ] Trap strengthening (SAT) tested/added 15/14 trap constraints in 1946 ms
[2021-05-16 10:03:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 10:03:04] [INFO ] [Nat]Absence check using 523 positive place invariants in 85 ms returned sat
[2021-05-16 10:03:04] [INFO ] [Nat]Absence check using 523 positive and 28 generalized place invariants in 5 ms returned sat
[2021-05-16 10:03:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 10:03:18] [INFO ] [Nat]Absence check using state equation in 13270 ms returned sat
[2021-05-16 10:03:18] [INFO ] Deduced a trap composed of 4 places in 196 ms of which 0 ms to minimize.
[2021-05-16 10:03:18] [INFO ] Deduced a trap composed of 6 places in 167 ms of which 0 ms to minimize.
[2021-05-16 10:03:18] [INFO ] Deduced a trap composed of 6 places in 152 ms of which 0 ms to minimize.
[2021-05-16 10:03:18] [INFO ] Deduced a trap composed of 9 places in 145 ms of which 1 ms to minimize.
[2021-05-16 10:03:19] [INFO ] Deduced a trap composed of 6 places in 140 ms of which 1 ms to minimize.
[2021-05-16 10:03:19] [INFO ] Deduced a trap composed of 9 places in 141 ms of which 0 ms to minimize.
[2021-05-16 10:03:19] [INFO ] Deduced a trap composed of 5 places in 122 ms of which 0 ms to minimize.
[2021-05-16 10:03:19] [INFO ] Deduced a trap composed of 5 places in 117 ms of which 1 ms to minimize.
[2021-05-16 10:03:19] [INFO ] Deduced a trap composed of 8 places in 118 ms of which 1 ms to minimize.
[2021-05-16 10:03:20] [INFO ] Deduced a trap composed of 6 places in 107 ms of which 0 ms to minimize.
[2021-05-16 10:03:20] [INFO ] Deduced a trap composed of 9 places in 107 ms of which 0 ms to minimize.
[2021-05-16 10:03:20] [INFO ] Deduced a trap composed of 5 places in 92 ms of which 1 ms to minimize.
[2021-05-16 10:03:20] [INFO ] Deduced a trap composed of 6 places in 100 ms of which 0 ms to minimize.
[2021-05-16 10:03:20] [INFO ] Deduced a trap composed of 6 places in 98 ms of which 0 ms to minimize.
[2021-05-16 10:03:20] [INFO ] Deduced a trap composed of 6 places in 87 ms of which 1 ms to minimize.
[2021-05-16 10:03:20] [INFO ] Deduced a trap composed of 6 places in 93 ms of which 0 ms to minimize.
[2021-05-16 10:03:21] [INFO ] Deduced a trap composed of 6 places in 89 ms of which 0 ms to minimize.
[2021-05-16 10:03:21] [INFO ] Deduced a trap composed of 6 places in 81 ms of which 0 ms to minimize.
[2021-05-16 10:03:21] [INFO ] Deduced a trap composed of 6 places in 71 ms of which 1 ms to minimize.
[2021-05-16 10:03:21] [INFO ] Deduced a trap composed of 10 places in 72 ms of which 1 ms to minimize.
[2021-05-16 10:03:21] [INFO ] Deduced a trap composed of 5 places in 69 ms of which 0 ms to minimize.
[2021-05-16 10:03:21] [INFO ] Deduced a trap composed of 4 places in 69 ms of which 1 ms to minimize.
[2021-05-16 10:03:21] [INFO ] Deduced a trap composed of 11 places in 66 ms of which 0 ms to minimize.
[2021-05-16 10:03:21] [INFO ] Deduced a trap composed of 8 places in 66 ms of which 0 ms to minimize.
[2021-05-16 10:03:21] [INFO ] Deduced a trap composed of 6 places in 63 ms of which 0 ms to minimize.
[2021-05-16 10:03:22] [INFO ] Deduced a trap composed of 17 places in 67 ms of which 0 ms to minimize.
[2021-05-16 10:03:22] [INFO ] Deduced a trap composed of 8 places in 56 ms of which 0 ms to minimize.
[2021-05-16 10:03:22] [INFO ] Deduced a trap composed of 3 places in 54 ms of which 0 ms to minimize.
[2021-05-16 10:03:22] [INFO ] Deduced a trap composed of 9 places in 67 ms of which 1 ms to minimize.
[2021-05-16 10:03:22] [INFO ] Deduced a trap composed of 6 places in 66 ms of which 0 ms to minimize.
[2021-05-16 10:03:22] [INFO ] Trap strengthening (SAT) tested/added 31/30 trap constraints in 4387 ms
[2021-05-16 10:03:22] [INFO ] Computed and/alt/rep : 1305/3911/1305 causal constraints (skipped 0 transitions) in 87 ms.
[2021-05-16 10:03:42] [INFO ] Added : 965 causal constraints over 193 iterations in 20076 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 43 ms.
[2021-05-16 10:03:42] [INFO ] [Real]Absence check using 523 positive place invariants in 80 ms returned sat
[2021-05-16 10:03:42] [INFO ] [Real]Absence check using 523 positive and 28 generalized place invariants in 5 ms returned sat
[2021-05-16 10:03:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 10:03:43] [INFO ] [Real]Absence check using state equation in 471 ms returned sat
[2021-05-16 10:03:43] [INFO ] Deduced a trap composed of 9 places in 161 ms of which 1 ms to minimize.
[2021-05-16 10:03:43] [INFO ] Deduced a trap composed of 4 places in 150 ms of which 1 ms to minimize.
[2021-05-16 10:03:44] [INFO ] Deduced a trap composed of 6 places in 133 ms of which 0 ms to minimize.
[2021-05-16 10:03:44] [INFO ] Deduced a trap composed of 6 places in 124 ms of which 1 ms to minimize.
[2021-05-16 10:03:44] [INFO ] Deduced a trap composed of 5 places in 123 ms of which 0 ms to minimize.
[2021-05-16 10:03:44] [INFO ] Deduced a trap composed of 6 places in 124 ms of which 0 ms to minimize.
[2021-05-16 10:03:44] [INFO ] Deduced a trap composed of 7 places in 111 ms of which 0 ms to minimize.
[2021-05-16 10:03:44] [INFO ] Deduced a trap composed of 9 places in 90 ms of which 0 ms to minimize.
[2021-05-16 10:03:45] [INFO ] Deduced a trap composed of 6 places in 90 ms of which 1 ms to minimize.
[2021-05-16 10:03:45] [INFO ] Deduced a trap composed of 4 places in 80 ms of which 0 ms to minimize.
[2021-05-16 10:03:45] [INFO ] Deduced a trap composed of 8 places in 77 ms of which 0 ms to minimize.
[2021-05-16 10:03:45] [INFO ] Deduced a trap composed of 6 places in 78 ms of which 0 ms to minimize.
[2021-05-16 10:03:45] [INFO ] Deduced a trap composed of 4 places in 77 ms of which 1 ms to minimize.
[2021-05-16 10:03:45] [INFO ] Deduced a trap composed of 7 places in 75 ms of which 0 ms to minimize.
[2021-05-16 10:03:45] [INFO ] Deduced a trap composed of 6 places in 74 ms of which 0 ms to minimize.
[2021-05-16 10:03:45] [INFO ] Deduced a trap composed of 11 places in 75 ms of which 1 ms to minimize.
[2021-05-16 10:03:46] [INFO ] Deduced a trap composed of 11 places in 62 ms of which 0 ms to minimize.
[2021-05-16 10:03:46] [INFO ] Deduced a trap composed of 11 places in 53 ms of which 1 ms to minimize.
[2021-05-16 10:03:46] [INFO ] Deduced a trap composed of 6 places in 58 ms of which 1 ms to minimize.
[2021-05-16 10:03:46] [INFO ] Deduced a trap composed of 10 places in 58 ms of which 0 ms to minimize.
[2021-05-16 10:03:46] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 2891 ms
[2021-05-16 10:03:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 10:03:46] [INFO ] [Nat]Absence check using 523 positive place invariants in 83 ms returned sat
[2021-05-16 10:03:46] [INFO ] [Nat]Absence check using 523 positive and 28 generalized place invariants in 5 ms returned sat
[2021-05-16 10:03:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 10:03:47] [INFO ] [Nat]Absence check using state equation in 478 ms returned sat
[2021-05-16 10:03:47] [INFO ] Deduced a trap composed of 9 places in 150 ms of which 1 ms to minimize.
[2021-05-16 10:03:47] [INFO ] Deduced a trap composed of 4 places in 164 ms of which 0 ms to minimize.
[2021-05-16 10:03:47] [INFO ] Deduced a trap composed of 6 places in 124 ms of which 1 ms to minimize.
[2021-05-16 10:03:47] [INFO ] Deduced a trap composed of 6 places in 118 ms of which 1 ms to minimize.
[2021-05-16 10:03:48] [INFO ] Deduced a trap composed of 6 places in 128 ms of which 1 ms to minimize.
[2021-05-16 10:03:48] [INFO ] Deduced a trap composed of 6 places in 123 ms of which 1 ms to minimize.
[2021-05-16 10:03:48] [INFO ] Deduced a trap composed of 8 places in 119 ms of which 0 ms to minimize.
[2021-05-16 10:03:48] [INFO ] Deduced a trap composed of 4 places in 100 ms of which 0 ms to minimize.
[2021-05-16 10:03:48] [INFO ] Deduced a trap composed of 6 places in 142 ms of which 0 ms to minimize.
[2021-05-16 10:03:48] [INFO ] Deduced a trap composed of 5 places in 92 ms of which 0 ms to minimize.
[2021-05-16 10:03:49] [INFO ] Deduced a trap composed of 6 places in 112 ms of which 1 ms to minimize.
[2021-05-16 10:03:49] [INFO ] Deduced a trap composed of 9 places in 108 ms of which 0 ms to minimize.
[2021-05-16 10:03:49] [INFO ] Deduced a trap composed of 4 places in 107 ms of which 0 ms to minimize.
[2021-05-16 10:03:49] [INFO ] Deduced a trap composed of 8 places in 94 ms of which 0 ms to minimize.
[2021-05-16 10:03:49] [INFO ] Deduced a trap composed of 8 places in 99 ms of which 0 ms to minimize.
[2021-05-16 10:03:49] [INFO ] Deduced a trap composed of 6 places in 102 ms of which 1 ms to minimize.
[2021-05-16 10:03:49] [INFO ] Deduced a trap composed of 11 places in 106 ms of which 0 ms to minimize.
[2021-05-16 10:03:50] [INFO ] Deduced a trap composed of 11 places in 75 ms of which 1 ms to minimize.
[2021-05-16 10:03:50] [INFO ] Deduced a trap composed of 7 places in 67 ms of which 0 ms to minimize.
[2021-05-16 10:03:50] [INFO ] Deduced a trap composed of 10 places in 58 ms of which 0 ms to minimize.
[2021-05-16 10:03:50] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 3147 ms
[2021-05-16 10:03:50] [INFO ] Computed and/alt/rep : 1305/3911/1305 causal constraints (skipped 0 transitions) in 81 ms.
[2021-05-16 10:04:10] [INFO ] Added : 930 causal constraints over 186 iterations in 20537 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 54 ms.
[2021-05-16 10:04:11] [INFO ] Flatten gal took : 51 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin1673769416544541044
[2021-05-16 10:04:11] [INFO ] Computing symmetric may disable matrix : 1310 transitions.
[2021-05-16 10:04:11] [INFO ] Computation of Complete disable matrix. took 2 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2021-05-16 10:04:11] [INFO ] Flatten gal took : 65 ms
[2021-05-16 10:04:11] [INFO ] Computing symmetric may enable matrix : 1310 transitions.
[2021-05-16 10:04:11] [INFO ] Computation of Complete enable matrix. took 2 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2021-05-16 10:04:11] [INFO ] Applying decomposition
[2021-05-16 10:04:11] [INFO ] Flatten gal took : 73 ms
[2021-05-16 10:04:11] [INFO ] Input system was already deterministic with 1310 transitions.
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph2174448044561581745.txt, -o, /tmp/graph2174448044561581745.bin, -w, /tmp/graph2174448044561581745.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph2174448044561581745.bin, -l, -1, -v, -w, /tmp/graph2174448044561581745.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 10:04:11] [INFO ] Decomposing Gal with order
[2021-05-16 10:04:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 10:04:11] [INFO ] Computing Do-Not-Accords matrix : 1310 transitions.
[2021-05-16 10:04:11] [INFO ] Computation of Completed DNA matrix. took 48 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2021-05-16 10:04:11] [INFO ] Built C files in 387ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1673769416544541044
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin1673769416544541044]
[2021-05-16 10:04:11] [INFO ] Ran tautology test, simplified 0 / 2 in 460 ms.
[2021-05-16 10:04:11] [INFO ] Removed a total of 670 redundant transitions.
[2021-05-16 10:04:11] [INFO ] Flatten gal took : 164 ms
[2021-05-16 10:04:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 1258 labels/synchronizations in 52 ms.
[2021-05-16 10:04:11] [INFO ] BMC solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-00(UNSAT) depth K=0 took 65 ms
[2021-05-16 10:04:11] [INFO ] BMC solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-09(UNSAT) depth K=0 took 2 ms
[2021-05-16 10:04:11] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13821522084586784522.gal : 13 ms
[2021-05-16 10:04:11] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1915583308469003138.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality13821522084586784522.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1915583308469003138.prop, --nowitness], workingDir=/home/mcc/execution]
[2021-05-16 10:04:11] [INFO ] BMC solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-00(UNSAT) depth K=1 took 22 ms
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality13821522084586784522.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1915583308469003138.prop --nowitness
[2021-05-16 10:04:11] [INFO ] BMC solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-09(UNSAT) depth K=1 took 2 ms
Loading property file /tmp/ReachabilityCardinality1915583308469003138.prop.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 1310 rows 1560 cols
[2021-05-16 10:04:12] [INFO ] Computed 551 place invariants in 28 ms
inv : p2377 + p2379 + p2381 + p2383 = 1
inv : p2990 + p2993 + p2995 + p2997 = 1
inv : p2229 + p2231 + p2233 + p2235 = 1
inv : p1736 + p1738 = 1
inv : p1703 + p1705 = 1
inv : p2959 + p2962 + p2963 = 1
inv : p1076 + p1081 + p1082 = 1
inv : -p2352 - p2353 + p2354 + p2355 = 0
inv : p868 + p871 + p872 = 1
inv : p3012 + p3015 + p3016 = 1
inv : p2148 + p2151 + p2152 = 1
inv : -p744 - p745 + p746 + p747 = 0
inv : p444 + p447 + p449 + p451 = 1
inv : p2878 + p2881 + p2882 = 1
inv : p942 + p947 + p948 = 1
inv : p801 + p804 + p805 = 1
inv : p2119 + p2122 + p2124 + p2126 = 1
inv : p3258 + p3261 + p3263 + p3265 = 1
inv : p2282 + p2285 + p2286 = 1
inv : p3277 + p3279 = 1
inv : p731 + p733 = 1
inv : p554 + p556 + p558 + p560 = 1
inv : p1707 + p1709 + p1711 + p1713 = 1
inv : p882 + p885 + p886 = 1
inv : p3086 + p3091 + p3092 = 1
inv : p1372 + p1374 + p1376 + p1378 = 1
inv : p78 + p83 + p84 = 1
inv : p2945 + p2948 + p2949 = 1
inv : p1009 + p1014 + p1015 = 1
inv : p128 + p130 = 1
inv : p3026 + p3029 + p3030 = 1
inv : p1100 + p1102 = 1
inv : p434 + p436 + p438 + p440 = 1
inv : p2275 + p2280 + p2281 = 1
inv : p3220 + p3225 + p3226 = 1
inv : p949 + p952 + p953 = 1
inv : p667 + p670 + p671 = 1
inv : p734 + p737 + p738 = 1
inv : p1234 + p1236 = 1
inv : p2387 + p2390 + p2392 + p2394 = 1
inv : p64 + p69 + p70 = 1
inv : p497 + p499 = 1
inv : p2557 + p2562 + p2563 = 1
inv : p846 + p849 + p851 + p853 = 1
inv : p99 + p101 + p103 + p105 = 1
inv : p698 + p700 = 1
inv : p530 + p532 = 1
inv : p1016 + p1019 + p1020 = 1
inv : p1535 + p1537 = 1
inv : p2222 + p2227 + p2228 = 1
inv : p131 + p136 + p137 = 1
inv : p176 + p179 + p181 + p183 = 1
inv : p769 + p771 + p773 + p775 = 1
inv : p3216 + p3217 - p3218 - p3219 = 0
inv : p3093 + p3096 + p3097 = 1
inv : p1382 + p1385 + p1387 + p1389 = 1
inv : p95 + p97 = 1
inv : p2215 + p2218 + p2219 = 1
inv : p3250 + p3252 + p3254 + p3256 = 1
inv : p2342 + p2347 + p2348 = 1
inv : p2811 + p2814 + p2815 = 1
inv : p2624 + p2629 + p2630 = 1
inv : -p3357 - p3358 + p3359 + p3360 = 0
inv : p2737 + p2765 + p2767 + p2769 + p2771 = 1
inv : p2007 + p2012 + p2013 = 1
inv : p875 + p880 + p881 = 1
inv : p1305 + p1307 + p1309 + p1311 = 1
inv : p2607 + p2609 = 1
inv : p198 + p203 + p204 = 1
inv : p1937 + p1939 = 1
inv : p1904 + p1906 = 1
inv : p1717 + p1720 + p1722 + p1724 = 1
inv : p3033 + p3035 + p3037 + p3039 + p3040 = 1
inv : p2042 + p2044 + p2046 + p2048 = 1
inv : p3079 + p3082 + p3083 = 1
inv : p480 + p483 + p484 = 1
inv : p2691 + p2696 + p2697 = 1
inv : p935 + p938 + p939 = 1
inv : p399 + p402 + p403 = 1
inv : p2454 + p2457 + p2459 + p2461 = 1
inv : p2875 + p2877 = 1
inv : p2842 + p2844 = 1
inv : p1069 + p1072 + p1073 = 1
inv : p1502 + p1504 = 1
inv : p1425 + p1427 + p1429 + p1431 = 1
inv : p1813 + p1816 + p1817 = 1
inv : p2913 + p2915 + p2917 + p2919 = 1
inv : p681 + p684 + p685 = 1
inv : p1047 + p1050 + p1052 + p1054 = 1
inv : p533 + p536 + p537 = 1
inv : p2289 + p2294 + p2295 = 1
inv : p1210 + p1215 + p1216 = 1
inv : p1267 + p1269 = 1
inv : p3181 + p3183 + p3185 + p3187 = 1
inv : p1083 + p1086 + p1087 = 1
inv : p2677 + p2682 + p2683 = 1
inv : p1612 + p1615 + p1616 = 1
inv : p3227 + p3230 + p3231 = 1
inv : p2162 + p2164 + p2166 + p2168 = 1
inv : p2712 + p2714 + p2716 + p2718 = 1
inv : p2088 + p2093 + p2094 = 1
inv : p2409 + p2414 + p2415 = 1
inv : p2574 + p2576 = 1
inv : p3076 + p3078 = 1
inv : p1344 + p1349 + p1350 = 1
inv : p2909 + p2911 = 1
inv : p377 + p380 + p382 + p384 = 1
inv : p815 + p818 + p819 = 1
inv : p2349 + p2351 + p2352 + p2353 = 1
inv : p1947 + p1950 + p1951 = 1
inv : p1784 + p1787 + p1789 + p1791 = 1
inv : p2490 + p2495 + p2496 = 1
inv : p346 + p349 + p350 = 1
inv : p3366 + p3367 = 1
inv : p2483 + p2486 + p2487 = 1
inv : p2507 + p2509 = 1
inv : p2825 + p2828 + p2829 = 1
inv : p2942 + p2944 = 1
inv : p1971 + p1973 = 1
inv : p2737 + p2738 + p2751 + p2756 + p2757 = 1
inv : p2004 + p2006 = 1
inv : p1672 + p1677 + p1678 = 1
inv : p2109 + p2111 + p2113 + p2115 = 1
inv : p138 + p141 + p142 = 1
inv : p145 + p150 + p151 = 1
inv : p2356 + p2361 + p2362 = 1
inv : p3019 + p3024 + p3025 = 1
inv : p621 + p623 + p625 + p627 = 1
inv : p2980 + p2982 + p2984 + p2986 = 1
inv : p463 + p465 = 1
inv : p1492 + p1494 + p1496 + p1498 = 1
inv : p2141 + p2146 + p2147 = 1
inv : p2543 + p2548 + p2549 = 1
inv : p1439 + p1441 + p1443 + p1445 = 1
inv : p1954 + p1959 + p1960 = 1
inv : p265 + p270 + p271 = 1
inv : p3043 + p3045 = 1
inv : p1478 + p1481 + p1482 = 1
inv : p1150 + p1153 + p1154 = 1
inv : p1851 + p1854 + p1856 + p1858 = 1
inv : p1760 + p1762 + p1764 + p1766 = 1
inv : p1136 + p1139 + p1140 = 1
inv : p1538 + p1543 + p1544 = 1
inv : p1210 + p1213 + p1214 = 1
inv : p2677 + p2680 + p2681 = 1
inv : p501 + p503 + p505 + p507 = 1
inv : p480 + p485 + p486 = 1
inv : p798 + p800 = 1
inv : p1619 + p1624 + p1625 = 1
inv : p1033 + p1035 = 1
inv : p413 + p418 + p419 = 1
inv : -p3290 - p3291 + p3292 + p3293 = 0
inv : p1277 + p1280 + p1281 = 1
inv : p1066 + p1068 = 1
inv : p3311 + p3313 = 1
inv : p152 + p154 + p156 + p158 = 1
inv : p1770 + p1772 = 1
inv : p466 + p471 + p472 = 1
inv : p1478 + p1483 + p1484 = 1
inv : p702 + p704 + p706 + p708 = 1
inv : p2691 + p2694 + p2695 = 1
inv : p198 + p201 + p202 = 1
inv : p1552 + p1557 + p1558 = 1
inv : p430 + p432 = 1
inv : p2176 + p2178 + p2180 + p2182 = 1
inv : p2521 + p2524 + p2526 + p2528 = 1
inv : p2373 + p2375 = 1
inv : p339 + p344 + p345 = 1
inv : -p2620 - p2621 + p2622 + p2623 = 0
inv : p970 + p972 + p974 + p976 = 1
inv : p1411 + p1416 + p1417 = 1
inv : p1820 + p1825 + p1826 = 1
inv : p1679 + p1684 + p1685 = 1
inv : p1669 + p1671 = 1
inv : p1636 + p1638 = 1
inv : p2476 + p2479 + p2480 = 1
inv : p3280 + p3283 + p3284 = 1
inv : p2550 + p2553 + p2554 = 1
inv : p607 + p612 + p613 = 1
inv : p1975 + p1977 + p1979 + p1981 = 1
inv : p674 + p679 + p680 = 1
inv : p195 + p197 = 1
inv : p1238 + p1240 + p1242 + p1244 = 1
inv : p2737 + p2738 + p2758 + p2761 + p2762 = 1
inv : p3395 + p3397 + p3399 + p3401 = 1
inv : p1337 + p1342 + p1343 = 1
inv : p511 + p514 + p516 + p518 = 1
inv : p265 + p268 + p269 = 1
inv : p1133 + p1135 = 1
inv : p2409 + p2412 + p2413 = 1
inv : p3210 + p3212 = 1
inv : p1650 + p1653 + p1655 + p1657 = 1
inv : p2631 + p2633 + p2635 + p2637 = 1
inv : p1471 + p1474 + p1475 = 1
inv : p50 + p51 + p52 = 1
inv : p2540 + p2542 = 1
inv : p272 + p277 + p278 = 1
inv : p1284 + p1289 + p1290 = 1
inv : p815 + p820 + p821 = 1
inv : p2846 + p2848 + p2850 + p2852 = 1
inv : p1351 + p1354 + p1355 = 1
inv : p406 + p409 + p410 = 1
inv : p275 + p276 - p277 - p278 = 0
inv : p1418 + p1421 + p1422 = 1
inv : p2737 + p2738 + p2744 + p2749 + p2750 = 1
inv : p145 + p148 + p149 = 1
inv : p3089 + p3090 - p3091 - p3092 = 0
inv : p1217 + p1222 + p1223 = 1
inv : p2722 + p2725 + p2727 + p2729 = 1
inv : p1873 + p1878 + p1879 = 1
inv : p2617 + p2620 + p2621 = 1
inv : p212 + p213 + p215 + p216 = 1
inv : p547 + p550 + p551 = 1
inv : -p2017 - p2018 + p2019 + p2020 = 0
inv : p597 + p599 = 1
inv : -p3156 - p3157 + p3158 + p3159 = 0
inv : p564 + p566 = 1
inv : p2084 + p2085 - p2086 - p2087 = 0
inv : p2811 + p2816 + p2817 = 1
inv : p367 + p369 + p371 + p373 = 1
inv : p2610 + p2615 + p2616 = 1
inv : p2081 + p2086 + p2087 = 1
inv : p801 + p806 + p807 = 1
inv : p1143 + p1148 + p1149 = 1
inv : p473 + p476 + p477 = 1
inv : p614 + p617 + p618 = 1
inv : p1894 + p1896 + p1898 + p1900 = 1
inv : p1940 + p1945 + p1946 = 1
inv : p836 + p838 + p840 + p842 = 1
inv : p3354 + p3357 + p3358 = 1
inv : p1686 + p1689 + p1690 = 1
inv : p205 + p210 + p211 = 1
inv : p2155 + p2160 + p2161 = 1
inv : p1545 + p1548 + p1549 = 1
inv : p2808 + p2810 = 1
inv : p600 + p603 + p604 = 1
inv : p3124 + p3127 + p3129 + p3131 = 1
inv : p779 + p782 + p784 + p786 = 1
inv : p3177 + p3179 = 1
inv : p631 + p633 = 1
inv : p420 + p422 + p424 + p426 = 1
inv : p2208 + p2213 + p2214 = 1
inv : p71 + p74 + p75 = 1
inv : -p1280 - p1281 + p1282 + p1283 = 0
inv : p2952 + p2957 + p2958 = 1
inv : p2253 + p2256 + p2258 + p2260 = 1
inv : p1870 + p1872 = 1
inv : p1002 + p1005 + p1006 = 1
inv : p2423 + p2426 + p2427 = 1
inv : p332 + p335 + p336 = 1
inv : p2310 + p2312 + p2314 + p2316 = 1
inv : p1841 + p1843 + p1845 + p1847 = 1
inv : p748 + p753 + p754 = 1
inv : -p543 - p544 + p545 + p546 = 0
inv : p1887 + p1892 + p1893 = 1
inv : p741 + p744 + p745 = 1
inv : p889 + p891 + p893 + p895 = 1
inv : p286 + p288 + p290 + p292 = 1
inv : p1404 + p1407 + p1408 = 1
inv : p279 + p282 + p283 = 1
inv : p3213 + p3218 + p3219 = 1
inv : p1746 + p1751 + p1752 = 1
inv : p2444 + p2446 + p2448 + p2450 = 1
inv : p2342 + p2345 + p2346 = 1
inv : p1023 + p1025 + p1027 + p1029 = 1
inv : p1516 + p1519 + p1521 + p1523 = 1
inv : p2497 + p2499 + p2501 + p2503 = 1
inv : -p3350 - p3351 + p3352 + p3353 = 0
inv : p1739 + p1742 + p1743 = 1
inv : p1803 + p1805 = 1
inv : p2892 + p2895 + p2896 = 1
inv : p3294 + p3297 + p3298 = 1
inv : p61 + p63 = 1
inv : -p2888 - p2889 + p2890 + p2891 = 0
inv : p3153 + p3156 + p3157 = 1
inv : p2406 + p2408 = 1
inv : p1605 + p1610 + p1611 = 1
inv : p664 + p666 = 1
inv : p3244 + p3246 = 1
inv : p3160 + p3165 + p3166 = 1
inv : p1157 + p1159 + p1161 + p1163 = 1
inv : p1908 + p1910 + p1912 + p1914 = 1
inv : p935 + p940 + p941 = 1
inv : p3047 + p3049 + p3051 + p3053 = 1
inv : p2141 + p2144 + p2145 = 1
inv : p353 + p355 + p357 + p359 = 1
inv : p2952 + p2955 + p2956 = 1
inv : p1016 + p1021 + p1022 = 1
inv : p1083 + p1088 + p1089 = 1
inv : p2074 + p2077 + p2078 = 1
inv : p3019 + p3022 + p3023 = 1
inv : p1401 + p1403 = 1
inv : p2222 + p2225 + p2226 = 1
inv : p1291 + p1293 + p1295 + p1297 = 1
inv : p2899 + p2901 + p2903 + p2905 = 1
inv : p2289 + p2292 + p2293 = 1
inv : p3093 + p3098 + p3099 = 1
inv : p1171 + p1173 + p1175 + p1177 = 1
inv : p1002 + p1007 + p1008 = 1
inv : p1583 + p1586 + p1588 + p1590 = 1
inv : p2208 + p2211 + p2212 = 1
inv : p2698 + p2700 + p2702 + p2704 = 1
inv : p3167 + p3169 + p3171 + p3173 = 1
inv : p645 + p647 + p650 + p652 = 1
inv : p1069 + p1074 + p1075 = 1
inv : p2028 + p2030 + p2032 + p2034 = 1
inv : p2578 + p2580 + p2582 + p2584 = 1
inv : p949 + p954 + p955 = 1
inv : p2885 + p2888 + p2889 = 1
inv : p2473 + p2475 = 1
inv : p2779 + p2781 + p2783 + p2785 = 1
inv : p2071 + p2073 = 1
inv : p1940 + p1943 + p1944 = 1
inv : p3009 + p3011 = 1
inv : p233 + p235 + p237 + p239 = 1
inv : p1368 + p1370 = 1
inv : p2021 + p2024 + p2025 = 1
inv : p396 + p398 = 1
inv : p3294 + p3299 + p3300 = 1
inv : p1693 + p1695 + p1697 + p1699 = 1
inv : p2416 + p2421 + p2422 = 1
inv : p832 + p834 = 1
inv : p3378 + p3380 = 1
inv : p3057 + p3060 + p3062 + p3064 = 1
inv : p755 + p757 + p759 + p761 = 1
inv : p878 + p879 - p880 - p881 = 0
inv : p1954 + p1957 + p1958 = 1
inv : p808 + p811 + p812 = 1
inv : p1573 + p1575 + p1577 + p1579 = 1
inv : p2243 + p2245 + p2247 + p2249 = 1
inv : p2440 + p2442 = 1
inv : p2641 + p2643 = 1
inv : p3026 + p3031 + p3032 = 1
inv : p2007 + p2010 + p2011 = 1
inv : p2775 + p2777 = 1
inv : p2483 + p2488 + p2489 = 1
inv : p2363 + p2365 + p2367 + p2369 = 1
inv : p3364 + p3365 = 1
inv : p2976 + p2978 = 1
inv : p243 + p246 + p248 + p250 = 1
inv : p2038 + p2040 = 1
inv : p85 + p87 + p89 + p91 = 1
inv : p3079 + p3084 + p3085 = 1
inv : p2320 + p2323 + p2325 + p2327 = 1
inv : p1887 + p1890 + p1891 = 1
inv : p1626 + p1628 + p1630 + p1632 = 1
inv : p1837 + p1839 = 1
inv : p1753 + p1756 + p1757 = 1
inv : p3110 + p3112 = 1
inv : p3143 + p3145 = 1
inv : p2356 + p2359 + p2360 = 1
inv : p1150 + p1155 + p1156 = 1
inv : p208 + p209 - p210 - p211 = 0
inv : p1200 + p1202 = 1
inv : p540 + p543 + p544 = 1
inv : p1076 + p1079 + p1080 = 1
inv : p310 + p313 + p315 + p317 = 1
inv : p1248 + p1251 + p1253 + p1255 = 1
inv : p2959 + p2964 + p2965 = 1
inv : p868 + p873 + p874 = 1
inv : p1985 + p1988 + p1990 + p1992 = 1
inv : p3234 + p3236 + p3238 + p3240 = 1
inv : p688 + p690 + p692 + p694 = 1
inv : p1947 + p1952 + p1953 = 1
inv : p212 + p213 + p217 + p218 = 1
inv : p2825 + p2830 + p2831 = 1
inv : p2674 + p2676 = 1
inv : p942 + p945 + p946 = 1
inv : p138 + p143 + p144 = 1
inv : p1506 + p1508 + p1510 + p1512 = 1
inv : p1569 + p1571 = 1
inv : p2550 + p2555 + p2556 = 1
inv : p2306 + p2308 = 1
inv : p568 + p570 + p572 + p574 = 1
inv : p2148 + p2153 + p2154 = 1
inv : p2856 + p2858 + p2861 + p2863 = 1
inv : -p2218 - p2219 + p2220 + p2221 = 0
inv : p1167 + p1169 = 1
inv : p1672 + p1675 + p1676 = 1
inv : p3012 + p3017 + p3018 = 1
inv : p1351 + p1356 + p1357 = 1
inv : p2655 + p2658 + p2660 + p2662 = 1
inv : p1181 + p1184 + p1186 + p1188 = 1
inv : p3114 + p3116 + p3118 + p3120 = 1
inv : p999 + p1001 = 1
inv : p2737 + p2738 + p2744 + p2747 + p2748 = 1
inv : p131 + p134 + p135 = 1
inv : p1918 + p1921 + p1923 + p1925 = 1
inv : p1337 + p1340 + p1341 = 1
inv : p674 + p677 + p678 = 1
inv : p2624 + p2627 + p2628 = 1
inv : p2818 + p2821 + p2822 = 1
inv : p2490 + p2493 + p2494 = 1
inv : p2966 + p2968 + p2970 + p2972 = 1
inv : p966 + p968 = 1
inv : p681 + p686 + p687 = 1
inv : p1203 + p1208 + p1209 = 1
inv : p162 + p164 = 1
inv : p3220 + p3223 + p3224 = 1
inv : p3227 + p3232 + p3233 = 1
inv : p1619 + p1622 + p1623 = 1
inv : p2789 + p2792 + p2794 + p2796 = 1
inv : p2588 + p2591 + p2593 + p2595 = 1
inv : p734 + p739 + p740 = 1
inv : p3100 + p3102 + p3104 + p3106 = 1
inv : p1602 + p1604 = 1
inv : p1883 + p1884 - p1885 - p1886 = 0
inv : p3280 + p3285 + p3286 = 1
inv : p1806 + p1809 + p1810 = 1
inv : p765 + p767 = 1
inv : p1485 + p1490 + p1491 = 1
inv : p2878 + p2883 + p2884 = 1
inv : p363 + p365 = 1
inv : p2282 + p2287 + p2288 = 1
inv : p635 + p637 + p639 + p641 = 1
inv : p2095 + p2097 + p2099 + p2101 = 1
inv : p2275 + p2278 + p2279 = 1
inv : p865 + p867 = 1
inv : p406 + p411 + p412 = 1
inv : p2737 + p2738 + p2741 + p2743 = 1
inv : p2138 + p2140 = 1
inv : p332 + p337 + p338 = 1
inv : -p476 - p477 + p478 + p479 = 0
inv : p822 + p824 + p826 + p828 = 1
inv : p2105 + p2107 = 1
inv : p1471 + p1476 + p1477 = 1
inv : p1686 + p1691 + p1692 = 1
inv : p1143 + p1146 + p1147 = 1
inv : p3368 + p3372 + p3374 = 1
inv : p2684 + p2687 + p2688 = 1
inv : p1217 + p1220 + p1221 = 1
inv : p1114 + p1117 + p1119 + p1121 = 1
inv : p547 + p552 + p553 = 1
inv : -p1615 - p1616 + p1617 + p1618 = 0
inv : p2543 + p2546 + p2547 = 1
inv : -p1273 - p1274 + p1275 + p1276 = 0
inv : p2610 + p2613 + p2614 = 1
inv : p399 + p404 + p405 = 1
inv : p279 + p284 + p285 = 1
inv : p1203 + p1206 + p1207 = 1
inv : p1315 + p1318 + p1320 + p1322 = 1
inv : p1559 + p1561 + p1563 + p1565 = 1
inv : -p2821 - p2822 + p2823 + p2824 = 0
inv : p1739 + p1744 + p1745 = 1
inv : p1284 + p1287 + p1288 = 1
inv : p2737 + p2738 + p2758 + p2763 + p2764 = 1
inv : p2430 + p2432 + p2434 + p2436 = 1
inv : p1344 + p1347 + p1348 = 1
inv : p1468 + p1470 = 1
inv : p2737 + p2738 + p2751 + p2754 + p2755 = 1
inv : p1485 + p1488 + p1489 = 1
inv : p1435 + p1437 = 1
inv : p296 + p298 = 1
inv : p3301 + p3303 + p3305 + p3307 = 1
inv : p329 + p331 = 1
inv : p2052 + p2055 + p2057 + p2059 = 1
inv : p2296 + p2298 + p2300 + p2302 = 1
inv : p1358 + p1360 + p1362 + p1364 = 1
inv : p600 + p605 + p606 = 1
inv : p1334 + p1336 = 1
inv : p1806 + p1811 + p1812 = 1
inv : p2645 + p2647 + p2649 + p2651 = 1
inv : p78 + p81 + p82 = 1
inv : p1404 + p1409 + p1410 = 1
inv : -p536 - p537 + p538 + p539 = 0
inv : p346 + p351 + p352 = 1
inv : p2239 + p2241 = 1
inv : p1640 + p1642 + p1644 + p1646 = 1
inv : p339 + p342 + p343 = 1
inv : p578 + p581 + p583 + p585 = 1
inv : p2832 + p2834 + p2836 + p2838 = 1
inv : p1961 + p1963 + p1965 + p1967 = 1
inv : p1753 + p1758 + p1759 = 1
inv : -p1816 - p1817 + p1818 + p1819 = 0
inv : p882 + p887 + p888 = 1
inv : p2923 + p2926 + p2928 + p2930 = 1
inv : p932 + p934 = 1
inv : p487 + p489 + p491 + p493 = 1
inv : p980 + p983 + p985 + p987 = 1
inv : p1538 + p1541 + p1542 = 1
inv : p2339 + p2341 = 1
inv : p1545 + p1550 + p1551 = 1
inv : p1679 + p1682 + p1683 = 1
inv : p3160 + p3163 + p3164 = 1
inv : p2892 + p2897 + p2898 = 1
inv : p2074 + p2079 + p2080 = 1
inv : p1746 + p1749 + p1750 = 1
inv : p3344 + p3346 = 1
inv : p3325 + p3328 + p3330 + p3332 = 1
inv : p2511 + p2513 + p2515 + p2517 = 1
inv : p166 + p168 + p170 + p172 = 1
inv : p109 + p112 + p114 + p116 = 1
inv : p899 + p901 = 1
inv : p1820 + p1823 + p1824 = 1
inv : p221 + p223 + p225 + p227 = 1
inv : p1605 + p1608 + p1609 = 1
inv : p2021 + p2026 + p2027 = 1
inv : p2272 + p2274 = 1
inv : p229 + p231 = 1
inv : p413 + p416 + p417 = 1
inv : p2564 + p2566 + p2568 + p2570 = 1
inv : p1104 + p1106 + p1108 + p1109 + p1110 = 1
inv : p956 + p958 + p960 + p962 = 1
inv : p1449 + p1452 + p1454 + p1456 = 1
inv : p3146 + p3149 + p3150 = 1
inv : p3315 + p3317 + p3319 + p3321 + p3323 + p3324 = 1
inv : p808 + p813 + p814 = 1
inv : p667 + p672 + p673 = 1
inv : p3287 + p3290 + p3291 = 1
inv : p1873 + p1876 + p1877 = 1
inv : p1224 + p1226 + p1228 + p1230 = 1
inv : p71 + p76 + p77 = 1
inv : p1880 + p1885 + p1886 = 1
inv : p1552 + p1555 + p1556 = 1
inv : p64 + p67 + p68 = 1
inv : p300 + p302 + p304 + p306 = 1
inv : p2423 + p2428 + p2429 = 1
inv : p2708 + p2710 = 1
inv : p2205 + p2207 = 1
inv : p748 + p751 + p752 = 1
inv : p1090 + p1092 + p1094 + p1096 = 1
inv : p1411 + p1414 + p1415 = 1
inv : p1827 + p1829 + p1831 + p1833 = 1
inv : p2014 + p2017 + p2018 = 1
inv : p1418 + p1423 + p1424 = 1
inv : p2476 + p2481 + p2482 = 1
inv : p903 + p905 + p907 + p909 = 1
inv : p2172 + p2174 = 1
inv : p2945 + p2950 + p2951 = 1
inv : p1301 + p1303 = 1
inv : p3191 + p3194 + p3196 + p3198 = 1
inv : p607 + p610 + p611 = 1
inv : p712 + p715 + p717 + p719 = 1
inv : p3382 + p3384 + p3386 + p3388 = 1
inv : -p2687 - p2688 + p2689 + p2690 = 0
inv : p262 + p264 = 1
inv : p1009 + p1012 + p1013 = 1
inv : p2416 + p2419 + p2420 = 1
inv : -p3149 - p3150 + p3151 + p3152 = 0
inv : p2155 + p2158 + p2159 = 1
inv : p1270 + p1273 + p1274 = 1
inv : p2186 + p2189 + p2191 + p2193 = 1
inv : p1037 + p1039 + p1041 + p1043 = 1
inv : p913 + p915 + p916 + p918 + p920 = 1
inv : p1774 + p1776 + p1778 + p1780 = 1
inv : p1136 + p1141 + p1142 = 1
inv : p614 + p619 + p620 = 1
inv : p466 + p469 + p470 = 1
inv : p2091 + p2092 - p2093 - p2094 = 0
inv : p2557 + p2560 + p2561 = 1
inv : p3347 + p3350 + p3351 = 1
Total of 551 invariants.
[2021-05-16 10:04:12] [INFO ] Computed 551 place invariants in 41 ms
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :1 after 1
[2021-05-16 10:04:13] [INFO ] BMC solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-00(UNSAT) depth K=2 took 1108 ms
[2021-05-16 10:04:13] [INFO ] BMC solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-09(UNSAT) depth K=2 took 431 ms
[2021-05-16 10:04:15] [INFO ] Proved 1560 variables to be positive in 2998 ms
[2021-05-16 10:04:15] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldPPPs-PT-050B-ReachabilityCardinality-00
[2021-05-16 10:04:15] [INFO ] KInduction solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-00(SAT) depth K=0 took 759 ms
[2021-05-16 10:04:16] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldPPPs-PT-050B-ReachabilityCardinality-09
[2021-05-16 10:04:16] [INFO ] KInduction solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-09(SAT) depth K=0 took 659 ms
[2021-05-16 10:04:17] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldPPPs-PT-050B-ReachabilityCardinality-00
[2021-05-16 10:04:17] [INFO ] KInduction solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-00(SAT) depth K=1 took 966 ms
[2021-05-16 10:04:18] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldPPPs-PT-050B-ReachabilityCardinality-09
[2021-05-16 10:04:18] [INFO ] KInduction solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-09(SAT) depth K=1 took 843 ms
[2021-05-16 10:04:20] [INFO ] BMC solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-00(UNSAT) depth K=3 took 6751 ms
Compilation finished in 12909 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/tmp/ltsmin1673769416544541044]
Link finished in 88 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ShieldPPPsPT050BReachabilityCardinality00==true], workingDir=/tmp/ltsmin1673769416544541044]
[2021-05-16 10:04:49] [INFO ] BMC solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-09(UNSAT) depth K=3 took 29702 ms
[2021-05-16 10:06:41] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldPPPs-PT-050B-ReachabilityCardinality-00
[2021-05-16 10:06:41] [INFO ] KInduction solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-00(SAT) depth K=2 took 142800 ms
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :7.83664e+09 after 5.01915e+16
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :5.01915e+16 after 7.90433e+73
[2021-05-16 10:08:28] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldPPPs-PT-050B-ReachabilityCardinality-09
[2021-05-16 10:08:28] [INFO ] KInduction solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-09(SAT) depth K=2 took 107639 ms
[2021-05-16 10:15:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldPPPs-PT-050B-ReachabilityCardinality-00
[2021-05-16 10:15:56] [INFO ] KInduction solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-00(SAT) depth K=3 took 446987 ms
Detected timeout of ITS tools.
[2021-05-16 10:26:49] [INFO ] Applying decomposition
[2021-05-16 10:26:49] [INFO ] Flatten gal took : 144 ms
[2021-05-16 10:26:49] [INFO ] Decomposing Gal with order
[2021-05-16 10:26:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 10:26:49] [INFO ] Removed a total of 661 redundant transitions.
[2021-05-16 10:26:50] [INFO ] Flatten gal took : 312 ms
[2021-05-16 10:26:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 1253 labels/synchronizations in 93 ms.
[2021-05-16 10:26:50] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14597608359244343543.gal : 60 ms
[2021-05-16 10:26:50] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5852553792011485101.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality14597608359244343543.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5852553792011485101.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality14597608359244343543.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5852553792011485101.prop --nowitness
Loading property file /tmp/ReachabilityCardinality5852553792011485101.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :1 after 1
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :1 after 7.83664e+09
[2021-05-16 10:30:51] [INFO ] BMC solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-00(UNSAT) depth K=4 took 1561470 ms
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :7.83664e+09 after 1.8894e+53
WARNING : LTSmin timed out (>1800 s) on command CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ShieldPPPsPT050BReachabilityCardinality00==true], workingDir=/tmp/ltsmin1673769416544541044]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ShieldPPPsPT050BReachabilityCardinality09==true], workingDir=/tmp/ltsmin1673769416544541044]
[2021-05-16 10:49:15] [INFO ] BMC solution for property ShieldPPPs-PT-050B-ReachabilityCardinality-09(UNSAT) depth K=4 took 1103719 ms
Detected timeout of ITS tools.
[2021-05-16 10:49:27] [INFO ] Flatten gal took : 153 ms
[2021-05-16 10:49:28] [INFO ] Input system was already deterministic with 1310 transitions.
[2021-05-16 10:49:28] [INFO ] Transformed 1560 places.
[2021-05-16 10:49:28] [INFO ] Transformed 1310 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-16 10:49:28] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13661907975398570498.gal : 43 ms
[2021-05-16 10:49:28] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4473778929771556190.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality13661907975398570498.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4473778929771556190.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality13661907975398570498.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4473778929771556190.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/ReachabilityCardinality4473778929771556190.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :3 after 6
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :6 after 12
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :12 after 96
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :96 after 237
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :237 after 323
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :323 after 407
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :407 after 747
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :747 after 285027
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :285027 after 5.9661e+06
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
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="ShieldPPPs-PT-050B"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is ShieldPPPs-PT-050B, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r216-tall-162098205400670"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-050B.tgz
mv ShieldPPPs-PT-050B execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;