About the Execution of ITS-Tools for FamilyReunion-COL-L00200M0020C010P010G005
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3716.804 | 3600000.00 | 3977661.00 | 16462.10 | ? ? 6 ? ? ? 6 ? ? ? 6 ? ? ? 201 ? | 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.r083-tall-162048876000875.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 FamilyReunion-COL-L00200M0020C010P010G005, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r083-tall-162048876000875
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 109K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 23K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 122K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 23 11:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 11:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Mar 22 19:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 22 19:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 22 09:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 22 09:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 24 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 146K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-00
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-01
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-02
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-03
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-04
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-05
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-06
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-07
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-08
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-09
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-10
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-11
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-12
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-13
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-14
FORMULA_NAME FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1620683266123
Running Version 0
[2021-05-10 21:47:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -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-10 21:47:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-10 21:47:47] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2021-05-10 21:47:48] [WARNING] Using fallBack plugin, rng conformance not checked
[2021-05-10 21:47:48] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 663 ms
[2021-05-10 21:47:48] [INFO ] Detected 5 constant HL places corresponding to 56 PT places.
[2021-05-10 21:47:48] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 144109 PT places and 134480.0 transition bindings in 30 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 5 ms.
[2021-05-10 21:47:48] [INFO ] Built PT skeleton of HLPN with 104 places and 66 transitions in 7 ms.
[2021-05-10 21:47:48] [INFO ] Skeletonized HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1000_4512120175948298004.dot
Reduce places removed 5 places and 0 transitions.
// Phase 1: matrix 66 rows 99 cols
[2021-05-10 21:47:48] [INFO ] Computed 33 place invariants in 11 ms
FORMULA FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-10 6 TECHNIQUES TOPOLOGICAL CPN_APPROX INITIAL_STATE
FORMULA FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-02 6 TECHNIQUES TOPOLOGICAL CPN_APPROX INITIAL_STATE
[2021-05-10 21:47:49] [INFO ] Unfolded HLPN to a Petri net with 144109 places and 134279 transitions in 592 ms.
[2021-05-10 21:47:49] [INFO ] Unfolded HLPN properties in 3 ms.
// Phase 1: matrix 66 rows 99 cols
[2021-05-10 21:47:49] [INFO ] Computed 33 place invariants in 5 ms
[2021-05-10 21:47:49] [INFO ] [Real]Absence check using 4 positive place invariants in 4 ms returned sat
[2021-05-10 21:47:49] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 7 ms returned sat
[2021-05-10 21:47:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:49] [INFO ] [Real]Absence check using state equation in 98 ms returned sat
[2021-05-10 21:47:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:49] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:49] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 36 ms returned sat
[2021-05-10 21:47:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:49] [INFO ] [Nat]Absence check using state equation in 42 ms returned sat
[2021-05-10 21:47:49] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 7 ms.
[2021-05-10 21:47:49] [INFO ] Added : 36 causal constraints over 8 iterations in 184 ms. Result :sat
Minimization took 20 ms.
[2021-05-10 21:47:49] [INFO ] [Real]Absence check using 4 positive place invariants in 13 ms returned sat
[2021-05-10 21:47:49] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 15 ms returned sat
[2021-05-10 21:47:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:49] [INFO ] [Real]Absence check using state equation in 34 ms returned sat
[2021-05-10 21:47:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using state equation in 22 ms returned sat
[2021-05-10 21:47:50] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 5 ms.
[2021-05-10 21:47:50] [INFO ] Added : 29 causal constraints over 6 iterations in 48 ms. Result :sat
Minimization took 12 ms.
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using 4 positive place invariants in 6 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using state equation in 21 ms returned sat
[2021-05-10 21:47:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 11 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using state equation in 27 ms returned sat
[2021-05-10 21:47:50] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 6 ms.
[2021-05-10 21:47:50] [INFO ] Added : 2 causal constraints over 1 iterations in 26 ms. Result :sat
Minimization took 10 ms.
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 7 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using state equation in 25 ms returned sat
[2021-05-10 21:47:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 6 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using state equation in 24 ms returned sat
[2021-05-10 21:47:50] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 5 ms.
[2021-05-10 21:47:50] [INFO ] Added : 46 causal constraints over 10 iterations in 83 ms. Result :sat
Minimization took 12 ms.
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2021-05-10 21:47:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using state equation in 23 ms returned sat
[2021-05-10 21:47:50] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 4 ms.
[2021-05-10 21:47:50] [INFO ] Added : 33 causal constraints over 7 iterations in 47 ms. Result :sat
Minimization took 12 ms.
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using state equation in 37 ms returned sat
[2021-05-10 21:47:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using 4 positive place invariants in 1 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 4 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using state equation in 28 ms returned sat
[2021-05-10 21:47:50] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 7 ms.
[2021-05-10 21:47:50] [INFO ] Added : 57 causal constraints over 12 iterations in 75 ms. Result :sat
Minimization took 13 ms.
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using 4 positive place invariants in 1 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:50] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2021-05-10 21:47:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:50] [INFO ] [Nat]Absence check using state equation in 21 ms returned sat
[2021-05-10 21:47:50] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 5 ms.
[2021-05-10 21:47:50] [INFO ] Added : 5 causal constraints over 1 iterations in 16 ms. Result :sat
Minimization took 8 ms.
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2021-05-10 21:47:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using 4 positive place invariants in 1 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using state equation in 20 ms returned sat
[2021-05-10 21:47:51] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 3 ms.
[2021-05-10 21:47:51] [INFO ] Added : 39 causal constraints over 8 iterations in 57 ms. Result :sat
Minimization took 11 ms.
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using 4 positive place invariants in 1 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using state equation in 28 ms returned sat
[2021-05-10 21:47:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 4 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using state equation in 18 ms returned sat
[2021-05-10 21:47:51] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 4 ms.
[2021-05-10 21:47:51] [INFO ] Added : 22 causal constraints over 5 iterations in 37 ms. Result :sat
Minimization took 10 ms.
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using state equation in 21 ms returned sat
[2021-05-10 21:47:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using 4 positive place invariants in 1 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using state equation in 31 ms returned sat
[2021-05-10 21:47:51] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 5 ms.
[2021-05-10 21:47:51] [INFO ] Added : 40 causal constraints over 8 iterations in 64 ms. Result :sat
Minimization took 11 ms.
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 4 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using state equation in 17 ms returned sat
[2021-05-10 21:47:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using state equation in 23 ms returned sat
[2021-05-10 21:47:51] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 5 ms.
[2021-05-10 21:47:51] [INFO ] Added : 40 causal constraints over 8 iterations in 61 ms. Result :sat
Minimization took 11 ms.
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2021-05-10 21:47:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 6 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using state equation in 21 ms returned sat
[2021-05-10 21:47:51] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 4 ms.
[2021-05-10 21:47:51] [INFO ] Added : 11 causal constraints over 3 iterations in 34 ms. Result :sat
Minimization took 8 ms.
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using 4 positive place invariants in 1 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 4 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:51] [INFO ] [Real]Absence check using state equation in 18 ms returned sat
[2021-05-10 21:47:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:51] [INFO ] [Nat]Absence check using state equation in 23 ms returned sat
[2021-05-10 21:47:51] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 5 ms.
[2021-05-10 21:47:52] [INFO ] Added : 65 causal constraints over 13 iterations in 77 ms. Result :sat
Minimization took 14 ms.
[2021-05-10 21:47:52] [INFO ] [Real]Absence check using 4 positive place invariants in 1 ms returned sat
[2021-05-10 21:47:52] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 4 ms returned sat
[2021-05-10 21:47:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:52] [INFO ] [Real]Absence check using state equation in 20 ms returned sat
[2021-05-10 21:47:52] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 21:47:52] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2021-05-10 21:47:52] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 5 ms returned sat
[2021-05-10 21:47:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-10 21:47:52] [INFO ] [Nat]Absence check using state equation in 21 ms returned sat
[2021-05-10 21:47:52] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 4 ms.
[2021-05-10 21:47:52] [INFO ] Added : 21 causal constraints over 5 iterations in 33 ms. Result :sat
Minimization took 10 ms.
Current structural bounds on expressions (after SMT) : [603, 201, 201, 402, 201, 6, 201, 402, 201, 402, 402, 201, 201, 201]
[2021-05-10 21:47:52] [INFO ] Unfolded HLPN to a Petri net with 144109 places and 134279 transitions in 319 ms.
[2021-05-10 21:47:52] [INFO ] Unfolded HLPN properties in 2 ms.
Successfully produced net in file /tmp/petri1001_18295245773699396720.dot
Deduced a syphon composed of 201 places in 436 ms
Reduce places removed 257 places and 0 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 4723 ms. (steps per millisecond=2 ) properties (out of 14) seen :232
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=151 ) properties (out of 14) seen :4
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=99 ) properties (out of 14) seen :5
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 813 ms. (steps per millisecond=12 ) properties (out of 14) seen :8
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=72 ) properties (out of 14) seen :4
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 445 ms. (steps per millisecond=22 ) properties (out of 14) seen :3
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 273 ms. (steps per millisecond=36 ) properties (out of 14) seen :4
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 755 ms. (steps per millisecond=13 ) properties (out of 14) seen :4
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=103 ) properties (out of 14) seen :2
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=97 ) properties (out of 14) seen :4
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=108 ) properties (out of 14) seen :4
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=109 ) properties (out of 14) seen :5
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 786 ms. (steps per millisecond=12 ) properties (out of 14) seen :4
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 58 ms. (steps per millisecond=172 ) properties (out of 14) seen :3
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=111 ) properties (out of 14) seen :3
// Phase 1: matrix 134279 rows 143852 cols
[2021-05-10 21:50:02] [WARNING] Invariant computation timed out after 120 seconds.
[2021-05-10 21:50:07] [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
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 21:50:12] [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: Broken pipe ... while checking expression at index 1
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 21:50:17] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 2
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 21:50:23] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 3
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 21:50:28] [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
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 21:50:33] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 5
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 21:50:38] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 6
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 21:50:43] [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: Broken pipe ... while checking expression at index 7
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 21:50:48] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 8
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 21:50:53] [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: Broken pipe ... while checking expression at index 9
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 21:50:58] [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: Broken pipe ... while checking expression at index 10
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 21:51: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: Broken pipe ... while checking expression at index 11
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 21:51: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: Broken pipe ... while checking expression at index 12
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 21:51:13] [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: Broken pipe ... while checking expression at index 13
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:546)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Current structural bounds on expressions (after SMT) : [603, 201, 201, 402, 201, 6, 201, 402, 201, 402, 402, 201, 201, 201] Max seen :[0, 1, 86, 0, 1, 0, 47, 0, 11, 0, 0, 28, 44, 14]
Support contains 17318 out of 143852 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 143852/143852 places, 134279/134279 transitions.
Graph (complete) has 236398 edges and 143852 vertex of which 138983 are kept as prefixes of interest. Removing 4869 places using SCC suffix rule.170 ms
Discarding 4869 places :
Also discarding 6030 output transitions
Drop transitions removed 6030 transitions
Discarding 25326 places :
Implicit places reduction removed 25326 places
Drop transitions removed 32160 transitions
Trivial Post-agglo rules discarded 32160 transitions
Performed 32160 trivial Post agglomeration. Transition count delta: 32160
Iterating post reduction 0 with 57486 rules applied. Total rules applied 57487 place count 113657 transition count 96089
Reduce places removed 32160 places and 0 transitions.
Performed 13065 Post agglomeration using F-continuation condition.Transition count delta: 13065
Iterating post reduction 1 with 45225 rules applied. Total rules applied 102712 place count 81497 transition count 83024
Reduce places removed 13065 places and 0 transitions.
Iterating post reduction 2 with 13065 rules applied. Total rules applied 115777 place count 68432 transition count 83024
Performed 3417 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 3417 Pre rules applied. Total rules applied 115777 place count 68432 transition count 79607
Deduced a syphon composed of 3417 places in 95 ms
Ensure Unique test removed 402 places
Reduce places removed 3819 places and 0 transitions.
Iterating global reduction 3 with 7236 rules applied. Total rules applied 123013 place count 64613 transition count 79607
Discarding 2412 places :
Implicit places reduction removed 2412 places
Iterating post reduction 3 with 2412 rules applied. Total rules applied 125425 place count 62201 transition count 79607
Performed 201 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 201 Pre rules applied. Total rules applied 125425 place count 62201 transition count 79406
Deduced a syphon composed of 201 places in 147 ms
Reduce places removed 201 places and 0 transitions.
Iterating global reduction 4 with 402 rules applied. Total rules applied 125827 place count 62000 transition count 79406
Performed 7236 Post agglomeration using F-continuation condition.Transition count delta: 7236
Deduced a syphon composed of 7236 places in 71 ms
Reduce places removed 7236 places and 0 transitions.
Iterating global reduction 4 with 14472 rules applied. Total rules applied 140299 place count 54764 transition count 72170
Free-agglomeration rule (complex) applied 11256 times.
Iterating global reduction 4 with 11256 rules applied. Total rules applied 151555 place count 54764 transition count 70964
Ensure Unique test removed 402 places
Reduce places removed 11658 places and 0 transitions.
Iterating post reduction 4 with 11658 rules applied. Total rules applied 163213 place count 43106 transition count 70964
Discarding 10 places :
Symmetric choice reduction at 5 with 10 rule applications. Total rules 163223 place count 43096 transition count 58904
Iterating global reduction 5 with 10 rules applied. Total rules applied 163233 place count 43096 transition count 58904
Free-agglomeration rule (complex) applied 201 times.
Iterating global reduction 5 with 201 rules applied. Total rules applied 163434 place count 43096 transition count 68753
Reduce places removed 201 places and 0 transitions.
Iterating post reduction 5 with 201 rules applied. Total rules applied 163635 place count 42895 transition count 68753
Discarding 2010 places :
Symmetric choice reduction at 6 with 2010 rule applications. Total rules 165645 place count 40885 transition count 56693
Ensure Unique test removed 201 places
Iterating global reduction 6 with 2211 rules applied. Total rules applied 167856 place count 40684 transition count 56693
Ensure Unique test removed 2010 transitions
Reduce isomorphic transitions removed 2010 transitions.
Iterating post reduction 6 with 2010 rules applied. Total rules applied 169866 place count 40684 transition count 54683
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169867 place count 40683 transition count 54682
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169868 place count 40682 transition count 54681
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169869 place count 40681 transition count 54680
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169870 place count 40680 transition count 54679
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169871 place count 40679 transition count 54678
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169872 place count 40678 transition count 54677
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169873 place count 40677 transition count 54676
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169874 place count 40676 transition count 54675
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169875 place count 40675 transition count 54674
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169876 place count 40674 transition count 54673
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169877 place count 40673 transition count 54672
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169878 place count 40672 transition count 54671
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169879 place count 40671 transition count 54670
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169880 place count 40670 transition count 54669
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169881 place count 40669 transition count 54668
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169882 place count 40668 transition count 54667
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169883 place count 40667 transition count 54666
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169884 place count 40666 transition count 54665
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169885 place count 40665 transition count 54664
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169886 place count 40664 transition count 54663
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169887 place count 40663 transition count 54662
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169888 place count 40662 transition count 54661
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169889 place count 40661 transition count 54660
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169890 place count 40660 transition count 54659
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169891 place count 40659 transition count 54658
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169892 place count 40658 transition count 54657
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169893 place count 40657 transition count 54656
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169894 place count 40656 transition count 54655
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169895 place count 40655 transition count 54654
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169896 place count 40654 transition count 54653
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169897 place count 40653 transition count 54652
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169898 place count 40652 transition count 54651
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169899 place count 40651 transition count 54650
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169900 place count 40650 transition count 54649
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169901 place count 40649 transition count 54648
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169902 place count 40648 transition count 54647
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169903 place count 40647 transition count 54646
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169904 place count 40646 transition count 54645
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169905 place count 40645 transition count 54644
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169906 place count 40644 transition count 54643
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169907 place count 40643 transition count 54642
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169908 place count 40642 transition count 54641
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169909 place count 40641 transition count 54640
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169910 place count 40640 transition count 54639
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169911 place count 40639 transition count 54638
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169912 place count 40638 transition count 54637
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169913 place count 40637 transition count 54636
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169914 place count 40636 transition count 54635
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169915 place count 40635 transition count 54634
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169916 place count 40634 transition count 54633
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169917 place count 40633 transition count 54632
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169918 place count 40632 transition count 54631
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169919 place count 40631 transition count 54630
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169920 place count 40630 transition count 54629
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169921 place count 40629 transition count 54628
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169922 place count 40628 transition count 54627
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169923 place count 40627 transition count 54626
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169924 place count 40626 transition count 54625
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169925 place count 40625 transition count 54624
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169926 place count 40624 transition count 54623
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169927 place count 40623 transition count 54622
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169928 place count 40622 transition count 54621
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169929 place count 40621 transition count 54620
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169930 place count 40620 transition count 54619
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169931 place count 40619 transition count 54618
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169932 place count 40618 transition count 54617
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169933 place count 40617 transition count 54616
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169934 place count 40616 transition count 54615
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169935 place count 40615 transition count 54614
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169936 place count 40614 transition count 54613
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169937 place count 40613 transition count 54612
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169938 place count 40612 transition count 54611
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169939 place count 40611 transition count 54610
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169940 place count 40610 transition count 54609
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169941 place count 40609 transition count 54608
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169942 place count 40608 transition count 54607
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169943 place count 40607 transition count 54606
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169944 place count 40606 transition count 54605
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169945 place count 40605 transition count 54604
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169946 place count 40604 transition count 54603
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169947 place count 40603 transition count 54602
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169948 place count 40602 transition count 54601
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169949 place count 40601 transition count 54600
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169950 place count 40600 transition count 54599
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169951 place count 40599 transition count 54598
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169952 place count 40598 transition count 54597
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169953 place count 40597 transition count 54596
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169954 place count 40596 transition count 54595
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169955 place count 40595 transition count 54594
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169956 place count 40594 transition count 54593
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169957 place count 40593 transition count 54592
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169958 place count 40592 transition count 54591
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169959 place count 40591 transition count 54590
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169960 place count 40590 transition count 54589
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169961 place count 40589 transition count 54588
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169962 place count 40588 transition count 54587
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169963 place count 40587 transition count 54586
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169964 place count 40586 transition count 54585
[2021-05-10 21:53:48] [INFO ] Computed 30578 place invariants in 345965 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169965 place count 40585 transition count 54584
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169966 place count 40584 transition count 54583
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169967 place count 40583 transition count 54582
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169968 place count 40582 transition count 54581
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169969 place count 40581 transition count 54580
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169970 place count 40580 transition count 54579
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169971 place count 40579 transition count 54578
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169972 place count 40578 transition count 54577
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169973 place count 40577 transition count 54576
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169974 place count 40576 transition count 54575
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169975 place count 40575 transition count 54574
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169976 place count 40574 transition count 54573
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169977 place count 40573 transition count 54572
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169978 place count 40572 transition count 54571
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169979 place count 40571 transition count 54570
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169980 place count 40570 transition count 54569
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169981 place count 40569 transition count 54568
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169982 place count 40568 transition count 54567
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169983 place count 40567 transition count 54566
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169984 place count 40566 transition count 54565
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169985 place count 40565 transition count 54564
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169986 place count 40564 transition count 54563
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169987 place count 40563 transition count 54562
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169988 place count 40562 transition count 54561
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169989 place count 40561 transition count 54560
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169990 place count 40560 transition count 54559
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169991 place count 40559 transition count 54558
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169992 place count 40558 transition count 54557
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169993 place count 40557 transition count 54556
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169994 place count 40556 transition count 54555
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169995 place count 40555 transition count 54554
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169996 place count 40554 transition count 54553
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169997 place count 40553 transition count 54552
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169998 place count 40552 transition count 54551
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 169999 place count 40551 transition count 54550
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170000 place count 40550 transition count 54549
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170001 place count 40549 transition count 54548
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170002 place count 40548 transition count 54547
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170003 place count 40547 transition count 54546
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170004 place count 40546 transition count 54545
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170005 place count 40545 transition count 54544
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170006 place count 40544 transition count 54543
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170007 place count 40543 transition count 54542
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170008 place count 40542 transition count 54541
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170009 place count 40541 transition count 54540
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170010 place count 40540 transition count 54539
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170011 place count 40539 transition count 54538
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170012 place count 40538 transition count 54537
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170013 place count 40537 transition count 54536
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170014 place count 40536 transition count 54535
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170015 place count 40535 transition count 54534
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170016 place count 40534 transition count 54533
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170017 place count 40533 transition count 54532
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170018 place count 40532 transition count 54531
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170019 place count 40531 transition count 54530
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170020 place count 40530 transition count 54529
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170021 place count 40529 transition count 54528
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170022 place count 40528 transition count 54527
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170023 place count 40527 transition count 54526
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170024 place count 40526 transition count 54525
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170025 place count 40525 transition count 54524
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170026 place count 40524 transition count 54523
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170027 place count 40523 transition count 54522
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170028 place count 40522 transition count 54521
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170029 place count 40521 transition count 54520
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170030 place count 40520 transition count 54519
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170031 place count 40519 transition count 54518
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170032 place count 40518 transition count 54517
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170033 place count 40517 transition count 54516
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170034 place count 40516 transition count 54515
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170035 place count 40515 transition count 54514
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170036 place count 40514 transition count 54513
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170037 place count 40513 transition count 54512
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170038 place count 40512 transition count 54511
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170039 place count 40511 transition count 54510
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170040 place count 40510 transition count 54509
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170041 place count 40509 transition count 54508
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170042 place count 40508 transition count 54507
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170043 place count 40507 transition count 54506
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170044 place count 40506 transition count 54505
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170045 place count 40505 transition count 54504
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170046 place count 40504 transition count 54503
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170047 place count 40503 transition count 54502
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170048 place count 40502 transition count 54501
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170049 place count 40501 transition count 54500
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170050 place count 40500 transition count 54499
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170051 place count 40499 transition count 54498
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170052 place count 40498 transition count 54497
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170053 place count 40497 transition count 54496
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170054 place count 40496 transition count 54495
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170055 place count 40495 transition count 54494
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170056 place count 40494 transition count 54493
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170057 place count 40493 transition count 54492
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170058 place count 40492 transition count 54491
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170059 place count 40491 transition count 54490
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170060 place count 40490 transition count 54489
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170061 place count 40489 transition count 54488
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170062 place count 40488 transition count 54487
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170063 place count 40487 transition count 54486
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170064 place count 40486 transition count 54485
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170065 place count 40485 transition count 54484
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170066 place count 40484 transition count 54483
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 170067 place count 40483 transition count 54482
Applied a total of 170067 rules in 214048 ms. Remains 40483 /143852 variables (removed 103369) and now considering 54482/134279 (removed 79797) transitions.
Finished structural reductions, in 1 iterations. Remains : 40483/143852 places, 54482/134279 transitions.
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 21:54:53] [INFO ] Computed 1011 place invariants in 6573 ms
Interrupted random walk after 71679 steps, including 17 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen :{0=201, 1=9, 2=184, 3=31, 4=39, 5=5, 6=64, 7=11, 8=10, 9=36, 10=36, 11=56, 12=201, 13=48}
Interrupted Best-First random walk after 788338 steps, including 2 resets, run timeout after 5003 ms. (steps per millisecond=157 ) properties seen :{2=102, 6=1}
Interrupted Best-First random walk after 505759 steps, including 1 resets, run timeout after 5004 ms. (steps per millisecond=101 ) properties seen :{2=96}
Interrupted Best-First random walk after 59289 steps, including 0 resets, run timeout after 5067 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 509962 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=101 ) properties seen :{2=96}
Interrupted Best-First random walk after 105273 steps, including 0 resets, run timeout after 5027 ms. (steps per millisecond=20 ) properties seen :{2=26}
Interrupted Best-First random walk after 173231 steps, including 0 resets, run timeout after 5009 ms. (steps per millisecond=34 ) properties seen :{2=43}
Interrupted Best-First random walk after 61230 steps, including 0 resets, run timeout after 5033 ms. (steps per millisecond=12 ) properties seen :{2=14}
Interrupted Best-First random walk after 508660 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=101 ) properties seen :{2=93}
Interrupted Best-First random walk after 503700 steps, including 1 resets, run timeout after 5010 ms. (steps per millisecond=100 ) properties seen :{2=101}
Interrupted Best-First random walk after 508283 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=101 ) properties seen :{2=101}
Interrupted Best-First random walk after 510002 steps, including 1 resets, run timeout after 5009 ms. (steps per millisecond=101 ) properties seen :{2=102}
Interrupted Best-First random walk after 58289 steps, including 0 resets, run timeout after 5048 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 777614 steps, including 2 resets, run timeout after 5003 ms. (steps per millisecond=155 ) properties seen :{2=101}
Interrupted Best-First random walk after 510422 steps, including 1 resets, run timeout after 5009 ms. (steps per millisecond=101 ) properties seen :{2=98}
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 21:56:50] [INFO ] Computed 1011 place invariants in 15857 ms
Current structural bounds on expressions (after SMT) : [-1173360014, -1527457338, 201, 402, 201, 6, 201, 402, -1527457338, 402, 402, 201, -1770113579, -1527457338] Max seen :[201, 9, 184, 31, 39, 5, 64, 11, 11, 36, 36, 56, 201, 48]
Support contains 17318 out of 40483 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 40483/40483 places, 54482/54482 transitions.
Applied a total of 0 rules in 557 ms. Remains 40483 /40483 variables (removed 0) and now considering 54482/54482 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 40483/40483 places, 54482/54482 transitions.
Starting structural reductions, iteration 0 : 40483/40483 places, 54482/54482 transitions.
Applied a total of 0 rules in 662 ms. Remains 40483 /40483 variables (removed 0) and now considering 54482/54482 (removed 0) transitions.
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 21:58:34] [INFO ] Computed 1011 place invariants in 10295 ms
[2021-05-10 21:58:38] [INFO ] Implicit Places using invariants in 14046 ms returned []
Implicit Place search using SMT only with invariants took 14052 ms to find 0 implicit places.
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 21:58:48] [INFO ] Computed 1011 place invariants in 9797 ms
[2021-05-10 21:58:52] [INFO ] Dead Transitions using invariants and state equation in 13746 ms returned []
Finished structural reductions, in 1 iterations. Remains : 40483/40483 places, 54482/54482 transitions.
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 21:59:02] [INFO ] Computed 1011 place invariants in 10081 ms
Interrupted random walk after 71234 steps, including 17 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen :{0=201, 1=9, 2=187, 3=32, 4=39, 5=5, 6=70, 7=10, 8=10, 9=38, 10=38, 11=58, 12=201, 13=45}
Interrupted Best-First random walk after 806709 steps, including 2 resets, run timeout after 5003 ms. (steps per millisecond=161 ) properties seen :{2=98}
Interrupted Best-First random walk after 510620 steps, including 1 resets, run timeout after 5009 ms. (steps per millisecond=101 ) properties seen :{2=89}
Interrupted Best-First random walk after 59289 steps, including 0 resets, run timeout after 5045 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 507963 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=101 ) properties seen :{2=101}
Interrupted Best-First random walk after 104273 steps, including 0 resets, run timeout after 5016 ms. (steps per millisecond=20 ) properties seen :{2=26}
Interrupted Best-First random walk after 174513 steps, including 0 resets, run timeout after 5014 ms. (steps per millisecond=34 ) properties seen :{2=46}
Interrupted Best-First random walk after 62231 steps, including 0 resets, run timeout after 5068 ms. (steps per millisecond=12 ) properties seen :{2=15}
Interrupted Best-First random walk after 508621 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=101 ) properties seen :{2=96}
Interrupted Best-First random walk after 503759 steps, including 1 resets, run timeout after 5003 ms. (steps per millisecond=100 ) properties seen :{2=100}
Interrupted Best-First random walk after 510524 steps, including 1 resets, run timeout after 5005 ms. (steps per millisecond=102 ) properties seen :{2=101}
Interrupted Best-First random walk after 510884 steps, including 1 resets, run timeout after 5010 ms. (steps per millisecond=101 ) properties seen :{2=103}
Interrupted Best-First random walk after 59289 steps, including 0 resets, run timeout after 5062 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 770089 steps, including 2 resets, run timeout after 5005 ms. (steps per millisecond=153 ) properties seen :{2=100}
Interrupted Best-First random walk after 511362 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=102 ) properties seen :{2=98}
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 22:00:49] [INFO ] Computed 1011 place invariants in 6739 ms
Current structural bounds on expressions (after SMT) : [-1173360014, -1527457338, 201, 402, 201, 6, 201, 402, -1527457338, 402, 402, 201, -1770113579, -1527457338] Max seen :[201, 9, 187, 32, 39, 5, 70, 11, 11, 38, 38, 58, 201, 48]
Support contains 17318 out of 40483 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 40483/40483 places, 54482/54482 transitions.
Applied a total of 0 rules in 514 ms. Remains 40483 /40483 variables (removed 0) and now considering 54482/54482 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 40483/40483 places, 54482/54482 transitions.
Starting structural reductions, iteration 0 : 40483/40483 places, 54482/54482 transitions.
Applied a total of 0 rules in 505 ms. Remains 40483 /40483 variables (removed 0) and now considering 54482/54482 (removed 0) transitions.
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 22:02:31] [INFO ] Computed 1011 place invariants in 8337 ms
[2021-05-10 22:02:34] [INFO ] Implicit Places using invariants in 11741 ms returned []
Implicit Place search using SMT only with invariants took 11743 ms to find 0 implicit places.
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 22:02:40] [INFO ] Computed 1011 place invariants in 6228 ms
[2021-05-10 22:02:44] [INFO ] Dead Transitions using invariants and state equation in 9869 ms returned []
Finished structural reductions, in 1 iterations. Remains : 40483/40483 places, 54482/54482 transitions.
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 22:02:50] [INFO ] Computed 1011 place invariants in 5887 ms
Interrupted random walk after 71792 steps, including 17 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen :{0=201, 1=10, 2=179, 3=35, 4=36, 5=5, 6=76, 7=9, 8=10, 9=41, 10=41, 11=53, 12=201, 13=47}
Interrupted Best-First random walk after 799547 steps, including 2 resets, run timeout after 5006 ms. (steps per millisecond=159 ) properties seen :{2=102}
Interrupted Best-First random walk after 509902 steps, including 1 resets, run timeout after 5011 ms. (steps per millisecond=101 ) properties seen :{2=96}
Interrupted Best-First random walk after 59289 steps, including 0 resets, run timeout after 5042 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 511484 steps, including 1 resets, run timeout after 5009 ms. (steps per millisecond=102 ) properties seen :{2=100}
Interrupted Best-First random walk after 105273 steps, including 0 resets, run timeout after 5011 ms. (steps per millisecond=21 ) properties seen :{2=26}
Interrupted Best-First random walk after 173611 steps, including 0 resets, run timeout after 5029 ms. (steps per millisecond=34 ) properties seen :{2=43}
Interrupted Best-First random walk after 62231 steps, including 0 resets, run timeout after 5082 ms. (steps per millisecond=12 ) properties seen :{2=15}
Interrupted Best-First random walk after 510362 steps, including 1 resets, run timeout after 5006 ms. (steps per millisecond=101 ) properties seen :{2=100}
Interrupted Best-First random walk after 506040 steps, including 1 resets, run timeout after 5010 ms. (steps per millisecond=101 ) properties seen :{2=100}
Interrupted Best-First random walk after 510102 steps, including 1 resets, run timeout after 5006 ms. (steps per millisecond=101 ) properties seen :{2=99, 6=1}
Interrupted Best-First random walk after 502960 steps, including 1 resets, run timeout after 5005 ms. (steps per millisecond=100 ) properties seen :{2=105}
Interrupted Best-First random walk after 59289 steps, including 0 resets, run timeout after 5085 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 761687 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=152 ) properties seen :{2=103}
Interrupted Best-First random walk after 501079 steps, including 1 resets, run timeout after 5004 ms. (steps per millisecond=100 ) properties seen :{2=103}
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 22:04:36] [INFO ] Computed 1011 place invariants in 5886 ms
Current structural bounds on expressions (after SMT) : [-1173360014, -1527457338, 201, 402, 201, 6, 201, 402, -1527457338, 402, 402, 201, -1770113579, -1527457338] Max seen :[201, 10, 187, 35, 39, 5, 76, 11, 11, 41, 41, 58, 201, 48]
Support contains 17318 out of 40483 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 40483/40483 places, 54482/54482 transitions.
Applied a total of 0 rules in 497 ms. Remains 40483 /40483 variables (removed 0) and now considering 54482/54482 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 40483/40483 places, 54482/54482 transitions.
Starting structural reductions, iteration 0 : 40483/40483 places, 54482/54482 transitions.
Applied a total of 0 rules in 497 ms. Remains 40483 /40483 variables (removed 0) and now considering 54482/54482 (removed 0) transitions.
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 22:06:20] [INFO ] Computed 1011 place invariants in 7871 ms
[2021-05-10 22:06:23] [INFO ] Implicit Places using invariants in 11535 ms returned []
Implicit Place search using SMT only with invariants took 11543 ms to find 0 implicit places.
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 22:06:30] [INFO ] Computed 1011 place invariants in 6568 ms
[2021-05-10 22:06:33] [INFO ] Dead Transitions using invariants and state equation in 10166 ms returned []
Finished structural reductions, in 1 iterations. Remains : 40483/40483 places, 54482/54482 transitions.
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 22:06:40] [INFO ] Computed 1011 place invariants in 6343 ms
Interrupted random walk after 71776 steps, including 17 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen :{0=201, 1=9, 2=180, 3=37, 4=38, 5=6, 6=78, 7=10, 8=10, 9=38, 10=38, 11=57, 12=201, 13=47}
FORMULA FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-06 6 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Interrupted Best-First random walk after 811094 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=162 ) properties seen :{2=101}
Interrupted Best-First random walk after 509624 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=101 ) properties seen :{2=105}
Interrupted Best-First random walk after 58289 steps, including 0 resets, run timeout after 5008 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 510902 steps, including 1 resets, run timeout after 5005 ms. (steps per millisecond=102 ) properties seen :{2=96}
Interrupted Best-First random walk after 105273 steps, including 0 resets, run timeout after 5018 ms. (steps per millisecond=20 ) properties seen :{2=26}
Interrupted Best-First random walk after 61230 steps, including 0 resets, run timeout after 5016 ms. (steps per millisecond=12 ) properties seen :{2=14}
Interrupted Best-First random walk after 511885 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=102 ) properties seen :{2=103}
Interrupted Best-First random walk after 504660 steps, including 1 resets, run timeout after 5009 ms. (steps per millisecond=100 ) properties seen :{2=100}
Interrupted Best-First random walk after 513426 steps, including 1 resets, run timeout after 5008 ms. (steps per millisecond=102 ) properties seen :{2=103}
Interrupted Best-First random walk after 513106 steps, including 1 resets, run timeout after 5003 ms. (steps per millisecond=102 ) properties seen :{2=103}
Interrupted Best-First random walk after 59289 steps, including 0 resets, run timeout after 5057 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 777432 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=155 ) properties seen :{2=97}
Interrupted Best-First random walk after 515808 steps, including 1 resets, run timeout after 5008 ms. (steps per millisecond=102 ) properties seen :{2=101}
// Phase 1: matrix 54482 rows 40483 cols
[2021-05-10 22:08:21] [INFO ] Computed 1011 place invariants in 6001 ms
Current structural bounds on expressions (after SMT) : [-1173360014, -1527457338, 201, 402, 201, 201, 402, -1527457338, 402, 402, 201, -1770113579, -1527457338] Max seen :[201, 10, 187, 37, 39, 78, 11, 11, 41, 41, 58, 201, 48]
Support contains 16112 out of 40483 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 40483/40483 places, 54482/54482 transitions.
Graph (complete) has 89477 edges and 40483 vertex of which 39069 are kept as prefixes of interest. Removing 1414 places using SCC suffix rule.24 ms
Discarding 1414 places :
Also discarding 2412 output transitions
Drop transitions removed 2412 transitions
Applied a total of 1 rules in 689 ms. Remains 39069 /40483 variables (removed 1414) and now considering 52070/54482 (removed 2412) transitions.
Finished structural reductions, in 1 iterations. Remains : 39069/40483 places, 52070/54482 transitions.
// Phase 1: matrix 52070 rows 39069 cols
[2021-05-10 22:09:51] [INFO ] Computed 1009 place invariants in 5622 ms
Interrupted random walk after 77443 steps, including 19 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen :{0=201, 1=9, 2=185, 3=33, 4=41, 5=71, 6=11, 7=10, 8=41, 9=41, 10=56, 11=201, 12=50}
Interrupted Best-First random walk after 791621 steps, including 2 resets, run timeout after 5006 ms. (steps per millisecond=158 ) properties seen :{2=98}
Interrupted Best-First random walk after 504139 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=100 ) properties seen :{2=98}
Interrupted Best-First random walk after 59289 steps, including 0 resets, run timeout after 5071 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 513924 steps, including 1 resets, run timeout after 5008 ms. (steps per millisecond=102 ) properties seen :{2=100}
Interrupted Best-First random walk after 105273 steps, including 0 resets, run timeout after 5030 ms. (steps per millisecond=20 ) properties seen :{2=26}
Interrupted Best-First random walk after 59289 steps, including 0 resets, run timeout after 5077 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 501960 steps, including 1 resets, run timeout after 5006 ms. (steps per millisecond=100 ) properties seen :{2=105}
Interrupted Best-First random walk after 502780 steps, including 1 resets, run timeout after 5008 ms. (steps per millisecond=100 ) properties seen :{2=101}
Interrupted Best-First random walk after 509082 steps, including 1 resets, run timeout after 5005 ms. (steps per millisecond=101 ) properties seen :{2=102}
Interrupted Best-First random walk after 517928 steps, including 1 resets, run timeout after 5005 ms. (steps per millisecond=103 ) properties seen :{2=99}
Interrupted Best-First random walk after 59289 steps, including 0 resets, run timeout after 5061 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 800907 steps, including 2 resets, run timeout after 5007 ms. (steps per millisecond=159 ) properties seen :{2=103, 5=1}
Interrupted Best-First random walk after 519848 steps, including 1 resets, run timeout after 5008 ms. (steps per millisecond=103 ) properties seen :{2=99}
// Phase 1: matrix 52070 rows 39069 cols
[2021-05-10 22:11:33] [INFO ] Computed 1009 place invariants in 6790 ms
[2021-05-10 22:11:49] [INFO ] [Real]Absence check using 2 positive place invariants in 2955 ms returned sat
[2021-05-10 22:11:51] [INFO ] [Real]Absence check using 2 positive and 1007 generalized place invariants in 1422 ms returned sat
[2021-05-10 22:11:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:12:01] [INFO ] [Real]Absence check using state equation in 10044 ms returned sat
[2021-05-10 22:14:04] [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: Broken pipe ... while checking expression at index 1
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 22:14:31] [INFO ] [Real]Absence check using 2 positive place invariants in 2955 ms returned sat
[2021-05-10 22:14:33] [INFO ] [Real]Absence check using 2 positive and 1007 generalized place invariants in 1417 ms returned sat
[2021-05-10 22:14:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:14:43] [INFO ] [Real]Absence check using state equation in 10061 ms returned sat
[2021-05-10 22:16:46] [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
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 22:17:01] [INFO ] [Real]Absence check using 2 positive place invariants in 2981 ms returned sat
[2021-05-10 22:17:02] [INFO ] [Real]Absence check using 2 positive and 1007 generalized place invariants in 1383 ms returned sat
[2021-05-10 22:17:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:17:12] [INFO ] [Real]Absence check using state equation in 9746 ms returned sat
[2021-05-10 22:19:15] [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 7
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 22:19:24] [INFO ] [Real]Absence check using 2 positive place invariants in 2964 ms returned sat
[2021-05-10 22:19:26] [INFO ] [Real]Absence check using 2 positive and 1007 generalized place invariants in 1391 ms returned sat
[2021-05-10 22:19:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:19:35] [INFO ] [Real]Absence check using state equation in 9602 ms returned sat
[2021-05-10 22:21:38] [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: Broken pipe ... while checking expression at index 8
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 22:21:47] [INFO ] [Real]Absence check using 2 positive place invariants in 2969 ms returned sat
[2021-05-10 22:21:49] [INFO ] [Real]Absence check using 2 positive and 1007 generalized place invariants in 1427 ms returned sat
[2021-05-10 22:21:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:21:58] [INFO ] [Real]Absence check using state equation in 9434 ms returned sat
[2021-05-10 22:24:01] [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 9
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 22:24:10] [INFO ] [Real]Absence check using 2 positive place invariants in 2934 ms returned sat
[2021-05-10 22:24:11] [INFO ] [Real]Absence check using 2 positive and 1007 generalized place invariants in 1406 ms returned sat
[2021-05-10 22:24:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:24:21] [INFO ] [Real]Absence check using state equation in 9491 ms returned sat
[2021-05-10 22:26:24] [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: Broken pipe ... while checking expression at index 10
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 22:26:33] [INFO ] [Real]Absence check using 2 positive place invariants in 2933 ms returned sat
[2021-05-10 22:26:33] [INFO ] [Real]Absence check using 2 positive and 1007 generalized place invariants in 678 ms returned unsat
[2021-05-10 22:26:43] [INFO ] [Real]Absence check using 2 positive place invariants in 2971 ms returned sat
[2021-05-10 22:26:44] [INFO ] [Real]Absence check using 2 positive and 1007 generalized place invariants in 1447 ms returned sat
[2021-05-10 22:26:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:26:54] [INFO ] [Real]Absence check using state equation in 9508 ms returned sat
[2021-05-10 22:28:56] [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: Broken pipe ... while checking expression at index 12
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Current structural bounds on expressions (after SMT) : [-1173360014, -1527457338, 201, 402, 201, 201, 402, -1527457338, 402, 402, 201, 201, -1527457338] Max seen :[201, 10, 187, 37, 41, 78, 11, 11, 41, 41, 58, 201, 50]
FORMULA FamilyReunion-COL-L00200M0020C010P010G005-UpperBounds-14 201 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Support contains 16091 out of 39069 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 39069/39069 places, 52070/52070 transitions.
Graph (complete) has 85457 edges and 39069 vertex of which 39048 are kept as prefixes of interest. Removing 21 places using SCC suffix rule.23 ms
Discarding 21 places :
Also discarding 0 output transitions
Free-agglomeration rule (complex) applied 4221 times.
Iterating global reduction 0 with 4221 rules applied. Total rules applied 4222 place count 39048 transition count 47849
Ensure Unique test removed 201 places
Reduce places removed 4422 places and 0 transitions.
Iterating post reduction 0 with 4422 rules applied. Total rules applied 8644 place count 34626 transition count 47849
Discarding 20 places :
Symmetric choice reduction at 1 with 20 rule applications. Total rules 8664 place count 34606 transition count 43829
Iterating global reduction 1 with 20 rules applied. Total rules applied 8684 place count 34606 transition count 43829
Applied a total of 8684 rules in 5800 ms. Remains 34606 /39069 variables (removed 4463) and now considering 43829/52070 (removed 8241) transitions.
Finished structural reductions, in 1 iterations. Remains : 34606/39069 places, 43829/52070 transitions.
// Phase 1: matrix 43829 rows 34606 cols
[2021-05-10 22:29:07] [INFO ] Computed 807 place invariants in 4696 ms
Interrupted random walk after 80586 steps, including 20 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen :{0=201, 1=9, 2=190, 3=36, 4=40, 5=67, 6=10, 7=15, 8=40, 9=40, 10=54, 11=47}
Interrupted Best-First random walk after 819737 steps, including 2 resets, run timeout after 5005 ms. (steps per millisecond=163 ) properties seen :{2=100}
Interrupted Best-First random walk after 516126 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=103 ) properties seen :{2=98}
Interrupted Best-First random walk after 58289 steps, including 0 resets, run timeout after 5035 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 520070 steps, including 1 resets, run timeout after 5007 ms. (steps per millisecond=103 ) properties seen :{2=101}
Interrupted Best-First random walk after 106273 steps, including 0 resets, run timeout after 5028 ms. (steps per millisecond=21 ) properties seen :{2=26}
Interrupted Best-First random walk after 58289 steps, including 0 resets, run timeout after 5015 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 516728 steps, including 1 resets, run timeout after 5002 ms. (steps per millisecond=103 ) properties seen :{2=103}
Interrupted Best-First random walk after 513066 steps, including 1 resets, run timeout after 5006 ms. (steps per millisecond=102 ) properties seen :{2=103}
Interrupted Best-First random walk after 518626 steps, including 1 resets, run timeout after 5006 ms. (steps per millisecond=103 ) properties seen :{2=98}
Interrupted Best-First random walk after 518750 steps, including 1 resets, run timeout after 5003 ms. (steps per millisecond=103 ) properties seen :{2=105}
Interrupted Best-First random walk after 59289 steps, including 0 resets, run timeout after 5053 ms. (steps per millisecond=11 ) properties seen :{2=14}
Interrupted Best-First random walk after 518470 steps, including 1 resets, run timeout after 5008 ms. (steps per millisecond=103 ) properties seen :{2=105}
// Phase 1: matrix 43829 rows 34606 cols
[2021-05-10 22:30:42] [INFO ] Computed 807 place invariants in 4825 ms
[2021-05-10 22:30:49] [INFO ] [Real]Absence check using 2 positive place invariants in 2296 ms returned unsat
[2021-05-10 22:30:57] [INFO ] [Real]Absence check using 2 positive place invariants in 2333 ms returned sat
[2021-05-10 22:30:58] [INFO ] [Real]Absence check using 2 positive and 805 generalized place invariants in 923 ms returned sat
[2021-05-10 22:30:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:31:05] [INFO ] [Real]Absence check using state equation in 7221 ms returned sat
[2021-05-10 22:33:07] [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: Broken pipe ... while checking expression at index 1
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 22:33:15] [INFO ] [Real]Absence check using 2 positive place invariants in 2309 ms returned sat
[2021-05-10 22:33:16] [INFO ] [Real]Absence check using 2 positive and 805 generalized place invariants in 1009 ms returned sat
[2021-05-10 22:33:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:33:23] [INFO ] [Real]Absence check using state equation in 7251 ms returned sat
[2021-05-10 22:35:25] [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: Broken pipe ... while checking expression at index 2
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 22:35:33] [INFO ] [Real]Absence check using 2 positive place invariants in 2295 ms returned sat
[2021-05-10 22:35:34] [INFO ] [Real]Absence check using 2 positive and 805 generalized place invariants in 879 ms returned sat
[2021-05-10 22:35:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:35:41] [INFO ] [Real]Absence check using state equation in 7531 ms returned sat
[2021-05-10 22:37:44] [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
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 22:37:51] [INFO ] [Real]Absence check using 2 positive place invariants in 2297 ms returned sat
[2021-05-10 22:37:52] [INFO ] [Real]Absence check using 2 positive and 805 generalized place invariants in 866 ms returned sat
[2021-05-10 22:37:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:38:00] [INFO ] [Real]Absence check using state equation in 7439 ms returned sat
[2021-05-10 22:40:02] [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: Broken pipe ... while checking expression at index 4
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 22:40:10] [INFO ] [Real]Absence check using 2 positive place invariants in 2333 ms returned sat
[2021-05-10 22:40:11] [INFO ] [Real]Absence check using 2 positive and 805 generalized place invariants in 974 ms returned sat
[2021-05-10 22:40:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:40:19] [INFO ] [Real]Absence check using state equation in 8033 ms returned sat
[2021-05-10 22:42:22] [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: Broken pipe ... while checking expression at index 5
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 22:42:29] [INFO ] [Real]Absence check using 2 positive place invariants in 2312 ms returned sat
[2021-05-10 22:42:30] [INFO ] [Real]Absence check using 2 positive and 805 generalized place invariants in 944 ms returned sat
[2021-05-10 22:42:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:42:37] [INFO ] [Real]Absence check using state equation in 7232 ms returned sat
[2021-05-10 22:44:40] [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: Broken pipe ... while checking expression at index 6
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 22:44:48] [INFO ] [Real]Absence check using 2 positive place invariants in 2322 ms returned sat
[2021-05-10 22:44:49] [INFO ] [Real]Absence check using 2 positive and 805 generalized place invariants in 988 ms returned sat
[2021-05-10 22:44:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:44:56] [INFO ] [Real]Absence check using state equation in 7169 ms returned sat
[2021-05-10 22:46:58] [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: Broken pipe ... while checking expression at index 7
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testTrapWithSMT(DeadlockTester.java:1429)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:895)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:588)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2021-05-10 22:47:06] [INFO ] [Real]Absence check using 2 positive place invariants in 2321 ms returned sat
[2021-05-10 22:47:07] [INFO ] [Real]Absence check using 2 positive and 805 generalized place invariants in 1129 ms returned sat
[2021-05-10 22:47:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 22:47:14] [INFO ] [Real]Absence check using state equation in 7483 ms returned sat
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
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution UpperBounds -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 UpperBounds -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="FamilyReunion-COL-L00200M0020C010P010G005"
export BK_EXAMINATION="UpperBounds"
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 FamilyReunion-COL-L00200M0020C010P010G005, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r083-tall-162048876000875"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00200M0020C010P010G005.tgz
mv FamilyReunion-COL-L00200M0020C010P010G005 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;