About the Execution of ITS-Tools for ShieldIIPt-PT-100B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14302.428 | 3600000.00 | 10437982.00 | 73176.70 | FTFT??FFTTFTTT?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-162098205200511.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 ShieldIIPt-PT-100B, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r216-tall-162098205200511
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.7K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K 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.3K Mar 28 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 12:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 12:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 18:23 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 1.7M 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 ShieldIIPt-PT-100B-ReachabilityFireability-00
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-01
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-02
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-03
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-04
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-05
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-06
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-07
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-08
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-09
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-10
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-11
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-12
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-13
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-14
FORMULA_NAME ShieldIIPt-PT-100B-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1621120082143
Running Version 0
[2021-05-15 23:08:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -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-15 23:08:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-15 23:08:04] [INFO ] Load time of PNML (sax parser for PT used): 292 ms
[2021-05-15 23:08:04] [INFO ] Transformed 7003 places.
[2021-05-15 23:08:04] [INFO ] Transformed 6503 transitions.
[2021-05-15 23:08:04] [INFO ] Found NUPN structural information;
[2021-05-15 23:08:04] [INFO ] Parsed PT model containing 7003 places and 6503 transitions in 605 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 11 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=51 ) properties (out of 16) seen :6
FORMULA ShieldIIPt-PT-100B-ReachabilityFireability-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldIIPt-PT-100B-ReachabilityFireability-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldIIPt-PT-100B-ReachabilityFireability-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldIIPt-PT-100B-ReachabilityFireability-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldIIPt-PT-100B-ReachabilityFireability-07 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldIIPt-PT-100B-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=232 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 10) seen :0
Running SMT prover for 10 properties.
// Phase 1: matrix 6503 rows 7003 cols
[2021-05-15 23:08:05] [INFO ] Computed 901 place invariants in 72 ms
[2021-05-15 23:08:07] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:10
[2021-05-15 23:08:10] [INFO ] [Nat]Absence check using 901 positive place invariants in 566 ms returned sat
[2021-05-15 23:08:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:08:32] [INFO ] [Nat]Absence check using state equation in 21550 ms returned unsat :0 sat :8
Attempting to minimize the solution found.
Minimization took 4 ms.
[2021-05-15 23:08:32] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :8
Fused 10 Parikh solutions to 1 different solutions.
Support contains 41 out of 7003 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 7003/7003 places, 6503/6503 transitions.
Drop transitions removed 1678 transitions
Trivial Post-agglo rules discarded 1678 transitions
Performed 1678 trivial Post agglomeration. Transition count delta: 1678
Iterating post reduction 0 with 1678 rules applied. Total rules applied 1678 place count 7003 transition count 4825
Reduce places removed 1678 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 1680 rules applied. Total rules applied 3358 place count 5325 transition count 4823
Reduce places removed 1 places and 0 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Iterating post reduction 2 with 11 rules applied. Total rules applied 3369 place count 5324 transition count 4813
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 3379 place count 5314 transition count 4813
Performed 402 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 402 Pre rules applied. Total rules applied 3379 place count 5314 transition count 4411
Deduced a syphon composed of 402 places in 57 ms
Reduce places removed 402 places and 0 transitions.
Iterating global reduction 4 with 804 rules applied. Total rules applied 4183 place count 4912 transition count 4411
Discarding 687 places :
Symmetric choice reduction at 4 with 687 rule applications. Total rules 4870 place count 4225 transition count 3724
Iterating global reduction 4 with 687 rules applied. Total rules applied 5557 place count 4225 transition count 3724
Performed 292 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 292 Pre rules applied. Total rules applied 5557 place count 4225 transition count 3432
Deduced a syphon composed of 292 places in 17 ms
Reduce places removed 292 places and 0 transitions.
Iterating global reduction 4 with 584 rules applied. Total rules applied 6141 place count 3933 transition count 3432
Performed 1677 Post agglomeration using F-continuation condition.Transition count delta: 1677
Deduced a syphon composed of 1677 places in 5 ms
Reduce places removed 1677 places and 0 transitions.
Iterating global reduction 4 with 3354 rules applied. Total rules applied 9495 place count 2256 transition count 1755
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -65
Deduced a syphon composed of 101 places in 5 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 9697 place count 2155 transition count 1820
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -62
Deduced a syphon composed of 101 places in 5 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 9899 place count 2054 transition count 1882
Performed 90 Post agglomeration using F-continuation condition.Transition count delta: -60
Deduced a syphon composed of 90 places in 5 ms
Reduce places removed 90 places and 0 transitions.
Iterating global reduction 4 with 180 rules applied. Total rules applied 10079 place count 1964 transition count 1942
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 10080 place count 1964 transition count 1941
Free-agglomeration rule applied 3 times.
Iterating global reduction 5 with 3 rules applied. Total rules applied 10083 place count 1964 transition count 1938
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 10086 place count 1961 transition count 1938
Partial Free-agglomeration rule applied 101 times.
Drop transitions removed 101 transitions
Iterating global reduction 6 with 101 rules applied. Total rules applied 10187 place count 1961 transition count 1938
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 10188 place count 1960 transition count 1937
Applied a total of 10188 rules in 2653 ms. Remains 1960 /7003 variables (removed 5043) and now considering 1937/6503 (removed 4566) transitions.
Finished structural reductions, in 1 iterations. Remains : 1960/7003 places, 1937/6503 transitions.
[2021-05-15 23:08:35] [INFO ] Flatten gal took : 240 ms
[2021-05-15 23:08:35] [INFO ] Flatten gal took : 143 ms
[2021-05-15 23:08:35] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7251334279960570476.gal : 41 ms
[2021-05-15 23:08:35] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17053154901153939134.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality7251334279960570476.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17053154901153939134.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality7251334279960570476.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17053154901153939134.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality17053154901153939134.prop.
SDD proceeding with computation,10 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,10 properties remain. new max is 8
SDD size :5 after 15
SDD proceeding with computation,10 properties remain. new max is 16
SDD size :15 after 45
SDD proceeding with computation,10 properties remain. new max is 32
SDD size :45 after 270
SDD proceeding with computation,10 properties remain. new max is 64
SDD size :270 after 540
Invariant property ShieldIIPt-PT-100B-ReachabilityFireability-06 does not hold.
FORMULA ShieldIIPt-PT-100B-ReachabilityFireability-06 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,9 properties remain. new max is 64
SDD size :540 after 14580
SDD proceeding with computation,9 properties remain. new max is 128
SDD size :14580 after 43740
SDD proceeding with computation,9 properties remain. new max is 256
SDD size :43740 after 262440
Reachability property ShieldIIPt-PT-100B-ReachabilityFireability-11 is true.
FORMULA ShieldIIPt-PT-100B-ReachabilityFireability-11 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
Reachability property ShieldIIPt-PT-100B-ReachabilityFireability-01 is true.
FORMULA ShieldIIPt-PT-100B-ReachabilityFireability-01 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,7 properties remain. new max is 256
SDD size :3.41172e+06 after 2.11714e+07
SDD proceeding with computation,7 properties remain. new max is 512
SDD size :2.11714e+07 after 2.11724e+07
SDD proceeding with computation,7 properties remain. new max is 1024
SDD size :2.11724e+07 after 2.12262e+07
SDD proceeding with computation,7 properties remain. new max is 2048
SDD size :2.12262e+07 after 2.12308e+07
SDD proceeding with computation,7 properties remain. new max is 4096
SDD size :2.12308e+07 after 2.1313e+07
SDD proceeding with computation,7 properties remain. new max is 8192
SDD size :2.1313e+07 after 2.26745e+07
Detected timeout of ITS tools.
[2021-05-15 23:08:51] [INFO ] Flatten gal took : 106 ms
[2021-05-15 23:08:51] [INFO ] Applying decomposition
[2021-05-15 23:08:51] [INFO ] Flatten gal took : 102 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/graph10749757985455415029.txt, -o, /tmp/graph10749757985455415029.bin, -w, /tmp/graph10749757985455415029.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/graph10749757985455415029.bin, -l, -1, -v, -w, /tmp/graph10749757985455415029.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-15 23:08:51] [INFO ] Decomposing Gal with order
[2021-05-15 23:08:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-15 23:08:52] [INFO ] Removed a total of 2125 redundant transitions.
[2021-05-15 23:08:52] [INFO ] Flatten gal took : 247 ms
[2021-05-15 23:08:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 876 labels/synchronizations in 58 ms.
[2021-05-15 23:08:52] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6710676269321118636.gal : 25 ms
[2021-05-15 23:08:52] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2069762073270139587.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality6710676269321118636.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2069762073270139587.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality6710676269321118636.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2069762073270139587.prop --nowitness
Loading property file /tmp/ReachabilityCardinality2069762073270139587.prop.
SDD proceeding with computation,7 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,7 properties remain. new max is 8
SDD size :3 after 3
SDD proceeding with computation,7 properties remain. new max is 16
SDD size :3 after 5
SDD proceeding with computation,7 properties remain. new max is 32
SDD size :5 after 5
SDD proceeding with computation,7 properties remain. new max is 64
SDD size :5 after 45
Reachability property ShieldIIPt-PT-100B-ReachabilityFireability-13 is true.
FORMULA ShieldIIPt-PT-100B-ReachabilityFireability-13 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
SDD proceeding with computation,6 properties remain. new max is 64
SDD size :2.34488e+10 after 2.15461e+94
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin8967888146167253308
[2021-05-15 23:09:07] [INFO ] Built C files in 65ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8967888146167253308
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8967888146167253308]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8967888146167253308] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8967888146167253308] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 14619 ms. (steps per millisecond=68 ) properties (out of 6) seen :0
Interrupted Best-First random walk after 525385 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=105 ) properties seen :{}
Interrupted Best-First random walk after 504680 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=100 ) properties seen :{}
Interrupted Best-First random walk after 512237 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=102 ) properties seen :{}
Interrupted Best-First random walk after 506769 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=101 ) properties seen :{}
Interrupted Best-First random walk after 527838 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=105 ) properties seen :{}
Interrupted Best-First random walk after 505482 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=101 ) properties seen :{}
Interrupted probabilistic random walk after 887304 steps, run timeout after 30001 ms. (steps per millisecond=29 ) properties seen :{}
Probabilistic random walk after 887304 steps, saw 629059 distinct states, run finished after 30001 ms. (steps per millisecond=29 ) properties seen :{}
Running SMT prover for 6 properties.
// Phase 1: matrix 1937 rows 1960 cols
[2021-05-15 23:10:23] [INFO ] Computed 901 place invariants in 8 ms
[2021-05-15 23:10:23] [INFO ] [Real]Absence check using 901 positive place invariants in 188 ms returned sat
[2021-05-15 23:10:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:10:24] [INFO ] [Real]Absence check using state equation in 797 ms returned sat
[2021-05-15 23:10:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:10:24] [INFO ] [Nat]Absence check using 901 positive place invariants in 141 ms returned sat
[2021-05-15 23:10:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:10:37] [INFO ] [Nat]Absence check using state equation in 12141 ms returned sat
[2021-05-15 23:10:37] [INFO ] State equation strengthened by 191 read => feed constraints.
[2021-05-15 23:10:37] [INFO ] [Nat]Added 191 Read/Feed constraints in 75 ms returned sat
[2021-05-15 23:10:37] [INFO ] Deduced a trap composed of 5 places in 258 ms of which 4 ms to minimize.
[2021-05-15 23:10:37] [INFO ] Deduced a trap composed of 6 places in 171 ms of which 1 ms to minimize.
[2021-05-15 23:10:37] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 731 ms
[2021-05-15 23:10:37] [INFO ] Computed and/alt/rep : 1924/4684/1924 causal constraints (skipped 0 transitions) in 127 ms.
[2021-05-15 23:10:58] [INFO ] Added : 850 causal constraints over 170 iterations in 20170 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 58 ms.
[2021-05-15 23:10:58] [INFO ] [Real]Absence check using 901 positive place invariants in 150 ms returned sat
[2021-05-15 23:10:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:10:59] [INFO ] [Real]Absence check using state equation in 741 ms returned sat
[2021-05-15 23:10:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:10:59] [INFO ] [Nat]Absence check using 901 positive place invariants in 156 ms returned sat
[2021-05-15 23:10:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:11:00] [INFO ] [Nat]Absence check using state equation in 764 ms returned sat
[2021-05-15 23:11:00] [INFO ] [Nat]Added 191 Read/Feed constraints in 88 ms returned sat
[2021-05-15 23:11:00] [INFO ] Deduced a trap composed of 3 places in 188 ms of which 2 ms to minimize.
[2021-05-15 23:11:01] [INFO ] Deduced a trap composed of 6 places in 180 ms of which 2 ms to minimize.
[2021-05-15 23:11:01] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 601 ms
[2021-05-15 23:11:01] [INFO ] Computed and/alt/rep : 1924/4684/1924 causal constraints (skipped 0 transitions) in 121 ms.
[2021-05-15 23:11:21] [INFO ] Added : 390 causal constraints over 78 iterations in 20080 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 13 ms.
[2021-05-15 23:11:21] [INFO ] [Real]Absence check using 901 positive place invariants in 142 ms returned sat
[2021-05-15 23:11:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:11:22] [INFO ] [Real]Absence check using state equation in 689 ms returned sat
[2021-05-15 23:11:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:11:22] [INFO ] [Nat]Absence check using 901 positive place invariants in 152 ms returned sat
[2021-05-15 23:11:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:11:23] [INFO ] [Nat]Absence check using state equation in 720 ms returned sat
[2021-05-15 23:11:23] [INFO ] [Nat]Added 191 Read/Feed constraints in 51 ms returned sat
[2021-05-15 23:11:23] [INFO ] Deduced a trap composed of 6 places in 53 ms of which 0 ms to minimize.
[2021-05-15 23:11:23] [INFO ] Deduced a trap composed of 5 places in 73 ms of which 1 ms to minimize.
[2021-05-15 23:11:23] [INFO ] Deduced a trap composed of 6 places in 57 ms of which 1 ms to minimize.
[2021-05-15 23:11:24] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 442 ms
[2021-05-15 23:11:24] [INFO ] Computed and/alt/rep : 1924/4684/1924 causal constraints (skipped 0 transitions) in 113 ms.
[2021-05-15 23:11:44] [INFO ] Added : 880 causal constraints over 176 iterations in 20229 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 29 ms.
[2021-05-15 23:11:44] [INFO ] [Real]Absence check using 901 positive place invariants in 147 ms returned sat
[2021-05-15 23:11:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:11:45] [INFO ] [Real]Absence check using state equation in 707 ms returned sat
[2021-05-15 23:11:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:11:45] [INFO ] [Nat]Absence check using 901 positive place invariants in 151 ms returned sat
[2021-05-15 23:11:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:11:46] [INFO ] [Nat]Absence check using state equation in 713 ms returned sat
[2021-05-15 23:11:46] [INFO ] [Nat]Added 191 Read/Feed constraints in 36 ms returned sat
[2021-05-15 23:11:46] [INFO ] Computed and/alt/rep : 1924/4684/1924 causal constraints (skipped 0 transitions) in 112 ms.
[2021-05-15 23:12:06] [INFO ] Added : 870 causal constraints over 174 iterations in 20165 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 31 ms.
[2021-05-15 23:12:07] [INFO ] [Real]Absence check using 901 positive place invariants in 155 ms returned sat
[2021-05-15 23:12:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:12:08] [INFO ] [Real]Absence check using state equation in 754 ms returned sat
[2021-05-15 23:12:08] [INFO ] [Real]Added 191 Read/Feed constraints in 80 ms returned sat
[2021-05-15 23:12:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:12:08] [INFO ] [Nat]Absence check using 901 positive place invariants in 161 ms returned sat
[2021-05-15 23:12:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:12:09] [INFO ] [Nat]Absence check using state equation in 763 ms returned sat
[2021-05-15 23:12:09] [INFO ] [Nat]Added 191 Read/Feed constraints in 75 ms returned sat
[2021-05-15 23:12:09] [INFO ] Computed and/alt/rep : 1924/4684/1924 causal constraints (skipped 0 transitions) in 138 ms.
[2021-05-15 23:12:29] [INFO ] Added : 885 causal constraints over 177 iterations in 20067 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 31 ms.
[2021-05-15 23:12:30] [INFO ] [Real]Absence check using 901 positive place invariants in 153 ms returned sat
[2021-05-15 23:12:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:12:30] [INFO ] [Real]Absence check using state equation in 744 ms returned sat
[2021-05-15 23:12:30] [INFO ] [Real]Added 191 Read/Feed constraints in 47 ms returned sat
[2021-05-15 23:12:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:12:31] [INFO ] [Nat]Absence check using 901 positive place invariants in 153 ms returned sat
[2021-05-15 23:12:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:12:32] [INFO ] [Nat]Absence check using state equation in 739 ms returned sat
[2021-05-15 23:12:32] [INFO ] [Nat]Added 191 Read/Feed constraints in 55 ms returned sat
[2021-05-15 23:12:32] [INFO ] Deduced a trap composed of 5 places in 63 ms of which 1 ms to minimize.
[2021-05-15 23:12:32] [INFO ] Deduced a trap composed of 3 places in 400 ms of which 0 ms to minimize.
[2021-05-15 23:12:32] [INFO ] Deduced a trap composed of 6 places in 46 ms of which 1 ms to minimize.
[2021-05-15 23:12:32] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 813 ms
[2021-05-15 23:12:33] [INFO ] Computed and/alt/rep : 1924/4684/1924 causal constraints (skipped 0 transitions) in 110 ms.
[2021-05-15 23:12:53] [INFO ] Added : 865 causal constraints over 173 iterations in 20266 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 34 ms.
Incomplete Parikh walk after 240100 steps, including 1001 resets, run finished after 3064 ms. (steps per millisecond=78 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 190400 steps, including 1001 resets, run finished after 2362 ms. (steps per millisecond=80 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 348500 steps, including 1001 resets, run finished after 4792 ms. (steps per millisecond=72 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 264200 steps, including 1001 resets, run finished after 3566 ms. (steps per millisecond=74 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 307800 steps, including 1001 resets, run finished after 4244 ms. (steps per millisecond=72 ) properties (out of 6) seen :0 could not realise parikh vector
Incomplete Parikh walk after 309900 steps, including 1001 resets, run finished after 4274 ms. (steps per millisecond=72 ) properties (out of 6) seen :1 could not realise parikh vector
FORMULA ShieldIIPt-PT-100B-ReachabilityFireability-09 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Support contains 25 out of 1960 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1960/1960 places, 1937/1937 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1960 transition count 1935
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 1958 transition count 1935
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 4 place count 1958 transition count 1933
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 8 place count 1956 transition count 1933
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Deduced a syphon composed of 12 places in 5 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 2 with 24 rules applied. Total rules applied 32 place count 1944 transition count 1921
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 36 place count 1942 transition count 1922
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 37 place count 1941 transition count 1921
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 38 place count 1940 transition count 1920
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 39 place count 1939 transition count 1919
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 40 place count 1938 transition count 1918
Applied a total of 40 rules in 599 ms. Remains 1938 /1960 variables (removed 22) and now considering 1918/1937 (removed 19) transitions.
Finished structural reductions, in 1 iterations. Remains : 1938/1960 places, 1918/1937 transitions.
[2021-05-15 23:13:16] [INFO ] Flatten gal took : 85 ms
[2021-05-15 23:13:16] [INFO ] Flatten gal took : 88 ms
[2021-05-15 23:13:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10612846517782706329.gal : 2997 ms
[2021-05-15 23:13:19] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3456992213363223805.prop : 295 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality10612846517782706329.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality3456992213363223805.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality10612846517782706329.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality3456992213363223805.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality3456992213363223805.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :3 after 9
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :9 after 27
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :27 after 54
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :54 after 486
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :486 after 2916
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :17496 after 226422
Invariant property ShieldIIPt-PT-100B-ReachabilityFireability-00 does not hold.
FORMULA ShieldIIPt-PT-100B-ReachabilityFireability-00 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :226422 after 232169
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :232169 after 304011
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :304011 after 7.6083e+06
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :7.6083e+06 after 1.95297e+08
SDD proceeding with computation,4 properties remain. new max is 4096
SDD size :1.95297e+08 after 1.21844e+11
SDD proceeding with computation,4 properties remain. new max is 8192
SDD size :1.21844e+11 after 2.26308e+16
SDD proceeding with computation,4 properties remain. new max is 16384
SDD size :2.26308e+16 after 3.18372e+21
SDD proceeding with computation,4 properties remain. new max is 32768
SDD size :3.18372e+21 after 1.04589e+28
SDD proceeding with computation,4 properties remain. new max is 65536
SDD size :1.04589e+28 after 1.75918e+39
Detected timeout of ITS tools.
[2021-05-15 23:13:35] [INFO ] Flatten gal took : 173 ms
[2021-05-15 23:13:35] [INFO ] Applying decomposition
[2021-05-15 23:13:36] [INFO ] Flatten gal took : 137 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/graph4803436832325635990.txt, -o, /tmp/graph4803436832325635990.bin, -w, /tmp/graph4803436832325635990.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/graph4803436832325635990.bin, -l, -1, -v, -w, /tmp/graph4803436832325635990.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-15 23:13:46] [INFO ] Decomposing Gal with order
[2021-05-15 23:13:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-15 23:13:47] [INFO ] Removed a total of 2155 redundant transitions.
[2021-05-15 23:13:47] [INFO ] Flatten gal took : 146 ms
[2021-05-15 23:13:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 920 labels/synchronizations in 28 ms.
[2021-05-15 23:13:47] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12783738847520302709.gal : 16 ms
[2021-05-15 23:13:47] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17256897176068790644.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality12783738847520302709.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17256897176068790644.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality12783738847520302709.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17256897176068790644.prop --nowitness
Loading property file /tmp/ReachabilityCardinality17256897176068790644.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :1 after 3
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :3 after 9
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :9 after 162
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :162 after 472392
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin8375024454618227992
[2021-05-15 23:14:02] [INFO ] Built C files in 28ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8375024454618227992
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8375024454618227992]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8375024454618227992] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8375024454618227992] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 14274 ms. (steps per millisecond=70 ) properties (out of 4) seen :0
Interrupted Best-First random walk after 504489 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=100 ) properties seen :{}
Interrupted Best-First random walk after 509933 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=101 ) properties seen :{}
Interrupted Best-First random walk after 485885 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=97 ) properties seen :{}
Interrupted Best-First random walk after 487535 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=97 ) properties seen :{}
Interrupted probabilistic random walk after 929283 steps, run timeout after 30001 ms. (steps per millisecond=30 ) properties seen :{}
Probabilistic random walk after 929283 steps, saw 660935 distinct states, run finished after 30001 ms. (steps per millisecond=30 ) properties seen :{}
Running SMT prover for 4 properties.
// Phase 1: matrix 1918 rows 1938 cols
[2021-05-15 23:15:07] [INFO ] Computed 901 place invariants in 7 ms
[2021-05-15 23:15:08] [INFO ] [Real]Absence check using 901 positive place invariants in 147 ms returned sat
[2021-05-15 23:15:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:15:08] [INFO ] [Real]Absence check using state equation in 718 ms returned sat
[2021-05-15 23:15:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:15:09] [INFO ] [Nat]Absence check using 901 positive place invariants in 164 ms returned sat
[2021-05-15 23:15:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:15:10] [INFO ] [Nat]Absence check using state equation in 764 ms returned sat
[2021-05-15 23:15:10] [INFO ] State equation strengthened by 41 read => feed constraints.
[2021-05-15 23:15:10] [INFO ] [Nat]Added 41 Read/Feed constraints in 22 ms returned sat
[2021-05-15 23:15:10] [INFO ] Deduced a trap composed of 6 places in 52 ms of which 0 ms to minimize.
[2021-05-15 23:15:10] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 173 ms
[2021-05-15 23:15:10] [INFO ] Computed and/alt/rep : 1909/3645/1909 causal constraints (skipped 0 transitions) in 138 ms.
[2021-05-15 23:15:30] [INFO ] Added : 915 causal constraints over 183 iterations in 20042 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 24 ms.
[2021-05-15 23:15:30] [INFO ] [Real]Absence check using 901 positive place invariants in 149 ms returned sat
[2021-05-15 23:15:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:15:31] [INFO ] [Real]Absence check using state equation in 682 ms returned sat
[2021-05-15 23:15:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:15:31] [INFO ] [Nat]Absence check using 901 positive place invariants in 143 ms returned sat
[2021-05-15 23:15:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:15:32] [INFO ] [Nat]Absence check using state equation in 671 ms returned sat
[2021-05-15 23:15:32] [INFO ] [Nat]Added 41 Read/Feed constraints in 11 ms returned sat
[2021-05-15 23:15:32] [INFO ] Deduced a trap composed of 4 places in 47 ms of which 0 ms to minimize.
[2021-05-15 23:15:32] [INFO ] Deduced a trap composed of 6 places in 47 ms of which 0 ms to minimize.
[2021-05-15 23:15:32] [INFO ] Deduced a trap composed of 3 places in 47 ms of which 0 ms to minimize.
[2021-05-15 23:15:32] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 382 ms
[2021-05-15 23:15:32] [INFO ] Computed and/alt/rep : 1909/3645/1909 causal constraints (skipped 0 transitions) in 109 ms.
[2021-05-15 23:15:52] [INFO ] Added : 925 causal constraints over 185 iterations in 20083 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 24 ms.
[2021-05-15 23:15:53] [INFO ] [Real]Absence check using 901 positive place invariants in 146 ms returned sat
[2021-05-15 23:15:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:15:54] [INFO ] [Real]Absence check using state equation in 702 ms returned sat
[2021-05-15 23:15:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:15:54] [INFO ] [Nat]Absence check using 901 positive place invariants in 147 ms returned sat
[2021-05-15 23:15:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:15:55] [INFO ] [Nat]Absence check using state equation in 713 ms returned sat
[2021-05-15 23:15:55] [INFO ] [Nat]Added 41 Read/Feed constraints in 10 ms returned sat
[2021-05-15 23:15:55] [INFO ] Computed and/alt/rep : 1909/3645/1909 causal constraints (skipped 0 transitions) in 93 ms.
[2021-05-15 23:16:15] [INFO ] Added : 920 causal constraints over 184 iterations in 20121 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 38 ms.
[2021-05-15 23:16:15] [INFO ] [Real]Absence check using 901 positive place invariants in 162 ms returned sat
[2021-05-15 23:16:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:16:16] [INFO ] [Real]Absence check using state equation in 753 ms returned sat
[2021-05-15 23:16:16] [INFO ] [Real]Added 41 Read/Feed constraints in 6 ms returned sat
[2021-05-15 23:16:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:16:17] [INFO ] [Nat]Absence check using 901 positive place invariants in 151 ms returned sat
[2021-05-15 23:16:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:16:17] [INFO ] [Nat]Absence check using state equation in 719 ms returned sat
[2021-05-15 23:16:17] [INFO ] [Nat]Added 41 Read/Feed constraints in 14 ms returned sat
[2021-05-15 23:16:18] [INFO ] Computed and/alt/rep : 1909/3645/1909 causal constraints (skipped 0 transitions) in 120 ms.
[2021-05-15 23:16:38] [INFO ] Added : 910 causal constraints over 182 iterations in 20159 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 23 ms.
Incomplete Parikh walk after 279000 steps, including 1002 resets, run finished after 3658 ms. (steps per millisecond=76 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 265600 steps, including 1001 resets, run finished after 3622 ms. (steps per millisecond=73 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 271000 steps, including 1001 resets, run finished after 3963 ms. (steps per millisecond=68 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 293700 steps, including 1001 resets, run finished after 4335 ms. (steps per millisecond=67 ) properties (out of 4) seen :1 could not realise parikh vector
FORMULA ShieldIIPt-PT-100B-ReachabilityFireability-02 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Support contains 17 out of 1938 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1938/1938 places, 1918/1918 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1938 transition count 1916
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 1936 transition count 1916
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 4 place count 1936 transition count 1914
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 8 place count 1934 transition count 1914
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 5 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 16 place count 1930 transition count 1910
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -2
Deduced a syphon composed of 3 places in 5 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 22 place count 1927 transition count 1912
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 23 place count 1926 transition count 1911
Applied a total of 23 rules in 233 ms. Remains 1926 /1938 variables (removed 12) and now considering 1911/1918 (removed 7) transitions.
Finished structural reductions, in 1 iterations. Remains : 1926/1938 places, 1911/1918 transitions.
[2021-05-15 23:16:54] [INFO ] Flatten gal took : 77 ms
[2021-05-15 23:16:54] [INFO ] Flatten gal took : 78 ms
[2021-05-15 23:16:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4851034519805092652.gal : 7 ms
[2021-05-15 23:16:56] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17770940217582695384.prop : 2037 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality4851034519805092652.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17770940217582695384.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality4851034519805092652.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17770940217582695384.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality17770940217582695384.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :3 after 9
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :9 after 27
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :27 after 54
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :54 after 486
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :486 after 972
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :5832 after 135549
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :135549 after 141091
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :141091 after 540603
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :540603 after 1.68309e+08
SDD proceeding with computation,3 properties remain. new max is 4096
SDD size :1.68309e+08 after 1.16337e+11
SDD proceeding with computation,3 properties remain. new max is 8192
SDD size :1.16337e+11 after 1.40329e+16
SDD proceeding with computation,3 properties remain. new max is 16384
SDD size :1.40329e+16 after 1.13023e+21
SDD proceeding with computation,3 properties remain. new max is 32768
SDD size :1.13023e+21 after 1.04312e+28
SDD proceeding with computation,3 properties remain. new max is 65536
SDD size :1.04312e+28 after 1.75918e+39
Detected timeout of ITS tools.
[2021-05-15 23:17:15] [INFO ] Flatten gal took : 73 ms
[2021-05-15 23:17:15] [INFO ] Applying decomposition
[2021-05-15 23:17:15] [INFO ] Flatten gal took : 73 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/graph921437967612346442.txt, -o, /tmp/graph921437967612346442.bin, -w, /tmp/graph921437967612346442.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/graph921437967612346442.bin, -l, -1, -v, -w, /tmp/graph921437967612346442.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-15 23:17:16] [INFO ] Decomposing Gal with order
[2021-05-15 23:17:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-15 23:17:16] [INFO ] Removed a total of 2215 redundant transitions.
[2021-05-15 23:17:16] [INFO ] Flatten gal took : 129 ms
[2021-05-15 23:17:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 948 labels/synchronizations in 27 ms.
[2021-05-15 23:17:16] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16113952727531976224.gal : 17 ms
[2021-05-15 23:17:16] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5186255236695274948.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality16113952727531976224.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5186255236695274948.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality16113952727531976224.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5186255236695274948.prop --nowitness
Loading property file /tmp/ReachabilityCardinality5186255236695274948.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :1 after 9
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :9 after 54
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :54 after 48600
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7458937256247213072
[2021-05-15 23:17:31] [INFO ] Built C files in 28ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7458937256247213072
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin7458937256247213072]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin7458937256247213072] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin7458937256247213072] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 13666 ms. (steps per millisecond=73 ) properties (out of 3) seen :0
Interrupted Best-First random walk after 512430 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=102 ) properties seen :{}
Interrupted Best-First random walk after 514408 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=102 ) properties seen :{}
Interrupted Best-First random walk after 512844 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=102 ) properties seen :{}
Interrupted probabilistic random walk after 663379 steps, run timeout after 30001 ms. (steps per millisecond=22 ) properties seen :{}
Probabilistic random walk after 663379 steps, saw 465441 distinct states, run finished after 30001 ms. (steps per millisecond=22 ) properties seen :{}
Running SMT prover for 3 properties.
// Phase 1: matrix 1911 rows 1926 cols
[2021-05-15 23:18:31] [INFO ] Computed 901 place invariants in 5 ms
[2021-05-15 23:18:31] [INFO ] [Real]Absence check using 901 positive place invariants in 142 ms returned sat
[2021-05-15 23:18:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:18:32] [INFO ] [Real]Absence check using state equation in 679 ms returned sat
[2021-05-15 23:18:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:18:32] [INFO ] [Nat]Absence check using 901 positive place invariants in 148 ms returned sat
[2021-05-15 23:18:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:18:33] [INFO ] [Nat]Absence check using state equation in 668 ms returned sat
[2021-05-15 23:18:33] [INFO ] State equation strengthened by 34 read => feed constraints.
[2021-05-15 23:18:33] [INFO ] [Nat]Added 34 Read/Feed constraints in 7 ms returned sat
[2021-05-15 23:18:33] [INFO ] Deduced a trap composed of 6 places in 52 ms of which 0 ms to minimize.
[2021-05-15 23:18:33] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 195 ms
[2021-05-15 23:18:33] [INFO ] Computed and/alt/rep : 1903/3603/1903 causal constraints (skipped 0 transitions) in 94 ms.
[2021-05-15 23:18:53] [INFO ] Added : 920 causal constraints over 184 iterations in 20088 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 23 ms.
[2021-05-15 23:18:54] [INFO ] [Real]Absence check using 901 positive place invariants in 153 ms returned sat
[2021-05-15 23:18:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:18:55] [INFO ] [Real]Absence check using state equation in 759 ms returned sat
[2021-05-15 23:18:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:18:55] [INFO ] [Nat]Absence check using 901 positive place invariants in 148 ms returned sat
[2021-05-15 23:18:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:18:56] [INFO ] [Nat]Absence check using state equation in 693 ms returned sat
[2021-05-15 23:18:56] [INFO ] [Nat]Added 34 Read/Feed constraints in 6 ms returned sat
[2021-05-15 23:18:56] [INFO ] Computed and/alt/rep : 1903/3603/1903 causal constraints (skipped 0 transitions) in 96 ms.
[2021-05-15 23:19:16] [INFO ] Added : 915 causal constraints over 183 iterations in 20247 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 26 ms.
[2021-05-15 23:19:16] [INFO ] [Real]Absence check using 901 positive place invariants in 146 ms returned sat
[2021-05-15 23:19:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:19:17] [INFO ] [Real]Absence check using state equation in 707 ms returned sat
[2021-05-15 23:19:17] [INFO ] [Real]Added 34 Read/Feed constraints in 7 ms returned sat
[2021-05-15 23:19:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:19:18] [INFO ] [Nat]Absence check using 901 positive place invariants in 149 ms returned sat
[2021-05-15 23:19:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:19:18] [INFO ] [Nat]Absence check using state equation in 710 ms returned sat
[2021-05-15 23:19:18] [INFO ] [Nat]Added 34 Read/Feed constraints in 8 ms returned sat
[2021-05-15 23:19:18] [INFO ] Deduced a trap composed of 10 places in 56 ms of which 0 ms to minimize.
[2021-05-15 23:19:18] [INFO ] Deduced a trap composed of 6 places in 48 ms of which 0 ms to minimize.
[2021-05-15 23:19:19] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 291 ms
[2021-05-15 23:19:19] [INFO ] Computed and/alt/rep : 1903/3603/1903 causal constraints (skipped 0 transitions) in 93 ms.
[2021-05-15 23:19:39] [INFO ] Added : 930 causal constraints over 186 iterations in 20031 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 27 ms.
Incomplete Parikh walk after 265900 steps, including 1001 resets, run finished after 3629 ms. (steps per millisecond=73 ) properties (out of 3) seen :0 could not realise parikh vector
Incomplete Parikh walk after 246400 steps, including 1001 resets, run finished after 3379 ms. (steps per millisecond=72 ) properties (out of 3) seen :0 could not realise parikh vector
Incomplete Parikh walk after 249400 steps, including 1001 resets, run finished after 3381 ms. (steps per millisecond=73 ) properties (out of 3) seen :0 could not realise parikh vector
Support contains 17 out of 1926 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1926/1926 places, 1911/1911 transitions.
Applied a total of 0 rules in 52 ms. Remains 1926 /1926 variables (removed 0) and now considering 1911/1911 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1926/1926 places, 1911/1911 transitions.
Starting structural reductions, iteration 0 : 1926/1926 places, 1911/1911 transitions.
Applied a total of 0 rules in 138 ms. Remains 1926 /1926 variables (removed 0) and now considering 1911/1911 (removed 0) transitions.
// Phase 1: matrix 1911 rows 1926 cols
[2021-05-15 23:19:49] [INFO ] Computed 901 place invariants in 21 ms
[2021-05-15 23:19:51] [INFO ] Implicit Places using invariants in 1576 ms returned [1917, 1918]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 1588 ms to find 2 implicit places.
[2021-05-15 23:19:51] [INFO ] Redundant transitions in 146 ms returned []
// Phase 1: matrix 1911 rows 1924 cols
[2021-05-15 23:19:51] [INFO ] Computed 899 place invariants in 4 ms
[2021-05-15 23:19:52] [INFO ] Dead Transitions using invariants and state equation in 1159 ms returned []
Starting structural reductions, iteration 1 : 1924/1926 places, 1911/1911 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 1924 transition count 1910
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 1923 transition count 1910
Applied a total of 2 rules in 72 ms. Remains 1923 /1924 variables (removed 1) and now considering 1910/1911 (removed 1) transitions.
// Phase 1: matrix 1910 rows 1923 cols
[2021-05-15 23:19:52] [INFO ] Computed 899 place invariants in 3 ms
[2021-05-15 23:19:54] [INFO ] Implicit Places using invariants in 1392 ms returned [1911]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 1403 ms to find 1 implicit places.
Starting structural reductions, iteration 2 : 1922/1926 places, 1910/1911 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 1921 transition count 1909
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 1921 transition count 1909
Applied a total of 2 rules in 89 ms. Remains 1921 /1922 variables (removed 1) and now considering 1909/1910 (removed 1) transitions.
// Phase 1: matrix 1909 rows 1921 cols
[2021-05-15 23:19:54] [INFO ] Computed 898 place invariants in 3 ms
[2021-05-15 23:19:55] [INFO ] Implicit Places using invariants in 1244 ms returned []
// Phase 1: matrix 1909 rows 1921 cols
[2021-05-15 23:19:55] [INFO ] Computed 898 place invariants in 4 ms
[2021-05-15 23:19:56] [INFO ] State equation strengthened by 31 read => feed constraints.
[2021-05-15 23:19:58] [INFO ] Implicit Places using invariants and state equation in 2858 ms returned []
Implicit Place search using SMT with State Equation took 4124 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 1921/1926 places, 1909/1911 transitions.
[2021-05-15 23:19:58] [INFO ] Flatten gal took : 71 ms
[2021-05-15 23:19:58] [INFO ] Flatten gal took : 71 ms
[2021-05-15 23:19:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5534467462220784733.gal : 6 ms
[2021-05-15 23:19:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18192921278744043543.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality5534467462220784733.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality18192921278744043543.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality5534467462220784733.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality18192921278744043543.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality18192921278744043543.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :3 after 9
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :9 after 27
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :27 after 54
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :54 after 486
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :486 after 972
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :5832 after 135549
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :135549 after 141091
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :141091 after 540603
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :540603 after 1.68309e+08
SDD proceeding with computation,3 properties remain. new max is 4096
SDD size :1.68309e+08 after 1.16337e+11
SDD proceeding with computation,3 properties remain. new max is 8192
SDD size :1.16337e+11 after 1.40326e+16
SDD proceeding with computation,3 properties remain. new max is 16384
SDD size :1.40326e+16 after 1.13023e+21
SDD proceeding with computation,3 properties remain. new max is 32768
SDD size :1.13023e+21 after 1.04312e+28
SDD proceeding with computation,3 properties remain. new max is 65536
SDD size :1.04312e+28 after 1.75918e+39
SDD proceeding with computation,3 properties remain. new max is 131072
SDD size :1.75918e+39 after 1.20878e+56
Detected timeout of ITS tools.
[2021-05-15 23:20:18] [INFO ] Flatten gal took : 75 ms
[2021-05-15 23:20:18] [INFO ] Applying decomposition
[2021-05-15 23:20:18] [INFO ] Flatten gal took : 78 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/graph17392162009310131646.txt, -o, /tmp/graph17392162009310131646.bin, -w, /tmp/graph17392162009310131646.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/graph17392162009310131646.bin, -l, -1, -v, -w, /tmp/graph17392162009310131646.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-15 23:20:18] [INFO ] Decomposing Gal with order
[2021-05-15 23:20:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-15 23:20:19] [INFO ] Removed a total of 2219 redundant transitions.
[2021-05-15 23:20:19] [INFO ] Flatten gal took : 123 ms
[2021-05-15 23:20:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 930 labels/synchronizations in 20 ms.
[2021-05-15 23:20:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11336311004318758204.gal : 14 ms
[2021-05-15 23:20:19] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2224294263792382291.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality11336311004318758204.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2224294263792382291.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality11336311004318758204.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2224294263792382291.prop --nowitness
Loading property file /tmp/ReachabilityCardinality2224294263792382291.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :1 after 3
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :3 after 9
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :9 after 9
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :9 after 13608
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin10706615350257842562
[2021-05-15 23:20:39] [INFO ] Built C files in 23ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10706615350257842562
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10706615350257842562]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10706615350257842562] killed by timeout after 2 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10706615350257842562] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 13336 ms. (steps per millisecond=74 ) properties (out of 3) seen :0
Interrupted Best-First random walk after 542689 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=108 ) properties seen :{}
Interrupted Best-First random walk after 505432 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=101 ) properties seen :{}
Interrupted Best-First random walk after 513596 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=102 ) properties seen :{}
Interrupted probabilistic random walk after 938249 steps, run timeout after 30001 ms. (steps per millisecond=31 ) properties seen :{}
Probabilistic random walk after 938249 steps, saw 684838 distinct states, run finished after 30001 ms. (steps per millisecond=31 ) properties seen :{}
Running SMT prover for 3 properties.
// Phase 1: matrix 1909 rows 1921 cols
[2021-05-15 23:21:39] [INFO ] Computed 898 place invariants in 8 ms
[2021-05-15 23:21:40] [INFO ] [Real]Absence check using 898 positive place invariants in 140 ms returned sat
[2021-05-15 23:21:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:21:40] [INFO ] [Real]Absence check using state equation in 745 ms returned sat
[2021-05-15 23:21:40] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:21:41] [INFO ] [Nat]Absence check using 898 positive place invariants in 151 ms returned sat
[2021-05-15 23:21:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:21:41] [INFO ] [Nat]Absence check using state equation in 728 ms returned sat
[2021-05-15 23:21:41] [INFO ] State equation strengthened by 31 read => feed constraints.
[2021-05-15 23:21:41] [INFO ] [Nat]Added 31 Read/Feed constraints in 6 ms returned sat
[2021-05-15 23:21:42] [INFO ] Deduced a trap composed of 6 places in 59 ms of which 11 ms to minimize.
[2021-05-15 23:21:42] [INFO ] Deduced a trap composed of 3 places in 49 ms of which 0 ms to minimize.
[2021-05-15 23:21:42] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 289 ms
[2021-05-15 23:21:42] [INFO ] Computed and/alt/rep : 1901/3589/1901 causal constraints (skipped 0 transitions) in 113 ms.
[2021-05-15 23:22:02] [INFO ] Added : 915 causal constraints over 183 iterations in 20218 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 25 ms.
[2021-05-15 23:22:02] [INFO ] [Real]Absence check using 898 positive place invariants in 142 ms returned sat
[2021-05-15 23:22:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:22:03] [INFO ] [Real]Absence check using state equation in 691 ms returned sat
[2021-05-15 23:22:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:22:03] [INFO ] [Nat]Absence check using 898 positive place invariants in 144 ms returned sat
[2021-05-15 23:22:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:22:04] [INFO ] [Nat]Absence check using state equation in 697 ms returned sat
[2021-05-15 23:22:04] [INFO ] [Nat]Added 31 Read/Feed constraints in 8 ms returned sat
[2021-05-15 23:22:04] [INFO ] Computed and/alt/rep : 1901/3589/1901 causal constraints (skipped 0 transitions) in 96 ms.
[2021-05-15 23:22:24] [INFO ] Added : 915 causal constraints over 183 iterations in 20062 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 34 ms.
[2021-05-15 23:22:25] [INFO ] [Real]Absence check using 898 positive place invariants in 148 ms returned sat
[2021-05-15 23:22:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:22:25] [INFO ] [Real]Absence check using state equation in 737 ms returned sat
[2021-05-15 23:22:26] [INFO ] [Real]Added 31 Read/Feed constraints in 7 ms returned sat
[2021-05-15 23:22:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:22:26] [INFO ] [Nat]Absence check using 898 positive place invariants in 149 ms returned sat
[2021-05-15 23:22:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:22:27] [INFO ] [Nat]Absence check using state equation in 712 ms returned sat
[2021-05-15 23:22:27] [INFO ] [Nat]Added 31 Read/Feed constraints in 6 ms returned sat
[2021-05-15 23:22:27] [INFO ] Deduced a trap composed of 5 places in 58 ms of which 1 ms to minimize.
[2021-05-15 23:22:27] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 180 ms
[2021-05-15 23:22:27] [INFO ] Computed and/alt/rep : 1901/3589/1901 causal constraints (skipped 0 transitions) in 92 ms.
[2021-05-15 23:22:47] [INFO ] Added : 905 causal constraints over 181 iterations in 20135 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 26 ms.
Incomplete Parikh walk after 252700 steps, including 1002 resets, run finished after 3610 ms. (steps per millisecond=70 ) properties (out of 3) seen :0 could not realise parikh vector
Incomplete Parikh walk after 288200 steps, including 1001 resets, run finished after 3985 ms. (steps per millisecond=72 ) properties (out of 3) seen :0 could not realise parikh vector
Incomplete Parikh walk after 262100 steps, including 1001 resets, run finished after 3737 ms. (steps per millisecond=70 ) properties (out of 3) seen :0 could not realise parikh vector
Support contains 17 out of 1921 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1921/1921 places, 1909/1909 transitions.
Applied a total of 0 rules in 49 ms. Remains 1921 /1921 variables (removed 0) and now considering 1909/1909 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1921/1921 places, 1909/1909 transitions.
Starting structural reductions, iteration 0 : 1921/1921 places, 1909/1909 transitions.
Applied a total of 0 rules in 49 ms. Remains 1921 /1921 variables (removed 0) and now considering 1909/1909 (removed 0) transitions.
// Phase 1: matrix 1909 rows 1921 cols
[2021-05-15 23:22:59] [INFO ] Computed 898 place invariants in 3 ms
[2021-05-15 23:23:00] [INFO ] Implicit Places using invariants in 1157 ms returned []
// Phase 1: matrix 1909 rows 1921 cols
[2021-05-15 23:23:00] [INFO ] Computed 898 place invariants in 3 ms
[2021-05-15 23:23:01] [INFO ] State equation strengthened by 31 read => feed constraints.
[2021-05-15 23:23:03] [INFO ] Implicit Places using invariants and state equation in 2782 ms returned []
Implicit Place search using SMT with State Equation took 3961 ms to find 0 implicit places.
[2021-05-15 23:23:03] [INFO ] Redundant transitions in 174 ms returned []
// Phase 1: matrix 1909 rows 1921 cols
[2021-05-15 23:23:03] [INFO ] Computed 898 place invariants in 3 ms
[2021-05-15 23:23:04] [INFO ] Dead Transitions using invariants and state equation in 1121 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1921/1921 places, 1909/1909 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 1443 ms. (steps per millisecond=69 ) properties (out of 3) seen :0
Running SMT prover for 3 properties.
// Phase 1: matrix 1909 rows 1921 cols
[2021-05-15 23:23:05] [INFO ] Computed 898 place invariants in 3 ms
[2021-05-15 23:23:06] [INFO ] [Real]Absence check using 898 positive place invariants in 178 ms returned sat
[2021-05-15 23:23:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:23:06] [INFO ] [Real]Absence check using state equation in 821 ms returned sat
[2021-05-15 23:23:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:23:07] [INFO ] [Nat]Absence check using 898 positive place invariants in 161 ms returned sat
[2021-05-15 23:23:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:23:08] [INFO ] [Nat]Absence check using state equation in 766 ms returned sat
[2021-05-15 23:23:08] [INFO ] State equation strengthened by 31 read => feed constraints.
[2021-05-15 23:23:08] [INFO ] [Nat]Added 31 Read/Feed constraints in 9 ms returned sat
[2021-05-15 23:23:08] [INFO ] Deduced a trap composed of 6 places in 69 ms of which 0 ms to minimize.
[2021-05-15 23:23:08] [INFO ] Deduced a trap composed of 3 places in 66 ms of which 0 ms to minimize.
[2021-05-15 23:23:08] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 316 ms
[2021-05-15 23:23:08] [INFO ] Computed and/alt/rep : 1901/3589/1901 causal constraints (skipped 0 transitions) in 137 ms.
[2021-05-15 23:23:27] [INFO ] Added : 860 causal constraints over 172 iterations in 18576 ms. Result :unknown
[2021-05-15 23:23:27] [INFO ] [Real]Absence check using 898 positive place invariants in 156 ms returned sat
[2021-05-15 23:23:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:23:28] [INFO ] [Real]Absence check using state equation in 790 ms returned sat
[2021-05-15 23:23:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:23:28] [INFO ] [Nat]Absence check using 898 positive place invariants in 155 ms returned sat
[2021-05-15 23:23:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:23:29] [INFO ] [Nat]Absence check using state equation in 743 ms returned sat
[2021-05-15 23:23:29] [INFO ] [Nat]Added 31 Read/Feed constraints in 7 ms returned sat
[2021-05-15 23:23:29] [INFO ] Computed and/alt/rep : 1901/3589/1901 causal constraints (skipped 0 transitions) in 121 ms.
[2021-05-15 23:23:49] [INFO ] Deduced a trap composed of 2 places in 1172 ms of which 2 ms to minimize.
[2021-05-15 23:23:49] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 1
[2021-05-15 23:23:49] [INFO ] [Real]Absence check using 898 positive place invariants in 146 ms returned sat
[2021-05-15 23:23:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:23:50] [INFO ] [Real]Absence check using state equation in 710 ms returned sat
[2021-05-15 23:23:50] [INFO ] [Real]Added 31 Read/Feed constraints in 6 ms returned sat
[2021-05-15 23:23:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:23:50] [INFO ] [Nat]Absence check using 898 positive place invariants in 150 ms returned sat
[2021-05-15 23:23:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:23:51] [INFO ] [Nat]Absence check using state equation in 751 ms returned sat
[2021-05-15 23:23:51] [INFO ] [Nat]Added 31 Read/Feed constraints in 6 ms returned sat
[2021-05-15 23:23:51] [INFO ] Deduced a trap composed of 5 places in 55 ms of which 0 ms to minimize.
[2021-05-15 23:23:51] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 175 ms
[2021-05-15 23:23:52] [INFO ] Computed and/alt/rep : 1901/3589/1901 causal constraints (skipped 0 transitions) in 105 ms.
[2021-05-15 23:24:11] [INFO ] Deduced a trap composed of 2 places in 1262 ms of which 1 ms to minimize.
[2021-05-15 23:24:11] [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-15 23:24:12] [INFO ] Flatten gal took : 73 ms
[2021-05-15 23:24:12] [INFO ] Flatten gal took : 71 ms
[2021-05-15 23:24:12] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8347049277140619511.gal : 6 ms
[2021-05-15 23:24:12] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1070347257524627004.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality8347049277140619511.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1070347257524627004.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality8347049277140619511.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1070347257524627004.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality1070347257524627004.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :3 after 9
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :9 after 27
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :27 after 54
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :54 after 486
SDD proceeding with computation,3 properties remain. new max is 128
SDD size :486 after 972
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :5832 after 135549
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :135549 after 141091
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :141091 after 540603
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :540603 after 1.68309e+08
SDD proceeding with computation,3 properties remain. new max is 4096
SDD size :1.68309e+08 after 1.16337e+11
SDD proceeding with computation,3 properties remain. new max is 8192
SDD size :1.16337e+11 after 1.40326e+16
SDD proceeding with computation,3 properties remain. new max is 16384
SDD size :1.40326e+16 after 1.13023e+21
SDD proceeding with computation,3 properties remain. new max is 32768
SDD size :1.13023e+21 after 1.04312e+28
SDD proceeding with computation,3 properties remain. new max is 65536
SDD size :1.04312e+28 after 1.75918e+39
SDD proceeding with computation,3 properties remain. new max is 131072
SDD size :1.75918e+39 after 1.20878e+56
Detected timeout of ITS tools.
[2021-05-15 23:24:37] [INFO ] Flatten gal took : 70 ms
[2021-05-15 23:24:37] [INFO ] Applying decomposition
[2021-05-15 23:24:37] [INFO ] Flatten gal took : 88 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/graph15994258826262034933.txt, -o, /tmp/graph15994258826262034933.bin, -w, /tmp/graph15994258826262034933.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/graph15994258826262034933.bin, -l, -1, -v, -w, /tmp/graph15994258826262034933.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-15 23:24:37] [INFO ] Decomposing Gal with order
[2021-05-15 23:24:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-15 23:24:37] [INFO ] Removed a total of 2219 redundant transitions.
[2021-05-15 23:24:37] [INFO ] Flatten gal took : 104 ms
[2021-05-15 23:24:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 936 labels/synchronizations in 17 ms.
[2021-05-15 23:24:37] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13311420743053500517.gal : 12 ms
[2021-05-15 23:24:37] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4651428271716070665.prop : 11 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality13311420743053500517.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4651428271716070665.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality13311420743053500517.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4651428271716070665.prop --nowitness
Loading property file /tmp/ReachabilityCardinality4651428271716070665.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :1 after 3
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :3 after 9
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :9 after 9
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :3.22009e+10 after 1.05444e+95
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin9503438303712090203
[2021-05-15 23:25:02] [INFO ] Built C files in 22ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9503438303712090203
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9503438303712090203]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9503438303712090203] killed by timeout after 2 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9503438303712090203] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Partial Free-agglomeration rule applied 214 times.
Drop transitions removed 214 transitions
Iterating global reduction 0 with 214 rules applied. Total rules applied 214 place count 1921 transition count 1909
Applied a total of 214 rules in 104 ms. Remains 1921 /1921 variables (removed 0) and now considering 1909/1909 (removed 0) transitions.
Running SMT prover for 3 properties.
// Phase 1: matrix 1909 rows 1921 cols
[2021-05-15 23:25:04] [INFO ] Computed 898 place invariants in 3 ms
[2021-05-15 23:25:05] [INFO ] [Real]Absence check using 898 positive place invariants in 160 ms returned sat
[2021-05-15 23:25:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:25:05] [INFO ] [Real]Absence check using state equation in 681 ms returned sat
[2021-05-15 23:25:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:25:06] [INFO ] [Nat]Absence check using 898 positive place invariants in 141 ms returned sat
[2021-05-15 23:25:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:25:07] [INFO ] [Nat]Absence check using state equation in 686 ms returned sat
[2021-05-15 23:25:07] [INFO ] State equation strengthened by 211 read => feed constraints.
[2021-05-15 23:25:07] [INFO ] [Nat]Added 211 Read/Feed constraints in 46 ms returned sat
[2021-05-15 23:25:07] [INFO ] Deduced a trap composed of 5 places in 18 ms of which 0 ms to minimize.
[2021-05-15 23:25:07] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 153 ms
[2021-05-15 23:25:07] [INFO ] Computed and/alt/rep : 1901/4165/1901 causal constraints (skipped 0 transitions) in 101 ms.
[2021-05-15 23:25:27] [INFO ] Added : 885 causal constraints over 177 iterations in 20094 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 25 ms.
[2021-05-15 23:25:27] [INFO ] [Real]Absence check using 898 positive place invariants in 143 ms returned sat
[2021-05-15 23:25:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:25:28] [INFO ] [Real]Absence check using state equation in 692 ms returned sat
[2021-05-15 23:25:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:25:29] [INFO ] [Nat]Absence check using 898 positive place invariants in 155 ms returned sat
[2021-05-15 23:25:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:25:29] [INFO ] [Nat]Absence check using state equation in 735 ms returned sat
[2021-05-15 23:25:29] [INFO ] [Nat]Added 211 Read/Feed constraints in 34 ms returned sat
[2021-05-15 23:25:29] [INFO ] Computed and/alt/rep : 1901/4165/1901 causal constraints (skipped 0 transitions) in 95 ms.
[2021-05-15 23:25:49] [INFO ] Added : 900 causal constraints over 180 iterations in 20098 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 23 ms.
[2021-05-15 23:25:50] [INFO ] [Real]Absence check using 898 positive place invariants in 144 ms returned sat
[2021-05-15 23:25:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 23:25:51] [INFO ] [Real]Absence check using state equation in 710 ms returned sat
[2021-05-15 23:25:51] [INFO ] [Real]Added 211 Read/Feed constraints in 25 ms returned sat
[2021-05-15 23:25:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-15 23:25:51] [INFO ] [Nat]Absence check using 898 positive place invariants in 160 ms returned sat
[2021-05-15 23:25:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-15 23:25:52] [INFO ] [Nat]Absence check using state equation in 734 ms returned sat
[2021-05-15 23:25:52] [INFO ] [Nat]Added 211 Read/Feed constraints in 38 ms returned sat
[2021-05-15 23:25:52] [INFO ] Deduced a trap composed of 5 places in 13 ms of which 1 ms to minimize.
[2021-05-15 23:25:52] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 149 ms
[2021-05-15 23:25:52] [INFO ] Computed and/alt/rep : 1901/4165/1901 causal constraints (skipped 0 transitions) in 108 ms.
[2021-05-15 23:26:12] [INFO ] Added : 895 causal constraints over 179 iterations in 20071 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 26 ms.
[2021-05-15 23:26:12] [INFO ] Flatten gal took : 77 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin8340037971465944763
[2021-05-15 23:26:12] [INFO ] Too many transitions (1909) to apply POR reductions. Disabling POR matrices.
[2021-05-15 23:26:13] [INFO ] Applying decomposition
[2021-05-15 23:26:13] [INFO ] Built C files in 67ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8340037971465944763
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8340037971465944763]
[2021-05-15 23:26:13] [INFO ] Flatten gal took : 132 ms
[2021-05-15 23:26:13] [INFO ] Flatten gal took : 157 ms
[2021-05-15 23:26:13] [INFO ] Input system was already deterministic with 1909 transitions.
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph17733695981804805853.txt, -o, /tmp/graph17733695981804805853.bin, -w, /tmp/graph17733695981804805853.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/graph17733695981804805853.bin, -l, -1, -v, -w, /tmp/graph17733695981804805853.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-15 23:26:13] [INFO ] Decomposing Gal with order
[2021-05-15 23:26:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-15 23:26:13] [INFO ] Removed a total of 2219 redundant transitions.
[2021-05-15 23:26:13] [INFO ] Flatten gal took : 113 ms
[2021-05-15 23:26:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 936 labels/synchronizations in 20 ms.
[2021-05-15 23:26:13] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability2428672721939265915.gal : 14 ms
[2021-05-15 23:26:13] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability12991548610649233809.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityFireability2428672721939265915.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability12991548610649233809.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityFireability2428672721939265915.gal -t CGAL -reachable-file /tmp/ReachabilityFireability12991548610649233809.prop --nowitness
[2021-05-15 23:26:13] [INFO ] Ran tautology test, simplified 0 / 3 in 745 ms.
[2021-05-15 23:26:13] [INFO ] BMC solution for property ShieldIIPt-PT-100B-ReachabilityFireability-04(UNSAT) depth K=0 took 41 ms
[2021-05-15 23:26:13] [INFO ] BMC solution for property ShieldIIPt-PT-100B-ReachabilityFireability-05(UNSAT) depth K=0 took 2 ms
[2021-05-15 23:26:13] [INFO ] BMC solution for property ShieldIIPt-PT-100B-ReachabilityFireability-14(UNSAT) depth K=0 took 2 ms
[2021-05-15 23:26:13] [INFO ] BMC solution for property ShieldIIPt-PT-100B-ReachabilityFireability-04(UNSAT) depth K=1 took 5 ms
[2021-05-15 23:26:13] [INFO ] BMC solution for property ShieldIIPt-PT-100B-ReachabilityFireability-05(UNSAT) depth K=1 took 3 ms
[2021-05-15 23:26:13] [INFO ] BMC solution for property ShieldIIPt-PT-100B-ReachabilityFireability-14(UNSAT) depth K=1 took 2 ms
Loading property file /tmp/ReachabilityFireability12991548610649233809.prop.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 1909 rows 1921 cols
[2021-05-15 23:26:14] [INFO ] Computed 898 place invariants in 4 ms
inv : p6814 + p6816 = 1
inv : p1563 + p1566 + p1567 = 1
inv : p2649 + p2654 = 1
inv : p2605 + p2607 = 1
inv : p6883 + p6885 = 1
inv : p4246 + p4247 + p4261 + p4263 = 1
inv : p3978 + p3983 + p3984 = 1
inv : p6708 + p6713 = 1
inv : p4547 + p4552 = 1
inv : p4696 + p4700 = 1
inv : p2746 + p2748 = 1
inv : p2115 + p2118 + p2119 = 1
inv : p2802 + p2804 = 1
inv : p6117 + p6122 + p6123 = 1
inv : p2499 + p2504 = 1
inv : p6934 + p6973 + p6977 = 1
inv : p4951 + p4953 = 1
inv : p2350 + p2354 = 1
inv : p2884 + p2886 = 1
inv : p1011 + p1014 + p1015 = 1
inv : p4995 + p5000 = 1
inv : p4402 + p4404 = 1
inv : p6410 + p6415 = 1
inv : p636 + p641 = 1
inv : p883 + p885 = 1
inv : p3888 + p3891 + p3893 + p3896 = 1
inv : p6927 + p6932 = 1
inv : p939 + p941 = 1
inv : p4182 + p4184 = 1
inv : p4458 + p4460 = 1
inv : p5082 + p5087 + p5088 = 1
inv : p459 + p462 + p463 = 1
inv : p735 + p740 + p741 = 1
inv : p349 + p353 = 1
inv : p1915 + p1917 = 1
inv : p3985 + p3987 = 1
inv : p5386 + p5390 = 1
inv : p3219 + p3222 + p3223 = 1
inv : p6265 + p6267 = 1
inv : p5358 + p5361 + p5362 = 1
inv : p1777 + p1779 = 1
inv : p5535 + p5540 = 1
inv : p4126 + p4128 = 1
inv : p3316 + p3320 = 1
inv : p2736 + p2741 + p2742 = 1
inv : p5641 + p5643 = 1
inv : p3178 + p3182 = 1
inv : p786 + p791 = 1
inv : p114 + p119 + p120 = 1
inv : p2940 + p2942 = 1
inv : p3741 + p3746 = 1
inv : p6462 + p6465 + p6466 = 1
inv : p2112 + p2114 = 1
inv : p1614 + p1619 = 1
inv : p5148 + p5150 = 1
inv : p5949 + p5954 = 1
inv : p1028 + p1033 = 1
inv : p2598 + p2601 + p2602 = 1
inv : p5989 + p5991 = 1
inv : p1235 + p1240 = 1
inv : p3919 + p3921 = 1
inv : p2322 + p2327 + p2328 = 1
inv : p1856 + p1861 = 1
inv : p1711 + p1713 = 1
inv : p1485 + p1504 + p1506 = 1
inv : p5892 + p5897 = 1
inv : p1146 + p1148 = 1
inv : p1090 + p1092 = 1
inv : p1384 + p1388 = 1
inv : p6600 + p6605 + p6606 = 1
inv : p4312 + p4314 + p4323 + p4328 + p4329 = 1
inv : p6352 + p6356 = 1
inv : p3091 + p3093 = 1
inv : p3640 + p3642 = 1
inv : p843 + p848 = 1
inv : p5496 + p5501 + p5502 = 1
inv : p1432 + p1434 = 1
inv : p3592 + p3596 = 1
inv : p3426 + p3431 + p3432 = 1
inv : p5299 + p5301 = 1
inv : p1218 + p1223 + p1224 = 1
inv : p3684 + p3689 = 1
inv : p1177 + p1181 = 1
inv : p4599 + p4604 + p4605 = 1
inv : p2812 + p2814 = 1
inv : p1476 + p1481 = 1
inv : p2706 + p2711 = 1
inv : p6168 + p6173 = 1
inv : p6651 + p6656 = 1
inv : p4246 + p4247 + p4251 + p4253 = 1
inv : p4754 + p4759 = 1
inv : p6055 + p6057 = 1
inv : p5979 + p5982 + p5983 = 1
inv : p2557 + p2561 = 1
inv : p4665 + p4667 = 1
inv : p6501 + p6506 = 1
inv : p3847 + p3849 = 1
inv : p5237 + p5242 = 1
inv : p4903 + p4907 = 1
inv : p6748 + p6750 = 1
inv : p5092 + p5094 = 1
inv : p3029 + p3034 = 1
inv : p4875 + p4878 + p4879 = 1
inv : p6321 + p6323 = 1
inv : p5158 + p5160 = 1
inv : p249 + p251 = 1
inv : p4512 + p4517 = 1
inv : p4941 + p4943 = 1
inv : p3534 + p3539 = 1
inv : p6559 + p6563 = 1
inv : p3702 + p3705 + p3706 = 1
inv : p1570 + p1572 = 1
inv : p993 + p998 = 1
inv : p4845 + p4850 = 1
inv : p3781 + p3783 = 1
inv : p6186 + p6191 + p6192 = 1
inv : p6472 + p6474 = 1
inv : p2971 + p2975 = 1
inv : p2950 + p2952 = 1
inv : p1326 + p1331 = 1
inv : p5179 + p5183 = 1
inv : p3120 + p3125 = 1
inv : p2016 + p2021 = 1
inv : p1119 + p1124 = 1
inv : p804 + p809 + p810 = 1
inv : p124 + p126 = 1
inv : p4086 + p4091 = 1
inv : p2319 + p2321 = 1
inv : p3771 + p3774 + p3775 = 1
inv : p3840 + p3845 + p3846 = 1
inv : p1425 + p1428 + p1429 = 1
inv : p3408 + p3413 = 1
inv : p6617 + p6622 = 1
inv : p1729 + p1733 = 1
inv : p1149 + p1154 + p1155 = 1
inv : p2263 + p2265 = 1
inv : p3364 + p3366 = 1
inv : p6876 + p6879 + p6880 = 1
inv : p1485 + p1522 + p1526 = 1
inv : p5030 + p5035 = 1
inv : p1701 + p1706 + p1707 = 1
inv : p4788 + p4793 = 1
inv : p4744 + p4746 = 1
inv : p6375 + p6380 = 1
inv : p2442 + p2447 = 1
inv : p3561 + p3563 = 1
inv : p291 + p296 = 1
inv : p694 + p698 = 1
inv : p1442 + p1447 = 1
inv : p6804 + p6806 = 1
inv : p1200 + p1205 = 1
inv : p4609 + p4611 = 1
inv : p1560 + p1562 = 1
inv : p5052 + p5057 = 1
inv : p6607 + p6609 = 1
inv : p1366 + p1368 = 1
inv : p2994 + p2999 = 1
inv : p3799 + p3803 = 1
inv : p4155 + p4160 = 1
inv : p2684 + p2689 = 1
inv : p5427 + p5430 + p5431 = 1
inv : p6873 + p6875 = 1
inv : p5720 + p5725 = 1
inv : p5110 + p5114 = 1
inv : p538 + p540 = 1
inv : p3229 + p3231 = 1
inv : p5478 + p5483 = 1
inv : p6294 + p6299 = 1
inv : p6393 + p6396 + p6397 = 1
inv : p3495 + p3500 + p3501 = 1
inv : p5365 + p5367 = 1
inv : p6669 + p6674 + p6675 = 1
inv : p193 + p195 = 1
inv : p3909 + p3914 + p3915 = 1
inv : p6541 + p6543 = 1
inv : p4530 + p4535 + p4536 = 1
inv : p6045 + p6047 = 1
inv : p2332 + p2334 = 1
inv : p5910 + p5913 + p5914 = 1
inv : p2667 + p2672 + p2673 = 1
inv : p4431 + p4436 = 1
inv : p5766 + p5772 + p5777 + p5778 = 1
inv : p4806 + p4809 + p4810 = 1
inv : p4872 + p4874 = 1
inv : p2388 + p2390 = 1
inv : p3975 + p3977 = 1
inv : p5593 + p5597 = 1
inv : p4312 + p4314 + p4340 + p4345 = 1
inv : p4461 + p4464 + p4465 = 1
inv : p3288 + p3291 + p3292 = 1
inv : p3285 + p3287 = 1
inv : p3357 + p3362 + p3363 = 1
inv : p1770 + p1775 + p1776 = 1
inv : p5355 + p5357 = 1
inv : p949 + p951 = 1
inv : p5151 + p5156 + p5157 = 1
inv : p2626 + p2630 = 1
inv : p1671 + p1676 = 1
inv : p3295 + p3297 = 1
inv : p2085 + p2090 = 1
inv : p5823 + p5828 = 1
inv : p3339 + p3344 = 1
inv : p4492 + p4493 = 1
inv : p6099 + p6104 = 1
inv : p3051 + p3056 = 1
inv : p4213 + p4217 = 1
inv : p4029 + p4034 = 1
inv : p2398 + p2400 = 1
inv : p1959 + p1964 = 1
inv : p1018 + p1020 = 1
inv : p407 + p412 = 1
inv : p763 + p767 = 1
inv : p579 + p584 = 1
inv : p2201 + p2206 = 1
inv : p5427 + p5432 + p5433 = 1
inv : p2143 + p2147 = 1
inv : p6735 + p6737 = 1
inv : p1080 + p1083 + p1084 = 1
inv : p469 + p471 = 1
inv : p1485 + p1529 + p1533 + p1538 = 1
inv : p4678 + p4680 = 1
inv : p2391 + p2396 + p2397 = 1
inv : p821 + p826 = 1
inv : p5409 + p5414 = 1
inv : p1905 + p1907 = 1
inv : p1787 + p1792 = 1
inv : p5651 + p5656 = 1
inv : p2046 + p2049 + p2050 = 1
inv : p1632 + p1637 + p1638 = 1
inv : p3661 + p3665 = 1
inv : p6738 + p6743 + p6744 = 1
inv : p3615 + p3620 = 1
inv : p5800 + p5804 = 1
inv : p3810 + p3815 = 1
inv : p5572 + p5574 = 1
inv : p5976 + p5978 = 1
inv : p1591 + p1595 = 1
inv : p1740 + p1745 = 1
inv : p5424 + p5426 = 1
inv : p6065 + p6070 = 1
inv : p1215 + p1217 = 1
inv : p5368 + p5370 = 1
inv : p3906 + p3908 = 1
inv : p5466 + p5471 = 1
inv : p3771 + p3776 + p3777 = 1
inv : p1363 + p1365 = 1
inv : p1407 + p1412 = 1
inv : p1925 + p1930 = 1
inv : p3160 + p3162 = 1
inv : p3571 + p3573 = 1
inv : p870 + p872 = 1
inv : p2960 + p2965 = 1
inv : p6390 + p6392 = 1
inv : p2125 + p2127 = 1
inv : p873 + p878 + p879 = 1
inv : p5766 + p5782 + p5783 + p5784 = 1
inv : p5168 + p5173 = 1
inv : p5023 + p5025 = 1
inv : p131 + p136 = 1
inv : p6237 + p6242 = 1
inv : p5634 + p5639 + p5640 = 1
inv : p1062 + p1067 = 1
inv : p614 + p619 = 1
inv : p6679 + p6681 = 1
inv : p2270 + p2275 = 1
inv : p372 + p377 = 1
inv : p4944 + p4949 + p4950 = 1
inv : p4737 + p4742 + p4743 = 1
inv : p6934 + p6945 + p6950 = 1
inv : p1867 + p1868 + p1870 + p1871 = 1
inv : p4246 + p4247 + p4254 + p4257 + p4258 = 1
inv : p3396 + p3401 = 1
inv : p3354 + p3356 = 1
inv : p6745 + p6747 = 1
inv : p2580 + p2585 = 1
inv : p3012 + p3015 + p3016 = 1
inv : p3465 + p3470 = 1
inv : p5616 + p5621 = 1
inv : p2329 + p2331 = 1
inv : p2775 + p2780 = 1
inv : p429 + p434 = 1
inv : p5227 + p5229 = 1
inv : p4530 + p4533 + p4534 = 1
inv : p4961 + p4966 = 1
inv : p752 + p757 = 1
inv : p3564 + p3567 + p3568 = 1
inv : p100 + p102 = 1
inv : p4478 + p4483 = 1
inv : p2430 + p2435 = 1
inv : p901 + p905 = 1
inv : p2536 + p2538 = 1
inv : p4734 + p4736 = 1
inv : p2526 + p2528 = 1
inv : p4113 + p4115 = 1
inv : p2470 + p2472 = 1
inv : p1890 + p1895 = 1
inv : p6777 + p6782 = 1
inv : p2598 + p2603 + p2604 = 1
inv : p1798 + p1802 = 1
inv : p4420 + p4424 = 1
inv : p4627 + p4631 = 1
inv : p814 + p816 = 1
inv : p6444 + p6449 = 1
inv : p3288 + p3293 + p3294 = 1
inv : p1649 + p1654 = 1
inv : p3505 + p3507 = 1
inv : p5927 + p5932 = 1
inv : p1297 + p1299 = 1
inv : p5710 + p5712 = 1
inv : p3868 + p3872 = 1
inv : p3719 + p3724 = 1
inv : p4185 + p4188 + p4189 = 1
inv : p5848 + p5850 = 1
inv : p1356 + p1361 + p1362 = 1
inv : p5271 + p5276 = 1
inv : p3232 + p3236 = 1
inv : p6538 + p6540 = 1
inv : p6324 + p6329 + p6330 = 1
inv : p4195 + p4197 = 1
inv : p3298 + p3300 = 1
inv : p6196 + p6198 = 1
inv : p6835 + p6839 = 1
inv : p1683 + p1688 = 1
inv : p2043 + p2045 = 1
inv : p1977 + p1980 + p1981 = 1
inv : p5217 + p5219 = 1
inv : p5434 + p5436 = 1
inv : p4569 + p4574 = 1
inv : p1839 + p1844 + p1845 = 1
inv : p2373 + p2378 = 1
inv : p5013 + p5016 + p5017 = 1
inv : p1149 + p1152 + p1153 = 1
inv : p959 + p964 = 1
inv : p6272 + p6277 = 1
inv : p528 + p531 + p532 = 1
inv : p924 + p929 = 1
inv : p1485 + p1494 + p1497 + p1498 = 1
inv : p3022 + p3024 = 1
inv : p2063 + p2068 = 1
inv : p4312 + p4314 + p4330 + p4332 = 1
inv : p5841 + p5844 + p5845 = 1
inv : p5089 + p5091 = 1
inv : p5133 + p5138 = 1
inv : p6007 + p6011 = 1
inv : p732 + p734 = 1
inv : p3937 + p3941 = 1
inv : p3078 + p3080 = 1
inv : p262 + p264 = 1
inv : p676 + p678 = 1
inv : p4468 + p4470 = 1
inv : p318 + p320 = 1
inv : p3523 + p3527 = 1
inv : p1269 + p1274 = 1
inv : p3709 + p3711 = 1
inv : p487 + p491 = 1
inv : p2736 + p2739 + p2740 = 1
inv : p3753 + p3758 = 1
inv : p1225 + p1227 = 1
inv : p5328 + p5333 = 1
inv : p6255 + p6258 + p6259 = 1
inv : p1908 + p1913 + p1914 = 1
inv : p2488 + p2492 = 1
inv : p5858 + p5863 = 1
inv : p510 + p515 = 1
inv : p222 + p227 = 1
inv : p5562 + p5564 = 1
inv : p4596 + p4598 = 1
inv : p6048 + p6053 + p6054 = 1
inv : p2844 + p2849 = 1
inv : p152 + p153 + p158 = 1
inv : p5754 + p5759 = 1
inv : p6817 + p6819 = 1
inv : p2608 + p2610 = 1
inv : p5673 + p5678 = 1
inv : p1353 + p1355 = 1
inv : p4047 + p4052 + p4053 = 1
inv : p5306 + p5311 = 1
inv : p4885 + p4887 = 1
inv : p321 + p324 + p325 = 1
inv : p1987 + p1989 = 1
inv : p597 + p600 + p601 = 1
inv : p1639 + p1641 = 1
inv : p6528 + p6530 = 1
inv : p2408 + p2413 = 1
inv : p4246 + p4282 + p4286 = 1
inv : p2053 + p2055 = 1
inv : p3258 + p3263 = 1
inv : p6156 + p6161 = 1
inv : p1011 + p1016 + p1017 = 1
inv : p2805 + p2810 + p2811 = 1
inv : p5248 + p5252 = 1
inv : p2902 + p2906 = 1
inv : p2191 + p2193 = 1
inv : p2529 + p2532 + p2533 = 1
inv : p162 + p170 = 1
inv : p3374 + p3379 = 1
inv : p1767 + p1769 = 1
inv : p2235 + p2240 = 1
inv : p3837 + p3839 = 1
inv : p5444 + p5449 = 1
inv : p6400 + p6402 = 1
inv : p2674 + p2676 = 1
inv : p2874 + p2879 + p2880 = 1
inv : p4293 + p4298 = 1
inv : p4123 + p4125 = 1
inv : p4765 + p4769 = 1
inv : p6639 + p6644 = 1
inv : p2718 + p2723 = 1
inv : p3581 + p3586 = 1
inv : p1573 + p1575 = 1
inv : p6531 + p6536 + p6537 = 1
inv : p666 + p671 + p672 = 1
inv : p3150 + p3153 + p3154 = 1
inv : p4823 + p4828 = 1
inv : p4057 + p4059 = 1
inv : p328 + p330 = 1
inv : p6582 + p6587 = 1
inv : p942 + p945 + p946 = 1
inv : p2292 + p2297 = 1
inv : p1039 + p1043 = 1
inv : p5506 + p5508 = 1
inv : p2181 + p2183 = 1
inv : p5079 + p5081 = 1
inv : p6697 + p6701 = 1
inv : p5220 + p5223 + p5224 = 1
inv : p2664 + p2666 = 1
inv : p2253 + p2258 + p2259 = 1
inv : p6334 + p6336 = 1
inv : p252 + p254 + p257 + p258 = 1
inv : p1821 + p1826 = 1
inv : p3436 + p3438 = 1
inv : p2184 + p2187 + p2188 = 1
inv : p3978 + p3981 + p3982 = 1
inv : p4246 + p4247 + p4264 + p4266 = 1
inv : p1159 + p1161 = 1
inv : p3995 + p4000 = 1
inv : p742 + p744 = 1
inv : p3643 + p3645 = 1
inv : p6904 + p6908 = 1
inv : p4392 + p4397 + p4398 = 1
inv : p4312 + p4314 + p4320 + p4322 = 1
inv : p6127 + p6129 = 1
inv : p6807 + p6810 + p6811 = 1
inv : p1097 + p1102 = 1
inv : p1464 + p1469 = 1
inv : p3088 + p3090 = 1
inv : p5289 + p5294 + p5295 = 1
inv : p4707 + p4712 = 1
inv : p4650 + p4655 = 1
inv : p4747 + p4749 = 1
inv : p456 + p458 = 1
inv : p400 + p402 = 1
inv : p6669 + p6672 + p6673 = 1
inv : p6393 + p6398 + p6399 = 1
inv : p2457 + p2459 = 1
inv : p6755 + p6760 = 1
inv : p303 + p308 = 1
inv : p4500 + p4505 = 1
inv : p6610 + p6612 = 1
inv : p594 + p596 = 1
inv : p259 + p261 = 1
inv : p4803 + p4805 = 1
inv : p545 + p550 = 1
inv : p6133 + p6134 + p6139 = 1
inv : p683 + p688 = 1
inv : p2805 + p2808 + p2809 = 1
inv : p4668 + p4671 + p4672 = 1
inv : p6469 + p6471 = 1
inv : p6513 + p6518 = 1
inv : p2154 + p2159 = 1
inv : p190 + p192 = 1
inv : p2529 + p2534 + p2535 = 1
inv : p3081 + p3086 + p3087 = 1
inv : p5190 + p5195 = 1
inv : p2401 + p2403 = 1
inv : p4892 + p4897 = 1
inv : p2982 + p2987 = 1
inv : p4606 + p4608 = 1
inv : p234 + p239 = 1
inv : p2695 + p2699 = 1
inv : p4312 + p4314 + p4323 + p4326 + p4327 = 1
inv : p804 + p807 + p808 = 1
inv : p6214 + p6218 = 1
inv : p5910 + p5915 + p5916 = 1
inv : p1228 + p1230 = 1
inv : p3926 + p3931 = 1
inv : p1087 + p1089 = 1
inv : p5340 + p5345 = 1
inv : p5996 + p6001 = 1
inv : p5565 + p5568 + p5569 = 1
inv : p5907 + p5909 = 1
inv : p1485 + p1511 + p1516 = 1
inv : p2874 + p2877 + p2878 = 1
inv : p832 + p836 = 1
inv : p981 + p986 = 1
inv : p3699 + p3701 = 1
inv : p4312 + p4374 + p4379 = 1
inv : p2304 + p2309 = 1
inv : p6666 + p6668 = 1
inv : p1718 + p1723 = 1
inv : p3367 + p3369 = 1
inv : p3132 + p3137 = 1
inv : p5582 + p5587 = 1
inv : p3426 + p3429 + p3430 = 1
inv : p5838 + p5840 = 1
inv : p2546 + p2551 = 1
inv : p3633 + p3638 + p3639 = 1
inv : p1809 + p1814 = 1
inv : p3327 + p3332 = 1
inv : p5151 + p5154 + p5155 = 1
inv : p1947 + p1952 = 1
inv : p5644 + p5646 = 1
inv : p4017 + p4022 = 1
inv : p3433 + p3435 = 1
inv : p390 + p395 + p396 = 1
inv : p2097 + p2102 = 1
inv : p5731 + p5735 = 1
inv : p2194 + p2196 = 1
inv : p1770 + p1773 + p1774 = 1
inv : p4305 + p4310 = 1
inv : p1629 + p1631 = 1
inv : p3189 + p3194 = 1
inv : p2046 + p2051 + p2052 = 1
inv : p745 + p747 = 1
inv : p6262 + p6264 = 1
inv : p5397 + p5402 = 1
inv : p5700 + p5702 = 1
inv : p4540 + p4542 = 1
inv : p604 + p606 = 1
inv : p183 + p186 + p187 = 1
inv : p3270 + p3275 = 1
inv : p2339 + p2344 = 1
inv : p5493 + p5495 = 1
inv : p4075 + p4079 = 1
inv : p4399 + p4401 = 1
inv : p1287 + p1290 + p1291 = 1
inv : p4312 + p4314 + p4333 + p4335 = 1
inv : p625 + p629 = 1
inv : p2260 + p2262 = 1
inv : p5841 + p5846 + p5847 = 1
inv : p4167 + p4172 = 1
inv : p6117 + p6120 + p6121 = 1
inv : p360 + p365 = 1
inv : p4047 + p4050 + p4051 = 1
inv : p4224 + p4229 = 1
inv : p3423 + p3425 = 1
inv : p5869 + p5873 = 1
inv : p2005 + p2009 = 1
inv : p5547 + p5552 = 1
inv : p5634 + p5637 + p5638 = 1
inv : p1021 + p1023 = 1
inv : p3012 + p3017 + p3018 = 1
inv : p2943 + p2946 + p2947 = 1
inv : p4133 + p4138 = 1
inv : p5703 + p5708 + p5709 = 1
inv : p5286 + p5288 = 1
inv : p5230 + p5232 = 1
inv : p6183 + p6185 = 1
inv : p3167 + p3172 = 1
inv : p735 + p738 + p739 = 1
inv : p5880 + p5881 + p5885 = 1
inv : p2922 + p2930 = 1
inv : p880 + p882 = 1
inv : p4983 + p4988 = 1
inv : p2460 + p2465 + p2466 = 1
inv : p3216 + p3218 = 1
inv : p6421 + p6425 = 1
inv : p1315 + p1319 = 1
inv : p5961 + p5966 = 1
inv : p5524 + p5528 = 1
inv : p2391 + p2394 + p2395 = 1
inv : p5917 + p5919 = 1
inv : p1780 + p1782 = 1
inv : p6934 + p6952 + p6954 = 1
inv : p6846 + p6851 = 1
inv : p774 + p779 = 1
inv : p4044 + p4046 = 1
inv : p6462 + p6467 + p6468 = 1
inv : p1077 + p1079 = 1
inv : p4558 + p4562 = 1
inv : p466 + p468 = 1
inv : p2115 + p2120 + p2121 = 1
inv : p4813 + p4815 = 1
inv : p6886 + p6888 = 1
inv : p6600 + p6603 + p6604 = 1
inv : p2819 + p2822 + p2824 + p2827 = 1
inv : p648 + p653 = 1
inv : p5986 + p5988 = 1
inv : p4443 + p4448 = 1
inv : p3451 + p3454 + p3458 = 1
inv : p6934 + p6984 + p6989 = 1
inv : p338 + p343 = 1
inv : p2637 + p2642 = 1
inv : p2467 + p2469 = 1
inv : p6720 + p6725 = 1
inv : p4685 + p4690 = 1
inv : p3040 + p3044 = 1
inv : p3850 + p3852 = 1
inv : p890 + p895 = 1
inv : p3098 + p3103 = 1
inv : p459 + p464 + p465 = 1
inv : p3357 + p3360 + p3361 = 1
inv : p2881 + p2883 = 1
inv : p4202 + p4207 = 1
inv : p2212 + p2216 = 1
inv : p3960 + p3965 = 1
inv : p4806 + p4811 + p4812 = 1
inv : p1974 + p1976 = 1
inv : p111 + p113 = 1
inv : p3603 + p3608 = 1
inv : p5979 + p5984 + p5985 = 1
inv : p4312 + p4314 + p4351 + p4355 = 1
inv : p705 + p710 = 1
inv : p2815 + p2817 = 1
inv : p4914 + p4919 = 1
inv : p6490 + p6494 = 1
inv : p4875 + p4880 + p4881 = 1
inv : p1188 + p1193 = 1
inv : p6087 + p6092 = 1
inv : p3730 + p3734 = 1
inv : p3546 + p3551 = 1
inv : p1660 + p1664 = 1
inv : p5161 + p5163 = 1
inv : p6789 + p6794 = 1
inv : p2568 + p2573 = 1
inv : p535 + p537 = 1
inv : p5099 + p5104 = 1
inv : p6252 + p6254 = 1
inv : p1373 + p1378 = 1
inv : p3788 + p3793 = 1
inv : p3492 + p3494 = 1
inv : p6306 + p6311 = 1
inv : p952 + p954 = 1
inv : p2322 + p2325 + p2326 = 1
inv : p4926 + p4931 = 1
inv : p6030 + p6035 = 1
inv : p1246 + p1250 = 1
inv : p3502 + p3504 = 1
inv : p5766 + p5772 + p5775 + p5776 = 1
inv : p4185 + p4190 + p4191 = 1
inv : p280 + p284 = 1
inv : p6548 + p6553 = 1
inv : p4857 + p4862 = 1
inv : p1008 + p1010 = 1
inv : p1131 + p1136 = 1
inv : p3226 + p3228 = 1
inv : p2753 + p2758 = 1
inv : p2871 + p2873 = 1
inv : p1602 + p1607 = 1
inv : p6857 + p6858 + p6863 = 1
inv : p200 + p205 = 1
inv : p3916 + p3918 = 1
inv : p1849 + p1851 = 1
inv : p3495 + p3498 + p3499 = 1
inv : p3109 + p3113 = 1
inv : p4246 + p4247 + p4254 + p4259 + p4260 = 1
inv : p114 + p117 + p118 = 1
inv : p4616 + p4621 = 1
inv : p5041 + p5045 = 1
inv : p121 + p123 = 1
inv : p1701 + p1704 + p1705 = 1
inv : p6876 + p6881 + p6882 = 1
inv : p6676 + p6678 = 1
inv : p5082 + p5085 + p5086 = 1
inv : p2511 + p2516 = 1
inv : p1425 + p1430 + p1431 = 1
inv : p3672 + p3677 = 1
inv : p6363 + p6368 = 1
inv : p4116 + p4119 + p4120 = 1
inv : p1435 + p1437 = 1
inv : p5296 + p5298 = 1
inv : p5713 + p5715 = 1
inv : p1545 + p1550 = 1
inv : p5662 + p5666 = 1
inv : p3909 + p3912 + p3913 = 1
inv : p3768 + p3770 = 1
inv : p553 + p556 + p560 + p562 = 1
inv : p6324 + p6327 + p6328 = 1
inv : p2184 + p2189 + p2190 = 1
inv : p3512 + p3517 = 1
inv : p5851 + p5853 = 1
inv : p6048 + p6051 + p6052 = 1
inv : p1080 + p1085 + p1086 = 1
inv : p1304 + p1309 = 1
inv : p1453 + p1457 = 1
inv : p1846 + p1848 = 1
inv : p3948 + p3953 = 1
inv : p1485 + p1491 + p1493 = 1
inv : p6124 + p6126 = 1
inv : p3247 + p3251 = 1
inv : p4312 + p4314 + p4362 + p4367 = 1
inv : p1698 + p1700 = 1
inv : p3443 + p3448 = 1
inv : p321 + p326 + p327 = 1
inv : p1642 + p1644 = 1
inv : p6193 + p6195 = 1
inv : p4144 + p4148 = 1
inv : p5703 + p5706 + p5707 = 1
inv : p1356 + p1359 + p1360 = 1
inv : p1108 + p1112 = 1
inv : p3857 + p3862 = 1
inv : p1485 + p1494 + p1499 + p1500 = 1
inv : p5766 + p5779 + p5781 = 1
inv : p6479 + p6484 = 1
inv : p4972 + p4976 = 1
inv : p6432 + p6437 = 1
inv : p4471 + p4473 = 1
inv : p2028 + p2033 = 1
inv : p3564 + p3569 + p3570 = 1
inv : p2667 + p2670 + p2671 = 1
inv : p4246 + p4247 + p4271 + p4276 = 1
inv : p1878 + p1883 = 1
inv : p4776 + p4781 = 1
inv : p2460 + p2463 + p2464 = 1
inv : p6628 + p6632 = 1
inv : p4098 + p4103 = 1
inv : p3197 + p3201 + p3206 + p3207 = 1
inv : p5920 + p5922 = 1
inv : p528 + p533 + p534 = 1
inv : p673 + p675 = 1
inv : p3712 + p3714 = 1
inv : p1257 + p1262 = 1
inv : p666 + p669 + p670 = 1
inv : p3019 + p3021 = 1
inv : p2074 + p2078 = 1
inv : p211 + p215 = 1
inv : p2856 + p2861 = 1
inv : p2281 + p2285 = 1
inv : p6597 + p6599 = 1
inv : p2253 + p2256 + p2257 = 1
inv : p873 + p876 + p877 = 1
inv : p811 + p813 = 1
inv : p5064 + p5069 = 1
inv : p5220 + p5225 + p5226 = 1
inv : p3009 + p3011 = 1
inv : p2132 + p2137 = 1
inv : p6341 + p6346 = 1
inv : p663 + p665 = 1
inv : p476 + p481 = 1
inv : p525 + p527 = 1
inv : p597 + p602 + p603 = 1
inv : p331 + p333 = 1
inv : p4116 + p4121 + p4122 = 1
inv : p567 + p572 = 1
inv : p418 + p422 = 1
inv : p4006 + p4010 = 1
inv : p390 + p393 + p394 = 1
inv : p1156 + p1158 = 1
inv : p3840 + p3843 + p3844 = 1
inv : p4719 + p4724 = 1
inv : p6686 + p6691 = 1
inv : p4737 + p4740 + p4741 = 1
inv : p6893 + p6898 = 1
inv : p2764 + p2768 = 1
inv : p2223 + p2228 = 1
inv : p4389 + p4391 = 1
inv : p4675 + p4677 = 1
inv : p5604 + p5609 = 1
inv : p6934 + p6992 + p6996 + p7001 = 1
inv : p5121 + p5126 = 1
inv : p3063 + p3068 = 1
inv : p2913 + p2918 = 1
inv : p6283 + p6287 = 1
inv : p5455 + p5459 = 1
inv : p6076 + p6080 = 1
inv : p6738 + p6741 + p6742 = 1
inv : p4882 + p4884 = 1
inv : p1984 + p1986 = 1
inv : p2943 + p2948 + p2949 = 1
inv : p4054 + p4056 = 1
inv : p3385 + p3389 = 1
inv : p3477 + p3482 = 1
inv : p2677 + p2679 = 1
inv : p4461 + p4466 + p4467 = 1
inv : p5811 + p5816 = 1
inv : p3630 + p3632 = 1
inv : p1050 + p1055 = 1
inv : p1422 + p1424 = 1
inv : p6018 + p6023 = 1
inv : p5513 + p5518 = 1
inv : p1632 + p1635 + p1636 = 1
inv : p717 + p722 = 1
inv : p6114 + p6116 = 1
inv : p269 + p274 = 1
inv : p2615 + p2620 = 1
inv : p4816 + p4818 = 1
inv : p6225 + p6230 = 1
inv : p6331 + p6333 = 1
inv : p2122 + p2124 = 1
inv : p5358 + p5363 + p5364 = 1
inv : p5289 + p5292 + p5293 = 1
inv : p1918 + p1920 = 1
inv : p5013 + p5018 + p5019 = 1
inv : p970 + p974 = 1
inv : p4192 + p4194 = 1
inv : p4944 + p4947 + p4948 = 1
inv : p5375 + p5380 = 1
inv : p1166 + p1171 = 1
inv : p4668 + p4673 + p4674 = 1
inv : p2166 + p2171 = 1
inv : p6570 + p6575 = 1
inv : p4236 + p4241 = 1
inv : p2787 + p2792 = 1
inv : p2361 + p2366 = 1
inv : p5575 + p5577 = 1
inv : p2743 + p2745 = 1
inv : p3305 + p3310 = 1
inv : p3988 + p3990 = 1
inv : p5766 + p5769 + p5771 = 1
inv : p5631 + p5633 = 1
inv : p1836 + p1838 = 1
inv : p1839 + p1842 + p1843 = 1
inv : p2595 + p2597 = 1
inv : p5789 + p5794 = 1
inv : p1395 + p1400 = 1
inv : p3778 + p3780 = 1
inv : p1563 + p1568 + p1569 = 1
inv : p397 + p399 = 1
inv : p1752 + p1757 = 1
inv : p6807 + p6812 + p6813 = 1
inv : p180 + p182 = 1
inv : p3650 + p3655 = 1
inv : p6915 + p6920 = 1
inv : p2250 + p2252 = 1
inv : p4392 + p4395 + p4396 = 1
inv : p4834 + p4838 = 1
inv : p3081 + p3084 + p3085 = 1
inv : p4599 + p4602 + p4603 = 1
inv : p1580 + p1585 = 1
inv : p1936 + p1940 = 1
inv : p3574 + p3576 = 1
inv : p3157 + p3159 = 1
inv : p4064 + p4069 = 1
inv : p6766 + p6770 = 1
inv : p5010 + p5012 = 1
inv : p4638 + p4643 = 1
inv : p5496 + p5499 + p5500 = 1
inv : p4409 + p4414 = 1
inv : p6058 + p6060 = 1
inv : p252 + p254 + p255 + p256 = 1
inv : p6403 + p6405 = 1
inv : p1287 + p1292 + p1293 = 1
inv : p3879 + p3884 = 1
inv : p1218 + p1221 + p1222 = 1
inv : p5503 + p5505 = 1
inv : p942 + p947 + p948 = 1
inv : p5938 + p5942 = 1
inv : p6186 + p6189 + p6190 = 1
inv : p1338 + p1343 = 1
inv : p607 + p609 = 1
inv : p6255 + p6260 + p6261 = 1
inv : p4537 + p4539 = 1
inv : p4581 + p4586 = 1
inv : p6531 + p6534 + p6535 = 1
inv : p1908 + p1911 + p1912 = 1
inv : p183 + p188 + p189 = 1
inv : p6203 + p6208 = 1
inv : p2953 + p2955 = 1
inv : p3147 + p3149 = 1
inv : p6824 + p6829 = 1
inv : p3150 + p3155 + p3156 = 1
inv : p5020 + p5022 = 1
inv : p1977 + p1982 + p1983 = 1
inv : p5202 + p5207 = 1
inv : p5259 + p5264 = 1
inv : p2733 + p2735 = 1
inv : p4527 + p4529 = 1
inv : p6934 + p6942 + p6944 = 1
inv : p387 + p389 = 1
inv : p1485 + p1501 + p1503 = 1
inv : p1994 + p1999 = 1
inv : p5565 + p5570 + p5571 = 1
inv : p5437 + p5439 = 1
inv : p6145 + p6149 = 1
inv : p3702 + p3707 + p3708 = 1
inv : p1294 + p1296 = 1
inv : p3822 + p3827 = 1
inv : p912 + p917 = 1
inv : p2539 + p2541 = 1
inv : p1284 + p1286 = 1
inv : p2891 + p2896 = 1
inv : p801 + p803 = 1
inv : p441 + p446 = 1
inv : p2419 + p2423 = 1
inv : p1708 + p1710 = 1
inv : p2056 + p2058 = 1
inv : p5685 + p5690 = 1
inv : p5742 + p5747 = 1
inv : p6459 + p6461 = 1
inv : p5317 + p5321 = 1
inv : p2477 + p2482 = 1
inv : p4954 + p4956 = 1
inv : p3633 + p3636 + p3637 = 1
inv : p3219 + p3224 + p3225 = 1
inv : p142 + p146 = 1
inv : p2833 + p2837 = 1
inv : p498 + p503 = 1
inv : p855 + p860 = 1
Total of 898 invariants.
[2021-05-15 23:26:14] [INFO ] Computed 898 place invariants in 22 ms
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :1 after 9
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :9 after 9
[2021-05-15 23:26:17] [INFO ] BMC solution for property ShieldIIPt-PT-100B-ReachabilityFireability-04(UNSAT) depth K=2 took 3528 ms
[2021-05-15 23:26:18] [INFO ] Proved 1921 variables to be positive in 4273 ms
[2021-05-15 23:26:19] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldIIPt-PT-100B-ReachabilityFireability-04
[2021-05-15 23:26:19] [INFO ] KInduction solution for property ShieldIIPt-PT-100B-ReachabilityFireability-04(SAT) depth K=0 took 957 ms
[2021-05-15 23:26:19] [INFO ] BMC solution for property ShieldIIPt-PT-100B-ReachabilityFireability-05(UNSAT) depth K=2 took 2336 ms
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :3.38431e+07 after 1.65743e+110
[2021-05-15 23:26:20] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldIIPt-PT-100B-ReachabilityFireability-05
[2021-05-15 23:26:20] [INFO ] KInduction solution for property ShieldIIPt-PT-100B-ReachabilityFireability-05(SAT) depth K=0 took 937 ms
[2021-05-15 23:26:21] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldIIPt-PT-100B-ReachabilityFireability-14
[2021-05-15 23:26:21] [INFO ] KInduction solution for property ShieldIIPt-PT-100B-ReachabilityFireability-14(SAT) depth K=0 took 954 ms
[2021-05-15 23:26:22] [INFO ] BMC solution for property ShieldIIPt-PT-100B-ReachabilityFireability-14(UNSAT) depth K=2 took 2435 ms
[2021-05-15 23:26:23] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldIIPt-PT-100B-ReachabilityFireability-04
[2021-05-15 23:26:23] [INFO ] KInduction solution for property ShieldIIPt-PT-100B-ReachabilityFireability-04(SAT) depth K=1 took 2081 ms
[2021-05-15 23:26:25] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldIIPt-PT-100B-ReachabilityFireability-05
[2021-05-15 23:26:25] [INFO ] KInduction solution for property ShieldIIPt-PT-100B-ReachabilityFireability-05(SAT) depth K=1 took 1269 ms
[2021-05-15 23:26:28] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldIIPt-PT-100B-ReachabilityFireability-14
[2021-05-15 23:26:28] [INFO ] KInduction solution for property ShieldIIPt-PT-100B-ReachabilityFireability-14(SAT) depth K=1 took 3513 ms
Compilation finished in 17877 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/tmp/ltsmin8340037971465944763]
Link finished in 61 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ShieldIIPtPT100BReachabilityFireability04==true], workingDir=/tmp/ltsmin8340037971465944763]
[2021-05-15 23:28:18] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldIIPt-PT-100B-ReachabilityFireability-04
[2021-05-15 23:28:18] [INFO ] KInduction solution for property ShieldIIPt-PT-100B-ReachabilityFireability-04(SAT) depth K=2 took 110366 ms
[2021-05-15 23:30:24] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldIIPt-PT-100B-ReachabilityFireability-05
[2021-05-15 23:30:24] [INFO ] KInduction solution for property ShieldIIPt-PT-100B-ReachabilityFireability-05(SAT) depth K=2 took 125605 ms
[2021-05-15 23:31:16] [INFO ] BMC solution for property ShieldIIPt-PT-100B-ReachabilityFireability-04(UNSAT) depth K=3 took 293830 ms
[2021-05-15 23:32:34] [INFO ] BMC solution for property ShieldIIPt-PT-100B-ReachabilityFireability-05(UNSAT) depth K=3 took 78588 ms
[2021-05-15 23:39:08] [INFO ] BMC solution for property ShieldIIPt-PT-100B-ReachabilityFireability-14(UNSAT) depth K=3 took 394064 ms
WARNING : LTSmin timed out (>1200 s) on command CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ShieldIIPtPT100BReachabilityFireability04==true], workingDir=/tmp/ltsmin8340037971465944763]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ShieldIIPtPT100BReachabilityFireability05==true], workingDir=/tmp/ltsmin8340037971465944763]
[2021-05-15 23:47:59] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldIIPt-PT-100B-ReachabilityFireability-14
[2021-05-15 23:47:59] [INFO ] KInduction solution for property ShieldIIPt-PT-100B-ReachabilityFireability-14(SAT) depth K=2 took 1055148 ms
Detected timeout of ITS tools.
[2021-05-15 23:52:17] [INFO ] Applying decomposition
[2021-05-15 23:52:17] [INFO ] Flatten gal took : 256 ms
[2021-05-15 23:52:17] [INFO ] Decomposing Gal with order
[2021-05-15 23:52:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-15 23:52:18] [INFO ] Removed a total of 2219 redundant transitions.
[2021-05-15 23:52:18] [INFO ] Flatten gal took : 315 ms
[2021-05-15 23:52:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 936 labels/synchronizations in 70 ms.
[2021-05-15 23:52:18] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability3248425471056641670.gal : 70 ms
[2021-05-15 23:52:18] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability2310759609597384357.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityFireability3248425471056641670.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability2310759609597384357.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityFireability3248425471056641670.gal -t CGAL -reachable-file /tmp/ReachabilityFireability2310759609597384357.prop --nowitness
Loading property file /tmp/ReachabilityFireability2310759609597384357.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :1 after 2
SDD proceeding with computation,3 properties remain. new max is 16
SDD size :2 after 9
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :9 after 9
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :3.22009e+10 after 2.71829e+119
WARNING : LTSmin timed out (>1200 s) on command CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ShieldIIPtPT100BReachabilityFireability05==true], workingDir=/tmp/ltsmin8340037971465944763]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ShieldIIPtPT100BReachabilityFireability14==true], workingDir=/tmp/ltsmin8340037971465944763]
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
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -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 ReachabilityFireability -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="ShieldIIPt-PT-100B"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is ShieldIIPt-PT-100B, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r216-tall-162098205200511"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-100B.tgz
mv ShieldIIPt-PT-100B execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;