About the Execution of ITS-Tools for ShieldRVs-PT-100B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13146.640 | 3600000.00 | 13517888.00 | 1289.80 | ?TFFFFFTFTFTFFTT | 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.r235-smll-162106564600175.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is ShieldRVs-PT-100B, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-smll-162106564600175
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 170K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 110K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 12:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 12:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 18:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K 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.3M 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 ShieldRVs-PT-100B-ReachabilityFireability-00
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-01
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-02
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-03
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-04
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-05
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-06
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-07
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-08
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-09
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-10
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-11
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-12
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-13
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-14
FORMULA_NAME ShieldRVs-PT-100B-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1621235590598
Running Version 0
[2021-05-17 07:13:13] [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-17 07:13:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-17 07:13:13] [INFO ] Load time of PNML (sax parser for PT used): 405 ms
[2021-05-17 07:13:13] [INFO ] Transformed 4003 places.
[2021-05-17 07:13:13] [INFO ] Transformed 4503 transitions.
[2021-05-17 07:13:13] [INFO ] Found NUPN structural information;
[2021-05-17 07:13:14] [INFO ] Parsed PT model containing 4003 places and 4503 transitions in 645 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 15 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=59 ) properties (out of 16) seen :8
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-12 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 8) 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 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 49 ms. (steps per millisecond=204 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 8) 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 8) 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 8) seen :0
Running SMT prover for 8 properties.
// Phase 1: matrix 4503 rows 4003 cols
[2021-05-17 07:13:14] [INFO ] Computed 401 place invariants in 82 ms
[2021-05-17 07:13:16] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:8
[2021-05-17 07:13:18] [INFO ] [Nat]Absence check using 401 positive place invariants in 400 ms returned sat
[2021-05-17 07:13:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-17 07:13:41] [INFO ] [Nat]Absence check using state equation in 22414 ms returned unsat :0 sat :7
Attempting to minimize the solution found.
Minimization took 4 ms.
[2021-05-17 07:13:41] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :7
Fused 8 Parikh solutions to 4 different solutions.
Incomplete Parikh walk after 368600 steps, including 346 resets, run finished after 3482 ms. (steps per millisecond=105 ) properties (out of 8) seen :0 could not realise parikh vector
Incomplete Parikh walk after 368600 steps, including 346 resets, run finished after 3320 ms. (steps per millisecond=111 ) properties (out of 8) seen :0 could not realise parikh vector
Incomplete Parikh walk after 368500 steps, including 346 resets, run finished after 3085 ms. (steps per millisecond=119 ) properties (out of 8) seen :0 could not realise parikh vector
Support contains 46 out of 4003 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 4003/4003 places, 4503/4503 transitions.
Drop transitions removed 397 transitions
Trivial Post-agglo rules discarded 397 transitions
Performed 397 trivial Post agglomeration. Transition count delta: 397
Iterating post reduction 0 with 397 rules applied. Total rules applied 397 place count 4003 transition count 4106
Reduce places removed 397 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 398 rules applied. Total rules applied 795 place count 3606 transition count 4105
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 796 place count 3605 transition count 4105
Performed 495 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 495 Pre rules applied. Total rules applied 796 place count 3605 transition count 3610
Deduced a syphon composed of 495 places in 16 ms
Reduce places removed 495 places and 0 transitions.
Iterating global reduction 3 with 990 rules applied. Total rules applied 1786 place count 3110 transition count 3610
Discarding 690 places :
Symmetric choice reduction at 3 with 690 rule applications. Total rules 2476 place count 2420 transition count 2920
Iterating global reduction 3 with 690 rules applied. Total rules applied 3166 place count 2420 transition count 2920
Performed 285 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 285 Pre rules applied. Total rules applied 3166 place count 2420 transition count 2635
Deduced a syphon composed of 285 places in 13 ms
Reduce places removed 285 places and 0 transitions.
Iterating global reduction 3 with 570 rules applied. Total rules applied 3736 place count 2135 transition count 2635
Performed 693 Post agglomeration using F-continuation condition.Transition count delta: 693
Deduced a syphon composed of 693 places in 12 ms
Reduce places removed 693 places and 0 transitions.
Iterating global reduction 3 with 1386 rules applied. Total rules applied 5122 place count 1442 transition count 1942
Renaming transitions due to excessive name length > 1024 char.
Partial Free-agglomeration rule applied 196 times.
Drop transitions removed 196 transitions
Iterating global reduction 3 with 196 rules applied. Total rules applied 5318 place count 1442 transition count 1942
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 5319 place count 1441 transition count 1941
Applied a total of 5319 rules in 3234 ms. Remains 1441 /4003 variables (removed 2562) and now considering 1941/4503 (removed 2562) transitions.
Finished structural reductions, in 1 iterations. Remains : 1441/4003 places, 1941/4503 transitions.
[2021-05-17 07:13:55] [INFO ] Flatten gal took : 354 ms
[2021-05-17 07:13:56] [INFO ] Flatten gal took : 188 ms
[2021-05-17 07:13:56] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8357877533331792923.gal : 85 ms
[2021-05-17 07:13:56] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17700544728680949273.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/ReachabilityCardinality8357877533331792923.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17700544728680949273.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/ReachabilityCardinality8357877533331792923.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17700544728680949273.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality17700544728680949273.prop.
SDD proceeding with computation,8 properties remain. new max is 4
SDD size :1 after 4
SDD proceeding with computation,8 properties remain. new max is 8
SDD size :4 after 8
SDD proceeding with computation,8 properties remain. new max is 16
SDD size :8 after 24
SDD proceeding with computation,8 properties remain. new max is 32
SDD size :24 after 48
SDD proceeding with computation,8 properties remain. new max is 64
SDD size :48 after 3456
SDD proceeding with computation,8 properties remain. new max is 128
SDD size :3456 after 6912
SDD proceeding with computation,8 properties remain. new max is 256
SDD size :6912 after 1.49299e+06
SDD proceeding with computation,8 properties remain. new max is 512
SDD size :1.49299e+06 after 5.88874e+07
Reachability property ShieldRVs-PT-100B-ReachabilityFireability-11 is true.
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-11 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,7 properties remain. new max is 512
SDD size :5.88874e+07 after 5.8906e+07
SDD proceeding with computation,7 properties remain. new max is 1024
SDD size :5.8906e+07 after 5.93873e+07
SDD proceeding with computation,7 properties remain. new max is 2048
SDD size :5.93873e+07 after 6.47238e+07
SDD proceeding with computation,7 properties remain. new max is 4096
SDD size :6.47238e+07 after 6.10563e+08
SDD proceeding with computation,7 properties remain. new max is 8192
SDD size :6.10563e+08 after 7.444e+10
SDD proceeding with computation,7 properties remain. new max is 16384
SDD size :7.444e+10 after 7.08347e+12
SDD proceeding with computation,7 properties remain. new max is 32768
SDD size :7.08347e+12 after 5.81375e+15
SDD proceeding with computation,7 properties remain. new max is 65536
SDD size :5.81375e+15 after 3.25192e+20
Detected timeout of ITS tools.
[2021-05-17 07:14:11] [INFO ] Flatten gal took : 253 ms
[2021-05-17 07:14:11] [INFO ] Applying decomposition
[2021-05-17 07:14:11] [INFO ] Flatten gal took : 150 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/graph7468151680382410045.txt, -o, /tmp/graph7468151680382410045.bin, -w, /tmp/graph7468151680382410045.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/graph7468151680382410045.bin, -l, -1, -v, -w, /tmp/graph7468151680382410045.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-17 07:14:12] [INFO ] Decomposing Gal with order
[2021-05-17 07:14:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-17 07:14:13] [INFO ] Removed a total of 2260 redundant transitions.
[2021-05-17 07:14:13] [INFO ] Flatten gal took : 366 ms
[2021-05-17 07:14:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 2469 labels/synchronizations in 105 ms.
[2021-05-17 07:14:13] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12042624149964019047.gal : 31 ms
[2021-05-17 07:14:13] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16470775102425392695.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/ReachabilityCardinality12042624149964019047.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16470775102425392695.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/ReachabilityCardinality12042624149964019047.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16470775102425392695.prop --nowitness
Loading property file /tmp/ReachabilityCardinality16470775102425392695.prop.
SDD proceeding with computation,7 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,7 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,7 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,7 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,7 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,7 properties remain. new max is 128
SDD size :1 after 2
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin15985481956034486538
[2021-05-17 07:14:28] [INFO ] Built C files in 75ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15985481956034486538
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/ltsmin15985481956034486538]
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/ltsmin15985481956034486538] 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/ltsmin15985481956034486538] 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 839 resets, run finished after 11730 ms. (steps per millisecond=85 ) properties (out of 7) seen :4
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Interrupted Best-First random walk after 619482 steps, including 54 resets, run timeout after 5001 ms. (steps per millisecond=123 ) properties seen :{}
Interrupted Best-First random walk after 621283 steps, including 47 resets, run timeout after 5001 ms. (steps per millisecond=124 ) properties seen :{1=1}
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-05 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Interrupted Best-First random walk after 651536 steps, including 60 resets, run timeout after 5001 ms. (steps per millisecond=130 ) properties seen :{1=1}
FORMULA ShieldRVs-PT-100B-ReachabilityFireability-15 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Running SMT prover for 1 properties.
// Phase 1: matrix 1941 rows 1441 cols
[2021-05-17 07:14:56] [INFO ] Computed 401 place invariants in 12 ms
[2021-05-17 07:14:56] [INFO ] [Real]Absence check using 401 positive place invariants in 116 ms returned sat
[2021-05-17 07:14:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 07:14:57] [INFO ] [Real]Absence check using state equation in 1054 ms returned sat
[2021-05-17 07:14:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-17 07:14:58] [INFO ] [Nat]Absence check using 401 positive place invariants in 139 ms returned sat
[2021-05-17 07:14:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-17 07:14:59] [INFO ] [Nat]Absence check using state equation in 1047 ms returned sat
[2021-05-17 07:14:59] [INFO ] Deduced a trap composed of 6 places in 153 ms of which 5 ms to minimize.
[2021-05-17 07:14:59] [INFO ] Deduced a trap composed of 12 places in 122 ms of which 1 ms to minimize.
[2021-05-17 07:15:00] [INFO ] Deduced a trap composed of 6 places in 101 ms of which 1 ms to minimize.
[2021-05-17 07:15:00] [INFO ] Deduced a trap composed of 13 places in 92 ms of which 1 ms to minimize.
[2021-05-17 07:15:00] [INFO ] Deduced a trap composed of 11 places in 81 ms of which 1 ms to minimize.
[2021-05-17 07:15:00] [INFO ] Deduced a trap composed of 7 places in 87 ms of which 1 ms to minimize.
[2021-05-17 07:15:00] [INFO ] Deduced a trap composed of 11 places in 58 ms of which 1 ms to minimize.
[2021-05-17 07:15:00] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 1313 ms
[2021-05-17 07:15:00] [INFO ] Computed and/alt/rep : 1710/7981/1710 causal constraints (skipped 212 transitions) in 174 ms.
[2021-05-17 07:15:20] [INFO ] Added : 655 causal constraints over 131 iterations in 20162 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 57 ms.
Incomplete Parikh walk after 237100 steps, including 825 resets, run finished after 2965 ms. (steps per millisecond=79 ) properties (out of 1) seen :0 could not realise parikh vector
Support contains 11 out of 1441 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1441/1441 places, 1941/1941 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 0 with 1 rules applied. Total rules applied 1 place count 1441 transition count 1940
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 1440 transition count 1940
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 2 place count 1440 transition count 1930
Deduced a syphon composed of 10 places in 8 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 22 place count 1430 transition count 1930
Performed 13 Post agglomeration using F-continuation condition.Transition count delta: 13
Deduced a syphon composed of 13 places in 7 ms
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 2 with 26 rules applied. Total rules applied 48 place count 1417 transition count 1917
Partial Free-agglomeration rule applied 8 times.
Drop transitions removed 8 transitions
Iterating global reduction 2 with 8 rules applied. Total rules applied 56 place count 1417 transition count 1917
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 57 place count 1416 transition count 1916
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 58 place count 1415 transition count 1915
Applied a total of 58 rules in 455 ms. Remains 1415 /1441 variables (removed 26) and now considering 1915/1941 (removed 26) transitions.
Finished structural reductions, in 1 iterations. Remains : 1415/1441 places, 1915/1941 transitions.
[2021-05-17 07:15:24] [INFO ] Flatten gal took : 124 ms
[2021-05-17 07:15:24] [INFO ] Flatten gal took : 114 ms
[2021-05-17 07:15:24] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4980055229344236492.gal : 17 ms
[2021-05-17 07:15:24] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality791415901283273697.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/ReachabilityCardinality4980055229344236492.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality791415901283273697.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/ReachabilityCardinality4980055229344236492.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality791415901283273697.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality791415901283273697.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :2 after 4
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :4 after 6
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :6 after 18
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :18 after 54
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :54 after 648
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :648 after 25650
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :25650 after 28322
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :28322 after 79203
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :79203 after 1.72656e+06
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :1.72656e+06 after 1.54367e+08
SDD proceeding with computation,1 properties remain. new max is 8192
SDD size :1.54367e+08 after 4.15518e+10
SDD proceeding with computation,1 properties remain. new max is 16384
SDD size :4.15518e+10 after 5.77153e+12
SDD proceeding with computation,1 properties remain. new max is 32768
SDD size :5.77153e+12 after 4.71101e+15
SDD proceeding with computation,1 properties remain. new max is 65536
SDD size :4.71101e+15 after 2.85677e+20
Detected timeout of ITS tools.
[2021-05-17 07:15:39] [INFO ] Flatten gal took : 112 ms
[2021-05-17 07:15:39] [INFO ] Applying decomposition
[2021-05-17 07:15:40] [INFO ] Flatten gal took : 118 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/graph329462016713562433.txt, -o, /tmp/graph329462016713562433.bin, -w, /tmp/graph329462016713562433.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/graph329462016713562433.bin, -l, -1, -v, -w, /tmp/graph329462016713562433.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-17 07:15:40] [INFO ] Decomposing Gal with order
[2021-05-17 07:15:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-17 07:15:40] [INFO ] Removed a total of 2202 redundant transitions.
[2021-05-17 07:15:40] [INFO ] Flatten gal took : 204 ms
[2021-05-17 07:15:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 2555 labels/synchronizations in 65 ms.
[2021-05-17 07:15:41] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12102820623051260277.gal : 17 ms
[2021-05-17 07:15:41] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12061929736932054504.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/ReachabilityCardinality12102820623051260277.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12061929736932054504.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/ReachabilityCardinality12102820623051260277.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12061929736932054504.prop --nowitness
Loading property file /tmp/ReachabilityCardinality12061929736932054504.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :1 after 2
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :2 after 6
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin15476393790113462258
[2021-05-17 07:15:56] [INFO ] Built C files in 36ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15476393790113462258
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/ltsmin15476393790113462258]
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/ltsmin15476393790113462258] 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/ltsmin15476393790113462258] 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 869 resets, run finished after 11009 ms. (steps per millisecond=90 ) properties (out of 1) seen :0
Interrupted Best-First random walk after 648105 steps, including 60 resets, run timeout after 5001 ms. (steps per millisecond=129 ) properties seen :{}
Interrupted probabilistic random walk after 953861 steps, run timeout after 30001 ms. (steps per millisecond=31 ) properties seen :{}
Probabilistic random walk after 953861 steps, saw 244361 distinct states, run finished after 30010 ms. (steps per millisecond=31 ) properties seen :{}
Running SMT prover for 1 properties.
// Phase 1: matrix 1915 rows 1415 cols
[2021-05-17 07:16:43] [INFO ] Computed 401 place invariants in 11 ms
[2021-05-17 07:16:43] [INFO ] [Real]Absence check using 401 positive place invariants in 147 ms returned sat
[2021-05-17 07:16:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 07:16:44] [INFO ] [Real]Absence check using state equation in 1032 ms returned sat
[2021-05-17 07:16:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-17 07:16:44] [INFO ] [Nat]Absence check using 401 positive place invariants in 138 ms returned sat
[2021-05-17 07:16:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-17 07:16:46] [INFO ] [Nat]Absence check using state equation in 1027 ms returned sat
[2021-05-17 07:16:46] [INFO ] Deduced a trap composed of 5 places in 194 ms of which 3 ms to minimize.
[2021-05-17 07:16:46] [INFO ] Deduced a trap composed of 10 places in 257 ms of which 1 ms to minimize.
[2021-05-17 07:16:46] [INFO ] Deduced a trap composed of 6 places in 201 ms of which 1 ms to minimize.
[2021-05-17 07:16:47] [INFO ] Deduced a trap composed of 6 places in 197 ms of which 1 ms to minimize.
[2021-05-17 07:16:48] [INFO ] Deduced a trap composed of 11 places in 710 ms of which 0 ms to minimize.
[2021-05-17 07:16:48] [INFO ] Deduced a trap composed of 6 places in 99 ms of which 1 ms to minimize.
[2021-05-17 07:16:48] [INFO ] Deduced a trap composed of 11 places in 71 ms of which 0 ms to minimize.
[2021-05-17 07:16:48] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 2473 ms
[2021-05-17 07:16:48] [INFO ] Computed and/alt/rep : 1692/7944/1692 causal constraints (skipped 215 transitions) in 122 ms.
[2021-05-17 07:17:08] [INFO ] Added : 655 causal constraints over 131 iterations in 20217 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 52 ms.
Incomplete Parikh walk after 278600 steps, including 1110 resets, run finished after 3360 ms. (steps per millisecond=82 ) properties (out of 1) seen :0 could not realise parikh vector
Support contains 11 out of 1415 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1415/1415 places, 1915/1915 transitions.
Applied a total of 0 rules in 107 ms. Remains 1415 /1415 variables (removed 0) and now considering 1915/1915 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1415/1415 places, 1915/1915 transitions.
Starting structural reductions, iteration 0 : 1415/1415 places, 1915/1915 transitions.
Applied a total of 0 rules in 113 ms. Remains 1415 /1415 variables (removed 0) and now considering 1915/1915 (removed 0) transitions.
// Phase 1: matrix 1915 rows 1415 cols
[2021-05-17 07:17:12] [INFO ] Computed 401 place invariants in 12 ms
[2021-05-17 07:17:14] [INFO ] Implicit Places using invariants in 1716 ms returned []
// Phase 1: matrix 1915 rows 1415 cols
[2021-05-17 07:17:14] [INFO ] Computed 401 place invariants in 8 ms
[2021-05-17 07:17:17] [INFO ] Implicit Places using invariants and state equation in 2852 ms returned []
Implicit Place search using SMT with State Equation took 4570 ms to find 0 implicit places.
[2021-05-17 07:17:17] [INFO ] Redundant transitions in 809 ms returned []
// Phase 1: matrix 1915 rows 1415 cols
[2021-05-17 07:17:17] [INFO ] Computed 401 place invariants in 9 ms
[2021-05-17 07:17:20] [INFO ] Dead Transitions using invariants and state equation in 2193 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1415/1415 places, 1915/1915 transitions.
Incomplete random walk after 100000 steps, including 87 resets, run finished after 1317 ms. (steps per millisecond=75 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 1915 rows 1415 cols
[2021-05-17 07:17:21] [INFO ] Computed 401 place invariants in 7 ms
[2021-05-17 07:17:21] [INFO ] [Real]Absence check using 401 positive place invariants in 132 ms returned sat
[2021-05-17 07:17:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 07:17:22] [INFO ] [Real]Absence check using state equation in 969 ms returned sat
[2021-05-17 07:17:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-17 07:17:23] [INFO ] [Nat]Absence check using 401 positive place invariants in 140 ms returned sat
[2021-05-17 07:17:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-17 07:17:24] [INFO ] [Nat]Absence check using state equation in 1055 ms returned sat
[2021-05-17 07:17:24] [INFO ] Deduced a trap composed of 5 places in 87 ms of which 0 ms to minimize.
[2021-05-17 07:17:24] [INFO ] Deduced a trap composed of 10 places in 87 ms of which 1 ms to minimize.
[2021-05-17 07:17:24] [INFO ] Deduced a trap composed of 6 places in 87 ms of which 1 ms to minimize.
[2021-05-17 07:17:24] [INFO ] Deduced a trap composed of 6 places in 55 ms of which 1 ms to minimize.
[2021-05-17 07:17:24] [INFO ] Deduced a trap composed of 11 places in 60 ms of which 1 ms to minimize.
[2021-05-17 07:17:25] [INFO ] Deduced a trap composed of 6 places in 49 ms of which 1 ms to minimize.
[2021-05-17 07:17:25] [INFO ] Deduced a trap composed of 11 places in 43 ms of which 1 ms to minimize.
[2021-05-17 07:17:25] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 1078 ms
[2021-05-17 07:17:25] [INFO ] Computed and/alt/rep : 1692/7944/1692 causal constraints (skipped 215 transitions) in 149 ms.
[2021-05-17 07:17:44] [INFO ] Deduced a trap composed of 2 places in 1532 ms of which 2 ms to minimize.
[2021-05-17 07:17:44] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 0
[2021-05-17 07:17:44] [INFO ] Flatten gal took : 101 ms
[2021-05-17 07:17:44] [INFO ] Flatten gal took : 149 ms
[2021-05-17 07:17:44] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14764473511283169959.gal : 12 ms
[2021-05-17 07:17:44] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5835195670025766464.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/ReachabilityCardinality14764473511283169959.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5835195670025766464.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/ReachabilityCardinality14764473511283169959.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5835195670025766464.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality5835195670025766464.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :2 after 4
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :4 after 6
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :6 after 18
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :18 after 54
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :54 after 648
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :648 after 25650
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :25650 after 28322
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :28322 after 79203
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :79203 after 1.72656e+06
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :1.72656e+06 after 1.54367e+08
SDD proceeding with computation,1 properties remain. new max is 8192
SDD size :1.54367e+08 after 4.15518e+10
SDD proceeding with computation,1 properties remain. new max is 16384
SDD size :4.15518e+10 after 5.77153e+12
SDD proceeding with computation,1 properties remain. new max is 32768
SDD size :5.77153e+12 after 4.71101e+15
SDD proceeding with computation,1 properties remain. new max is 65536
SDD size :4.71101e+15 after 2.85677e+20
Detected timeout of ITS tools.
[2021-05-17 07:17:59] [INFO ] Flatten gal took : 98 ms
[2021-05-17 07:17:59] [INFO ] Applying decomposition
[2021-05-17 07:17:59] [INFO ] Flatten gal took : 99 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/graph2494197438375338191.txt, -o, /tmp/graph2494197438375338191.bin, -w, /tmp/graph2494197438375338191.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/graph2494197438375338191.bin, -l, -1, -v, -w, /tmp/graph2494197438375338191.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-17 07:18:00] [INFO ] Decomposing Gal with order
[2021-05-17 07:18:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-17 07:18:00] [INFO ] Removed a total of 2207 redundant transitions.
[2021-05-17 07:18:00] [INFO ] Flatten gal took : 192 ms
[2021-05-17 07:18:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 2580 labels/synchronizations in 79 ms.
[2021-05-17 07:18:00] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1730208620924241422.gal : 15 ms
[2021-05-17 07:18:00] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9956432266187488704.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/ReachabilityCardinality1730208620924241422.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9956432266187488704.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/ReachabilityCardinality1730208620924241422.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9956432266187488704.prop --nowitness
Loading property file /tmp/ReachabilityCardinality9956432266187488704.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :1 after 2
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin15781052746480130829
[2021-05-17 07:18:15] [INFO ] Built C files in 32ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15781052746480130829
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/ltsmin15781052746480130829]
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/ltsmin15781052746480130829] 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/ltsmin15781052746480130829] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Applied a total of 0 rules in 88 ms. Remains 1415 /1415 variables (removed 0) and now considering 1915/1915 (removed 0) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 1915 rows 1415 cols
[2021-05-17 07:18:16] [INFO ] Computed 401 place invariants in 6 ms
[2021-05-17 07:18:17] [INFO ] [Real]Absence check using 401 positive place invariants in 124 ms returned sat
[2021-05-17 07:18:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 07:18:18] [INFO ] [Real]Absence check using state equation in 1241 ms returned sat
[2021-05-17 07:18:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-17 07:18:19] [INFO ] [Nat]Absence check using 401 positive place invariants in 254 ms returned sat
[2021-05-17 07:18:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-17 07:18:22] [INFO ] [Nat]Absence check using state equation in 2590 ms returned sat
[2021-05-17 07:18:25] [INFO ] Deduced a trap composed of 5 places in 3178 ms of which 34 ms to minimize.
[2021-05-17 07:18:26] [INFO ] Deduced a trap composed of 10 places in 175 ms of which 1 ms to minimize.
[2021-05-17 07:18:26] [INFO ] Deduced a trap composed of 6 places in 370 ms of which 0 ms to minimize.
[2021-05-17 07:18:27] [INFO ] Deduced a trap composed of 6 places in 1407 ms of which 0 ms to minimize.
[2021-05-17 07:18:28] [INFO ] Deduced a trap composed of 11 places in 272 ms of which 0 ms to minimize.
[2021-05-17 07:18:30] [INFO ] Deduced a trap composed of 6 places in 1971 ms of which 21 ms to minimize.
[2021-05-17 07:18:30] [INFO ] Deduced a trap composed of 11 places in 139 ms of which 1 ms to minimize.
[2021-05-17 07:18:30] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 8439 ms
[2021-05-17 07:18:31] [INFO ] Computed and/alt/rep : 1692/7944/1692 causal constraints (skipped 215 transitions) in 338 ms.
[2021-05-17 07:18:50] [INFO ] Added : 560 causal constraints over 112 iterations in 20067 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 43 ms.
[2021-05-17 07:18:51] [INFO ] Flatten gal took : 97 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin7223213545513999978
[2021-05-17 07:18:51] [INFO ] Too many transitions (1915) to apply POR reductions. Disabling POR matrices.
[2021-05-17 07:18:51] [INFO ] Built C files in 54ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7223213545513999978
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/ltsmin7223213545513999978]
[2021-05-17 07:18:51] [INFO ] Applying decomposition
[2021-05-17 07:18:51] [INFO ] Flatten gal took : 107 ms
[2021-05-17 07:18:51] [INFO ] Flatten gal took : 281 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/graph6247099650076790891.txt, -o, /tmp/graph6247099650076790891.bin, -w, /tmp/graph6247099650076790891.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/graph6247099650076790891.bin, -l, -1, -v, -w, /tmp/graph6247099650076790891.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-17 07:18:51] [INFO ] Decomposing Gal with order
[2021-05-17 07:18:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-17 07:18:52] [INFO ] Input system was already deterministic with 1915 transitions.
[2021-05-17 07:18:52] [INFO ] Removed a total of 2196 redundant transitions.
[2021-05-17 07:18:52] [INFO ] Flatten gal took : 475 ms
[2021-05-17 07:18:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 2414 labels/synchronizations in 139 ms.
[2021-05-17 07:18:52] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability6330184714546634524.gal : 19 ms
[2021-05-17 07:18:52] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability10884679661377690195.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/ReachabilityFireability6330184714546634524.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability10884679661377690195.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/ReachabilityFireability6330184714546634524.gal -t CGAL -reachable-file /tmp/ReachabilityFireability10884679661377690195.prop --nowitness
Loading property file /tmp/ReachabilityFireability10884679661377690195.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :1 after 1
[2021-05-17 07:18:54] [INFO ] Ran tautology test, simplified 0 / 1 in 2706 ms.
[2021-05-17 07:18:54] [INFO ] BMC solution for property ShieldRVs-PT-100B-ReachabilityFireability-00(UNSAT) depth K=0 took 121 ms
[2021-05-17 07:18:54] [INFO ] BMC solution for property ShieldRVs-PT-100B-ReachabilityFireability-00(UNSAT) depth K=1 took 108 ms
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :1 after 6
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 1915 rows 1415 cols
[2021-05-17 07:18:57] [INFO ] Computed 401 place invariants in 6 ms
inv : p390 + p392 = 1
inv : p2120 + p2123 + p2125 + p2127 = 1
inv : p3836 + p3839 + p3841 + p3843 = 1
inv : p3095 + p3098 + p3100 + p3102 = 1
inv : p2642 + p2644 + p2646 + p2648 = 1
inv : p585 + p587 = 1
inv : p3397 + p3399 + p3401 + p3403 = 1
inv : p3900 + p3902 = 1
inv : p1667 + p1669 + p1671 + p1673 = 1
inv : p1067 + p1070 + p1072 + p1074 = 1
inv : p3276 + p3278 = 1
inv : p160 + p162 + p164 + p166 = 1
inv : p1511 + p1513 + p1515 + p1517 = 1
inv : p2939 + p2942 + p2944 + p2946 = 1
inv : p316 + p318 + p320 + p322 = 1
inv : p755 + p758 + p760 + p762 = 1
inv : p1979 + p1981 + p1983 + p1985 = 1
inv : p1808 + p1811 + p1813 + p1815 = 1
inv : p3241 + p3243 + p3245 + p3247 = 1
inv : p195 + p197 = 1
inv : p2798 + p2800 + p2802 + p2804 = 1
inv : p3407 + p3410 + p3412 + p3414 = 1
inv : p2691 + p2693 = 1
inv : p1521 + p1523 = 1
inv : p1326 + p1328 = 1
inv : p3110 + p3112 + p3114 + p3116 = 1
inv : p1057 + p1059 + p1061 + p1063 = 1
inv : p1223 + p1226 + p1228 + p1230 = 1
inv : p2110 + p2112 + p2114 + p2116 = 1
inv : p170 + p173 + p175 + p177 = 1
inv : p2578 + p2580 + p2582 + p2584 = 1
inv : p858 + p860 = 1
inv : p3081 + p3083 = 1
inv : p2929 + p2931 + p2933 + p2935 = 1
inv : p770 + p772 + p774 + p776 = 1
inv : p1652 + p1655 + p1657 + p1659 = 1
inv : p536 + p538 + p540 + p542 = 1
inv : p3592 + p3594 + p3596 + p3598 = 1
inv : p2886 + p2888 = 1
inv : p1823 + p1825 + p1827 + p1829 = 1
inv : p1248 + p1250 = 1
inv : p3719 + p3722 + p3724 + p3726 + p3727 = 1
inv : p3851 + p3853 + p3855 + p3857 = 1
inv : p2496 + p2498 = 1
inv : p2344 + p2346 + p2348 + p2350 = 1
inv : p472 + p474 + p476 + p478 = 1
inv : p1355 + p1357 + p1359 + p1361 = 1
inv : p1053 + p1055 = 1
inv : p2457 + p2459 = 1
inv : p1560 + p1562 = 1
inv : p3422 + p3424 + p3426 + p3428 = 1
inv : p702 + p704 = 1
inv : p2734 + p2736 + p2738 + p2740 = 1
inv : p2652 + p2654 = 1
inv : p1365 + p1367 = 1
inv : p3485 + p3488 + p3490 + p3492 = 1
inv : p1950 + p1952 = 1
inv : p1755 + p1757 = 1
inv : p3709 + p3711 + p3713 + p3715 = 1
inv : p1911 + p1913 = 1
inv : p3641 + p3644 + p3646 + p3648 = 1
inv : p2847 + p2849 = 1
inv : p1613 + p1616 + p1618 + p1620 = 1
inv : p862 + p864 + p866 + p868 = 1
inv : p3042 + p3044 = 1
inv : p2627 + p2630 + p2632 + p2634 = 1
inv : p2145 + p2147 = 1
inv : p209 + p212 + p214 + p216 = 1
inv : p3239 + p3240 = 1
inv : p1716 + p1718 = 1
inv : p2106 + p2108 = 1
inv : p3266 + p3268 + p3270 + p3272 = 1
inv : p2432 + p2435 + p2437 + p2439 = 1
inv : p3602 + p3605 + p3607 + p3609 = 1
inv : p1915 + p1917 + p1919 + p1921 = 1
inv : p3978 + p3980 = 1
inv : p511 + p513 + p515 + p517 = 1
inv : p1769 + p1772 + p1774 + p1776 = 1
inv : p3432 + p3434 = 1
inv : p1018 + p1020 + p1022 + p1024 = 1
inv : p3085 + p3087 + p3089 + p3091 = 1
inv : p1316 + p1318 + p1320 + p1322 = 1
inv : p3826 + p3828 + p3830 + p3832 = 1
inv : p2071 + p2073 + p2075 + p2077 = 1
inv : p716 + p719 + p721 + p723 = 1
inv : p1106 + p1109 + p1111 + p1113 = 1
inv : p1330 + p1332 + p1334 + p1336 = 1
inv : p2588 + p2591 + p2593 + p2595 = 1
inv : p3695 + p3697 + p3699 + p3701 + p3702 = 1
inv : p2486 + p2488 + p2490 + p2492 = 1
inv : p819 + p821 = 1
inv : p1213 + p1215 + p1217 + p1219 = 1
inv : p1964 + p1967 + p1969 + p1971 = 1
inv : p1862 + p1864 + p1866 + p1868 = 1
inv : p497 + p499 + p501 + p503 = 1
inv : p809 + p811 + p813 + p815 = 1
inv : p2266 + p2268 + p2270 + p2272 = 1
inv : p2159 + p2162 + p2164 + p2166 = 1
inv : p2783 + p2786 + p2788 + p2790 = 1
inv : p911 + p914 + p916 + p918 = 1
inv : p2890 + p2892 + p2894 + p2896 = 1
inv : p2305 + p2307 + p2309 + p2311 = 1
inv : p3797 + p3800 + p3802 + p3804 = 1
inv : p692 + p694 + p696 + p698 = 1
inv : p199 + p201 + p203 + p205 = 1
inv : p2730 + p2732 = 1
inv : p872 + p875 + p877 + p879 = 1
inv : p1014 + p1016 = 1
inv : p1784 + p1786 + p1788 + p1790 = 1
inv : p2759 + p2761 + p2763 + p2765 = 1
inv : p2237 + p2240 + p2242 + p2244 = 1
inv : p3212 + p3215 + p3217 + p3219 = 1
inv : p3436 + p3438 + p3440 + p3442 = 1
inv : p277 + p279 + p281 + p283 = 1
inv : p3875 + p3878 + p3880 + p3882 = 1
inv : p731 + p733 + p735 + p737 = 1
inv : p1273 + p1274 + p1277 + p1279 + p1281 + p1283 = 1
inv : p1677 + p1679 = 1
inv : p794 + p797 + p799 + p801 = 1
inv : p2837 + p2839 + p2841 + p2843 = 1
inv : p3280 + p3282 + p3284 + p3286 = 1
inv : p1472 + p1474 + p1476 + p1478 = 1
inv : p3627 + p3629 = 1
inv : p3734 + p3736 + p3738 + p3740 = 1
inv : p1262 + p1265 + p1267 + p1269 = 1
inv : p1706 + p1708 + p1710 + p1712 = 1
inv : p2900 + p2903 + p2905 + p2907 = 1
inv : p3982 + p3984 + p3986 + p3988 = 1
inv : p624 + p626 = 1
inv : p3460 + p3461 + p3463 + p3465 + p3467 = 1
inv : p100 + p102 = 1
inv : p2096 + p2098 + p2100 + p2102 = 1
inv : p3500 + p3502 + p3504 + p3506 = 1
inv : p1989 + p1991 = 1
inv : p2822 + p2825 + p2827 + p2829 = 1
inv : p3046 + p3048 + p3050 + p3052 = 1
inv : p341 + p343 + p345 + p347 = 1
inv : p1847 + p1850 + p1852 + p1854 = 1
inv : p706 + p708 + p709 + p710 + p712 = 1
inv : p234 + p236 = 1
inv : p3865 + p3867 + p3869 + p3871 = 1
inv : p2067 + p2069 = 1
inv : p667 + p669 + p671 + p673 = 1
inv : p1925 + p1928 + p1930 + p1932 = 1
inv : p2276 + p2279 + p2281 + p2283 + p2285 + p2286 = 1
inv : p3540 + p3541 + p3543 + p3545 + p3547 = 1
inv : p3290 + p3293 + p3295 + p3297 = 1
inv : p1252 + p1254 + p1256 + p1258 = 1
inv : p1564 + p1566 + p1568 + p1570 = 1
inv : p2447 + p2449 + p2451 + p2453 = 1
inv : p1599 + p1601 = 1
inv : p3939 + p3941 = 1
inv : p1457 + p1460 + p1462 + p1464 = 1
inv : p1043 + p1045 + p1047 + p1049 = 1
inv : p741 + p743 = 1
inv : p3524 + p3527 + p3529 + p3531 = 1
inv : p2471 + p2474 + p2476 + p2478 = 1
inv : p521 + p524 + p526 + p528 = 1
inv : p1496 + p1499 + p1501 + p1503 = 1
inv : p1121 + p1123 + p1125 + p1127 = 1
inv : p2968 + p2970 + p2972 + p2974 = 1
inv : p1954 + p1956 + p1958 + p1960 = 1
inv : p3563 + p3566 + p3568 + p3570 = 1
inv : p1535 + p1538 + p1540 + p1542 = 1
inv : p2368 + p2369 + p2371 + p2373 + p2375 + p2377 = 1
inv : p1131 + p1133 = 1
inv : p1642 + p1644 + p1646 + p1648 = 1
inv : p589 + p591 + p593 + p595 = 1
inv : p2174 + p2176 + p2178 + p2180 = 1
inv : p901 + p903 + p905 + p907 = 1
inv : p482 + p485 + p487 + p489 = 1
inv : p3007 + p3009 + p3011 + p3013 = 1
inv : p380 + p382 + p384 + p386 = 1
inv : p419 + p421 + p423 + p425 = 1
inv : p156 + p158 = 1
inv : p131 + p134 + p136 + p138 = 1
inv : p1394 + p1396 + p1398 + p1400 = 1
inv : p3904 + p3906 + p3908 + p3910 = 1
inv : p3549 + p3551 = 1
inv : p3943 + p3945 + p3947 + p3949 = 1
inv : p3705 + p3707 = 1
inv : p2408 + p2410 + p2412 + p2414 = 1
inv : p1184 + p1187 + p1189 + p1191 = 1
inv : p628 + p630 + p632 + p634 = 1
inv : p1886 + p1889 + p1891 + p1893 = 1
inv : p1603 + p1605 + p1607 + p1609 = 1
inv : p546 + p548 = 1
inv : p3631 + p3633 + p3635 + p3637 = 1
inv : p940 + p942 + p944 + p946 = 1
inv : p2135 + p2137 + p2139 + p2141 = 1
inv : p1092 + p1094 = 1
inv : p1993 + p1995 + p1997 + p1999 = 1
inv : p2617 + p2619 + p2621 + p2623 = 1
inv : p3460 + p3471 + p3473 + p3474 = 1
inv : p3251 + p3254 + p3256 + p3258 = 1
inv : p1082 + p1084 + p1086 + p1088 = 1
inv : p1638 + p1640 = 1
inv : p2510 + p2513 + p2515 + p2517 = 1
inv : p3120 + p3122 = 1
inv : p3358 + p3360 + p3362 + p3364 = 1
inv : p238 + p240 + p242 + p244 = 1
inv : p3149 + p3151 + p3153 + p3155 = 1
inv : p2028 + p2030 = 1
inv : p989 + p992 + p994 + p996 = 1
inv : p2720 + p2722 + p2724 + p2726 = 1
inv : p1745 + p1747 + p1749 + p1751 = 1
inv : p1833 + p1835 = 1
inv : p2368 + p2379 + p2381 = 1
inv : p3758 + p3760 + p3763 + p3765 = 1
inv : p2301 + p2303 = 1
inv : p833 + p836 + p838 + p840 = 1
inv : p3588 + p3590 = 1
inv : p1901 + p1903 + p1905 + p1907 = 1
inv : p2861 + p2864 + p2866 + p2868 = 1
inv : p2574 + p2576 = 1
inv : p3173 + p3176 + p3178 + p3180 = 1
inv : p2042 + p2045 + p2047 + p2049 = 1
inv : p1170 + p1172 = 1
inv : p2564 + p2566 + p2568 + p2570 = 1
inv : p1135 + p1137 + p1139 + p1141 = 1
inv : p614 + p616 + p618 + p620 = 1
inv : p975 + p977 = 1
inv : p550 + p552 + p554 + p556 = 1
inv : p458 + p460 + p462 + p464 = 1
inv : p1730 + p1733 + p1735 + p1737 = 1
inv : p1433 + p1435 + p1437 + p1439 = 1
inv : p979 + p981 + p983 + p985 = 1
inv : p780 + p782 = 1
inv : p3354 + p3356 = 1
inv : p848 + p850 + p852 + p854 = 1
inv : p2769 + p2771 = 1
inv : p3159 + p3161 = 1
inv : p394 + p396 + p398 + p400 = 1
inv : p3773 + p3775 + p3777 + p3779 = 1
inv : p2964 + p2966 = 1
inv : p1369 + p1371 + p1373 + p1375 = 1
inv : p507 + p509 = 1
inv : p3578 + p3580 + p3582 + p3584 = 1
inv : p2549 + p2552 + p2554 + p2556 = 1
inv : p3188 + p3190 + p3192 + p3194 = 1
inv : p3321 + p3323 + p3325 + p3327 = 1
inv : p1273 + p1274 + p1301 + p1304 + p1306 + p1308 = 1
inv : p2198 + p2201 + p2203 + p2205 = 1
inv : p312 + p314 = 1
inv : p2032 + p2034 + p2036 + p2038 = 1
inv : p2656 + p2658 + p2660 + p2662 = 1
inv : p3017 + p3020 + p3022 + p3024 = 1
inv : p1145 + p1148 + p1150 + p1152 = 1
inv : p2393 + p2396 + p2398 + p2400 = 1
inv : p3383 + p3385 + p3387 + p3389 = 1
inv : p3198 + p3200 = 1
inv : p117 + p119 = 1
inv : p1199 + p1201 + p1203 + p1205 = 1
inv : p3393 + p3395 = 1
inv : p1876 + p1878 + p1880 + p1882 = 1
inv : p443 + p446 + p448 + p450 = 1
inv : p2851 + p2853 + p2855 + p2857 = 1
inv : p107 + p109 + p111 + p113 = 1
inv : p1418 + p1421 + p1423 + p1425 = 1
inv : p2695 + p2697 + p2699 + p2701 = 1
inv : p3670 + p3672 + p3674 + p3676 = 1
inv : p560 + p563 + p565 + p567 = 1
inv : p468 + p470 = 1
inv : p1720 + p1722 + p1724 + p1726 = 1
inv : p404 + p407 + p409 + p411 = 1
inv : p2330 + p2332 + p2334 + p2336 = 1
inv : p663 + p665 = 1
inv : p1379 + p1382 + p1384 + p1386 = 1
inv : p3227 + p3229 + p3231 + p3233 = 1
inv : p2252 + p2254 + p2256 + p2258 = 1
inv : p2213 + p2215 + p2217 + p2219 = 1
inv : p3003 + p3005 = 1
inv : p1160 + p1162 + p1164 + p1166 = 1
inv : p146 + p148 + p150 + p152 = 1
inv : p2418 + p2420 = 1
inv : p2539 + p2541 + p2543 + p2545 = 1
inv : p248 + p251 + p253 + p255 = 1
inv : p2613 + p2615 = 1
inv : p1681 + p1683 + p1685 + p1687 = 1
inv : p1574 + p1577 + p1579 + p1581 = 1
inv : p2808 + p2810 = 1
inv : p3032 + p3034 + p3036 + p3038 = 1
inv : p3812 + p3814 + p3816 + p3818 = 1
inv : p2057 + p2059 + p2061 + p2063 = 1
inv : p3071 + p3073 + p3075 + p3077 = 1
inv : p1525 + p1527 + p1529 + p1531 = 1
inv : p2500 + p2502 + p2504 + p2506 = 1
inv : p3553 + p3555 + p3557 + p3559 = 1
inv : p3329 + p3332 + p3334 + p3336 = 1
inv : p1004 + p1006 + p1008 + p1010 = 1
inv : p302 + p304 + p306 + p308 = 1
inv : p273 + p275 = 1
inv : p823 + p825 + p827 + p829 = 1
inv : p2876 + p2878 + p2880 + p2882 = 1
inv : p3914 + p3917 + p3919 + p3921 = 1
inv : p3656 + p3658 + p3659 + p3660 + p3662 = 1
inv : p599 + p602 + p604 + p606 = 1
inv : p2681 + p2683 + p2685 + p2687 = 1
inv : p950 + p953 + p955 + p957 = 1
inv : p2925 + p2927 = 1
inv : p121 + p123 + p125 + p127 = 1
inv : p3056 + p3059 + p3061 + p3063 = 1
inv : p3992 + p3995 + p3997 + p3999 = 1
inv : p2081 + p2084 + p2086 + p2088 = 1
inv : p2603 + p2605 + p2607 + p2609 = 1
inv : p1628 + p1630 + p1632 + p1634 = 1
inv : p2535 + p2537 = 1
inv : p2003 + p2006 + p2008 + p2010 = 1
inv : p2978 + p2981 + p2983 + p2985 = 1
inv : p1209 + p1211 = 1
inv : p2525 + p2527 + p2529 + p2531 = 1
inv : p3861 + p3863 = 1
inv : p575 + p577 + p579 + p581 = 1
inv : p1174 + p1176 + p1178 + p1180 = 1
inv : p355 + p357 + p359 + p361 = 1
inv : p653 + p655 + p657 + p659 = 1
inv : p1096 + p1098 + p1100 + p1102 = 1
inv : p1028 + p1031 + p1033 + p1035 = 1
inv : p1482 + p1484 = 1
inv : p1408 + p1410 + p1412 + p1414 = 1
inv : p3368 + p3371 + p3373 + p3375 = 1
inv : p677 + p680 + p682 + p684 + p685 = 1
inv : p1940 + p1942 + p1944 + p1946 = 1
inv : p3134 + p3137 + p3139 + p3141 = 1
inv : p3124 + p3126 + p3128 + p3130 = 1
inv : p1794 + p1796 = 1
inv : p2262 + p2264 = 1
inv : p1486 + p1488 + p1490 + p1492 = 1
inv : p2744 + p2747 + p2749 + p2751 = 1
inv : p2340 + p2342 = 1
inv : p1273 + p1274 + p1287 + p1289 = 1
inv : p429 + p431 = 1
inv : p3514 + p3516 + p3518 + p3520 = 1
inv : p2315 + p2318 + p2320 + p2322 = 1
inv : p2227 + p2229 + p2231 + p2233 = 1
inv : p965 + p967 + p969 + p971 = 1
inv : p1872 + p1874 = 1
inv : p3202 + p3204 + p3206 + p3208 = 1
inv : p3666 + p3668 = 1
inv : p2993 + p2995 + p2997 + p2999 = 1
inv : p2018 + p2020 + p2022 + p2024 = 1
inv : p2461 + p2463 + p2465 + p2467 = 1
inv : p3510 + p3512 = 1
inv : p1550 + p1552 + p1554 + p1556 = 1
inv : p638 + p641 + p643 + p645 = 1
inv : p2184 + p2186 = 1
inv : p784 + p786 + p788 + p790 = 1
inv : p365 + p368 + p370 + p372 = 1
inv : p3787 + p3789 + p3791 + p3793 = 1
inv : p2383 + p2385 + p2387 + p2389 = 1
inv : p3953 + p3956 + p3958 + p3960 = 1
inv : p1404 + p1406 = 1
inv : p2915 + p2917 + p2919 + p2921 = 1
inv : p263 + p265 + p267 + p269 = 1
inv : p3968 + p3972 + p3974 = 1
inv : p3744 + p3746 = 1
inv : p1238 + p1240 + p1242 + p1244 = 1
inv : p2773 + p2775 + p2777 + p2779 = 1
inv : p1837 + p1839 + p1841 + p1843 = 1
inv : p2812 + p2814 + p2816 + p2818 = 1
inv : p936 + p938 = 1
inv : p1759 + p1761 + p1763 + p1765 = 1
inv : p3783 + p3785 = 1
inv : p2291 + p2293 + p2295 + p2297 = 1
inv : p185 + p187 + p189 + p191 = 1
inv : p3344 + p3346 + p3348 + p3350 = 1
inv : p287 + p290 + p292 + p294 = 1
inv : p3929 + p3931 + p3933 + p3935 = 1
inv : p3822 + p3824 = 1
inv : p1340 + p1343 + p1345 + p1347 = 1
inv : p3305 + p3307 + p3309 + p3311 = 1
inv : p1273 + p1274 + p1291 + p1293 + p1295 + p1297 = 1
inv : p2354 + p2357 + p2359 + p2361 = 1
inv : p2666 + p2669 + p2671 + p2673 = 1
inv : p926 + p928 + p930 + p932 = 1
inv : p887 + p889 + p891 + p893 = 1
inv : p2149 + p2151 + p2153 + p2155 = 1
inv : p2422 + p2424 + p2426 + p2428 = 1
inv : p3680 + p3683 + p3685 + p3687 = 1
inv : p1447 + p1449 + p1451 + p1453 = 1
inv : p2705 + p2708 + p2710 + p2712 = 1
inv : p3163 + p3165 + p3167 + p3169 = 1
inv : p2188 + p2190 + p2192 + p2194 = 1
inv : p433 + p435 + p437 + p439 = 1
inv : p2954 + p2956 + p2958 + p2960 = 1
inv : p3890 + p3892 + p3894 + p3896 = 1
inv : p3748 + p3750 + p3752 + p3754 = 1
inv : p897 + p899 = 1
inv : p3446 + p3449 + p3451 + p3453 = 1
inv : p351 + p353 = 1
inv : p3315 + p3317 = 1
inv : p1443 + p1445 = 1
inv : p3475 + p3477 + p3479 + p3481 = 1
inv : p224 + p226 + p228 + p230 = 1
inv : p326 + p329 + p331 + p333 = 1
inv : p745 + p747 + p749 + p751 = 1
inv : p1798 + p1800 + p1802 + p1804 = 1
inv : p2223 + p2225 = 1
inv : p1691 + p1694 + p1696 + p1698 = 1
inv : p3617 + p3619 + p3621 + p3623 = 1
inv : p1589 + p1591 + p1593 + p1595 = 1
Total of 401 invariants.
[2021-05-17 07:18:57] [INFO ] Computed 401 place invariants in 59 ms
[2021-05-17 07:18:59] [INFO ] BMC solution for property ShieldRVs-PT-100B-ReachabilityFireability-00(UNSAT) depth K=2 took 4159 ms
[2021-05-17 07:19:15] [INFO ] Proved 1415 variables to be positive in 18297 ms
[2021-05-17 07:19:17] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldRVs-PT-100B-ReachabilityFireability-00
[2021-05-17 07:19:17] [INFO ] KInduction solution for property ShieldRVs-PT-100B-ReachabilityFireability-00(SAT) depth K=0 took 1421 ms
[2021-05-17 07:19:28] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldRVs-PT-100B-ReachabilityFireability-00
[2021-05-17 07:19:28] [INFO ] KInduction solution for property ShieldRVs-PT-100B-ReachabilityFireability-00(SAT) depth K=1 took 11187 ms
Compilation finished in 39499 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/tmp/ltsmin7223213545513999978]
Link finished in 95 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, ShieldRVsPT100BReachabilityFireability00==true], workingDir=/tmp/ltsmin7223213545513999978]
[2021-05-17 07:25:42] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldRVs-PT-100B-ReachabilityFireability-00
[2021-05-17 07:25:42] [INFO ] KInduction solution for property ShieldRVs-PT-100B-ReachabilityFireability-00(SAT) depth K=2 took 373344 ms
[2021-05-17 07:28:46] [INFO ] BMC solution for property ShieldRVs-PT-100B-ReachabilityFireability-00(UNSAT) depth K=3 took 587400 ms
Detected timeout of ITS tools.
[2021-05-17 07:40:45] [INFO ] Applying decomposition
[2021-05-17 07:40:46] [INFO ] Flatten gal took : 366 ms
[2021-05-17 07:40:46] [INFO ] Decomposing Gal with order
[2021-05-17 07:40:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-17 07:40:47] [INFO ] Removed a total of 2207 redundant transitions.
[2021-05-17 07:40:47] [INFO ] Flatten gal took : 558 ms
[2021-05-17 07:40:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 2580 labels/synchronizations in 187 ms.
[2021-05-17 07:40:47] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability10393906371255274038.gal : 31 ms
[2021-05-17 07:40:47] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability8540540244592382921.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/ReachabilityFireability10393906371255274038.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability8540540244592382921.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/ReachabilityFireability10393906371255274038.gal -t CGAL -reachable-file /tmp/ReachabilityFireability8540540244592382921.prop --nowitness
Loading property file /tmp/ReachabilityFireability8540540244592382921.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :1 after 2
[2021-05-17 07:58:50] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesShieldRVs-PT-100B-ReachabilityFireability-00
[2021-05-17 07:58:50] [INFO ] KInduction solution for property ShieldRVs-PT-100B-ReachabilityFireability-00(SAT) depth K=3 took 1988144 ms
Detected timeout of ITS tools.
[2021-05-17 08:02:41] [INFO ] Flatten gal took : 313 ms
[2021-05-17 08:02:41] [INFO ] Input system was already deterministic with 1915 transitions.
[2021-05-17 08:02:41] [INFO ] Transformed 1415 places.
[2021-05-17 08:02:41] [INFO ] Transformed 1915 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-17 08:02:42] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability12471762744132660026.gal : 35 ms
[2021-05-17 08:02:42] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability3404883762811450376.prop : 8 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/ReachabilityFireability12471762744132660026.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability3404883762811450376.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityFireability12471762744132660026.gal -t CGAL -reachable-file /tmp/ReachabilityFireability3404883762811450376.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/ReachabilityFireability3404883762811450376.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :3 after 7
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :7 after 25
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :25 after 142
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :142 after 347
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :347 after 6548
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :6548 after 9501
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :9501 after 627821
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :627821 after 5.26521e+07
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :5.26521e+07 after 5.53634e+09
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :5.53634e+09 after 5.15749e+14
SDD proceeding with computation,1 properties remain. new max is 8192
SDD size :5.15749e+14 after 5.64884e+19
SDD proceeding with computation,1 properties remain. new max is 16384
SDD size :5.64884e+19 after 6.53473e+30
SDD proceeding with computation,1 properties remain. new max is 32768
SDD size :6.53473e+30 after 4.06897e+40
SDD proceeding with computation,1 properties remain. new max is 65536
SDD size :4.06897e+40 after 2.3034e+52
SDD proceeding with computation,1 properties remain. new max is 131072
SDD size :2.3034e+52 after 2.1231e+75
SDD proceeding with computation,1 properties remain. new max is 262144
SDD size :2.1231e+75 after 3.98598e+122
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="ShieldRVs-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 ShieldRVs-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 r235-smll-162106564600175"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-100B.tgz
mv ShieldRVs-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 ;