About the Execution of ITS-Tools for ShieldPPPt-PT-030B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16247.476 | 3600000.00 | 2483359.00 | 732875.20 | ????F?????T????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r216-tall-162098205700810.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 ShieldPPPt-PT-030B, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r216-tall-162098205700810
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 960K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 128K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 12:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 12:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 18:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 569K May 5 16:52 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-00
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-01
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-02
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-03
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-04
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-05
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-06
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-07
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-08
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-09
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-10
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-11
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-12
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-13
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-14
FORMULA_NAME ShieldPPPt-PT-030B-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1621181319106
Running Version 0
[2021-05-16 16:08:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-16 16:08:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 16:08:55] [INFO ] Load time of PNML (sax parser for PT used): 132 ms
[2021-05-16 16:08:55] [INFO ] Transformed 2343 places.
[2021-05-16 16:08:55] [INFO ] Transformed 2133 transitions.
[2021-05-16 16:08:55] [INFO ] Found NUPN structural information;
[2021-05-16 16:08:55] [INFO ] Parsed PT model containing 2343 places and 2133 transitions in 243 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 16 ms.
Support contains 956 out of 2343 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2343/2343 places, 2133/2133 transitions.
Discarding 146 places :
Symmetric choice reduction at 0 with 146 rule applications. Total rules 146 place count 2197 transition count 1987
Iterating global reduction 0 with 146 rules applied. Total rules applied 292 place count 2197 transition count 1987
Applied a total of 292 rules in 298 ms. Remains 2197 /2343 variables (removed 146) and now considering 1987/2133 (removed 146) transitions.
// Phase 1: matrix 1987 rows 2197 cols
[2021-05-16 16:08:56] [INFO ] Computed 331 place invariants in 35 ms
[2021-05-16 16:08:56] [INFO ] Implicit Places using invariants in 714 ms returned []
// Phase 1: matrix 1987 rows 2197 cols
[2021-05-16 16:08:56] [INFO ] Computed 331 place invariants in 10 ms
[2021-05-16 16:08:58] [INFO ] Implicit Places using invariants and state equation in 1416 ms returned []
Implicit Place search using SMT with State Equation took 2158 ms to find 0 implicit places.
// Phase 1: matrix 1987 rows 2197 cols
[2021-05-16 16:08:58] [INFO ] Computed 331 place invariants in 34 ms
[2021-05-16 16:08:59] [INFO ] Dead Transitions using invariants and state equation in 1135 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2197/2343 places, 1987/2133 transitions.
[2021-05-16 16:08:59] [INFO ] Flatten gal took : 162 ms
[2021-05-16 16:09:00] [INFO ] Flatten gal took : 99 ms
[2021-05-16 16:09:00] [INFO ] Input system was already deterministic with 1987 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=95 ) properties (out of 121) seen :112
Running SMT prover for 9 properties.
// Phase 1: matrix 1987 rows 2197 cols
[2021-05-16 16:09:01] [INFO ] Computed 331 place invariants in 8 ms
[2021-05-16 16:09:01] [INFO ] [Real]Absence check using 331 positive place invariants in 109 ms returned sat
[2021-05-16 16:09:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 16:09:02] [INFO ] [Real]Absence check using state equation in 1252 ms returned sat
[2021-05-16 16:09:03] [INFO ] Deduced a trap composed of 33 places in 561 ms of which 6 ms to minimize.
[2021-05-16 16:09:04] [INFO ] Deduced a trap composed of 29 places in 531 ms of which 2 ms to minimize.
[2021-05-16 16:09:04] [INFO ] Deduced a trap composed of 22 places in 481 ms of which 1 ms to minimize.
[2021-05-16 16:09:05] [INFO ] Deduced a trap composed of 30 places in 461 ms of which 2 ms to minimize.
[2021-05-16 16:09:05] [INFO ] Deduced a trap composed of 22 places in 474 ms of which 1 ms to minimize.
[2021-05-16 16:09:06] [INFO ] Deduced a trap composed of 19 places in 443 ms of which 2 ms to minimize.
[2021-05-16 16:09:06] [INFO ] Deduced a trap composed of 30 places in 474 ms of which 2 ms to minimize.
[2021-05-16 16:09:07] [INFO ] Deduced a trap composed of 26 places in 434 ms of which 1 ms to minimize.
[2021-05-16 16:09:07] [INFO ] Deduced a trap composed of 28 places in 426 ms of which 1 ms to minimize.
[2021-05-16 16:09:08] [INFO ] Deduced a trap composed of 19 places in 427 ms of which 1 ms to minimize.
[2021-05-16 16:09:08] [INFO ] Deduced a trap composed of 18 places in 410 ms of which 1 ms to minimize.
[2021-05-16 16:09:09] [INFO ] Deduced a trap composed of 29 places in 411 ms of which 1 ms to minimize.
[2021-05-16 16:09:09] [INFO ] Deduced a trap composed of 32 places in 389 ms of which 1 ms to minimize.
[2021-05-16 16:09:10] [INFO ] Deduced a trap composed of 34 places in 387 ms of which 1 ms to minimize.
[2021-05-16 16:09:10] [INFO ] Deduced a trap composed of 32 places in 390 ms of which 1 ms to minimize.
[2021-05-16 16:09:11] [INFO ] Deduced a trap composed of 23 places in 409 ms of which 1 ms to minimize.
[2021-05-16 16:09:11] [INFO ] Deduced a trap composed of 30 places in 350 ms of which 1 ms to minimize.
[2021-05-16 16:09:12] [INFO ] Deduced a trap composed of 22 places in 333 ms of which 1 ms to minimize.
[2021-05-16 16:09:12] [INFO ] Deduced a trap composed of 28 places in 326 ms of which 0 ms to minimize.
[2021-05-16 16:09:12] [INFO ] Deduced a trap composed of 17 places in 329 ms of which 1 ms to minimize.
[2021-05-16 16:09:13] [INFO ] Deduced a trap composed of 28 places in 320 ms of which 1 ms to minimize.
[2021-05-16 16:09:13] [INFO ] Deduced a trap composed of 29 places in 333 ms of which 8 ms to minimize.
[2021-05-16 16:09:14] [INFO ] Deduced a trap composed of 19 places in 298 ms of which 1 ms to minimize.
[2021-05-16 16:09:14] [INFO ] Deduced a trap composed of 34 places in 486 ms of which 2 ms to minimize.
[2021-05-16 16:09:15] [INFO ] Deduced a trap composed of 22 places in 288 ms of which 1 ms to minimize.
[2021-05-16 16:09:15] [INFO ] Deduced a trap composed of 45 places in 300 ms of which 1 ms to minimize.
[2021-05-16 16:09:15] [INFO ] Deduced a trap composed of 36 places in 273 ms of which 0 ms to minimize.
[2021-05-16 16:09:16] [INFO ] Deduced a trap composed of 37 places in 256 ms of which 1 ms to minimize.
[2021-05-16 16:09:16] [INFO ] Deduced a trap composed of 35 places in 257 ms of which 1 ms to minimize.
[2021-05-16 16:09:16] [INFO ] Deduced a trap composed of 32 places in 279 ms of which 1 ms to minimize.
[2021-05-16 16:09:17] [INFO ] Deduced a trap composed of 38 places in 267 ms of which 1 ms to minimize.
[2021-05-16 16:09:17] [INFO ] Deduced a trap composed of 34 places in 265 ms of which 0 ms to minimize.
[2021-05-16 16:09:17] [INFO ] Deduced a trap composed of 26 places in 253 ms of which 1 ms to minimize.
[2021-05-16 16:09:18] [INFO ] Deduced a trap composed of 33 places in 250 ms of which 1 ms to minimize.
[2021-05-16 16:09:18] [INFO ] Deduced a trap composed of 46 places in 233 ms of which 1 ms to minimize.
[2021-05-16 16:09:18] [INFO ] Deduced a trap composed of 21 places in 224 ms of which 2 ms to minimize.
[2021-05-16 16:09:19] [INFO ] Deduced a trap composed of 39 places in 220 ms of which 1 ms to minimize.
[2021-05-16 16:09:19] [INFO ] Deduced a trap composed of 39 places in 229 ms of which 1 ms to minimize.
[2021-05-16 16:09:19] [INFO ] Deduced a trap composed of 19 places in 203 ms of which 0 ms to minimize.
[2021-05-16 16:09:19] [INFO ] Deduced a trap composed of 37 places in 202 ms of which 0 ms to minimize.
[2021-05-16 16:09:20] [INFO ] Deduced a trap composed of 40 places in 187 ms of which 1 ms to minimize.
[2021-05-16 16:09:20] [INFO ] Deduced a trap composed of 37 places in 181 ms of which 0 ms to minimize.
[2021-05-16 16:09:20] [INFO ] Deduced a trap composed of 35 places in 192 ms of which 1 ms to minimize.
[2021-05-16 16:09:20] [INFO ] Deduced a trap composed of 37 places in 168 ms of which 1 ms to minimize.
[2021-05-16 16:09:21] [INFO ] Deduced a trap composed of 43 places in 180 ms of which 1 ms to minimize.
[2021-05-16 16:09:21] [INFO ] Deduced a trap composed of 39 places in 180 ms of which 1 ms to minimize.
[2021-05-16 16:09:21] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 0
[2021-05-16 16:09:21] [INFO ] [Real]Absence check using 331 positive place invariants in 100 ms returned sat
[2021-05-16 16:09:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 16:09:22] [INFO ] [Real]Absence check using state equation in 810 ms returned sat
[2021-05-16 16:09:23] [INFO ] Deduced a trap composed of 20 places in 411 ms of which 1 ms to minimize.
[2021-05-16 16:09:23] [INFO ] Deduced a trap composed of 17 places in 401 ms of which 1 ms to minimize.
[2021-05-16 16:09:24] [INFO ] Deduced a trap composed of 16 places in 383 ms of which 1 ms to minimize.
[2021-05-16 16:09:24] [INFO ] Deduced a trap composed of 20 places in 376 ms of which 1 ms to minimize.
[2021-05-16 16:09:24] [INFO ] Deduced a trap composed of 26 places in 394 ms of which 1 ms to minimize.
[2021-05-16 16:09:25] [INFO ] Deduced a trap composed of 27 places in 403 ms of which 1 ms to minimize.
[2021-05-16 16:09:25] [INFO ] Deduced a trap composed of 24 places in 398 ms of which 1 ms to minimize.
[2021-05-16 16:09:26] [INFO ] Deduced a trap composed of 31 places in 360 ms of which 1 ms to minimize.
[2021-05-16 16:09:26] [INFO ] Deduced a trap composed of 26 places in 381 ms of which 1 ms to minimize.
[2021-05-16 16:09:27] [INFO ] Deduced a trap composed of 31 places in 372 ms of which 9 ms to minimize.
[2021-05-16 16:09:27] [INFO ] Deduced a trap composed of 22 places in 362 ms of which 1 ms to minimize.
[2021-05-16 16:09:27] [INFO ] Deduced a trap composed of 31 places in 340 ms of which 1 ms to minimize.
[2021-05-16 16:09:28] [INFO ] Deduced a trap composed of 20 places in 357 ms of which 1 ms to minimize.
[2021-05-16 16:09:28] [INFO ] Deduced a trap composed of 22 places in 348 ms of which 1 ms to minimize.
[2021-05-16 16:09:29] [INFO ] Deduced a trap composed of 29 places in 323 ms of which 1 ms to minimize.
[2021-05-16 16:09:29] [INFO ] Deduced a trap composed of 30 places in 329 ms of which 1 ms to minimize.
[2021-05-16 16:09:30] [INFO ] Deduced a trap composed of 23 places in 310 ms of which 1 ms to minimize.
[2021-05-16 16:09:30] [INFO ] Deduced a trap composed of 34 places in 301 ms of which 1 ms to minimize.
[2021-05-16 16:09:30] [INFO ] Deduced a trap composed of 29 places in 316 ms of which 1 ms to minimize.
[2021-05-16 16:09:31] [INFO ] Deduced a trap composed of 30 places in 295 ms of which 3 ms to minimize.
[2021-05-16 16:09:31] [INFO ] Deduced a trap composed of 31 places in 293 ms of which 3 ms to minimize.
[2021-05-16 16:09:31] [INFO ] Deduced a trap composed of 29 places in 290 ms of which 1 ms to minimize.
[2021-05-16 16:09:32] [INFO ] Deduced a trap composed of 45 places in 290 ms of which 0 ms to minimize.
[2021-05-16 16:09:32] [INFO ] Deduced a trap composed of 25 places in 275 ms of which 1 ms to minimize.
[2021-05-16 16:09:32] [INFO ] Deduced a trap composed of 26 places in 282 ms of which 1 ms to minimize.
[2021-05-16 16:09:33] [INFO ] Deduced a trap composed of 35 places in 283 ms of which 0 ms to minimize.
[2021-05-16 16:09:33] [INFO ] Deduced a trap composed of 43 places in 278 ms of which 1 ms to minimize.
[2021-05-16 16:09:33] [INFO ] Deduced a trap composed of 32 places in 279 ms of which 1 ms to minimize.
[2021-05-16 16:09:34] [INFO ] Deduced a trap composed of 24 places in 266 ms of which 0 ms to minimize.
[2021-05-16 16:09:34] [INFO ] Deduced a trap composed of 34 places in 262 ms of which 1 ms to minimize.
[2021-05-16 16:09:34] [INFO ] Deduced a trap composed of 25 places in 243 ms of which 1 ms to minimize.
[2021-05-16 16:09:35] [INFO ] Deduced a trap composed of 36 places in 266 ms of which 1 ms to minimize.
[2021-05-16 16:09:35] [INFO ] Deduced a trap composed of 25 places in 242 ms of which 1 ms to minimize.
[2021-05-16 16:09:35] [INFO ] Deduced a trap composed of 47 places in 230 ms of which 0 ms to minimize.
[2021-05-16 16:09:36] [INFO ] Deduced a trap composed of 38 places in 254 ms of which 1 ms to minimize.
[2021-05-16 16:09:36] [INFO ] Deduced a trap composed of 42 places in 217 ms of which 1 ms to minimize.
[2021-05-16 16:09:36] [INFO ] Deduced a trap composed of 41 places in 206 ms of which 1 ms to minimize.
[2021-05-16 16:09:37] [INFO ] Deduced a trap composed of 30 places in 204 ms of which 0 ms to minimize.
[2021-05-16 16:09:37] [INFO ] Deduced a trap composed of 40 places in 198 ms of which 1 ms to minimize.
[2021-05-16 16:09:37] [INFO ] Deduced a trap composed of 34 places in 191 ms of which 1 ms to minimize.
[2021-05-16 16:09:37] [INFO ] Deduced a trap composed of 32 places in 184 ms of which 1 ms to minimize.
[2021-05-16 16:09:38] [INFO ] Deduced a trap composed of 43 places in 177 ms of which 0 ms to minimize.
[2021-05-16 16:09:38] [INFO ] Deduced a trap composed of 42 places in 179 ms of which 0 ms to minimize.
[2021-05-16 16:09:38] [INFO ] Deduced a trap composed of 39 places in 175 ms of which 0 ms to minimize.
[2021-05-16 16:09:38] [INFO ] Deduced a trap composed of 44 places in 168 ms of which 0 ms to minimize.
[2021-05-16 16:09:39] [INFO ] Deduced a trap composed of 40 places in 162 ms of which 0 ms to minimize.
[2021-05-16 16:09:39] [INFO ] Deduced a trap composed of 42 places in 162 ms of which 0 ms to minimize.
[2021-05-16 16:09:39] [INFO ] Deduced a trap composed of 38 places in 156 ms of which 0 ms to minimize.
[2021-05-16 16:09:39] [INFO ] Deduced a trap composed of 41 places in 145 ms of which 0 ms to minimize.
[2021-05-16 16:09:39] [INFO ] Deduced a trap composed of 42 places in 143 ms of which 0 ms to minimize.
[2021-05-16 16:09:40] [INFO ] Deduced a trap composed of 46 places in 137 ms of which 1 ms to minimize.
[2021-05-16 16:09:40] [INFO ] Trap strengthening (SAT) tested/added 52/51 trap constraints in 17546 ms
[2021-05-16 16:09:40] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 16:09:40] [INFO ] [Nat]Absence check using 331 positive place invariants in 101 ms returned sat
[2021-05-16 16:09:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 16:09:41] [INFO ] [Nat]Absence check using state equation in 795 ms returned sat
[2021-05-16 16:09:41] [INFO ] Deduced a trap composed of 20 places in 432 ms of which 1 ms to minimize.
[2021-05-16 16:09:42] [INFO ] Deduced a trap composed of 17 places in 424 ms of which 1 ms to minimize.
[2021-05-16 16:09:42] [INFO ] Deduced a trap composed of 16 places in 420 ms of which 1 ms to minimize.
[2021-05-16 16:09:43] [INFO ] Deduced a trap composed of 19 places in 411 ms of which 1 ms to minimize.
[2021-05-16 16:09:43] [INFO ] Deduced a trap composed of 23 places in 390 ms of which 1 ms to minimize.
[2021-05-16 16:09:44] [INFO ] Deduced a trap composed of 18 places in 376 ms of which 1 ms to minimize.
[2021-05-16 16:09:44] [INFO ] Deduced a trap composed of 28 places in 370 ms of which 1 ms to minimize.
[2021-05-16 16:09:45] [INFO ] Deduced a trap composed of 31 places in 367 ms of which 1 ms to minimize.
[2021-05-16 16:09:45] [INFO ] Deduced a trap composed of 19 places in 410 ms of which 1 ms to minimize.
[2021-05-16 16:09:46] [INFO ] Deduced a trap composed of 26 places in 384 ms of which 1 ms to minimize.
[2021-05-16 16:09:46] [INFO ] Deduced a trap composed of 15 places in 361 ms of which 1 ms to minimize.
[2021-05-16 16:09:46] [INFO ] Deduced a trap composed of 23 places in 360 ms of which 1 ms to minimize.
[2021-05-16 16:09:47] [INFO ] Deduced a trap composed of 17 places in 357 ms of which 1 ms to minimize.
[2021-05-16 16:09:47] [INFO ] Deduced a trap composed of 29 places in 345 ms of which 1 ms to minimize.
[2021-05-16 16:09:48] [INFO ] Deduced a trap composed of 26 places in 375 ms of which 1 ms to minimize.
[2021-05-16 16:09:48] [INFO ] Deduced a trap composed of 25 places in 376 ms of which 1 ms to minimize.
[2021-05-16 16:09:49] [INFO ] Deduced a trap composed of 26 places in 374 ms of which 1 ms to minimize.
[2021-05-16 16:09:49] [INFO ] Deduced a trap composed of 30 places in 333 ms of which 1 ms to minimize.
[2021-05-16 16:09:49] [INFO ] Deduced a trap composed of 24 places in 335 ms of which 1 ms to minimize.
[2021-05-16 16:09:50] [INFO ] Deduced a trap composed of 30 places in 331 ms of which 1 ms to minimize.
[2021-05-16 16:09:50] [INFO ] Deduced a trap composed of 29 places in 322 ms of which 1 ms to minimize.
[2021-05-16 16:09:51] [INFO ] Deduced a trap composed of 38 places in 362 ms of which 1 ms to minimize.
[2021-05-16 16:09:51] [INFO ] Deduced a trap composed of 25 places in 315 ms of which 0 ms to minimize.
[2021-05-16 16:09:51] [INFO ] Deduced a trap composed of 30 places in 301 ms of which 1 ms to minimize.
[2021-05-16 16:09:52] [INFO ] Deduced a trap composed of 25 places in 300 ms of which 1 ms to minimize.
[2021-05-16 16:09:52] [INFO ] Deduced a trap composed of 30 places in 311 ms of which 1 ms to minimize.
[2021-05-16 16:09:52] [INFO ] Deduced a trap composed of 32 places in 308 ms of which 1 ms to minimize.
[2021-05-16 16:09:53] [INFO ] Deduced a trap composed of 22 places in 303 ms of which 0 ms to minimize.
[2021-05-16 16:09:53] [INFO ] Deduced a trap composed of 28 places in 280 ms of which 1 ms to minimize.
[2021-05-16 16:09:53] [INFO ] Deduced a trap composed of 30 places in 278 ms of which 1 ms to minimize.
[2021-05-16 16:09:54] [INFO ] Deduced a trap composed of 29 places in 281 ms of which 1 ms to minimize.
[2021-05-16 16:09:54] [INFO ] Deduced a trap composed of 22 places in 257 ms of which 1 ms to minimize.
[2021-05-16 16:09:54] [INFO ] Deduced a trap composed of 25 places in 256 ms of which 1 ms to minimize.
[2021-05-16 16:09:55] [INFO ] Deduced a trap composed of 32 places in 263 ms of which 1 ms to minimize.
[2021-05-16 16:09:55] [INFO ] Deduced a trap composed of 36 places in 256 ms of which 1 ms to minimize.
[2021-05-16 16:09:55] [INFO ] Deduced a trap composed of 39 places in 237 ms of which 1 ms to minimize.
[2021-05-16 16:09:56] [INFO ] Deduced a trap composed of 35 places in 264 ms of which 1 ms to minimize.
[2021-05-16 16:09:56] [INFO ] Deduced a trap composed of 38 places in 230 ms of which 1 ms to minimize.
[2021-05-16 16:09:56] [INFO ] Deduced a trap composed of 34 places in 224 ms of which 1 ms to minimize.
[2021-05-16 16:09:57] [INFO ] Deduced a trap composed of 35 places in 218 ms of which 1 ms to minimize.
[2021-05-16 16:09:57] [INFO ] Deduced a trap composed of 43 places in 207 ms of which 0 ms to minimize.
[2021-05-16 16:09:57] [INFO ] Deduced a trap composed of 44 places in 234 ms of which 1 ms to minimize.
[2021-05-16 16:09:57] [INFO ] Deduced a trap composed of 41 places in 202 ms of which 1 ms to minimize.
[2021-05-16 16:09:58] [INFO ] Deduced a trap composed of 45 places in 204 ms of which 1 ms to minimize.
[2021-05-16 16:09:58] [INFO ] Deduced a trap composed of 36 places in 201 ms of which 1 ms to minimize.
[2021-05-16 16:09:58] [INFO ] Deduced a trap composed of 40 places in 209 ms of which 1 ms to minimize.
[2021-05-16 16:09:59] [INFO ] Deduced a trap composed of 42 places in 206 ms of which 1 ms to minimize.
[2021-05-16 16:09:59] [INFO ] Deduced a trap composed of 39 places in 205 ms of which 1 ms to minimize.
[2021-05-16 16:09:59] [INFO ] Deduced a trap composed of 47 places in 194 ms of which 1 ms to minimize.
[2021-05-16 16:09:59] [INFO ] Deduced a trap composed of 44 places in 210 ms of which 1 ms to minimize.
[2021-05-16 16:10:00] [INFO ] Deduced a trap composed of 42 places in 183 ms of which 1 ms to minimize.
[2021-05-16 16:10:00] [INFO ] Deduced a trap composed of 42 places in 178 ms of which 1 ms to minimize.
[2021-05-16 16:10:00] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 1
[2021-05-16 16:10:00] [INFO ] [Real]Absence check using 331 positive place invariants in 108 ms returned sat
[2021-05-16 16:10:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 16:10:01] [INFO ] [Real]Absence check using state equation in 830 ms returned sat
[2021-05-16 16:10:02] [INFO ] Deduced a trap composed of 30 places in 434 ms of which 1 ms to minimize.
[2021-05-16 16:10:02] [INFO ] Deduced a trap composed of 30 places in 453 ms of which 1 ms to minimize.
[2021-05-16 16:10:03] [INFO ] Deduced a trap composed of 30 places in 463 ms of which 1 ms to minimize.
[2021-05-16 16:10:03] [INFO ] Deduced a trap composed of 28 places in 440 ms of which 1 ms to minimize.
[2021-05-16 16:10:04] [INFO ] Deduced a trap composed of 20 places in 442 ms of which 1 ms to minimize.
[2021-05-16 16:10:04] [INFO ] Deduced a trap composed of 22 places in 415 ms of which 1 ms to minimize.
[2021-05-16 16:10:05] [INFO ] Deduced a trap composed of 20 places in 406 ms of which 1 ms to minimize.
[2021-05-16 16:10:05] [INFO ] Deduced a trap composed of 20 places in 401 ms of which 1 ms to minimize.
[2021-05-16 16:10:06] [INFO ] Deduced a trap composed of 19 places in 401 ms of which 1 ms to minimize.
[2021-05-16 16:10:06] [INFO ] Deduced a trap composed of 22 places in 426 ms of which 1 ms to minimize.
[2021-05-16 16:10:07] [INFO ] Deduced a trap composed of 17 places in 393 ms of which 1 ms to minimize.
[2021-05-16 16:10:07] [INFO ] Deduced a trap composed of 22 places in 397 ms of which 1 ms to minimize.
[2021-05-16 16:10:07] [INFO ] Deduced a trap composed of 19 places in 389 ms of which 1 ms to minimize.
[2021-05-16 16:10:08] [INFO ] Deduced a trap composed of 38 places in 380 ms of which 1 ms to minimize.
[2021-05-16 16:10:08] [INFO ] Deduced a trap composed of 27 places in 372 ms of which 1 ms to minimize.
[2021-05-16 16:10:09] [INFO ] Deduced a trap composed of 19 places in 369 ms of which 1 ms to minimize.
[2021-05-16 16:10:09] [INFO ] Deduced a trap composed of 23 places in 367 ms of which 1 ms to minimize.
[2021-05-16 16:10:10] [INFO ] Deduced a trap composed of 34 places in 345 ms of which 1 ms to minimize.
[2021-05-16 16:10:10] [INFO ] Deduced a trap composed of 23 places in 325 ms of which 1 ms to minimize.
[2021-05-16 16:10:10] [INFO ] Deduced a trap composed of 32 places in 351 ms of which 1 ms to minimize.
[2021-05-16 16:10:11] [INFO ] Deduced a trap composed of 28 places in 320 ms of which 1 ms to minimize.
[2021-05-16 16:10:11] [INFO ] Deduced a trap composed of 21 places in 326 ms of which 1 ms to minimize.
[2021-05-16 16:10:12] [INFO ] Deduced a trap composed of 30 places in 319 ms of which 1 ms to minimize.
[2021-05-16 16:10:12] [INFO ] Deduced a trap composed of 32 places in 306 ms of which 1 ms to minimize.
[2021-05-16 16:10:12] [INFO ] Deduced a trap composed of 30 places in 294 ms of which 1 ms to minimize.
[2021-05-16 16:10:13] [INFO ] Deduced a trap composed of 23 places in 287 ms of which 1 ms to minimize.
[2021-05-16 16:10:13] [INFO ] Deduced a trap composed of 24 places in 275 ms of which 1 ms to minimize.
[2021-05-16 16:10:13] [INFO ] Deduced a trap composed of 25 places in 290 ms of which 1 ms to minimize.
[2021-05-16 16:10:14] [INFO ] Deduced a trap composed of 37 places in 283 ms of which 1 ms to minimize.
[2021-05-16 16:10:14] [INFO ] Deduced a trap composed of 40 places in 293 ms of which 1 ms to minimize.
[2021-05-16 16:10:15] [INFO ] Deduced a trap composed of 34 places in 285 ms of which 1 ms to minimize.
[2021-05-16 16:10:15] [INFO ] Deduced a trap composed of 39 places in 287 ms of which 0 ms to minimize.
[2021-05-16 16:10:15] [INFO ] Deduced a trap composed of 32 places in 269 ms of which 1 ms to minimize.
[2021-05-16 16:10:16] [INFO ] Deduced a trap composed of 32 places in 264 ms of which 0 ms to minimize.
[2021-05-16 16:10:16] [INFO ] Deduced a trap composed of 34 places in 254 ms of which 0 ms to minimize.
[2021-05-16 16:10:16] [INFO ] Deduced a trap composed of 39 places in 245 ms of which 1 ms to minimize.
[2021-05-16 16:10:16] [INFO ] Deduced a trap composed of 32 places in 236 ms of which 1 ms to minimize.
[2021-05-16 16:10:17] [INFO ] Deduced a trap composed of 29 places in 226 ms of which 1 ms to minimize.
[2021-05-16 16:10:17] [INFO ] Deduced a trap composed of 32 places in 218 ms of which 0 ms to minimize.
[2021-05-16 16:10:17] [INFO ] Deduced a trap composed of 43 places in 204 ms of which 1 ms to minimize.
[2021-05-16 16:10:18] [INFO ] Deduced a trap composed of 29 places in 202 ms of which 1 ms to minimize.
[2021-05-16 16:10:18] [INFO ] Deduced a trap composed of 44 places in 191 ms of which 1 ms to minimize.
[2021-05-16 16:10:18] [INFO ] Deduced a trap composed of 38 places in 171 ms of which 0 ms to minimize.
[2021-05-16 16:10:18] [INFO ] Deduced a trap composed of 34 places in 172 ms of which 1 ms to minimize.
[2021-05-16 16:10:19] [INFO ] Deduced a trap composed of 42 places in 177 ms of which 0 ms to minimize.
[2021-05-16 16:10:19] [INFO ] Deduced a trap composed of 42 places in 173 ms of which 0 ms to minimize.
[2021-05-16 16:10:19] [INFO ] Deduced a trap composed of 43 places in 167 ms of which 1 ms to minimize.
[2021-05-16 16:10:19] [INFO ] Deduced a trap composed of 45 places in 166 ms of which 1 ms to minimize.
[2021-05-16 16:10:20] [INFO ] Deduced a trap composed of 45 places in 161 ms of which 1 ms to minimize.
[2021-05-16 16:10:20] [INFO ] Deduced a trap composed of 41 places in 155 ms of which 1 ms to minimize.
[2021-05-16 16:10:20] [INFO ] Deduced a trap composed of 43 places in 151 ms of which 0 ms to minimize.
[2021-05-16 16:10:20] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 2
[2021-05-16 16:10:20] [INFO ] [Real]Absence check using 331 positive place invariants in 108 ms returned sat
[2021-05-16 16:10:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 16:10:21] [INFO ] [Real]Absence check using state equation in 983 ms returned sat
[2021-05-16 16:10:22] [INFO ] Deduced a trap composed of 21 places in 442 ms of which 1 ms to minimize.
[2021-05-16 16:10:22] [INFO ] Deduced a trap composed of 30 places in 419 ms of which 1 ms to minimize.
[2021-05-16 16:10:23] [INFO ] Deduced a trap composed of 21 places in 430 ms of which 1 ms to minimize.
[2021-05-16 16:10:23] [INFO ] Deduced a trap composed of 22 places in 416 ms of which 1 ms to minimize.
[2021-05-16 16:10:24] [INFO ] Deduced a trap composed of 16 places in 411 ms of which 1 ms to minimize.
[2021-05-16 16:10:24] [INFO ] Deduced a trap composed of 22 places in 419 ms of which 1 ms to minimize.
[2021-05-16 16:10:25] [INFO ] Deduced a trap composed of 19 places in 408 ms of which 1 ms to minimize.
[2021-05-16 16:10:25] [INFO ] Deduced a trap composed of 23 places in 407 ms of which 1 ms to minimize.
[2021-05-16 16:10:26] [INFO ] Deduced a trap composed of 22 places in 397 ms of which 1 ms to minimize.
[2021-05-16 16:10:26] [INFO ] Deduced a trap composed of 23 places in 395 ms of which 1 ms to minimize.
[2021-05-16 16:10:27] [INFO ] Deduced a trap composed of 28 places in 364 ms of which 1 ms to minimize.
[2021-05-16 16:10:27] [INFO ] Deduced a trap composed of 17 places in 370 ms of which 1 ms to minimize.
[2021-05-16 16:10:27] [INFO ] Deduced a trap composed of 30 places in 358 ms of which 1 ms to minimize.
[2021-05-16 16:10:28] [INFO ] Deduced a trap composed of 32 places in 377 ms of which 1 ms to minimize.
[2021-05-16 16:10:28] [INFO ] Deduced a trap composed of 26 places in 370 ms of which 1 ms to minimize.
[2021-05-16 16:10:29] [INFO ] Deduced a trap composed of 24 places in 363 ms of which 1 ms to minimize.
[2021-05-16 16:10:29] [INFO ] Deduced a trap composed of 30 places in 345 ms of which 1 ms to minimize.
[2021-05-16 16:10:30] [INFO ] Deduced a trap composed of 35 places in 331 ms of which 1 ms to minimize.
[2021-05-16 16:10:30] [INFO ] Deduced a trap composed of 32 places in 323 ms of which 1 ms to minimize.
[2021-05-16 16:10:30] [INFO ] Deduced a trap composed of 35 places in 311 ms of which 1 ms to minimize.
[2021-05-16 16:10:31] [INFO ] Deduced a trap composed of 19 places in 325 ms of which 1 ms to minimize.
[2021-05-16 16:10:31] [INFO ] Deduced a trap composed of 34 places in 312 ms of which 1 ms to minimize.
[2021-05-16 16:10:32] [INFO ] Deduced a trap composed of 48 places in 279 ms of which 1 ms to minimize.
[2021-05-16 16:10:32] [INFO ] Deduced a trap composed of 34 places in 322 ms of which 1 ms to minimize.
[2021-05-16 16:10:32] [INFO ] Deduced a trap composed of 27 places in 299 ms of which 1 ms to minimize.
[2021-05-16 16:10:33] [INFO ] Deduced a trap composed of 26 places in 301 ms of which 1 ms to minimize.
[2021-05-16 16:10:33] [INFO ] Deduced a trap composed of 32 places in 294 ms of which 1 ms to minimize.
[2021-05-16 16:10:33] [INFO ] Deduced a trap composed of 30 places in 287 ms of which 1 ms to minimize.
[2021-05-16 16:10:34] [INFO ] Deduced a trap composed of 28 places in 277 ms of which 1 ms to minimize.
[2021-05-16 16:10:34] [INFO ] Deduced a trap composed of 43 places in 276 ms of which 1 ms to minimize.
[2021-05-16 16:10:34] [INFO ] Deduced a trap composed of 39 places in 263 ms of which 1 ms to minimize.
[2021-05-16 16:10:35] [INFO ] Deduced a trap composed of 40 places in 244 ms of which 1 ms to minimize.
[2021-05-16 16:10:35] [INFO ] Deduced a trap composed of 29 places in 241 ms of which 1 ms to minimize.
[2021-05-16 16:10:35] [INFO ] Deduced a trap composed of 28 places in 227 ms of which 1 ms to minimize.
[2021-05-16 16:10:36] [INFO ] Deduced a trap composed of 46 places in 234 ms of which 1 ms to minimize.
[2021-05-16 16:10:36] [INFO ] Deduced a trap composed of 44 places in 216 ms of which 1 ms to minimize.
[2021-05-16 16:10:36] [INFO ] Deduced a trap composed of 41 places in 230 ms of which 0 ms to minimize.
[2021-05-16 16:10:37] [INFO ] Deduced a trap composed of 39 places in 218 ms of which 1 ms to minimize.
[2021-05-16 16:10:37] [INFO ] Deduced a trap composed of 23 places in 218 ms of which 1 ms to minimize.
[2021-05-16 16:10:37] [INFO ] Deduced a trap composed of 40 places in 183 ms of which 0 ms to minimize.
[2021-05-16 16:10:37] [INFO ] Deduced a trap composed of 44 places in 191 ms of which 1 ms to minimize.
[2021-05-16 16:10:38] [INFO ] Deduced a trap composed of 42 places in 191 ms of which 1 ms to minimize.
[2021-05-16 16:10:38] [INFO ] Deduced a trap composed of 41 places in 190 ms of which 1 ms to minimize.
[2021-05-16 16:10:38] [INFO ] Deduced a trap composed of 48 places in 173 ms of which 1 ms to minimize.
[2021-05-16 16:10:38] [INFO ] Deduced a trap composed of 46 places in 165 ms of which 0 ms to minimize.
[2021-05-16 16:10:39] [INFO ] Deduced a trap composed of 43 places in 163 ms of which 0 ms to minimize.
[2021-05-16 16:10:39] [INFO ] Deduced a trap composed of 46 places in 159 ms of which 1 ms to minimize.
[2021-05-16 16:10:39] [INFO ] Trap strengthening (SAT) tested/added 48/47 trap constraints in 17472 ms
[2021-05-16 16:10:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 16:10:39] [INFO ] [Nat]Absence check using 331 positive place invariants in 104 ms returned sat
[2021-05-16 16:10:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 16:10:40] [INFO ] [Nat]Absence check using state equation in 979 ms returned sat
[2021-05-16 16:10:41] [INFO ] Deduced a trap composed of 29 places in 420 ms of which 1 ms to minimize.
[2021-05-16 16:10:41] [INFO ] Deduced a trap composed of 25 places in 428 ms of which 9 ms to minimize.
[2021-05-16 16:10:42] [INFO ] Deduced a trap composed of 29 places in 407 ms of which 1 ms to minimize.
[2021-05-16 16:10:42] [INFO ] Deduced a trap composed of 32 places in 392 ms of which 1 ms to minimize.
[2021-05-16 16:10:43] [INFO ] Deduced a trap composed of 19 places in 412 ms of which 1 ms to minimize.
[2021-05-16 16:10:43] [INFO ] Deduced a trap composed of 19 places in 419 ms of which 1 ms to minimize.
[2021-05-16 16:10:44] [INFO ] Deduced a trap composed of 22 places in 418 ms of which 1 ms to minimize.
[2021-05-16 16:10:44] [INFO ] Deduced a trap composed of 19 places in 371 ms of which 1 ms to minimize.
[2021-05-16 16:10:44] [INFO ] Deduced a trap composed of 18 places in 361 ms of which 1 ms to minimize.
[2021-05-16 16:10:45] [INFO ] Deduced a trap composed of 30 places in 373 ms of which 1 ms to minimize.
[2021-05-16 16:10:45] [INFO ] Deduced a trap composed of 29 places in 358 ms of which 1 ms to minimize.
[2021-05-16 16:10:46] [INFO ] Deduced a trap composed of 24 places in 360 ms of which 1 ms to minimize.
[2021-05-16 16:10:46] [INFO ] Deduced a trap composed of 19 places in 356 ms of which 1 ms to minimize.
[2021-05-16 16:10:47] [INFO ] Deduced a trap composed of 29 places in 325 ms of which 1 ms to minimize.
[2021-05-16 16:10:47] [INFO ] Deduced a trap composed of 28 places in 337 ms of which 1 ms to minimize.
[2021-05-16 16:10:47] [INFO ] Deduced a trap composed of 27 places in 328 ms of which 1 ms to minimize.
[2021-05-16 16:10:48] [INFO ] Deduced a trap composed of 23 places in 346 ms of which 1 ms to minimize.
[2021-05-16 16:10:48] [INFO ] Deduced a trap composed of 32 places in 342 ms of which 0 ms to minimize.
[2021-05-16 16:10:49] [INFO ] Deduced a trap composed of 22 places in 317 ms of which 1 ms to minimize.
[2021-05-16 16:10:49] [INFO ] Deduced a trap composed of 20 places in 319 ms of which 1 ms to minimize.
[2021-05-16 16:10:49] [INFO ] Deduced a trap composed of 28 places in 301 ms of which 1 ms to minimize.
[2021-05-16 16:10:50] [INFO ] Deduced a trap composed of 26 places in 334 ms of which 0 ms to minimize.
[2021-05-16 16:10:50] [INFO ] Deduced a trap composed of 32 places in 310 ms of which 1 ms to minimize.
[2021-05-16 16:10:50] [INFO ] Deduced a trap composed of 32 places in 319 ms of which 1 ms to minimize.
[2021-05-16 16:10:51] [INFO ] Deduced a trap composed of 21 places in 334 ms of which 0 ms to minimize.
[2021-05-16 16:10:51] [INFO ] Deduced a trap composed of 41 places in 306 ms of which 1 ms to minimize.
[2021-05-16 16:10:52] [INFO ] Deduced a trap composed of 37 places in 279 ms of which 1 ms to minimize.
[2021-05-16 16:10:52] [INFO ] Deduced a trap composed of 40 places in 286 ms of which 0 ms to minimize.
[2021-05-16 16:10:52] [INFO ] Deduced a trap composed of 34 places in 286 ms of which 0 ms to minimize.
[2021-05-16 16:10:53] [INFO ] Deduced a trap composed of 38 places in 267 ms of which 1 ms to minimize.
[2021-05-16 16:10:53] [INFO ] Deduced a trap composed of 39 places in 276 ms of which 1 ms to minimize.
[2021-05-16 16:10:53] [INFO ] Deduced a trap composed of 29 places in 270 ms of which 0 ms to minimize.
[2021-05-16 16:10:54] [INFO ] Deduced a trap composed of 22 places in 273 ms of which 1 ms to minimize.
[2021-05-16 16:10:54] [INFO ] Deduced a trap composed of 31 places in 238 ms of which 1 ms to minimize.
[2021-05-16 16:10:54] [INFO ] Deduced a trap composed of 30 places in 234 ms of which 1 ms to minimize.
[2021-05-16 16:10:55] [INFO ] Deduced a trap composed of 32 places in 240 ms of which 0 ms to minimize.
[2021-05-16 16:10:55] [INFO ] Deduced a trap composed of 37 places in 232 ms of which 1 ms to minimize.
[2021-05-16 16:10:55] [INFO ] Deduced a trap composed of 17 places in 228 ms of which 0 ms to minimize.
[2021-05-16 16:10:55] [INFO ] Deduced a trap composed of 43 places in 220 ms of which 1 ms to minimize.
[2021-05-16 16:10:56] [INFO ] Deduced a trap composed of 27 places in 220 ms of which 1 ms to minimize.
[2021-05-16 16:10:56] [INFO ] Deduced a trap composed of 41 places in 224 ms of which 1 ms to minimize.
[2021-05-16 16:10:56] [INFO ] Deduced a trap composed of 49 places in 206 ms of which 1 ms to minimize.
[2021-05-16 16:10:57] [INFO ] Deduced a trap composed of 42 places in 203 ms of which 1 ms to minimize.
[2021-05-16 16:10:57] [INFO ] Deduced a trap composed of 40 places in 202 ms of which 0 ms to minimize.
[2021-05-16 16:10:57] [INFO ] Deduced a trap composed of 41 places in 194 ms of which 0 ms to minimize.
[2021-05-16 16:10:57] [INFO ] Deduced a trap composed of 36 places in 191 ms of which 0 ms to minimize.
[2021-05-16 16:10:58] [INFO ] Deduced a trap composed of 42 places in 195 ms of which 1 ms to minimize.
[2021-05-16 16:10:58] [INFO ] Deduced a trap composed of 41 places in 208 ms of which 1 ms to minimize.
[2021-05-16 16:10:58] [INFO ] Deduced a trap composed of 40 places in 193 ms of which 1 ms to minimize.
[2021-05-16 16:10:58] [INFO ] Deduced a trap composed of 39 places in 170 ms of which 0 ms to minimize.
[2021-05-16 16:10:59] [INFO ] Deduced a trap composed of 40 places in 176 ms of which 1 ms to minimize.
[2021-05-16 16:10:59] [INFO ] Deduced a trap composed of 39 places in 163 ms of which 1 ms to minimize.
[2021-05-16 16:10:59] [INFO ] Deduced a trap composed of 36 places in 155 ms of which 1 ms to minimize.
[2021-05-16 16:10:59] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 3
[2021-05-16 16:10:59] [INFO ] [Real]Absence check using 331 positive place invariants in 96 ms returned sat
[2021-05-16 16:10:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 16:11:00] [INFO ] [Real]Absence check using state equation in 747 ms returned sat
[2021-05-16 16:11:01] [INFO ] Deduced a trap composed of 20 places in 470 ms of which 2 ms to minimize.
[2021-05-16 16:11:01] [INFO ] Deduced a trap composed of 30 places in 456 ms of which 1 ms to minimize.
[2021-05-16 16:11:02] [INFO ] Deduced a trap composed of 26 places in 457 ms of which 2 ms to minimize.
[2021-05-16 16:11:02] [INFO ] Deduced a trap composed of 24 places in 429 ms of which 1 ms to minimize.
[2021-05-16 16:11:03] [INFO ] Deduced a trap composed of 23 places in 440 ms of which 1 ms to minimize.
[2021-05-16 16:11:03] [INFO ] Deduced a trap composed of 23 places in 430 ms of which 1 ms to minimize.
[2021-05-16 16:11:04] [INFO ] Deduced a trap composed of 17 places in 430 ms of which 1 ms to minimize.
[2021-05-16 16:11:04] [INFO ] Deduced a trap composed of 16 places in 423 ms of which 1 ms to minimize.
[2021-05-16 16:11:05] [INFO ] Deduced a trap composed of 32 places in 395 ms of which 1 ms to minimize.
[2021-05-16 16:11:05] [INFO ] Deduced a trap composed of 19 places in 393 ms of which 2 ms to minimize.
[2021-05-16 16:11:06] [INFO ] Deduced a trap composed of 32 places in 380 ms of which 1 ms to minimize.
[2021-05-16 16:11:06] [INFO ] Deduced a trap composed of 20 places in 385 ms of which 1 ms to minimize.
[2021-05-16 16:11:07] [INFO ] Deduced a trap composed of 28 places in 387 ms of which 1 ms to minimize.
[2021-05-16 16:11:07] [INFO ] Deduced a trap composed of 22 places in 388 ms of which 1 ms to minimize.
[2021-05-16 16:11:07] [INFO ] Deduced a trap composed of 28 places in 353 ms of which 1 ms to minimize.
[2021-05-16 16:11:08] [INFO ] Deduced a trap composed of 33 places in 378 ms of which 1 ms to minimize.
[2021-05-16 16:11:08] [INFO ] Deduced a trap composed of 21 places in 361 ms of which 1 ms to minimize.
[2021-05-16 16:11:09] [INFO ] Deduced a trap composed of 30 places in 351 ms of which 1 ms to minimize.
[2021-05-16 16:11:09] [INFO ] Deduced a trap composed of 28 places in 359 ms of which 1 ms to minimize.
[2021-05-16 16:11:10] [INFO ] Deduced a trap composed of 31 places in 340 ms of which 1 ms to minimize.
[2021-05-16 16:11:10] [INFO ] Deduced a trap composed of 30 places in 329 ms of which 0 ms to minimize.
[2021-05-16 16:11:10] [INFO ] Deduced a trap composed of 29 places in 314 ms of which 1 ms to minimize.
[2021-05-16 16:11:11] [INFO ] Deduced a trap composed of 39 places in 304 ms of which 1 ms to minimize.
[2021-05-16 16:11:11] [INFO ] Deduced a trap composed of 24 places in 312 ms of which 0 ms to minimize.
[2021-05-16 16:11:11] [INFO ] Deduced a trap composed of 33 places in 289 ms of which 1 ms to minimize.
[2021-05-16 16:11:12] [INFO ] Deduced a trap composed of 34 places in 281 ms of which 0 ms to minimize.
[2021-05-16 16:11:12] [INFO ] Deduced a trap composed of 38 places in 293 ms of which 1 ms to minimize.
[2021-05-16 16:11:12] [INFO ] Deduced a trap composed of 34 places in 270 ms of which 0 ms to minimize.
[2021-05-16 16:11:13] [INFO ] Deduced a trap composed of 35 places in 271 ms of which 0 ms to minimize.
[2021-05-16 16:11:13] [INFO ] Deduced a trap composed of 38 places in 269 ms of which 1 ms to minimize.
[2021-05-16 16:11:13] [INFO ] Deduced a trap composed of 38 places in 260 ms of which 1 ms to minimize.
[2021-05-16 16:11:14] [INFO ] Deduced a trap composed of 40 places in 253 ms of which 1 ms to minimize.
[2021-05-16 16:11:14] [INFO ] Deduced a trap composed of 38 places in 245 ms of which 1 ms to minimize.
[2021-05-16 16:11:14] [INFO ] Deduced a trap composed of 40 places in 238 ms of which 1 ms to minimize.
[2021-05-16 16:11:15] [INFO ] Deduced a trap composed of 40 places in 236 ms of which 1 ms to minimize.
[2021-05-16 16:11:15] [INFO ] Deduced a trap composed of 35 places in 248 ms of which 1 ms to minimize.
[2021-05-16 16:11:15] [INFO ] Deduced a trap composed of 40 places in 214 ms of which 0 ms to minimize.
[2021-05-16 16:11:16] [INFO ] Deduced a trap composed of 48 places in 220 ms of which 1 ms to minimize.
[2021-05-16 16:11:16] [INFO ] Deduced a trap composed of 41 places in 221 ms of which 0 ms to minimize.
[2021-05-16 16:11:16] [INFO ] Deduced a trap composed of 43 places in 218 ms of which 0 ms to minimize.
[2021-05-16 16:11:16] [INFO ] Deduced a trap composed of 39 places in 214 ms of which 1 ms to minimize.
[2021-05-16 16:11:17] [INFO ] Deduced a trap composed of 41 places in 209 ms of which 1 ms to minimize.
[2021-05-16 16:11:17] [INFO ] Deduced a trap composed of 46 places in 203 ms of which 0 ms to minimize.
[2021-05-16 16:11:17] [INFO ] Deduced a trap composed of 43 places in 197 ms of which 1 ms to minimize.
[2021-05-16 16:11:18] [INFO ] Deduced a trap composed of 41 places in 200 ms of which 1 ms to minimize.
[2021-05-16 16:11:18] [INFO ] Deduced a trap composed of 39 places in 196 ms of which 0 ms to minimize.
[2021-05-16 16:11:18] [INFO ] Deduced a trap composed of 41 places in 177 ms of which 0 ms to minimize.
[2021-05-16 16:11:18] [INFO ] Deduced a trap composed of 46 places in 177 ms of which 1 ms to minimize.
[2021-05-16 16:11:19] [INFO ] Deduced a trap composed of 46 places in 170 ms of which 0 ms to minimize.
[2021-05-16 16:11:19] [INFO ] Deduced a trap composed of 39 places in 170 ms of which 1 ms to minimize.
[2021-05-16 16:11:19] [INFO ] Deduced a trap composed of 40 places in 156 ms of which 1 ms to minimize.
[2021-05-16 16:11:20] [INFO ] Deduced a trap composed of 19 places in 1062 ms of which 15 ms to minimize.
[2021-05-16 16:11:20] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 4
[2021-05-16 16:11:20] [INFO ] [Real]Absence check using 331 positive place invariants in 98 ms returned sat
[2021-05-16 16:11:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 16:11:21] [INFO ] [Real]Absence check using state equation in 811 ms returned sat
[2021-05-16 16:11:22] [INFO ] Deduced a trap composed of 17 places in 409 ms of which 1 ms to minimize.
[2021-05-16 16:11:22] [INFO ] Deduced a trap composed of 22 places in 414 ms of which 1 ms to minimize.
[2021-05-16 16:11:23] [INFO ] Deduced a trap composed of 22 places in 378 ms of which 1 ms to minimize.
[2021-05-16 16:11:23] [INFO ] Deduced a trap composed of 16 places in 375 ms of which 1 ms to minimize.
[2021-05-16 16:11:24] [INFO ] Deduced a trap composed of 23 places in 391 ms of which 1 ms to minimize.
[2021-05-16 16:11:24] [INFO ] Deduced a trap composed of 19 places in 380 ms of which 1 ms to minimize.
[2021-05-16 16:11:24] [INFO ] Deduced a trap composed of 17 places in 351 ms of which 1 ms to minimize.
[2021-05-16 16:11:25] [INFO ] Deduced a trap composed of 21 places in 376 ms of which 1 ms to minimize.
[2021-05-16 16:11:25] [INFO ] Deduced a trap composed of 27 places in 367 ms of which 1 ms to minimize.
[2021-05-16 16:11:26] [INFO ] Deduced a trap composed of 19 places in 349 ms of which 1 ms to minimize.
[2021-05-16 16:11:26] [INFO ] Deduced a trap composed of 19 places in 323 ms of which 1 ms to minimize.
[2021-05-16 16:11:27] [INFO ] Deduced a trap composed of 29 places in 337 ms of which 1 ms to minimize.
[2021-05-16 16:11:27] [INFO ] Deduced a trap composed of 22 places in 330 ms of which 1 ms to minimize.
[2021-05-16 16:11:27] [INFO ] Deduced a trap composed of 22 places in 332 ms of which 1 ms to minimize.
[2021-05-16 16:11:28] [INFO ] Deduced a trap composed of 25 places in 310 ms of which 1 ms to minimize.
[2021-05-16 16:11:28] [INFO ] Deduced a trap composed of 20 places in 316 ms of which 2 ms to minimize.
[2021-05-16 16:11:28] [INFO ] Deduced a trap composed of 21 places in 300 ms of which 1 ms to minimize.
[2021-05-16 16:11:29] [INFO ] Deduced a trap composed of 34 places in 296 ms of which 1 ms to minimize.
[2021-05-16 16:11:29] [INFO ] Deduced a trap composed of 32 places in 294 ms of which 1 ms to minimize.
[2021-05-16 16:11:30] [INFO ] Deduced a trap composed of 30 places in 293 ms of which 1 ms to minimize.
[2021-05-16 16:11:30] [INFO ] Deduced a trap composed of 30 places in 287 ms of which 1 ms to minimize.
[2021-05-16 16:11:30] [INFO ] Deduced a trap composed of 28 places in 276 ms of which 1 ms to minimize.
[2021-05-16 16:11:31] [INFO ] Deduced a trap composed of 29 places in 280 ms of which 0 ms to minimize.
[2021-05-16 16:11:31] [INFO ] Deduced a trap composed of 34 places in 274 ms of which 1 ms to minimize.
[2021-05-16 16:11:31] [INFO ] Deduced a trap composed of 30 places in 259 ms of which 1 ms to minimize.
[2021-05-16 16:11:32] [INFO ] Deduced a trap composed of 30 places in 243 ms of which 1 ms to minimize.
[2021-05-16 16:11:32] [INFO ] Deduced a trap composed of 33 places in 269 ms of which 1 ms to minimize.
[2021-05-16 16:11:32] [INFO ] Deduced a trap composed of 32 places in 267 ms of which 1 ms to minimize.
[2021-05-16 16:11:33] [INFO ] Deduced a trap composed of 33 places in 242 ms of which 0 ms to minimize.
[2021-05-16 16:11:33] [INFO ] Deduced a trap composed of 38 places in 245 ms of which 1 ms to minimize.
[2021-05-16 16:11:33] [INFO ] Deduced a trap composed of 39 places in 238 ms of which 0 ms to minimize.
[2021-05-16 16:11:34] [INFO ] Deduced a trap composed of 36 places in 219 ms of which 1 ms to minimize.
[2021-05-16 16:11:34] [INFO ] Deduced a trap composed of 37 places in 220 ms of which 1 ms to minimize.
[2021-05-16 16:11:34] [INFO ] Deduced a trap composed of 39 places in 231 ms of which 1 ms to minimize.
[2021-05-16 16:11:34] [INFO ] Deduced a trap composed of 37 places in 218 ms of which 0 ms to minimize.
[2021-05-16 16:11:35] [INFO ] Deduced a trap composed of 45 places in 205 ms of which 1 ms to minimize.
[2021-05-16 16:11:35] [INFO ] Deduced a trap composed of 30 places in 199 ms of which 1 ms to minimize.
[2021-05-16 16:11:35] [INFO ] Deduced a trap composed of 41 places in 185 ms of which 0 ms to minimize.
[2021-05-16 16:11:35] [INFO ] Deduced a trap composed of 33 places in 191 ms of which 1 ms to minimize.
[2021-05-16 16:11:36] [INFO ] Deduced a trap composed of 32 places in 182 ms of which 1 ms to minimize.
[2021-05-16 16:11:36] [INFO ] Deduced a trap composed of 27 places in 165 ms of which 0 ms to minimize.
[2021-05-16 16:11:36] [INFO ] Deduced a trap composed of 43 places in 170 ms of which 1 ms to minimize.
[2021-05-16 16:11:36] [INFO ] Deduced a trap composed of 39 places in 166 ms of which 1 ms to minimize.
[2021-05-16 16:11:37] [INFO ] Deduced a trap composed of 39 places in 148 ms of which 1 ms to minimize.
[2021-05-16 16:11:37] [INFO ] Deduced a trap composed of 36 places in 155 ms of which 0 ms to minimize.
[2021-05-16 16:11:37] [INFO ] Deduced a trap composed of 39 places in 158 ms of which 0 ms to minimize.
[2021-05-16 16:11:37] [INFO ] Deduced a trap composed of 41 places in 132 ms of which 0 ms to minimize.
[2021-05-16 16:11:38] [INFO ] Deduced a trap composed of 46 places in 128 ms of which 0 ms to minimize.
[2021-05-16 16:11:38] [INFO ] Deduced a trap composed of 41 places in 125 ms of which 1 ms to minimize.
[2021-05-16 16:11:38] [INFO ] Deduced a trap composed of 42 places in 118 ms of which 0 ms to minimize.
[2021-05-16 16:11:38] [INFO ] Deduced a trap composed of 45 places in 114 ms of which 1 ms to minimize.
[2021-05-16 16:11:38] [INFO ] Deduced a trap composed of 46 places in 111 ms of which 0 ms to minimize.
[2021-05-16 16:11:38] [INFO ] Trap strengthening (SAT) tested/added 53/52 trap constraints in 17058 ms
[2021-05-16 16:11:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 16:11:39] [INFO ] [Nat]Absence check using 331 positive place invariants in 101 ms returned sat
[2021-05-16 16:11:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 16:11:40] [INFO ] [Nat]Absence check using state equation in 800 ms returned sat
[2021-05-16 16:11:40] [INFO ] Deduced a trap composed of 17 places in 394 ms of which 1 ms to minimize.
[2021-05-16 16:11:40] [INFO ] Deduced a trap composed of 22 places in 418 ms of which 1 ms to minimize.
[2021-05-16 16:11:41] [INFO ] Deduced a trap composed of 22 places in 383 ms of which 1 ms to minimize.
[2021-05-16 16:11:41] [INFO ] Deduced a trap composed of 16 places in 385 ms of which 1 ms to minimize.
[2021-05-16 16:11:42] [INFO ] Deduced a trap composed of 23 places in 368 ms of which 1 ms to minimize.
[2021-05-16 16:11:42] [INFO ] Deduced a trap composed of 19 places in 363 ms of which 1 ms to minimize.
[2021-05-16 16:11:43] [INFO ] Deduced a trap composed of 19 places in 353 ms of which 1 ms to minimize.
[2021-05-16 16:11:43] [INFO ] Deduced a trap composed of 27 places in 346 ms of which 1 ms to minimize.
[2021-05-16 16:11:44] [INFO ] Deduced a trap composed of 28 places in 394 ms of which 1 ms to minimize.
[2021-05-16 16:11:44] [INFO ] Deduced a trap composed of 22 places in 339 ms of which 1 ms to minimize.
[2021-05-16 16:11:44] [INFO ] Deduced a trap composed of 17 places in 335 ms of which 1 ms to minimize.
[2021-05-16 16:11:45] [INFO ] Deduced a trap composed of 21 places in 329 ms of which 1 ms to minimize.
[2021-05-16 16:11:45] [INFO ] Deduced a trap composed of 21 places in 350 ms of which 1 ms to minimize.
[2021-05-16 16:11:46] [INFO ] Deduced a trap composed of 29 places in 352 ms of which 1 ms to minimize.
[2021-05-16 16:11:46] [INFO ] Deduced a trap composed of 22 places in 332 ms of which 1 ms to minimize.
[2021-05-16 16:11:46] [INFO ] Deduced a trap composed of 19 places in 320 ms of which 1 ms to minimize.
[2021-05-16 16:11:47] [INFO ] Deduced a trap composed of 32 places in 329 ms of which 0 ms to minimize.
[2021-05-16 16:11:47] [INFO ] Deduced a trap composed of 37 places in 306 ms of which 1 ms to minimize.
[2021-05-16 16:11:47] [INFO ] Deduced a trap composed of 31 places in 301 ms of which 1 ms to minimize.
[2021-05-16 16:11:48] [INFO ] Deduced a trap composed of 28 places in 274 ms of which 1 ms to minimize.
[2021-05-16 16:11:48] [INFO ] Deduced a trap composed of 28 places in 269 ms of which 1 ms to minimize.
[2021-05-16 16:11:48] [INFO ] Deduced a trap composed of 30 places in 282 ms of which 1 ms to minimize.
[2021-05-16 16:11:49] [INFO ] Deduced a trap composed of 28 places in 253 ms of which 0 ms to minimize.
[2021-05-16 16:11:49] [INFO ] Deduced a trap composed of 30 places in 246 ms of which 1 ms to minimize.
[2021-05-16 16:11:49] [INFO ] Deduced a trap composed of 30 places in 259 ms of which 0 ms to minimize.
[2021-05-16 16:11:50] [INFO ] Deduced a trap composed of 30 places in 265 ms of which 1 ms to minimize.
[2021-05-16 16:11:50] [INFO ] Deduced a trap composed of 39 places in 254 ms of which 1 ms to minimize.
[2021-05-16 16:11:50] [INFO ] Deduced a trap composed of 37 places in 249 ms of which 1 ms to minimize.
[2021-05-16 16:11:51] [INFO ] Deduced a trap composed of 22 places in 244 ms of which 1 ms to minimize.
[2021-05-16 16:11:51] [INFO ] Deduced a trap composed of 34 places in 245 ms of which 1 ms to minimize.
[2021-05-16 16:11:51] [INFO ] Deduced a trap composed of 29 places in 242 ms of which 1 ms to minimize.
[2021-05-16 16:11:52] [INFO ] Deduced a trap composed of 37 places in 226 ms of which 1 ms to minimize.
[2021-05-16 16:11:52] [INFO ] Deduced a trap composed of 39 places in 227 ms of which 1 ms to minimize.
[2021-05-16 16:11:52] [INFO ] Deduced a trap composed of 50 places in 216 ms of which 1 ms to minimize.
[2021-05-16 16:11:52] [INFO ] Deduced a trap composed of 37 places in 220 ms of which 0 ms to minimize.
[2021-05-16 16:11:53] [INFO ] Deduced a trap composed of 41 places in 209 ms of which 1 ms to minimize.
[2021-05-16 16:11:53] [INFO ] Deduced a trap composed of 46 places in 205 ms of which 1 ms to minimize.
[2021-05-16 16:11:53] [INFO ] Deduced a trap composed of 39 places in 197 ms of which 1 ms to minimize.
[2021-05-16 16:11:54] [INFO ] Deduced a trap composed of 34 places in 194 ms of which 0 ms to minimize.
[2021-05-16 16:11:54] [INFO ] Deduced a trap composed of 39 places in 185 ms of which 1 ms to minimize.
[2021-05-16 16:11:54] [INFO ] Deduced a trap composed of 39 places in 172 ms of which 0 ms to minimize.
[2021-05-16 16:11:54] [INFO ] Deduced a trap composed of 42 places in 150 ms of which 1 ms to minimize.
[2021-05-16 16:11:54] [INFO ] Deduced a trap composed of 27 places in 143 ms of which 1 ms to minimize.
[2021-05-16 16:11:55] [INFO ] Deduced a trap composed of 41 places in 152 ms of which 0 ms to minimize.
[2021-05-16 16:11:55] [INFO ] Deduced a trap composed of 39 places in 138 ms of which 1 ms to minimize.
[2021-05-16 16:11:55] [INFO ] Deduced a trap composed of 36 places in 137 ms of which 0 ms to minimize.
[2021-05-16 16:11:55] [INFO ] Deduced a trap composed of 45 places in 130 ms of which 1 ms to minimize.
[2021-05-16 16:11:55] [INFO ] Deduced a trap composed of 48 places in 126 ms of which 1 ms to minimize.
[2021-05-16 16:11:56] [INFO ] Deduced a trap composed of 45 places in 125 ms of which 0 ms to minimize.
[2021-05-16 16:11:56] [INFO ] Deduced a trap composed of 41 places in 108 ms of which 0 ms to minimize.
[2021-05-16 16:11:56] [INFO ] Deduced a trap composed of 46 places in 106 ms of which 1 ms to minimize.
[2021-05-16 16:11:56] [INFO ] Trap strengthening (SAT) tested/added 52/51 trap constraints in 16477 ms
[2021-05-16 16:11:56] [INFO ] Computed and/alt/rep : 1986/2950/1986 causal constraints (skipped 0 transitions) in 121 ms.
[2021-05-16 16:11: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: Stream close... while checking expression at index 5
[2021-05-16 16:11:59] [INFO ] [Real]Absence check using 331 positive place invariants in 98 ms returned sat
[2021-05-16 16:11:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 16:11:59] [INFO ] [Real]Absence check using state equation in 751 ms returned sat
[2021-05-16 16:12:00] [INFO ] Deduced a trap composed of 22 places in 404 ms of which 1 ms to minimize.
[2021-05-16 16:12:00] [INFO ] Deduced a trap composed of 34 places in 404 ms of which 1 ms to minimize.
[2021-05-16 16:12:01] [INFO ] Deduced a trap composed of 26 places in 392 ms of which 1 ms to minimize.
[2021-05-16 16:12:01] [INFO ] Deduced a trap composed of 17 places in 407 ms of which 1 ms to minimize.
[2021-05-16 16:12:02] [INFO ] Deduced a trap composed of 16 places in 381 ms of which 1 ms to minimize.
[2021-05-16 16:12:02] [INFO ] Deduced a trap composed of 26 places in 383 ms of which 1 ms to minimize.
[2021-05-16 16:12:03] [INFO ] Deduced a trap composed of 25 places in 369 ms of which 1 ms to minimize.
[2021-05-16 16:12:03] [INFO ] Deduced a trap composed of 22 places in 372 ms of which 1 ms to minimize.
[2021-05-16 16:12:04] [INFO ] Deduced a trap composed of 17 places in 388 ms of which 1 ms to minimize.
[2021-05-16 16:12:04] [INFO ] Deduced a trap composed of 20 places in 387 ms of which 1 ms to minimize.
[2021-05-16 16:12:05] [INFO ] Deduced a trap composed of 25 places in 369 ms of which 0 ms to minimize.
[2021-05-16 16:12:05] [INFO ] Deduced a trap composed of 26 places in 369 ms of which 1 ms to minimize.
[2021-05-16 16:12:05] [INFO ] Deduced a trap composed of 19 places in 358 ms of which 1 ms to minimize.
[2021-05-16 16:12:06] [INFO ] Deduced a trap composed of 24 places in 347 ms of which 1 ms to minimize.
[2021-05-16 16:12:06] [INFO ] Deduced a trap composed of 23 places in 349 ms of which 1 ms to minimize.
[2021-05-16 16:12:07] [INFO ] Deduced a trap composed of 28 places in 328 ms of which 1 ms to minimize.
[2021-05-16 16:12:07] [INFO ] Deduced a trap composed of 22 places in 327 ms of which 1 ms to minimize.
[2021-05-16 16:12:07] [INFO ] Deduced a trap composed of 31 places in 317 ms of which 1 ms to minimize.
[2021-05-16 16:12:08] [INFO ] Deduced a trap composed of 29 places in 325 ms of which 1 ms to minimize.
[2021-05-16 16:12:08] [INFO ] Deduced a trap composed of 28 places in 277 ms of which 1 ms to minimize.
[2021-05-16 16:12:08] [INFO ] Deduced a trap composed of 23 places in 281 ms of which 0 ms to minimize.
[2021-05-16 16:12:09] [INFO ] Deduced a trap composed of 24 places in 287 ms of which 0 ms to minimize.
[2021-05-16 16:12:09] [INFO ] Deduced a trap composed of 19 places in 278 ms of which 1 ms to minimize.
[2021-05-16 16:12:10] [INFO ] Deduced a trap composed of 21 places in 265 ms of which 1 ms to minimize.
[2021-05-16 16:12:10] [INFO ] Deduced a trap composed of 27 places in 279 ms of which 1 ms to minimize.
[2021-05-16 16:12:10] [INFO ] Deduced a trap composed of 33 places in 257 ms of which 0 ms to minimize.
[2021-05-16 16:12:11] [INFO ] Deduced a trap composed of 26 places in 253 ms of which 1 ms to minimize.
[2021-05-16 16:12:11] [INFO ] Deduced a trap composed of 30 places in 242 ms of which 1 ms to minimize.
[2021-05-16 16:12:11] [INFO ] Deduced a trap composed of 28 places in 247 ms of which 1 ms to minimize.
[2021-05-16 16:12:11] [INFO ] Deduced a trap composed of 30 places in 237 ms of which 0 ms to minimize.
[2021-05-16 16:12:12] [INFO ] Deduced a trap composed of 31 places in 236 ms of which 1 ms to minimize.
[2021-05-16 16:12:12] [INFO ] Deduced a trap composed of 36 places in 226 ms of which 1 ms to minimize.
[2021-05-16 16:12:12] [INFO ] Deduced a trap composed of 33 places in 221 ms of which 1 ms to minimize.
[2021-05-16 16:12:13] [INFO ] Deduced a trap composed of 38 places in 217 ms of which 1 ms to minimize.
[2021-05-16 16:12:13] [INFO ] Deduced a trap composed of 32 places in 213 ms of which 1 ms to minimize.
[2021-05-16 16:12:13] [INFO ] Deduced a trap composed of 40 places in 210 ms of which 0 ms to minimize.
[2021-05-16 16:12:13] [INFO ] Deduced a trap composed of 28 places in 204 ms of which 1 ms to minimize.
[2021-05-16 16:12:14] [INFO ] Deduced a trap composed of 23 places in 177 ms of which 1 ms to minimize.
[2021-05-16 16:12:14] [INFO ] Deduced a trap composed of 32 places in 198 ms of which 1 ms to minimize.
[2021-05-16 16:12:14] [INFO ] Deduced a trap composed of 36 places in 170 ms of which 1 ms to minimize.
[2021-05-16 16:12:14] [INFO ] Deduced a trap composed of 36 places in 171 ms of which 0 ms to minimize.
[2021-05-16 16:12:15] [INFO ] Deduced a trap composed of 39 places in 175 ms of which 0 ms to minimize.
[2021-05-16 16:12:15] [INFO ] Deduced a trap composed of 33 places in 158 ms of which 1 ms to minimize.
[2021-05-16 16:12:15] [INFO ] Deduced a trap composed of 39 places in 141 ms of which 0 ms to minimize.
[2021-05-16 16:12:15] [INFO ] Deduced a trap composed of 32 places in 135 ms of which 1 ms to minimize.
[2021-05-16 16:12:16] [INFO ] Deduced a trap composed of 31 places in 144 ms of which 1 ms to minimize.
[2021-05-16 16:12:16] [INFO ] Deduced a trap composed of 43 places in 136 ms of which 1 ms to minimize.
[2021-05-16 16:12:16] [INFO ] Deduced a trap composed of 39 places in 128 ms of which 0 ms to minimize.
[2021-05-16 16:12:16] [INFO ] Deduced a trap composed of 48 places in 129 ms of which 1 ms to minimize.
[2021-05-16 16:12:16] [INFO ] Deduced a trap composed of 41 places in 122 ms of which 0 ms to minimize.
[2021-05-16 16:12:17] [INFO ] Deduced a trap composed of 44 places in 116 ms of which 1 ms to minimize.
[2021-05-16 16:12:17] [INFO ] Deduced a trap composed of 46 places in 109 ms of which 1 ms to minimize.
[2021-05-16 16:12:17] [INFO ] Deduced a trap composed of 38 places in 105 ms of which 0 ms to minimize.
[2021-05-16 16:12:17] [INFO ] Deduced a trap composed of 42 places in 89 ms of which 0 ms to minimize.
[2021-05-16 16:12:17] [INFO ] Deduced a trap composed of 46 places in 95 ms of which 0 ms to minimize.
[2021-05-16 16:12:17] [INFO ] Deduced a trap composed of 37 places in 89 ms of which 0 ms to minimize.
[2021-05-16 16:12:18] [INFO ] Deduced a trap composed of 48 places in 99 ms of which 13 ms to minimize.
[2021-05-16 16:12:18] [INFO ] Deduced a trap composed of 40 places in 83 ms of which 0 ms to minimize.
[2021-05-16 16:12:18] [INFO ] Deduced a trap composed of 45 places in 75 ms of which 0 ms to minimize.
[2021-05-16 16:12:18] [INFO ] Trap strengthening (SAT) tested/added 60/59 trap constraints in 18431 ms
[2021-05-16 16:12:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 16:12:18] [INFO ] [Nat]Absence check using 331 positive place invariants in 103 ms returned sat
[2021-05-16 16:12:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 16:12:19] [INFO ] [Nat]Absence check using state equation in 811 ms returned sat
[2021-05-16 16:12:20] [INFO ] Deduced a trap composed of 22 places in 409 ms of which 1 ms to minimize.
[2021-05-16 16:12:20] [INFO ] Deduced a trap composed of 34 places in 395 ms of which 1 ms to minimize.
[2021-05-16 16:12:21] [INFO ] Deduced a trap composed of 26 places in 384 ms of which 1 ms to minimize.
[2021-05-16 16:12:21] [INFO ] Deduced a trap composed of 17 places in 375 ms of which 1 ms to minimize.
[2021-05-16 16:12:21] [INFO ] Deduced a trap composed of 16 places in 382 ms of which 1 ms to minimize.
[2021-05-16 16:12:22] [INFO ] Deduced a trap composed of 26 places in 382 ms of which 1 ms to minimize.
[2021-05-16 16:12:22] [INFO ] Deduced a trap composed of 32 places in 402 ms of which 1 ms to minimize.
[2021-05-16 16:12:23] [INFO ] Deduced a trap composed of 33 places in 390 ms of which 1 ms to minimize.
[2021-05-16 16:12:23] [INFO ] Deduced a trap composed of 35 places in 378 ms of which 0 ms to minimize.
[2021-05-16 16:12:24] [INFO ] Deduced a trap composed of 29 places in 390 ms of which 1 ms to minimize.
[2021-05-16 16:12:24] [INFO ] Deduced a trap composed of 23 places in 364 ms of which 1 ms to minimize.
[2021-05-16 16:12:25] [INFO ] Deduced a trap composed of 23 places in 374 ms of which 1 ms to minimize.
[2021-05-16 16:12:25] [INFO ] Deduced a trap composed of 17 places in 365 ms of which 1 ms to minimize.
[2021-05-16 16:12:25] [INFO ] Deduced a trap composed of 31 places in 360 ms of which 1 ms to minimize.
[2021-05-16 16:12:26] [INFO ] Deduced a trap composed of 28 places in 361 ms of which 0 ms to minimize.
[2021-05-16 16:12:26] [INFO ] Deduced a trap composed of 30 places in 370 ms of which 1 ms to minimize.
[2021-05-16 16:12:27] [INFO ] Deduced a trap composed of 37 places in 331 ms of which 1 ms to minimize.
[2021-05-16 16:12:27] [INFO ] Deduced a trap composed of 23 places in 325 ms of which 1 ms to minimize.
[2021-05-16 16:12:27] [INFO ] Deduced a trap composed of 36 places in 337 ms of which 1 ms to minimize.
[2021-05-16 16:12:28] [INFO ] Deduced a trap composed of 32 places in 321 ms of which 1 ms to minimize.
[2021-05-16 16:12:28] [INFO ] Deduced a trap composed of 22 places in 297 ms of which 1 ms to minimize.
[2021-05-16 16:12:29] [INFO ] Deduced a trap composed of 20 places in 298 ms of which 1 ms to minimize.
[2021-05-16 16:12:29] [INFO ] Deduced a trap composed of 25 places in 295 ms of which 1 ms to minimize.
[2021-05-16 16:12:29] [INFO ] Deduced a trap composed of 23 places in 301 ms of which 0 ms to minimize.
[2021-05-16 16:12:30] [INFO ] Deduced a trap composed of 22 places in 263 ms of which 1 ms to minimize.
[2021-05-16 16:12:30] [INFO ] Deduced a trap composed of 20 places in 276 ms of which 0 ms to minimize.
[2021-05-16 16:12:30] [INFO ] Deduced a trap composed of 21 places in 265 ms of which 1 ms to minimize.
[2021-05-16 16:12:31] [INFO ] Deduced a trap composed of 36 places in 249 ms of which 1 ms to minimize.
[2021-05-16 16:12:31] [INFO ] Deduced a trap composed of 19 places in 259 ms of which 1 ms to minimize.
[2021-05-16 16:12:31] [INFO ] Deduced a trap composed of 36 places in 254 ms of which 1 ms to minimize.
[2021-05-16 16:12:32] [INFO ] Deduced a trap composed of 19 places in 249 ms of which 1 ms to minimize.
[2021-05-16 16:12:32] [INFO ] Deduced a trap composed of 38 places in 243 ms of which 1 ms to minimize.
[2021-05-16 16:12:32] [INFO ] Deduced a trap composed of 24 places in 231 ms of which 1 ms to minimize.
[2021-05-16 16:12:32] [INFO ] Deduced a trap composed of 40 places in 227 ms of which 1 ms to minimize.
[2021-05-16 16:12:33] [INFO ] Deduced a trap composed of 28 places in 215 ms of which 0 ms to minimize.
[2021-05-16 16:12:33] [INFO ] Deduced a trap composed of 27 places in 213 ms of which 0 ms to minimize.
[2021-05-16 16:12:33] [INFO ] Deduced a trap composed of 44 places in 208 ms of which 1 ms to minimize.
[2021-05-16 16:12:34] [INFO ] Deduced a trap composed of 39 places in 203 ms of which 1 ms to minimize.
[2021-05-16 16:12:34] [INFO ] Deduced a trap composed of 29 places in 184 ms of which 1 ms to minimize.
[2021-05-16 16:12:34] [INFO ] Deduced a trap composed of 34 places in 181 ms of which 1 ms to minimize.
[2021-05-16 16:12:34] [INFO ] Deduced a trap composed of 36 places in 178 ms of which 0 ms to minimize.
[2021-05-16 16:12:35] [INFO ] Deduced a trap composed of 30 places in 188 ms of which 1 ms to minimize.
[2021-05-16 16:12:35] [INFO ] Deduced a trap composed of 32 places in 193 ms of which 0 ms to minimize.
[2021-05-16 16:12:35] [INFO ] Deduced a trap composed of 32 places in 170 ms of which 0 ms to minimize.
[2021-05-16 16:12:35] [INFO ] Deduced a trap composed of 27 places in 165 ms of which 1 ms to minimize.
[2021-05-16 16:12:36] [INFO ] Deduced a trap composed of 37 places in 164 ms of which 0 ms to minimize.
[2021-05-16 16:12:36] [INFO ] Deduced a trap composed of 32 places in 163 ms of which 1 ms to minimize.
[2021-05-16 16:12:36] [INFO ] Deduced a trap composed of 27 places in 153 ms of which 0 ms to minimize.
[2021-05-16 16:12:36] [INFO ] Deduced a trap composed of 45 places in 151 ms of which 1 ms to minimize.
[2021-05-16 16:12:36] [INFO ] Deduced a trap composed of 39 places in 139 ms of which 1 ms to minimize.
[2021-05-16 16:12:37] [INFO ] Deduced a trap composed of 50 places in 138 ms of which 1 ms to minimize.
[2021-05-16 16:12:37] [INFO ] Deduced a trap composed of 32 places in 134 ms of which 0 ms to minimize.
[2021-05-16 16:12:37] [INFO ] Deduced a trap composed of 39 places in 134 ms of which 0 ms to minimize.
[2021-05-16 16:12:37] [INFO ] Deduced a trap composed of 29 places in 118 ms of which 0 ms to minimize.
[2021-05-16 16:12:37] [INFO ] Deduced a trap composed of 45 places in 95 ms of which 0 ms to minimize.
[2021-05-16 16:12:38] [INFO ] Deduced a trap composed of 51 places in 92 ms of which 0 ms to minimize.
[2021-05-16 16:12:38] [INFO ] Deduced a trap composed of 43 places in 90 ms of which 0 ms to minimize.
[2021-05-16 16:12:38] [INFO ] Deduced a trap composed of 50 places in 89 ms of which 0 ms to minimize.
[2021-05-16 16:12:38] [INFO ] Deduced a trap composed of 41 places in 86 ms of which 1 ms to minimize.
0Int
^^^^
(error "Invalid token: 0Int")
[2021-05-16 16:12:39] [INFO ] Deduced a trap composed of 19 places in 1009 ms of which 3 ms to minimize.
[2021-05-16 16:12:39] [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 6
[2021-05-16 16:12:39] [INFO ] [Real]Absence check using 331 positive place invariants in 102 ms returned sat
[2021-05-16 16:12:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 16:12:40] [INFO ] [Real]Absence check using state equation in 820 ms returned sat
[2021-05-16 16:12:41] [INFO ] Deduced a trap composed of 20 places in 450 ms of which 1 ms to minimize.
[2021-05-16 16:12:41] [INFO ] Deduced a trap composed of 30 places in 453 ms of which 1 ms to minimize.
[2021-05-16 16:12:42] [INFO ] Deduced a trap composed of 26 places in 437 ms of which 1 ms to minimize.
[2021-05-16 16:12:42] [INFO ] Deduced a trap composed of 24 places in 443 ms of which 1 ms to minimize.
[2021-05-16 16:12:43] [INFO ] Deduced a trap composed of 23 places in 434 ms of which 1 ms to minimize.
[2021-05-16 16:12:43] [INFO ] Deduced a trap composed of 23 places in 433 ms of which 1 ms to minimize.
[2021-05-16 16:12:44] [INFO ] Deduced a trap composed of 17 places in 468 ms of which 1 ms to minimize.
[2021-05-16 16:12:44] [INFO ] Deduced a trap composed of 16 places in 469 ms of which 1 ms to minimize.
[2021-05-16 16:12:45] [INFO ] Deduced a trap composed of 32 places in 445 ms of which 1 ms to minimize.
[2021-05-16 16:12:45] [INFO ] Deduced a trap composed of 19 places in 426 ms of which 1 ms to minimize.
[2021-05-16 16:12:46] [INFO ] Deduced a trap composed of 32 places in 390 ms of which 1 ms to minimize.
[2021-05-16 16:12:46] [INFO ] Deduced a trap composed of 20 places in 392 ms of which 1 ms to minimize.
[2021-05-16 16:12:47] [INFO ] Deduced a trap composed of 28 places in 377 ms of which 1 ms to minimize.
[2021-05-16 16:12:47] [INFO ] Deduced a trap composed of 22 places in 360 ms of which 1 ms to minimize.
[2021-05-16 16:12:48] [INFO ] Deduced a trap composed of 28 places in 362 ms of which 1 ms to minimize.
[2021-05-16 16:12:48] [INFO ] Deduced a trap composed of 33 places in 352 ms of which 1 ms to minimize.
[2021-05-16 16:12:49] [INFO ] Deduced a trap composed of 21 places in 352 ms of which 1 ms to minimize.
[2021-05-16 16:12:49] [INFO ] Deduced a trap composed of 30 places in 376 ms of which 1 ms to minimize.
[2021-05-16 16:12:49] [INFO ] Deduced a trap composed of 28 places in 367 ms of which 1 ms to minimize.
[2021-05-16 16:12:50] [INFO ] Deduced a trap composed of 31 places in 333 ms of which 1 ms to minimize.
[2021-05-16 16:12:50] [INFO ] Deduced a trap composed of 30 places in 304 ms of which 1 ms to minimize.
[2021-05-16 16:12:51] [INFO ] Deduced a trap composed of 29 places in 306 ms of which 1 ms to minimize.
[2021-05-16 16:12:51] [INFO ] Deduced a trap composed of 39 places in 306 ms of which 1 ms to minimize.
[2021-05-16 16:12:51] [INFO ] Deduced a trap composed of 24 places in 293 ms of which 1 ms to minimize.
[2021-05-16 16:12:52] [INFO ] Deduced a trap composed of 33 places in 282 ms of which 1 ms to minimize.
[2021-05-16 16:12:52] [INFO ] Deduced a trap composed of 34 places in 271 ms of which 1 ms to minimize.
[2021-05-16 16:12:52] [INFO ] Deduced a trap composed of 38 places in 270 ms of which 1 ms to minimize.
[2021-05-16 16:12:53] [INFO ] Deduced a trap composed of 34 places in 280 ms of which 1 ms to minimize.
[2021-05-16 16:12:53] [INFO ] Deduced a trap composed of 35 places in 274 ms of which 0 ms to minimize.
[2021-05-16 16:12:53] [INFO ] Deduced a trap composed of 38 places in 256 ms of which 1 ms to minimize.
[2021-05-16 16:12:54] [INFO ] Deduced a trap composed of 38 places in 262 ms of which 1 ms to minimize.
[2021-05-16 16:12:54] [INFO ] Deduced a trap composed of 40 places in 245 ms of which 1 ms to minimize.
[2021-05-16 16:12:54] [INFO ] Deduced a trap composed of 38 places in 229 ms of which 1 ms to minimize.
[2021-05-16 16:12:55] [INFO ] Deduced a trap composed of 40 places in 220 ms of which 1 ms to minimize.
[2021-05-16 16:12:55] [INFO ] Deduced a trap composed of 40 places in 227 ms of which 0 ms to minimize.
[2021-05-16 16:12:55] [INFO ] Deduced a trap composed of 35 places in 231 ms of which 1 ms to minimize.
[2021-05-16 16:12:55] [INFO ] Deduced a trap composed of 40 places in 218 ms of which 1 ms to minimize.
[2021-05-16 16:12:56] [INFO ] Deduced a trap composed of 48 places in 219 ms of which 1 ms to minimize.
[2021-05-16 16:12:56] [INFO ] Deduced a trap composed of 41 places in 216 ms of which 1 ms to minimize.
[2021-05-16 16:12:56] [INFO ] Deduced a trap composed of 43 places in 196 ms of which 1 ms to minimize.
[2021-05-16 16:12:57] [INFO ] Deduced a trap composed of 39 places in 205 ms of which 1 ms to minimize.
[2021-05-16 16:12:57] [INFO ] Deduced a trap composed of 41 places in 191 ms of which 1 ms to minimize.
[2021-05-16 16:12:57] [INFO ] Deduced a trap composed of 46 places in 186 ms of which 1 ms to minimize.
[2021-05-16 16:12:57] [INFO ] Deduced a trap composed of 43 places in 188 ms of which 0 ms to minimize.
[2021-05-16 16:12:58] [INFO ] Deduced a trap composed of 41 places in 195 ms of which 0 ms to minimize.
[2021-05-16 16:12:58] [INFO ] Deduced a trap composed of 39 places in 189 ms of which 0 ms to minimize.
[2021-05-16 16:12:58] [INFO ] Deduced a trap composed of 41 places in 182 ms of which 0 ms to minimize.
[2021-05-16 16:12:58] [INFO ] Deduced a trap composed of 46 places in 177 ms of which 0 ms to minimize.
[2021-05-16 16:12:59] [INFO ] Deduced a trap composed of 46 places in 190 ms of which 0 ms to minimize.
[2021-05-16 16:12:59] [INFO ] Deduced a trap composed of 39 places in 168 ms of which 1 ms to minimize.
[2021-05-16 16:12:59] [INFO ] Deduced a trap composed of 40 places in 165 ms of which 1 ms to minimize.
[2021-05-16 16:12:59] [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
[2021-05-16 16:12:59] [INFO ] [Real]Absence check using 331 positive place invariants in 102 ms returned sat
[2021-05-16 16:12:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 16:13:00] [INFO ] [Real]Absence check using state equation in 842 ms returned sat
[2021-05-16 16:13:01] [INFO ] Deduced a trap composed of 29 places in 443 ms of which 1 ms to minimize.
[2021-05-16 16:13:01] [INFO ] Deduced a trap composed of 20 places in 447 ms of which 1 ms to minimize.
[2021-05-16 16:13:02] [INFO ] Deduced a trap composed of 30 places in 441 ms of which 1 ms to minimize.
[2021-05-16 16:13:02] [INFO ] Deduced a trap composed of 20 places in 432 ms of which 1 ms to minimize.
[2021-05-16 16:13:03] [INFO ] Deduced a trap composed of 49 places in 428 ms of which 1 ms to minimize.
[2021-05-16 16:13:03] [INFO ] Deduced a trap composed of 18 places in 420 ms of which 1 ms to minimize.
[2021-05-16 16:13:04] [INFO ] Deduced a trap composed of 19 places in 392 ms of which 1 ms to minimize.
[2021-05-16 16:13:04] [INFO ] Deduced a trap composed of 23 places in 399 ms of which 1 ms to minimize.
[2021-05-16 16:13:05] [INFO ] Deduced a trap composed of 19 places in 408 ms of which 1 ms to minimize.
[2021-05-16 16:13:05] [INFO ] Deduced a trap composed of 23 places in 384 ms of which 1 ms to minimize.
[2021-05-16 16:13:06] [INFO ] Deduced a trap composed of 22 places in 384 ms of which 1 ms to minimize.
[2021-05-16 16:13:06] [INFO ] Deduced a trap composed of 23 places in 384 ms of which 1 ms to minimize.
[2021-05-16 16:13:07] [INFO ] Deduced a trap composed of 16 places in 376 ms of which 1 ms to minimize.
[2021-05-16 16:13:07] [INFO ] Deduced a trap composed of 24 places in 373 ms of which 1 ms to minimize.
[2021-05-16 16:13:07] [INFO ] Deduced a trap composed of 19 places in 358 ms of which 0 ms to minimize.
[2021-05-16 16:13:08] [INFO ] Deduced a trap composed of 16 places in 394 ms of which 1 ms to minimize.
[2021-05-16 16:13:08] [INFO ] Deduced a trap composed of 27 places in 369 ms of which 0 ms to minimize.
[2021-05-16 16:13:09] [INFO ] Deduced a trap composed of 28 places in 366 ms of which 1 ms to minimize.
[2021-05-16 16:13:09] [INFO ] Deduced a trap composed of 20 places in 349 ms of which 1 ms to minimize.
[2021-05-16 16:13:10] [INFO ] Deduced a trap composed of 39 places in 370 ms of which 1 ms to minimize.
[2021-05-16 16:13:10] [INFO ] Deduced a trap composed of 34 places in 333 ms of which 1 ms to minimize.
[2021-05-16 16:13:10] [INFO ] Deduced a trap composed of 22 places in 322 ms of which 1 ms to minimize.
[2021-05-16 16:13:11] [INFO ] Deduced a trap composed of 23 places in 315 ms of which 1 ms to minimize.
[2021-05-16 16:13:11] [INFO ] Deduced a trap composed of 28 places in 306 ms of which 1 ms to minimize.
[2021-05-16 16:13:12] [INFO ] Deduced a trap composed of 35 places in 304 ms of which 1 ms to minimize.
[2021-05-16 16:13:12] [INFO ] Deduced a trap composed of 24 places in 300 ms of which 1 ms to minimize.
[2021-05-16 16:13:12] [INFO ] Deduced a trap composed of 29 places in 289 ms of which 1 ms to minimize.
[2021-05-16 16:13:13] [INFO ] Deduced a trap composed of 32 places in 290 ms of which 0 ms to minimize.
[2021-05-16 16:13:13] [INFO ] Deduced a trap composed of 32 places in 269 ms of which 0 ms to minimize.
[2021-05-16 16:13:13] [INFO ] Deduced a trap composed of 38 places in 268 ms of which 0 ms to minimize.
[2021-05-16 16:13:14] [INFO ] Deduced a trap composed of 28 places in 266 ms of which 0 ms to minimize.
[2021-05-16 16:13:14] [INFO ] Deduced a trap composed of 30 places in 283 ms of which 0 ms to minimize.
[2021-05-16 16:13:14] [INFO ] Deduced a trap composed of 27 places in 277 ms of which 1 ms to minimize.
[2021-05-16 16:13:15] [INFO ] Deduced a trap composed of 34 places in 248 ms of which 0 ms to minimize.
[2021-05-16 16:13:15] [INFO ] Deduced a trap composed of 36 places in 240 ms of which 1 ms to minimize.
[2021-05-16 16:13:15] [INFO ] Deduced a trap composed of 39 places in 236 ms of which 1 ms to minimize.
[2021-05-16 16:13:16] [INFO ] Deduced a trap composed of 40 places in 238 ms of which 0 ms to minimize.
[2021-05-16 16:13:16] [INFO ] Deduced a trap composed of 43 places in 228 ms of which 0 ms to minimize.
[2021-05-16 16:13:16] [INFO ] Deduced a trap composed of 30 places in 219 ms of which 1 ms to minimize.
[2021-05-16 16:13:16] [INFO ] Deduced a trap composed of 42 places in 205 ms of which 1 ms to minimize.
[2021-05-16 16:13:17] [INFO ] Deduced a trap composed of 34 places in 208 ms of which 0 ms to minimize.
[2021-05-16 16:13:17] [INFO ] Deduced a trap composed of 34 places in 204 ms of which 0 ms to minimize.
[2021-05-16 16:13:17] [INFO ] Deduced a trap composed of 27 places in 193 ms of which 0 ms to minimize.
[2021-05-16 16:13:18] [INFO ] Deduced a trap composed of 40 places in 191 ms of which 1 ms to minimize.
[2021-05-16 16:13:18] [INFO ] Deduced a trap composed of 40 places in 183 ms of which 0 ms to minimize.
[2021-05-16 16:13:18] [INFO ] Deduced a trap composed of 41 places in 170 ms of which 1 ms to minimize.
[2021-05-16 16:13:18] [INFO ] Deduced a trap composed of 49 places in 178 ms of which 1 ms to minimize.
[2021-05-16 16:13:19] [INFO ] Deduced a trap composed of 40 places in 164 ms of which 0 ms to minimize.
[2021-05-16 16:13:19] [INFO ] Deduced a trap composed of 51 places in 158 ms of which 0 ms to minimize.
[2021-05-16 16:13:19] [INFO ] Deduced a trap composed of 48 places in 162 ms of which 1 ms to minimize.
[2021-05-16 16:13:19] [INFO ] Deduced a trap composed of 39 places in 144 ms of which 1 ms to minimize.
[2021-05-16 16:13:19] [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 8
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 459 transitions
Trivial Post-agglo rules discarded 459 transitions
Performed 459 trivial Post agglomeration. Transition count delta: 459
Iterating post reduction 0 with 459 rules applied. Total rules applied 459 place count 2196 transition count 1527
Reduce places removed 459 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 461 rules applied. Total rules applied 920 place count 1737 transition count 1525
Reduce places removed 1 places and 0 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Iterating post reduction 2 with 8 rules applied. Total rules applied 928 place count 1736 transition count 1518
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 3 with 7 rules applied. Total rules applied 935 place count 1729 transition count 1518
Performed 158 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 158 Pre rules applied. Total rules applied 935 place count 1729 transition count 1360
Deduced a syphon composed of 158 places in 9 ms
Reduce places removed 158 places and 0 transitions.
Iterating global reduction 4 with 316 rules applied. Total rules applied 1251 place count 1571 transition count 1360
Discarding 125 places :
Symmetric choice reduction at 4 with 125 rule applications. Total rules 1376 place count 1446 transition count 1235
Iterating global reduction 4 with 125 rules applied. Total rules applied 1501 place count 1446 transition count 1235
Performed 77 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 77 Pre rules applied. Total rules applied 1501 place count 1446 transition count 1158
Deduced a syphon composed of 77 places in 2 ms
Reduce places removed 77 places and 0 transitions.
Iterating global reduction 4 with 154 rules applied. Total rules applied 1655 place count 1369 transition count 1158
Performed 496 Post agglomeration using F-continuation condition.Transition count delta: 496
Deduced a syphon composed of 496 places in 1 ms
Reduce places removed 496 places and 0 transitions.
Iterating global reduction 4 with 992 rules applied. Total rules applied 2647 place count 873 transition count 662
Renaming transitions due to excessive name length > 1024 char.
Performed 86 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 86 places in 2 ms
Reduce places removed 86 places and 0 transitions.
Iterating global reduction 4 with 172 rules applied. Total rules applied 2819 place count 787 transition count 662
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 2820 place count 786 transition count 661
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 2821 place count 785 transition count 661
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 2821 place count 785 transition count 660
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 2823 place count 784 transition count 660
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 2824 place count 783 transition count 659
Applied a total of 2824 rules in 679 ms. Remains 783 /2197 variables (removed 1414) and now considering 659/1987 (removed 1328) transitions.
[2021-05-16 16:13:20] [INFO ] Flatten gal took : 34 ms
[2021-05-16 16:13:20] [INFO ] Flatten gal took : 33 ms
[2021-05-16 16:13:20] [INFO ] Input system was already deterministic with 659 transitions.
[2021-05-16 16:13:20] [INFO ] Flatten gal took : 53 ms
[2021-05-16 16:13:20] [INFO ] Flatten gal took : 30 ms
[2021-05-16 16:13:20] [INFO ] Time to serialize gal into /tmp/CTLFireability11010729200863194125.gal : 15 ms
[2021-05-16 16:13:20] [INFO ] Time to serialize properties into /tmp/CTLFireability888761460156787802.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability11010729200863194125.gal, -t, CGAL, -ctl, /tmp/CTLFireability888761460156787802.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability11010729200863194125.gal -t CGAL -ctl /tmp/CTLFireability888761460156787802.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.79641e+111,2.97191,77540,2,3796,5,327676,6,0,3788,425851,0
Converting to forward existential form...Done !
original formula: AG(((A((((((((p1586==1)||((p1749==1)&&(p1751==1)))||(p1808==1))||(p318==1))||(p1343==1))||(p172==1))||(p1623==1)) U ((((p145==1)||(p1284==1))||(p1619==1))||(p720==1))) + (((((((((p1918==0)&&(p555==0))&&(p498==0))&&(p1930==0))&&(p1231==0))&&((p1532==0)||(p1591==0)))&&((p1987==0)||(p1989==0)))&&((p2288==0)||(p2290==0)))&&((p894==0)||(p921==0)))) + ((((((p1736==0)&&(p1382==0))&&(p2092==0))&&(p1523==0))&&(p2032==0))&&((p980==0)||(p1032==0)))))
=> equivalent forward existential formula: ([(FwdU(((FwdU(Init,TRUE) * !(((((((p1736==0)&&(p1382==0))&&(p2092==0))&&(p1523==0))&&(p2032==0))&&((p980==0)||(p1032==0))))) * !((((((((((p1918==0)&&(p555==0))&&(p498==0))&&(p1930==0))&&(p1231==0))&&((p1532==0)||(p1591==0)))&&((p1987==0)||(p1989==0)))&&((p2288==0)||(p2290==0)))&&((p894==0)||(p921==0))))),!(((((p145==1)||(p1284==1))||(p1619==1))||(p720==1)))) * (!((((((((p1586==1)||((p1749==1)&&(p1751==1)))||(p1808==1))||(p318==1))||(p1343==1))||(p172==1))||(p1623==1))) * !(((((p145==1)||(p1284==1))||(p1619==1))||(p720==1)))))] = FALSE * [FwdG(((FwdU(Init,TRUE) * !(((((((p1736==0)&&(p1382==0))&&(p2092==0))&&(p1523==0))&&(p2032==0))&&((p980==0)||(p1032==0))))) * !((((((((((p1918==0)&&(p555==0))&&(p498==0))&&(p1930==0))&&(p1231==0))&&((p1532==0)||(p1591==0)))&&((p1987==0)||(p1989==0)))&&((p2288==0)||(p2290==0)))&&((p894==0)||(p921==0))))),!(((((p145==1)||(p1284==1))||(p1619==1))||(p720==1))))] = FALSE)
Hit Full ! (commute/partial/dont) 651/24/8
(forward)formula 0,0,8.82035,189660,1,0,14,1.28164e+06,24,8,19473,425851,10
FORMULA ShieldPPPt-PT-030B-CTLFireability-04 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 473 transitions
Trivial Post-agglo rules discarded 473 transitions
Performed 473 trivial Post agglomeration. Transition count delta: 473
Iterating post reduction 0 with 473 rules applied. Total rules applied 473 place count 2196 transition count 1513
Reduce places removed 473 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 475 rules applied. Total rules applied 948 place count 1723 transition count 1511
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 949 place count 1722 transition count 1511
Performed 156 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 156 Pre rules applied. Total rules applied 949 place count 1722 transition count 1355
Deduced a syphon composed of 156 places in 2 ms
Reduce places removed 156 places and 0 transitions.
Iterating global reduction 3 with 312 rules applied. Total rules applied 1261 place count 1566 transition count 1355
Discarding 127 places :
Symmetric choice reduction at 3 with 127 rule applications. Total rules 1388 place count 1439 transition count 1228
Iterating global reduction 3 with 127 rules applied. Total rules applied 1515 place count 1439 transition count 1228
Performed 79 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 79 Pre rules applied. Total rules applied 1515 place count 1439 transition count 1149
Deduced a syphon composed of 79 places in 2 ms
Reduce places removed 79 places and 0 transitions.
Iterating global reduction 3 with 158 rules applied. Total rules applied 1673 place count 1360 transition count 1149
Performed 507 Post agglomeration using F-continuation condition.Transition count delta: 507
Deduced a syphon composed of 507 places in 2 ms
Reduce places removed 507 places and 0 transitions.
Iterating global reduction 3 with 1014 rules applied. Total rules applied 2687 place count 853 transition count 642
Renaming transitions due to excessive name length > 1024 char.
Performed 86 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 86 places in 1 ms
Reduce places removed 86 places and 0 transitions.
Iterating global reduction 3 with 172 rules applied. Total rules applied 2859 place count 767 transition count 642
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 2860 place count 767 transition count 642
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 2861 place count 766 transition count 641
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 2862 place count 765 transition count 641
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 2 Pre rules applied. Total rules applied 2862 place count 765 transition count 639
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 2866 place count 763 transition count 639
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 2867 place count 762 transition count 638
Applied a total of 2867 rules in 413 ms. Remains 762 /2197 variables (removed 1435) and now considering 638/1987 (removed 1349) transitions.
[2021-05-16 16:13:30] [INFO ] Flatten gal took : 25 ms
[2021-05-16 16:13:30] [INFO ] Flatten gal took : 26 ms
[2021-05-16 16:13:30] [INFO ] Input system was already deterministic with 638 transitions.
[2021-05-16 16:13:30] [INFO ] Flatten gal took : 25 ms
[2021-05-16 16:13:30] [INFO ] Flatten gal took : 25 ms
[2021-05-16 16:13:30] [INFO ] Time to serialize gal into /tmp/CTLFireability9668308886885270497.gal : 4 ms
[2021-05-16 16:13:30] [INFO ] Time to serialize properties into /tmp/CTLFireability5323969266921150553.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability9668308886885270497.gal, -t, CGAL, -ctl, /tmp/CTLFireability5323969266921150553.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability9668308886885270497.gal -t CGAL -ctl /tmp/CTLFireability5323969266921150553.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.49538e+109,1.69876,46156,2,3955,5,188654,6,0,3687,229079,0
Converting to forward existential form...Done !
original formula: (AF(((((((p1723==1)||(p342==1))||(p1392==1))||(p1724==1))||(p1018==1))||(p1464==1))) + AF((((p1382==1)||(p1579==1))||(p1764==1))))
=> equivalent forward existential formula: [FwdG((Init * !(!(EG(!(((((((p1723==1)||(p342==1))||(p1392==1))||(p1724==1))||(p1018==1))||(p1464==1))))))),!((((p1382==1)||(p1579==1))||(p1764==1))))] = FALSE
Reverse transition relation is NOT exact ! Due to transitions t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54, t55, t56, t57, t58, t59, t64, t89, t90, t91, t123, t129, t135, t140, t145, t147, t152, t158, t162, t168, t175, t180, t185, t189, t192, t198, t204, t208, t213, t219, t231, t234, t491, t492, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/550/88/638
Detected timeout of ITS tools.
[2021-05-16 16:14:00] [INFO ] Flatten gal took : 24 ms
[2021-05-16 16:14:00] [INFO ] Applying decomposition
[2021-05-16 16:14:00] [INFO ] Flatten gal took : 24 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph18175449707831314950.txt, -o, /tmp/graph18175449707831314950.bin, -w, /tmp/graph18175449707831314950.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph18175449707831314950.bin, -l, -1, -v, -w, /tmp/graph18175449707831314950.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 16:14:00] [INFO ] Decomposing Gal with order
[2021-05-16 16:14:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 16:14:00] [INFO ] Removed a total of 179 redundant transitions.
[2021-05-16 16:14:00] [INFO ] Flatten gal took : 103 ms
[2021-05-16 16:14:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 174 labels/synchronizations in 18 ms.
[2021-05-16 16:14:00] [INFO ] Time to serialize gal into /tmp/CTLFireability8047354134694352602.gal : 12 ms
[2021-05-16 16:14:00] [INFO ] Time to serialize properties into /tmp/CTLFireability1445041904151246328.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability8047354134694352602.gal, -t, CGAL, -ctl, /tmp/CTLFireability1445041904151246328.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability8047354134694352602.gal -t CGAL -ctl /tmp/CTLFireability1445041904151246328.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.49538e+109,1.7629,51940,638,48,89285,323,883,208196,76,1673,0
Converting to forward existential form...Done !
original formula: (AF(((((((i21.i0.u182.p1723==1)||(i4.i2.u34.p342==1))||(i17.i2.u148.p1392==1))||(i21.i0.u182.p1724==1))||(i12.i0.u106.p1018==1))||(i18.i3.u157.p1464==1))) + AF((((i17.i0.u147.p1382==1)||(i20.i1.u167.p1579==1))||(i22.i1.u191.p1764==1))))
=> equivalent forward existential formula: [FwdG((Init * !(!(EG(!(((((((i21.i0.u182.p1723==1)||(i4.i2.u34.p342==1))||(i17.i2.u148.p1392==1))||(i21.i0.u182.p1724==1))||(i12.i0.u106.p1018==1))||(i18.i3.u157.p1464==1))))))),!((((i17.i0.u147.p1382==1)||(i20.i1.u167.p1579==1))||(i22.i1.u191.p1764==1))))] = FALSE
Reverse transition relation is NOT exact ! Due to transitions i0.t2, i0.t1, i0.t0, i0.i2.u1.t123, i1.t5, i1.t4, i1.t3, i1.i1.u10.t129, i2.t8, i2.t7, i2.t6, i2.i2.u18.t135, i3.t11, i3.t10, i3.t9, i3.i2.u26.t140, i4.t147, i4.t14, i4.t13, i4.t12, i4.i2.u35.t145, i5.t17, i5.t16, i5.t15, i5.i2.u43.t152, i6.t20, i6.t19, i6.t18, i6.i2.u51.t158, i7.t23, i7.t22, i7.t21, i7.i2.u59.t162, i8.t26, i8.t25, i8.t24, i8.i2.u67.t168, i9.t29, i9.t28, i9.t27, i9.i2.u75.t175, i10.t32, i10.t31, i10.t30, i10.i2.u83.t180, i11.t35, i11.t34, i11.t33, i11.i2.u91.t185, i12.t37, i12.i0.t36, i12.i0.u106.t192, i12.i1.t38, i12.i1.u99.t189, i13.t41, i13.t40, i13.t39, i13.i1.u108.t198, i14.t44, i14.t43, i14.t42, i14.i2.u116.t204, i15.t47, i15.t46, i15.t45, i15.i2.u124.t208, i16.t50, i16.t49, i16.t48, i16.i2.u132.t213, i17.t53, i17.t51, i17.i0.u147.t491, i17.i0.u147.t492, i17.i2.t52, i17.i2.u148.t219, i18.t56, i18.t55, i18.t54, i18.i3.u157.t91, i19.t59, i19.t58, i19.t57, i19.i2.u159.t231, i20.t234, i20.i1.t90, i21.i0.u182.t89, i21.i1.t64, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/433/88/521
Detected timeout of ITS tools.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 442 transitions
Trivial Post-agglo rules discarded 442 transitions
Performed 442 trivial Post agglomeration. Transition count delta: 442
Iterating post reduction 0 with 442 rules applied. Total rules applied 442 place count 2196 transition count 1544
Reduce places removed 442 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 444 rules applied. Total rules applied 886 place count 1754 transition count 1542
Reduce places removed 1 places and 0 transitions.
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Iterating post reduction 2 with 17 rules applied. Total rules applied 903 place count 1753 transition count 1526
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 3 with 16 rules applied. Total rules applied 919 place count 1737 transition count 1526
Performed 156 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 156 Pre rules applied. Total rules applied 919 place count 1737 transition count 1370
Deduced a syphon composed of 156 places in 3 ms
Reduce places removed 156 places and 0 transitions.
Iterating global reduction 4 with 312 rules applied. Total rules applied 1231 place count 1581 transition count 1370
Discarding 127 places :
Symmetric choice reduction at 4 with 127 rule applications. Total rules 1358 place count 1454 transition count 1243
Iterating global reduction 4 with 127 rules applied. Total rules applied 1485 place count 1454 transition count 1243
Performed 75 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 75 Pre rules applied. Total rules applied 1485 place count 1454 transition count 1168
Deduced a syphon composed of 75 places in 3 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 4 with 150 rules applied. Total rules applied 1635 place count 1379 transition count 1168
Performed 489 Post agglomeration using F-continuation condition.Transition count delta: 489
Deduced a syphon composed of 489 places in 1 ms
Reduce places removed 489 places and 0 transitions.
Iterating global reduction 4 with 978 rules applied. Total rules applied 2613 place count 890 transition count 679
Renaming transitions due to excessive name length > 1024 char.
Performed 78 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 78 places in 0 ms
Reduce places removed 78 places and 0 transitions.
Iterating global reduction 4 with 156 rules applied. Total rules applied 2769 place count 812 transition count 679
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 2770 place count 811 transition count 678
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 2771 place count 810 transition count 678
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 2 Pre rules applied. Total rules applied 2771 place count 810 transition count 676
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 5 with 4 rules applied. Total rules applied 2775 place count 808 transition count 676
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 2776 place count 807 transition count 675
Applied a total of 2776 rules in 396 ms. Remains 807 /2197 variables (removed 1390) and now considering 675/1987 (removed 1312) transitions.
[2021-05-16 16:14:31] [INFO ] Flatten gal took : 27 ms
[2021-05-16 16:14:31] [INFO ] Flatten gal took : 29 ms
[2021-05-16 16:14:31] [INFO ] Input system was already deterministic with 675 transitions.
[2021-05-16 16:14:31] [INFO ] Flatten gal took : 25 ms
[2021-05-16 16:14:31] [INFO ] Flatten gal took : 26 ms
[2021-05-16 16:14:31] [INFO ] Time to serialize gal into /tmp/CTLFireability16529645555294612656.gal : 4 ms
[2021-05-16 16:14:31] [INFO ] Time to serialize properties into /tmp/CTLFireability1315243484059661421.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability16529645555294612656.gal, -t, CGAL, -ctl, /tmp/CTLFireability1315243484059661421.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability16529645555294612656.gal -t CGAL -ctl /tmp/CTLFireability1315243484059661421.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.02632e+113,12.6706,264216,2,5286,5,1.12729e+06,6,0,3903,1.69637e+06,0
Converting to forward existential form...Done !
original formula: A(EF(((((((((p2078==1)||(p1901==1))||(p1540==1))||(p1379==1))||(p10==1))||(p1325==1))||(p1071==1))||(p472==1))) U E(!(AF(((((p1185==1)||(p1641==1))||(p1488==1))||((p1204==1)&&(p1251==1))))) U (((((p560==1)||(p807==1))||(p15==1))||((p979==1)&&(p981==1))) * (AG((((((((((p1050==1)&&(p1097==1))||((p1974==1)&&(p2021==1)))||(p780==1))||(p852==1))||((p1441==1)&&(p1443==1)))||(p1534==1))||(p1535==1))||(p456==1))) + A((((((((((((p2277==1)&&(p2313==1))||(p1187==1))||(p1106==1))||(p799==1))||(p1425==1))||(p1838==1))||(p170==1))||((p56==1)&&(p108==1)))||(p919==1))||((p1044==1)&&(p1085==1))) U AG((p1238==1)))))))
=> equivalent forward existential formula: [((Init * !(EG(!(E(!(!(EG(!(((((p1185==1)||(p1641==1))||(p1488==1))||((p1204==1)&&(p1251==1))))))) U (((((p560==1)||(p807==1))||(p15==1))||((p979==1)&&(p981==1))) * (!(E(TRUE U !((((((((((p1050==1)&&(p1097==1))||((p1974==1)&&(p2021==1)))||(p780==1))||(p852==1))||((p1441==1)&&(p1443==1)))||(p1534==1))||(p1535==1))||(p456==1))))) + !((E(!(!(E(TRUE U !((p1238==1))))) U (!((((((((((((p2277==1)&&(p2313==1))||(p1187==1))||(p1106==1))||(p799==1))||(p1425==1))||(p1838==1))||(p170==1))||((p56==1)&&(p108==1)))||(p919==1))||((p1044==1)&&(p1085==1)))) * !(!(E(TRUE U !((p1238==1))))))) + EG(!(!(E(TRUE U !((p1238==1))))))))))))))) * !(E(!(E(!(!(EG(!(((((p1185==1)||(p1641==1))||(p1488==1))||((p1204==1)&&(p1251==1))))))) U (((((p560==1)||(p807==1))||(p15==1))||((p979==1)&&(p981==1))) * (!(E(TRUE U !((((((((((p1050==1)&&(p1097==1))||((p1974==1)&&(p2021==1)))||(p780==1))||(p852==1))||((p1441==1)&&(p1443==1)))||(p1534==1))||(p1535==1))||(p456==1))))) + !((E(!(!(E(TRUE U !((p1238==1))))) U (!((((((((((((p2277==1)&&(p2313==1))||(p1187==1))||(p1106==1))||(p799==1))||(p1425==1))||(p1838==1))||(p170==1))||((p56==1)&&(p108==1)))||(p919==1))||((p1044==1)&&(p1085==1)))) * !(!(E(TRUE U !((p1238==1))))))) + EG(!(!(E(TRUE U !((p1238==1)))))))))))) U (!(E(TRUE U ((((((((p2078==1)||(p1901==1))||(p1540==1))||(p1379==1))||(p10==1))||(p1325==1))||(p1071==1))||(p472==1)))) * !(E(!(!(EG(!(((((p1185==1)||(p1641==1))||(p1488==1))||((p1204==1)&&(p1251==1))))))) U (((((p560==1)||(p807==1))||(p15==1))||((p979==1)&&(p981==1))) * (!(E(TRUE U !((((((((((p1050==1)&&(p1097==1))||((p1974==1)&&(p2021==1)))||(p780==1))||(p852==1))||((p1441==1)&&(p1443==1)))||(p1534==1))||(p1535==1))||(p456==1))))) + !((E(!(!(E(TRUE U !((p1238==1))))) U (!((((((((((((p2277==1)&&(p2313==1))||(p1187==1))||(p1106==1))||(p799==1))||(p1425==1))||(p1838==1))||(p170==1))||((p56==1)&&(p108==1)))||(p919==1))||((p1044==1)&&(p1085==1)))) * !(!(E(TRUE U !((p1238==1))))))) + EG(!(!(E(TRUE U !((p1238==1))))))))))))))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54, t55, t56, t59, t62, t76, t77, t80, t86, t88, t95, t97, t98, t103, t111, t131, t147, t150, t151, t152, t153, t155, t156, t158, t160, t162, t169, t180, t188, t193, t199, t204, t209, t215, t221, t226, t232, t240, t243, t247, t253, t255, t260, t266, t272, t278, t279, t283, t288, t291, t295, t299, t312, t422, t426, t434, t462, t503, t504, t508, t512, t514, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/559/116/675
Detected timeout of ITS tools.
[2021-05-16 16:15:01] [INFO ] Flatten gal took : 24 ms
[2021-05-16 16:15:01] [INFO ] Applying decomposition
[2021-05-16 16:15:01] [INFO ] Flatten gal took : 24 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph13594022360591417265.txt, -o, /tmp/graph13594022360591417265.bin, -w, /tmp/graph13594022360591417265.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph13594022360591417265.bin, -l, -1, -v, -w, /tmp/graph13594022360591417265.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 16:15:01] [INFO ] Decomposing Gal with order
[2021-05-16 16:15:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 16:15:01] [INFO ] Removed a total of 199 redundant transitions.
[2021-05-16 16:15:01] [INFO ] Flatten gal took : 65 ms
[2021-05-16 16:15:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 172 labels/synchronizations in 16 ms.
[2021-05-16 16:15:01] [INFO ] Time to serialize gal into /tmp/CTLFireability1699590077371151954.gal : 8 ms
[2021-05-16 16:15:01] [INFO ] Time to serialize properties into /tmp/CTLFireability15244218267568806161.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability1699590077371151954.gal, -t, CGAL, -ctl, /tmp/CTLFireability15244218267568806161.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability1699590077371151954.gal -t CGAL -ctl /tmp/CTLFireability15244218267568806161.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.02632e+113,8.95816,198156,1222,98,337665,901,1383,978241,123,6903,0
Converting to forward existential form...Done !
original formula: A(EF(((((((((i26.i0.u236.p2078==1)||(i24.i0.u215.p1901==1))||(i19.i0.u179.p1540==1))||(i17.i1.u159.p1379==1))||(i20.i1.u181.p10==1))||(i16.i0.u150.p1325==1))||(i13.i2.u119.p1071==1))||(i5.i0.u51.p472==1))) U E(!(AF(((((i14.i2.u130.p1185==1)||(i20.i1.u186.p1641==1))||(i18.i2.u169.p1488==1))||((i15.i1.u133.p1204==1)&&(i15.i3.u141.p1251==1))))) U (((((i6.i1.u60.p560==1)||(i10.i0.u86.p807==1))||(i15.i0.u0.p15==1))||((i12.i0.u107.p979==1)&&(i12.i2.u108.p981==1))) * (AG((((((((((i13.i1.u115.p1050==1)&&(i13.i3.u121.p1097==1))||((i25.i1.u222.p1974==1)&&(i25.i2.u227.p2021==1)))||(i9.i1.u84.p780==1))||(i10.i0.u94.p852==1))||((i18.i0.u165.p1441==1)&&(i18.i2.u166.p1443==1)))||(i19.i3.u177.p1534==1))||(i19.i3.u178.p1535==1))||(i5.i1.u50.p456==1))) + A((((((((((((i29.i0.u255.p2277==1)&&(i29.i0.u261.p2313==1))||(i14.i2.u131.p1187==1))||(i13.i0.u122.p1106==1))||(i9.i1.u85.p799==1))||(i18.i2.u161.p1425==1))||(i23.i1.u209.p1838==1))||(i1.i0.u19.p170==1))||((i0.i1.u5.p56==1)&&(i0.i3.u11.p108==1)))||(i11.i0.u102.p919==1))||((i13.i0.u112.p1044==1)&&(i13.i0.u120.p1085==1))) U AG((i15.i0.u140.p1238==1)))))))
=> equivalent forward existential formula: [((Init * !(EG(!(E(!(!(EG(!(((((i14.i2.u130.p1185==1)||(i20.i1.u186.p1641==1))||(i18.i2.u169.p1488==1))||((i15.i1.u133.p1204==1)&&(i15.i3.u141.p1251==1))))))) U (((((i6.i1.u60.p560==1)||(i10.i0.u86.p807==1))||(i15.i0.u0.p15==1))||((i12.i0.u107.p979==1)&&(i12.i2.u108.p981==1))) * (!(E(TRUE U !((((((((((i13.i1.u115.p1050==1)&&(i13.i3.u121.p1097==1))||((i25.i1.u222.p1974==1)&&(i25.i2.u227.p2021==1)))||(i9.i1.u84.p780==1))||(i10.i0.u94.p852==1))||((i18.i0.u165.p1441==1)&&(i18.i2.u166.p1443==1)))||(i19.i3.u177.p1534==1))||(i19.i3.u178.p1535==1))||(i5.i1.u50.p456==1))))) + !((E(!(!(E(TRUE U !((i15.i0.u140.p1238==1))))) U (!((((((((((((i29.i0.u255.p2277==1)&&(i29.i0.u261.p2313==1))||(i14.i2.u131.p1187==1))||(i13.i0.u122.p1106==1))||(i9.i1.u85.p799==1))||(i18.i2.u161.p1425==1))||(i23.i1.u209.p1838==1))||(i1.i0.u19.p170==1))||((i0.i1.u5.p56==1)&&(i0.i3.u11.p108==1)))||(i11.i0.u102.p919==1))||((i13.i0.u112.p1044==1)&&(i13.i0.u120.p1085==1)))) * !(!(E(TRUE U !((i15.i0.u140.p1238==1))))))) + EG(!(!(E(TRUE U !((i15.i0.u140.p1238==1))))))))))))))) * !(E(!(E(!(!(EG(!(((((i14.i2.u130.p1185==1)||(i20.i1.u186.p1641==1))||(i18.i2.u169.p1488==1))||((i15.i1.u133.p1204==1)&&(i15.i3.u141.p1251==1))))))) U (((((i6.i1.u60.p560==1)||(i10.i0.u86.p807==1))||(i15.i0.u0.p15==1))||((i12.i0.u107.p979==1)&&(i12.i2.u108.p981==1))) * (!(E(TRUE U !((((((((((i13.i1.u115.p1050==1)&&(i13.i3.u121.p1097==1))||((i25.i1.u222.p1974==1)&&(i25.i2.u227.p2021==1)))||(i9.i1.u84.p780==1))||(i10.i0.u94.p852==1))||((i18.i0.u165.p1441==1)&&(i18.i2.u166.p1443==1)))||(i19.i3.u177.p1534==1))||(i19.i3.u178.p1535==1))||(i5.i1.u50.p456==1))))) + !((E(!(!(E(TRUE U !((i15.i0.u140.p1238==1))))) U (!((((((((((((i29.i0.u255.p2277==1)&&(i29.i0.u261.p2313==1))||(i14.i2.u131.p1187==1))||(i13.i0.u122.p1106==1))||(i9.i1.u85.p799==1))||(i18.i2.u161.p1425==1))||(i23.i1.u209.p1838==1))||(i1.i0.u19.p170==1))||((i0.i1.u5.p56==1)&&(i0.i3.u11.p108==1)))||(i11.i0.u102.p919==1))||((i13.i0.u112.p1044==1)&&(i13.i0.u120.p1085==1)))) * !(!(E(TRUE U !((i15.i0.u140.p1238==1))))))) + EG(!(!(E(TRUE U !((i15.i0.u140.p1238==1)))))))))))) U (!(E(TRUE U ((((((((i26.i0.u236.p2078==1)||(i24.i0.u215.p1901==1))||(i19.i0.u179.p1540==1))||(i17.i1.u159.p1379==1))||(i20.i1.u181.p10==1))||(i16.i0.u150.p1325==1))||(i13.i2.u119.p1071==1))||(i5.i0.u51.p472==1)))) * !(E(!(!(EG(!(((((i14.i2.u130.p1185==1)||(i20.i1.u186.p1641==1))||(i18.i2.u169.p1488==1))||((i15.i1.u133.p1204==1)&&(i15.i3.u141.p1251==1))))))) U (((((i6.i1.u60.p560==1)||(i10.i0.u86.p807==1))||(i15.i0.u0.p15==1))||((i12.i0.u107.p979==1)&&(i12.i2.u108.p981==1))) * (!(E(TRUE U !((((((((((i13.i1.u115.p1050==1)&&(i13.i3.u121.p1097==1))||((i25.i1.u222.p1974==1)&&(i25.i2.u227.p2021==1)))||(i9.i1.u84.p780==1))||(i10.i0.u94.p852==1))||((i18.i0.u165.p1441==1)&&(i18.i2.u166.p1443==1)))||(i19.i3.u177.p1534==1))||(i19.i3.u178.p1535==1))||(i5.i1.u50.p456==1))))) + !((E(!(!(E(TRUE U !((i15.i0.u140.p1238==1))))) U (!((((((((((((i29.i0.u255.p2277==1)&&(i29.i0.u261.p2313==1))||(i14.i2.u131.p1187==1))||(i13.i0.u122.p1106==1))||(i9.i1.u85.p799==1))||(i18.i2.u161.p1425==1))||(i23.i1.u209.p1838==1))||(i1.i0.u19.p170==1))||((i0.i1.u5.p56==1)&&(i0.i3.u11.p108==1)))||(i11.i0.u102.p919==1))||((i13.i0.u112.p1044==1)&&(i13.i0.u120.p1085==1)))) * !(!(E(TRUE U !((i15.i0.u140.p1238==1))))))) + EG(!(!(E(TRUE U !((i15.i0.u140.p1238==1))))))))))))))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions i0.t2, i0.t1, i0.t0, i0.i3.u2.t188, i1.t4, i1.i0.t3, i1.i0.u19.t147, i1.i1.t5, i1.i1.u12.t193, i2.t8, i2.t7, i2.t6, i2.i2.u21.t199, i3.t11, i3.t10, i3.t9, i3.i2.u29.t204, i4.t14, i4.t13, i4.t12, i4.i2.u37.t209, i5.t17, i5.i0.u51.t150, i5.i1.t421, i5.i1.u45.t215, i5.i1.u46.t15, i5.i1.u47.t16, i5.i1.u50.t111, i6.t20, i6.t19, i6.t18, i6.i0.u54.t426, i6.i1.u60.t151, i6.i2.t434, i6.i2.u53.t221, i7.t23, i7.t22, i7.t21, i7.i2.u62.t226, i8.t26, i8.t25, i8.t24, i8.i2.u70.t232, i9.t27, i9.i0.u79.t462, i9.i0.u81.t28, i9.i1.t29, i9.i1.u78.t240, i9.i1.u84.t152, i9.i1.u85.t243, i10.t247, i10.t32, i10.t31, i10.t30, i10.i0.u94.t153, i11.t35, i11.i0.u97.t33, i11.i0.u102.t253, i11.i1.t34, i11.i1.u96.t255, i12.t155, i12.t37, i12.t36, i12.i2.u104.t260, i13.t131, i13.i0.t266, i13.i0.u122.t156, i13.i1.t38, i13.i2.u116.t39, i13.i2.u118.t169, i13.i3.t504, i13.i3.u117.t40, i14.t42, i14.t41, i14.i0.u126.t508, i14.i1.t43, i14.i1.t511, i14.i2.t103, i14.i2.u123.t272, i14.i2.u130.t514, i15.t279, i15.t46, i15.t45, i15.i0.u140.t278, i15.i1.t44, i16.t48, i16.i0.t47, i16.i0.u150.t158, i16.i1.t49, i16.i1.u143.t283, i17.t52, i17.i0.t50, i17.i0.u152.t288, i17.i1.u158.t180, i17.i2.u155.t51, i18.t291, i18.t160, i18.t54, i18.t53, i18.i2.t98, i18.i2.u162.t295, i18.i2.u169.t97, i19.t299, i19.t55, i19.i0.u179.t162, i19.i2.t56, i19.i3.u177.t95, i20.t312, i20.i1.u184.t59, i21.t62, i26.t77, i26.t76, i26.i0.u236.t88, i27.t80, i29.i0.t86, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/446/115/561
Detected timeout of ITS tools.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 460 transitions
Trivial Post-agglo rules discarded 460 transitions
Performed 460 trivial Post agglomeration. Transition count delta: 460
Iterating post reduction 0 with 460 rules applied. Total rules applied 460 place count 2196 transition count 1526
Reduce places removed 460 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 462 rules applied. Total rules applied 922 place count 1736 transition count 1524
Reduce places removed 1 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 2 with 5 rules applied. Total rules applied 927 place count 1735 transition count 1520
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 931 place count 1731 transition count 1520
Performed 159 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 159 Pre rules applied. Total rules applied 931 place count 1731 transition count 1361
Deduced a syphon composed of 159 places in 2 ms
Reduce places removed 159 places and 0 transitions.
Iterating global reduction 4 with 318 rules applied. Total rules applied 1249 place count 1572 transition count 1361
Discarding 127 places :
Symmetric choice reduction at 4 with 127 rule applications. Total rules 1376 place count 1445 transition count 1234
Iterating global reduction 4 with 127 rules applied. Total rules applied 1503 place count 1445 transition count 1234
Performed 78 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 78 Pre rules applied. Total rules applied 1503 place count 1445 transition count 1156
Deduced a syphon composed of 78 places in 1 ms
Reduce places removed 78 places and 0 transitions.
Iterating global reduction 4 with 156 rules applied. Total rules applied 1659 place count 1367 transition count 1156
Performed 498 Post agglomeration using F-continuation condition.Transition count delta: 498
Deduced a syphon composed of 498 places in 1 ms
Reduce places removed 498 places and 0 transitions.
Iterating global reduction 4 with 996 rules applied. Total rules applied 2655 place count 869 transition count 658
Renaming transitions due to excessive name length > 1024 char.
Performed 84 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 84 places in 1 ms
Reduce places removed 84 places and 0 transitions.
Iterating global reduction 4 with 168 rules applied. Total rules applied 2823 place count 785 transition count 658
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 2824 place count 784 transition count 657
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 2825 place count 783 transition count 657
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 2 Pre rules applied. Total rules applied 2825 place count 783 transition count 655
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 5 with 4 rules applied. Total rules applied 2829 place count 781 transition count 655
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 2830 place count 780 transition count 654
Applied a total of 2830 rules in 360 ms. Remains 780 /2197 variables (removed 1417) and now considering 654/1987 (removed 1333) transitions.
[2021-05-16 16:15:32] [INFO ] Flatten gal took : 21 ms
[2021-05-16 16:15:32] [INFO ] Flatten gal took : 23 ms
[2021-05-16 16:15:32] [INFO ] Input system was already deterministic with 654 transitions.
[2021-05-16 16:15:32] [INFO ] Flatten gal took : 23 ms
[2021-05-16 16:15:32] [INFO ] Flatten gal took : 23 ms
[2021-05-16 16:15:32] [INFO ] Time to serialize gal into /tmp/CTLFireability13001599304968433701.gal : 3 ms
[2021-05-16 16:15:32] [INFO ] Time to serialize properties into /tmp/CTLFireability11901655857901762430.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability13001599304968433701.gal, -t, CGAL, -ctl, /tmp/CTLFireability11901655857901762430.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability13001599304968433701.gal -t CGAL -ctl /tmp/CTLFireability11901655857901762430.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,8.59736e+110,2.21726,61000,2,3624,5,260367,6,0,3774,318345,0
Converting to forward existential form...Done !
original formula: EF((E(((((((((p140==1)&&(p173==1))||(p122==1))||((p292==1)&&(p339==1)))||(p475==1))||((p272==1)&&(p334==1)))||(p1622==1))||(p267==1)) U (((((((p182==1)||(p1630==1))||(p922==1))||(p1533==1))||(p475==1))||(p2048==1))||(p882==1))) * ((((((p1428==1)||(p1046==1))||(p1029==1))||(p919==1))||(p705==1))||(p1638==1))))
=> equivalent forward existential formula: [(FwdU((FwdU(Init,TRUE) * ((((((p1428==1)||(p1046==1))||(p1029==1))||(p919==1))||(p705==1))||(p1638==1))),((((((((p140==1)&&(p173==1))||(p122==1))||((p292==1)&&(p339==1)))||(p475==1))||((p272==1)&&(p334==1)))||(p1622==1))||(p267==1))) * (((((((p182==1)||(p1630==1))||(p922==1))||(p1533==1))||(p475==1))||(p2048==1))||(p882==1)))] != FALSE
Hit Full ! (commute/partial/dont) 629/0/25
(forward)formula 0,1,3.06577,61000,1,0,11,260367,16,2,7101,318345,5
FORMULA ShieldPPPt-PT-030B-CTLFireability-10 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 401 transitions
Trivial Post-agglo rules discarded 401 transitions
Performed 401 trivial Post agglomeration. Transition count delta: 401
Iterating post reduction 0 with 401 rules applied. Total rules applied 401 place count 2196 transition count 1585
Reduce places removed 401 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 403 rules applied. Total rules applied 804 place count 1795 transition count 1583
Reduce places removed 1 places and 0 transitions.
Performed 29 Post agglomeration using F-continuation condition.Transition count delta: 29
Iterating post reduction 2 with 30 rules applied. Total rules applied 834 place count 1794 transition count 1554
Reduce places removed 29 places and 0 transitions.
Iterating post reduction 3 with 29 rules applied. Total rules applied 863 place count 1765 transition count 1554
Performed 157 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 157 Pre rules applied. Total rules applied 863 place count 1765 transition count 1397
Deduced a syphon composed of 157 places in 2 ms
Reduce places removed 157 places and 0 transitions.
Iterating global reduction 4 with 314 rules applied. Total rules applied 1177 place count 1608 transition count 1397
Discarding 108 places :
Symmetric choice reduction at 4 with 108 rule applications. Total rules 1285 place count 1500 transition count 1289
Iterating global reduction 4 with 108 rules applied. Total rules applied 1393 place count 1500 transition count 1289
Performed 59 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 59 Pre rules applied. Total rules applied 1393 place count 1500 transition count 1230
Deduced a syphon composed of 59 places in 2 ms
Reduce places removed 59 places and 0 transitions.
Iterating global reduction 4 with 118 rules applied. Total rules applied 1511 place count 1441 transition count 1230
Performed 458 Post agglomeration using F-continuation condition.Transition count delta: 458
Deduced a syphon composed of 458 places in 1 ms
Reduce places removed 458 places and 0 transitions.
Iterating global reduction 4 with 916 rules applied. Total rules applied 2427 place count 983 transition count 772
Renaming transitions due to excessive name length > 1024 char.
Performed 74 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 74 places in 1 ms
Reduce places removed 74 places and 0 transitions.
Iterating global reduction 4 with 148 rules applied. Total rules applied 2575 place count 909 transition count 772
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 4 with 2 rules applied. Total rules applied 2577 place count 909 transition count 772
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 2578 place count 908 transition count 771
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 2579 place count 907 transition count 770
Applied a total of 2579 rules in 367 ms. Remains 907 /2197 variables (removed 1290) and now considering 770/1987 (removed 1217) transitions.
[2021-05-16 16:15:36] [INFO ] Flatten gal took : 19 ms
[2021-05-16 16:15:36] [INFO ] Flatten gal took : 21 ms
[2021-05-16 16:15:36] [INFO ] Input system was already deterministic with 770 transitions.
[2021-05-16 16:15:36] [INFO ] Flatten gal took : 22 ms
[2021-05-16 16:15:36] [INFO ] Flatten gal took : 22 ms
[2021-05-16 16:15:36] [INFO ] Time to serialize gal into /tmp/CTLFireability17412972427571999002.gal : 4 ms
[2021-05-16 16:15:36] [INFO ] Time to serialize properties into /tmp/CTLFireability4927363564060564310.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability17412972427571999002.gal, -t, CGAL, -ctl, /tmp/CTLFireability4927363564060564310.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability17412972427571999002.gal -t CGAL -ctl /tmp/CTLFireability4927363564060564310.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 16:16:06] [INFO ] Flatten gal took : 23 ms
[2021-05-16 16:16:06] [INFO ] Applying decomposition
[2021-05-16 16:16:06] [INFO ] Flatten gal took : 21 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph6784526801479234624.txt, -o, /tmp/graph6784526801479234624.bin, -w, /tmp/graph6784526801479234624.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph6784526801479234624.bin, -l, -1, -v, -w, /tmp/graph6784526801479234624.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 16:16:06] [INFO ] Decomposing Gal with order
[2021-05-16 16:16:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 16:16:06] [INFO ] Removed a total of 220 redundant transitions.
[2021-05-16 16:16:06] [INFO ] Flatten gal took : 48 ms
[2021-05-16 16:16:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 162 labels/synchronizations in 10 ms.
[2021-05-16 16:16:06] [INFO ] Time to serialize gal into /tmp/CTLFireability9753129366995553269.gal : 7 ms
[2021-05-16 16:16:06] [INFO ] Time to serialize properties into /tmp/CTLFireability10513258173541381139.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability9753129366995553269.gal, -t, CGAL, -ctl, /tmp/CTLFireability10513258173541381139.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability9753129366995553269.gal -t CGAL -ctl /tmp/CTLFireability10513258173541381139.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 16:16:36] [INFO ] Flatten gal took : 51 ms
[2021-05-16 16:16:36] [INFO ] Flatten gal took : 51 ms
[2021-05-16 16:16:36] [INFO ] Applying decomposition
[2021-05-16 16:16:36] [INFO ] Flatten gal took : 51 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph15057642939399186385.txt, -o, /tmp/graph15057642939399186385.bin, -w, /tmp/graph15057642939399186385.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph15057642939399186385.bin, -l, -1, -v, -w, /tmp/graph15057642939399186385.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 16:16:36] [INFO ] Decomposing Gal with order
[2021-05-16 16:16:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 16:16:37] [INFO ] Removed a total of 194 redundant transitions.
[2021-05-16 16:16:37] [INFO ] Flatten gal took : 103 ms
[2021-05-16 16:16:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 6 ms.
[2021-05-16 16:16:37] [INFO ] Time to serialize gal into /tmp/CTLFireability17964473700198678982.gal : 15 ms
[2021-05-16 16:16:37] [INFO ] Time to serialize properties into /tmp/CTLFireability7071716798219476190.ctl : 6 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability17964473700198678982.gal, -t, CGAL, -ctl, /tmp/CTLFireability7071716798219476190.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability17964473700198678982.gal -t CGAL -ctl /tmp/CTLFireability7071716798219476190.ctl
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 16:39:11] [INFO ] Applying decomposition
[2021-05-16 16:39:12] [INFO ] Flatten gal took : 1099 ms
[2021-05-16 16:39:13] [INFO ] Decomposing Gal with order
[2021-05-16 16:39:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 16:39:13] [INFO ] Removed a total of 34 redundant transitions.
[2021-05-16 16:39:14] [INFO ] Flatten gal took : 457 ms
[2021-05-16 16:39:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 146 labels/synchronizations in 42 ms.
[2021-05-16 16:39:23] [INFO ] Time to serialize gal into /tmp/CTLFireability18243028377704346153.gal : 29 ms
[2021-05-16 16:39:23] [INFO ] Time to serialize properties into /tmp/CTLFireability11616797918167659234.ctl : 22 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability18243028377704346153.gal, -t, CGAL, -ctl, /tmp/CTLFireability11616797918167659234.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability18243028377704346153.gal -t CGAL -ctl /tmp/CTLFireability11616797918167659234.ctl
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 17:01:57] [INFO ] Flatten gal took : 466 ms
[2021-05-16 17:01:58] [INFO ] Input system was already deterministic with 1987 transitions.
[2021-05-16 17:01:59] [INFO ] Transformed 2197 places.
[2021-05-16 17:01:59] [INFO ] Transformed 1987 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-16 17:01:59] [INFO ] Time to serialize gal into /tmp/CTLFireability6166219003304194538.gal : 16 ms
[2021-05-16 17:01:59] [INFO ] Time to serialize properties into /tmp/CTLFireability13584406577500765872.ctl : 7 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability6166219003304194538.gal, -t, CGAL, -ctl, /tmp/CTLFireability13584406577500765872.ctl, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability6166219003304194538.gal -t CGAL -ctl /tmp/CTLFireability13584406577500765872.ctl --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
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
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -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 CTLFireability -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="ShieldPPPt-PT-030B"
export BK_EXAMINATION="CTLFireability"
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 ShieldPPPt-PT-030B, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r216-tall-162098205700810"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-030B.tgz
mv ShieldPPPt-PT-030B execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;