About the Execution of ITS-Tools for FunctionPointer-PT-b032
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12883.075 | 3600000.00 | 12410926.00 | 15869.60 | TTTTF?FTFTF?TFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r312-tall-165472282300454.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-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 FunctionPointer-PT-b032, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r312-tall-165472282300454
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 7.9K Jun 7 17:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Jun 7 17:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Jun 7 17:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Jun 7 17:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Jun 6 15:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Jun 6 15:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Jun 6 15:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 6 15:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 6 12:11 NewModel
-rw-r--r-- 1 mcc users 13K Jun 7 17:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Jun 7 17:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Jun 7 17:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 39K Jun 7 17:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 6 15:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 6 15:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 equiv_col
-rw-r--r-- 1 mcc users 5 Jun 6 12:11 instance
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 iscolored
-rw-r--r-- 1 mcc users 391K Jun 6 12:11 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 FunctionPointer-PT-b032-ReachabilityCardinality-00
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-01
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-02
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-03
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-04
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-05
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-06
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-07
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-08
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-09
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-10
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-11
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-12
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-13
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-14
FORMULA_NAME FunctionPointer-PT-b032-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1654841284829
Running Version 202205111006
[2022-06-10 06:08:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-10 06:08:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-10 06:08:06] [INFO ] Load time of PNML (sax parser for PT used): 149 ms
[2022-06-10 06:08:06] [INFO ] Transformed 306 places.
[2022-06-10 06:08:06] [INFO ] Transformed 840 transitions.
[2022-06-10 06:08:06] [INFO ] Parsed PT model containing 306 places and 840 transitions in 258 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 23 ms.
Working with output stream class java.io.PrintStream
Deduced a syphon composed of 84 places in 7 ms
Reduce places removed 84 places and 192 transitions.
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10001 steps, including 7 resets, run finished after 322 ms. (steps per millisecond=31 ) properties (out of 11) seen :5
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=238 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=256 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 9 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 6) seen :0
Running SMT prover for 6 properties.
[2022-06-10 06:08:06] [INFO ] Flow matrix only has 414 transitions (discarded 234 similar events)
// Phase 1: matrix 414 rows 222 cols
[2022-06-10 06:08:06] [INFO ] Computed 4 place invariants in 24 ms
[2022-06-10 06:08:07] [INFO ] After 211ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:6
[2022-06-10 06:08:07] [INFO ] [Nat]Absence check using 3 positive place invariants in 1 ms returned sat
[2022-06-10 06:08:07] [INFO ] [Nat]Absence check using 3 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 06:08:07] [INFO ] After 236ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :6
[2022-06-10 06:08:07] [INFO ] State equation strengthened by 65 read => feed constraints.
[2022-06-10 06:08:07] [INFO ] After 129ms SMT Verify possible using 65 Read/Feed constraints in natural domain returned unsat :0 sat :6
[2022-06-10 06:08:07] [INFO ] After 352ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :6
Attempting to minimize the solution found.
Minimization took 124 ms.
[2022-06-10 06:08:07] [INFO ] After 831ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :6
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-06 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Parikh walk visited 1 properties in 8849 ms.
Support contains 32 out of 222 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 222/222 places, 648/648 transitions.
Graph (complete) has 932 edges and 222 vertex of which 201 are kept as prefixes of interest. Removing 21 places using SCC suffix rule.16 ms
Discarding 21 places :
Also discarding 0 output transitions
Drop transitions removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 0 with 27 rules applied. Total rules applied 28 place count 201 transition count 621
Discarding 22 places :
Symmetric choice reduction at 1 with 22 rule applications. Total rules 50 place count 179 transition count 485
Iterating global reduction 1 with 22 rules applied. Total rules applied 72 place count 179 transition count 485
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 1 with 34 rules applied. Total rules applied 106 place count 179 transition count 451
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 117 place count 168 transition count 429
Iterating global reduction 2 with 11 rules applied. Total rules applied 128 place count 168 transition count 429
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 136 place count 168 transition count 421
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 140 place count 164 transition count 413
Iterating global reduction 3 with 4 rules applied. Total rules applied 144 place count 164 transition count 413
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 148 place count 160 transition count 397
Iterating global reduction 3 with 4 rules applied. Total rules applied 152 place count 160 transition count 397
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 156 place count 156 transition count 389
Iterating global reduction 3 with 4 rules applied. Total rules applied 160 place count 156 transition count 389
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 161 place count 155 transition count 385
Iterating global reduction 3 with 1 rules applied. Total rules applied 162 place count 155 transition count 385
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 163 place count 154 transition count 381
Iterating global reduction 3 with 1 rules applied. Total rules applied 164 place count 154 transition count 381
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 165 place count 153 transition count 379
Iterating global reduction 3 with 1 rules applied. Total rules applied 166 place count 153 transition count 379
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 167 place count 152 transition count 377
Iterating global reduction 3 with 1 rules applied. Total rules applied 168 place count 152 transition count 377
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 3 with 14 rules applied. Total rules applied 182 place count 152 transition count 363
Applied a total of 182 rules in 140 ms. Remains 152 /222 variables (removed 70) and now considering 363/648 (removed 285) transitions.
Finished structural reductions, in 1 iterations. Remains : 152/222 places, 363/648 transitions.
Incomplete random walk after 1000005 steps, including 3 resets, run finished after 10649 ms. (steps per millisecond=93 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 1000001 steps, including 4 resets, run finished after 1853 ms. (steps per millisecond=539 ) properties (out of 5) seen :1
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-00 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1294 ms. (steps per millisecond=772 ) properties (out of 4) seen :2
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-07 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA FunctionPointer-PT-b032-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 1000001 steps, including 5 resets, run finished after 1392 ms. (steps per millisecond=718 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000000 steps, including 24 resets, run finished after 1483 ms. (steps per millisecond=674 ) properties (out of 2) seen :0
Running SMT prover for 2 properties.
[2022-06-10 06:08:33] [INFO ] Flow matrix only has 247 transitions (discarded 116 similar events)
// Phase 1: matrix 247 rows 152 cols
[2022-06-10 06:08:33] [INFO ] Computed 2 place invariants in 4 ms
[2022-06-10 06:08:33] [INFO ] After 45ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-06-10 06:08:33] [INFO ] [Nat]Absence check using 1 positive place invariants in 0 ms returned sat
[2022-06-10 06:08:33] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 06:08:33] [INFO ] After 70ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2022-06-10 06:08:33] [INFO ] State equation strengthened by 50 read => feed constraints.
[2022-06-10 06:08:33] [INFO ] After 30ms SMT Verify possible using 50 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2022-06-10 06:08:33] [INFO ] After 76ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 42 ms.
[2022-06-10 06:08:33] [INFO ] After 250ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Parikh walk visited 0 properties in 1146 ms.
Support contains 19 out of 152 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 152/152 places, 363/363 transitions.
Graph (complete) has 612 edges and 152 vertex of which 151 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.0 ms
Discarding 1 places :
Also discarding 0 output transitions
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 6 place count 146 transition count 349
Iterating global reduction 0 with 5 rules applied. Total rules applied 11 place count 146 transition count 349
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 13 place count 146 transition count 347
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 17 place count 142 transition count 339
Iterating global reduction 1 with 4 rules applied. Total rules applied 21 place count 142 transition count 339
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 25 place count 138 transition count 329
Iterating global reduction 1 with 4 rules applied. Total rules applied 29 place count 138 transition count 329
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 33 place count 134 transition count 319
Iterating global reduction 1 with 4 rules applied. Total rules applied 37 place count 134 transition count 319
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 41 place count 130 transition count 311
Iterating global reduction 1 with 4 rules applied. Total rules applied 45 place count 130 transition count 311
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 48 place count 127 transition count 303
Iterating global reduction 1 with 3 rules applied. Total rules applied 51 place count 127 transition count 303
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 54 place count 124 transition count 297
Iterating global reduction 1 with 3 rules applied. Total rules applied 57 place count 124 transition count 297
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 58 place count 123 transition count 295
Iterating global reduction 1 with 1 rules applied. Total rules applied 59 place count 123 transition count 295
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 60 place count 122 transition count 293
Iterating global reduction 1 with 1 rules applied. Total rules applied 61 place count 122 transition count 293
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 62 place count 121 transition count 291
Iterating global reduction 1 with 1 rules applied. Total rules applied 63 place count 121 transition count 291
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 64 place count 120 transition count 289
Iterating global reduction 1 with 1 rules applied. Total rules applied 65 place count 120 transition count 289
Applied a total of 65 rules in 43 ms. Remains 120 /152 variables (removed 32) and now considering 289/363 (removed 74) transitions.
Finished structural reductions, in 1 iterations. Remains : 120/152 places, 289/363 transitions.
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 3615 ms. (steps per millisecond=276 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 3 resets, run finished after 1345 ms. (steps per millisecond=743 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 5 resets, run finished after 1515 ms. (steps per millisecond=660 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 3113842 steps, run timeout after 18001 ms. (steps per millisecond=172 ) properties seen :{}
Probabilistic random walk after 3113842 steps, saw 1888880 distinct states, run finished after 18003 ms. (steps per millisecond=172 ) properties seen :0
Running SMT prover for 2 properties.
[2022-06-10 06:08:59] [INFO ] Flow matrix only has 196 transitions (discarded 93 similar events)
// Phase 1: matrix 196 rows 120 cols
[2022-06-10 06:08:59] [INFO ] Computed 2 place invariants in 7 ms
[2022-06-10 06:08:59] [INFO ] After 42ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-06-10 06:08:59] [INFO ] [Nat]Absence check using 1 positive place invariants in 0 ms returned sat
[2022-06-10 06:08:59] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2022-06-10 06:08:59] [INFO ] After 57ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2022-06-10 06:08:59] [INFO ] State equation strengthened by 42 read => feed constraints.
[2022-06-10 06:08:59] [INFO ] After 30ms SMT Verify possible using 42 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2022-06-10 06:08:59] [INFO ] After 65ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 25 ms.
[2022-06-10 06:08:59] [INFO ] After 188ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Parikh walk visited 0 properties in 1032 ms.
Support contains 19 out of 120 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 120/120 places, 289/289 transitions.
Applied a total of 0 rules in 8 ms. Remains 120 /120 variables (removed 0) and now considering 289/289 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 120/120 places, 289/289 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 120/120 places, 289/289 transitions.
Applied a total of 0 rules in 8 ms. Remains 120 /120 variables (removed 0) and now considering 289/289 (removed 0) transitions.
[2022-06-10 06:09:00] [INFO ] Flow matrix only has 196 transitions (discarded 93 similar events)
// Phase 1: matrix 196 rows 120 cols
[2022-06-10 06:09:00] [INFO ] Computed 2 place invariants in 4 ms
[2022-06-10 06:09:01] [INFO ] Implicit Places using invariants in 80 ms returned []
[2022-06-10 06:09:01] [INFO ] Flow matrix only has 196 transitions (discarded 93 similar events)
// Phase 1: matrix 196 rows 120 cols
[2022-06-10 06:09:01] [INFO ] Computed 2 place invariants in 1 ms
[2022-06-10 06:09:01] [INFO ] State equation strengthened by 42 read => feed constraints.
[2022-06-10 06:09:01] [INFO ] Implicit Places using invariants and state equation in 183 ms returned []
Implicit Place search using SMT with State Equation took 267 ms to find 0 implicit places.
[2022-06-10 06:09:01] [INFO ] Redundant transitions in 16 ms returned []
[2022-06-10 06:09:01] [INFO ] Flow matrix only has 196 transitions (discarded 93 similar events)
// Phase 1: matrix 196 rows 120 cols
[2022-06-10 06:09:01] [INFO ] Computed 2 place invariants in 1 ms
[2022-06-10 06:09:01] [INFO ] Dead Transitions using invariants and state equation in 112 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 120/120 places, 289/289 transitions.
Incomplete random walk after 1000021 steps, including 2 resets, run finished after 4286 ms. (steps per millisecond=233 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 19 resets, run finished after 1294 ms. (steps per millisecond=772 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 18 resets, run finished after 1416 ms. (steps per millisecond=706 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 3080634 steps, run timeout after 18001 ms. (steps per millisecond=171 ) properties seen :{}
Probabilistic random walk after 3080634 steps, saw 1868227 distinct states, run finished after 18001 ms. (steps per millisecond=171 ) properties seen :0
Running SMT prover for 2 properties.
[2022-06-10 06:09:26] [INFO ] Flow matrix only has 196 transitions (discarded 93 similar events)
// Phase 1: matrix 196 rows 120 cols
[2022-06-10 06:09:26] [INFO ] Computed 2 place invariants in 3 ms
[2022-06-10 06:09:26] [INFO ] After 44ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-06-10 06:09:26] [INFO ] [Nat]Absence check using 1 positive place invariants in 0 ms returned sat
[2022-06-10 06:09:26] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 06:09:26] [INFO ] After 53ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2022-06-10 06:09:26] [INFO ] State equation strengthened by 42 read => feed constraints.
[2022-06-10 06:09:26] [INFO ] After 37ms SMT Verify possible using 42 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2022-06-10 06:09:26] [INFO ] After 70ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 25 ms.
[2022-06-10 06:09:26] [INFO ] After 200ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Parikh walk visited 0 properties in 1341 ms.
Support contains 19 out of 120 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 120/120 places, 289/289 transitions.
Applied a total of 0 rules in 20 ms. Remains 120 /120 variables (removed 0) and now considering 289/289 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 120/120 places, 289/289 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 120/120 places, 289/289 transitions.
Applied a total of 0 rules in 7 ms. Remains 120 /120 variables (removed 0) and now considering 289/289 (removed 0) transitions.
[2022-06-10 06:09:27] [INFO ] Flow matrix only has 196 transitions (discarded 93 similar events)
// Phase 1: matrix 196 rows 120 cols
[2022-06-10 06:09:27] [INFO ] Computed 2 place invariants in 1 ms
[2022-06-10 06:09:28] [INFO ] Implicit Places using invariants in 70 ms returned []
[2022-06-10 06:09:28] [INFO ] Flow matrix only has 196 transitions (discarded 93 similar events)
// Phase 1: matrix 196 rows 120 cols
[2022-06-10 06:09:28] [INFO ] Computed 2 place invariants in 9 ms
[2022-06-10 06:09:28] [INFO ] State equation strengthened by 42 read => feed constraints.
[2022-06-10 06:09:28] [INFO ] Implicit Places using invariants and state equation in 165 ms returned []
Implicit Place search using SMT with State Equation took 236 ms to find 0 implicit places.
[2022-06-10 06:09:28] [INFO ] Redundant transitions in 5 ms returned []
[2022-06-10 06:09:28] [INFO ] Flow matrix only has 196 transitions (discarded 93 similar events)
// Phase 1: matrix 196 rows 120 cols
[2022-06-10 06:09:28] [INFO ] Computed 2 place invariants in 1 ms
[2022-06-10 06:09:28] [INFO ] Dead Transitions using invariants and state equation in 106 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 120/120 places, 289/289 transitions.
Ensure Unique test removed 93 transitions
Reduce isomorphic transitions removed 93 transitions.
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 0 with 100 rules applied. Total rules applied 100 place count 120 transition count 189
Reduce places removed 7 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 1 with 11 rules applied. Total rules applied 111 place count 113 transition count 185
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 115 place count 109 transition count 185
Performed 16 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 16 Pre rules applied. Total rules applied 115 place count 109 transition count 169
Deduced a syphon composed of 16 places in 0 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 3 with 32 rules applied. Total rules applied 147 place count 93 transition count 169
Performed 15 Post agglomeration using F-continuation condition.Transition count delta: 15
Deduced a syphon composed of 15 places in 0 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 3 with 30 rules applied. Total rules applied 177 place count 78 transition count 154
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 181 place count 74 transition count 146
Iterating global reduction 3 with 4 rules applied. Total rules applied 185 place count 74 transition count 146
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 187 place count 72 transition count 142
Iterating global reduction 3 with 2 rules applied. Total rules applied 189 place count 72 transition count 142
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 191 place count 70 transition count 138
Iterating global reduction 3 with 2 rules applied. Total rules applied 193 place count 70 transition count 138
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 194 place count 70 transition count 137
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -7
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 198 place count 68 transition count 144
Drop transitions removed 5 transitions
Redundant transition composition rules discarded 5 transitions
Iterating global reduction 4 with 5 rules applied. Total rules applied 203 place count 68 transition count 139
Free-agglomeration rule applied 2 times.
Iterating global reduction 4 with 2 rules applied. Total rules applied 205 place count 68 transition count 137
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 207 place count 66 transition count 137
Applied a total of 207 rules in 31 ms. Remains 66 /120 variables (removed 54) and now considering 137/289 (removed 152) transitions.
Running SMT prover for 2 properties.
// Phase 1: matrix 137 rows 66 cols
[2022-06-10 06:09:28] [INFO ] Computed 2 place invariants in 1 ms
[2022-06-10 06:09:28] [INFO ] After 25ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-06-10 06:09:28] [INFO ] [Nat]Absence check using 1 positive place invariants in 0 ms returned sat
[2022-06-10 06:09:28] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 06:09:28] [INFO ] After 33ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2022-06-10 06:09:28] [INFO ] State equation strengthened by 2 read => feed constraints.
[2022-06-10 06:09:28] [INFO ] After 18ms SMT Verify possible using 2 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2022-06-10 06:09:28] [INFO ] After 80ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 20 ms.
[2022-06-10 06:09:28] [INFO ] After 167ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
[2022-06-10 06:09:28] [INFO ] Flatten gal took : 38 ms
[2022-06-10 06:09:28] [INFO ] Flatten gal took : 14 ms
[2022-06-10 06:09:28] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6533452364727972023.gal : 6 ms
[2022-06-10 06:09:28] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12895793712177906964.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality6533452364727972023.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality12895793712177906964.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...320
Loading property file /tmp/ReachabilityCardinality12895793712177906964.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :5 after 31
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :31 after 125
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :125 after 715
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :715 after 7296
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :7296 after 265986
Detected timeout of ITS tools.
[2022-06-10 06:09:43] [INFO ] Flatten gal took : 10 ms
[2022-06-10 06:09:43] [INFO ] Applying decomposition
[2022-06-10 06:09:43] [INFO ] Flatten gal took : 9 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph17923210576191077384.txt' '-o' '/tmp/graph17923210576191077384.bin' '-w' '/tmp/graph17923210576191077384.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17923210576191077384.bin' '-l' '-1' '-v' '-w' '/tmp/graph17923210576191077384.weights' '-q' '0' '-e' '0.001'
[2022-06-10 06:09:43] [INFO ] Decomposing Gal with order
[2022-06-10 06:09:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-10 06:09:43] [INFO ] Removed a total of 138 redundant transitions.
[2022-06-10 06:09:43] [INFO ] Flatten gal took : 47 ms
[2022-06-10 06:09:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 19 labels/synchronizations in 4 ms.
[2022-06-10 06:09:43] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15037219032271161188.gal : 3 ms
[2022-06-10 06:09:43] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality912922590396040838.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality15037219032271161188.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality912922590396040838.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...319
Loading property file /tmp/ReachabilityCardinality912922590396040838.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :5 after 10
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :10 after 19
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :19 after 189
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :189 after 5425
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :5425 after 265986
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7787877165471908541
[2022-06-10 06:09:59] [INFO ] Built C files in 10ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7787877165471908541
Running compilation step : cd /tmp/ltsmin7787877165471908541;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
Compilation finished in 303 ms.
Running link step : cd /tmp/ltsmin7787877165471908541;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 41 ms.
Running LTSmin : cd /tmp/ltsmin7787877165471908541;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '--when' '-i' 'FunctionPointerPTb032ReachabilityCardinality05==true'
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
[2022-06-10 06:10:14] [INFO ] Flatten gal took : 30 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin15232283027475521776
[2022-06-10 06:10:14] [INFO ] Computing symmetric may disable matrix : 289 transitions.
[2022-06-10 06:10:14] [INFO ] Computation of Complete disable matrix. took 3 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-10 06:10:14] [INFO ] Applying decomposition
[2022-06-10 06:10:14] [INFO ] Computing symmetric may enable matrix : 289 transitions.
[2022-06-10 06:10:14] [INFO ] Computation of Complete enable matrix. took 2 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-10 06:10:14] [INFO ] Computing Do-Not-Accords matrix : 289 transitions.
[2022-06-10 06:10:14] [INFO ] Computation of Completed DNA matrix. took 7 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-10 06:10:14] [INFO ] Built C files in 59ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15232283027475521776
[2022-06-10 06:10:14] [INFO ] Flatten gal took : 65 ms
Running compilation step : cd /tmp/ltsmin15232283027475521776;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '360' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2022-06-10 06:10:14] [INFO ] Flatten gal took : 36 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph15080407360979987079.txt' '-o' '/tmp/graph15080407360979987079.bin' '-w' '/tmp/graph15080407360979987079.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15080407360979987079.bin' '-l' '-1' '-v' '-w' '/tmp/graph15080407360979987079.weights' '-q' '0' '-e' '0.001'
[2022-06-10 06:10:14] [INFO ] Decomposing Gal with order
[2022-06-10 06:10:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-10 06:10:14] [INFO ] Input system was already deterministic with 289 transitions.
[2022-06-10 06:10:14] [INFO ] Removed a total of 40 redundant transitions.
[2022-06-10 06:10:14] [INFO ] Flatten gal took : 73 ms
[2022-06-10 06:10:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 74 labels/synchronizations in 3 ms.
[2022-06-10 06:10:14] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10175541017310005873.gal : 3 ms
[2022-06-10 06:10:14] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7271346886622452024.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality10175541017310005873.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7271346886622452024.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...320
Loading property file /tmp/ReachabilityCardinality7271346886622452024.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 27
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :27 after 686
[2022-06-10 06:10:14] [INFO ] Ran tautology test, simplified 0 / 2 in 452 ms.
[2022-06-10 06:10:15] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=0 took 145 ms
[2022-06-10 06:10:15] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=0 took 3 ms
Compilation finished in 834 ms.
Running link step : cd /tmp/ltsmin15232283027475521776;'gcc' '-shared' '-o' 'gal.so' 'model.o'
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :686 after 74570
Link finished in 57 ms.
Running LTSmin : cd /tmp/ltsmin15232283027475521776;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'FunctionPointerPTb032ReachabilityCardinality05==true'
[2022-06-10 06:10:15] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=1 took 55 ms
[2022-06-10 06:10:15] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=1 took 73 ms
[2022-06-10 06:10:15] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=2 took 69 ms
[2022-06-10 06:10:15] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=2 took 67 ms
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 196 out of 289 initially.
// Phase 1: matrix 196 rows 120 cols
[2022-06-10 06:10:15] [INFO ] Computed 2 place invariants in 1 ms
[2022-06-10 06:10:15] [INFO ] Computed 2 place invariants in 2 ms
[2022-06-10 06:10:15] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=3 took 195 ms
[2022-06-10 06:10:15] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=3 took 149 ms
[2022-06-10 06:10:16] [INFO ] Proved 120 variables to be positive in 1035 ms
[2022-06-10 06:10:16] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-05
[2022-06-10 06:10:16] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(SAT) depth K=0 took 89 ms
[2022-06-10 06:10:16] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-11
[2022-06-10 06:10:16] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(SAT) depth K=0 took 182 ms
[2022-06-10 06:10:16] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-05
[2022-06-10 06:10:16] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(SAT) depth K=1 took 196 ms
[2022-06-10 06:10:17] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-11
[2022-06-10 06:10:17] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(SAT) depth K=1 took 112 ms
[2022-06-10 06:10:17] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-05
[2022-06-10 06:10:17] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(SAT) depth K=2 took 785 ms
[2022-06-10 06:10:18] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-11
[2022-06-10 06:10:18] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(SAT) depth K=2 took 414 ms
[2022-06-10 06:10:19] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-05
[2022-06-10 06:10:19] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(SAT) depth K=3 took 785 ms
[2022-06-10 06:10:20] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=4 took 4645 ms
[2022-06-10 06:10:22] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=4 took 1654 ms
[2022-06-10 06:10:24] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-11
[2022-06-10 06:10:24] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(SAT) depth K=3 took 5788 ms
[2022-06-10 06:10:30] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=5 took 7986 ms
[2022-06-10 06:10:43] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=5 took 13676 ms
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :74570 after 1.44854e+08
[2022-06-10 06:10:50] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-05
[2022-06-10 06:10:50] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(SAT) depth K=4 took 26080 ms
[2022-06-10 06:11:12] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-11
[2022-06-10 06:11:12] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(SAT) depth K=4 took 21114 ms
[2022-06-10 06:11:18] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=6 took 35143 ms
[2022-06-10 06:11:42] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=6 took 23752 ms
[2022-06-10 06:11:48] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-05
[2022-06-10 06:11:48] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(SAT) depth K=5 took 36877 ms
[2022-06-10 06:12:37] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=7 took 55114 ms
[2022-06-10 06:12:52] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-11
[2022-06-10 06:12:52] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(SAT) depth K=5 took 63714 ms
[2022-06-10 06:13:01] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-05
[2022-06-10 06:13:01] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(SAT) depth K=6 took 8444 ms
[2022-06-10 06:13:30] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=7 took 52932 ms
[2022-06-10 06:14:22] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-11
[2022-06-10 06:14:22] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(SAT) depth K=6 took 81571 ms
[2022-06-10 06:15:10] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=8 took 99546 ms
[2022-06-10 06:15:30] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-05
[2022-06-10 06:15:30] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(SAT) depth K=7 took 67781 ms
[2022-06-10 06:17:10] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=8 took 120573 ms
[2022-06-10 06:18:04] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=9 took 53527 ms
[2022-06-10 06:18:16] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-11
[2022-06-10 06:18:16] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(SAT) depth K=7 took 165899 ms
[2022-06-10 06:20:53] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=9 took 168798 ms
[2022-06-10 06:22:07] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-05
[2022-06-10 06:22:07] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(SAT) depth K=8 took 231144 ms
[2022-06-10 06:24:42] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=10 took 229022 ms
[2022-06-10 06:25:23] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-11
[2022-06-10 06:25:23] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(SAT) depth K=8 took 196193 ms
[2022-06-10 06:27:56] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=10 took 194274 ms
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :1.44854e+08 after 1.7055e+13
[2022-06-10 06:30:39] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-05
[2022-06-10 06:30:39] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(SAT) depth K=9 took 315756 ms
Detected timeout of ITS tools.
[2022-06-10 06:30:56] [INFO ] Applying decomposition
[2022-06-10 06:30:57] [INFO ] Flatten gal took : 64 ms
[2022-06-10 06:30:57] [INFO ] Decomposing Gal with order
[2022-06-10 06:30:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l8 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l16 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l24 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l26 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l28 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l37 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l38 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l39 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l46 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l47 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l58 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l60 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l61 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l65 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l90 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l92 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l94 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l95 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l96 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l98 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l100 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l102 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l103 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l105 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l112 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l114 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l116 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l117 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l118 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l132 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l133 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l134 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l136 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l148 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l150 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l152 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l160 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l166 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l168 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l184 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l195 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l207 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l223 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l224 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l228 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l230 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l238 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l256 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l272 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l273 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l274 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l276 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l278 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [INFO ] Could not find partition element corresponding to l279 in partition [s1, s3, s5, l106, l108, l109, l140, l156],[s0, s2, s4, l88, l110, l142, l248],[l0, l20, l32, l33, l34, l35, l40, l41, l42, l43, l45],[l36, l44],[l49, l57],[l89, l97],[l91, l99, l275],[l93, l101, l277],[l104, l120, l128],[l141, l144],[l158, l246],[l174, l176],[l215, l232, l240],[l236, l244],[l252, l260],[l254, l262],[l50, l66, l130, l164],[l52, l53, l68, l69],[l30, l203],
[2022-06-10 06:30:57] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.lang.ArrayIndexOutOfBoundsException: Index -1 out of bounds for length 32
at org.eclipse.emf.common.util.BasicEList.get(BasicEList.java:348)
at fr.lip6.move.gal.instantiate.CompositeBuilder.galToCompositeWithPartition(CompositeBuilder.java:564)
at fr.lip6.move.gal.instantiate.CompositeBuilder.decomposeWithOrder(CompositeBuilder.java:147)
at fr.lip6.move.gal.application.mcc.MccTranslator.applyOrder(MccTranslator.java:231)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:264)
at fr.lip6.move.gal.application.runner.its.MultiOrderRunner.runMultiITS(MultiOrderRunner.java:116)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:957)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2022-06-10 06:30:57] [INFO ] Flatten gal took : 64 ms
[2022-06-10 06:30:57] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality18426748591587865322.gal : 2 ms
[2022-06-10 06:30:57] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11386316794132416602.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality18426748591587865322.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality11386316794132416602.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...321
Loading property file /tmp/ReachabilityCardinality11386316794132416602.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 31
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :31 after 1076
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :1076 after 218133
[2022-06-10 06:33:39] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=11 took 342879 ms
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :218133 after 1.33597e+09
[2022-06-10 06:37:04] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-11
[2022-06-10 06:37:04] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(SAT) depth K=9 took 385291 ms
pins2lts-mc-linux64, 0.000: Registering PINS so language module
pins2lts-mc-linux64( 5/ 8), 0.015: library has no initializer
pins2lts-mc-linux64( 5/ 8), 0.015: loading model GAL
pins2lts-mc-linux64( 5/ 8), 0.020: completed loading model GAL
pins2lts-mc-linux64( 0/ 8), 0.031: Loading model from ./gal.so
pins2lts-mc-linux64( 0/ 8), 0.031: library has no initializer
pins2lts-mc-linux64( 0/ 8), 0.031: loading model GAL
pins2lts-mc-linux64( 0/ 8), 0.034: completed loading model GAL
pins2lts-mc-linux64( 0/ 8), 0.034: Initializing POR dependencies: labels 291, guards 289
pins2lts-mc-linux64( 2/ 8), 0.027: library has no initializer
pins2lts-mc-linux64( 2/ 8), 0.027: loading model GAL
pins2lts-mc-linux64( 1/ 8), 0.032: library has no initializer
pins2lts-mc-linux64( 1/ 8), 0.032: loading model GAL
pins2lts-mc-linux64( 7/ 8), 0.041: library has no initializer
pins2lts-mc-linux64( 7/ 8), 0.041: loading model GAL
pins2lts-mc-linux64( 2/ 8), 0.029: completed loading model GAL
pins2lts-mc-linux64( 1/ 8), 0.034: completed loading model GAL
pins2lts-mc-linux64( 7/ 8), 0.043: completed loading model GAL
pins2lts-mc-linux64( 6/ 8), 0.031: library has no initializer
pins2lts-mc-linux64( 6/ 8), 0.032: loading model GAL
pins2lts-mc-linux64( 6/ 8), 0.034: completed loading model GAL
pins2lts-mc-linux64( 4/ 8), 0.039: library has no initializer
pins2lts-mc-linux64( 4/ 8), 0.039: loading model GAL
pins2lts-mc-linux64( 3/ 8), 0.041: library has no initializer
pins2lts-mc-linux64( 3/ 8), 0.063: loading model GAL
pins2lts-mc-linux64( 3/ 8), 0.066: completed loading model GAL
pins2lts-mc-linux64( 4/ 8), 0.077: completed loading model GAL
pins2lts-mc-linux64( 0/ 8), 0.206: Forcing use of the an ignoring proviso (closed-set)
pins2lts-mc-linux64( 4/ 8), 0.339: "FunctionPointerPTb032ReachabilityCardinality05==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 0/ 8), 0.349: "FunctionPointerPTb032ReachabilityCardinality05==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 0/ 8), 0.350: There are 291 state labels and 1 edge labels
pins2lts-mc-linux64( 0/ 8), 0.350: State length is 120, there are 289 groups
pins2lts-mc-linux64( 0/ 8), 0.350: Running bfs using 8 cores
pins2lts-mc-linux64( 0/ 8), 0.350: Using a non-indexing tree table with 2^27 elements
pins2lts-mc-linux64( 0/ 8), 0.350: Successor permutation: none
pins2lts-mc-linux64( 0/ 8), 0.350: Visible groups: 0 / 289, labels: 1 / 291
pins2lts-mc-linux64( 1/ 8), 0.339: "FunctionPointerPTb032ReachabilityCardinality05==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 3/ 8), 0.348: "FunctionPointerPTb032ReachabilityCardinality05==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 6/ 8), 0.335: "FunctionPointerPTb032ReachabilityCardinality05==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 7/ 8), 0.349: "FunctionPointerPTb032ReachabilityCardinality05==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 5/ 8), 0.350: "FunctionPointerPTb032ReachabilityCardinality05==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 0/ 8), 0.350: POR cycle proviso: closed-set
pins2lts-mc-linux64( 0/ 8), 0.350: Global bits: 0, count bits: 0, local bits: 0
pins2lts-mc-linux64( 2/ 8), 0.351: "FunctionPointerPTb032ReachabilityCardinality05==true" is not a file, parsing as formula...
pins2lts-mc-linux64( 0/ 8), 0.381: ~7 levels ~960 states ~4624 transitions
pins2lts-mc-linux64( 0/ 8), 0.413: ~7 levels ~1920 states ~9632 transitions
pins2lts-mc-linux64( 7/ 8), 1.533: ~5 levels ~3840 states ~17792 transitions
pins2lts-mc-linux64( 7/ 8), 2.476: ~6 levels ~7680 states ~37848 transitions
pins2lts-mc-linux64( 6/ 8), 3.404: ~8 levels ~15360 states ~95536 transitions
pins2lts-mc-linux64( 7/ 8), 4.595: ~8 levels ~30720 states ~158872 transitions
pins2lts-mc-linux64( 7/ 8), 8.513: ~9 levels ~61440 states ~326520 transitions
pins2lts-mc-linux64( 7/ 8), 16.482: ~10 levels ~122880 states ~667104 transitions
pins2lts-mc-linux64( 7/ 8), 29.520: ~11 levels ~245760 states ~1351088 transitions
pins2lts-mc-linux64( 3/ 8), 53.202: ~12 levels ~491520 states ~2869312 transitions
pins2lts-mc-linux64( 5/ 8), 75.543: ~12 levels ~983040 states ~6435168 transitions
pins2lts-mc-linux64( 2/ 8), 104.380: ~14 levels ~1966080 states ~11127232 transitions
pins2lts-mc-linux64( 2/ 8), 156.161: ~15 levels ~3932160 states ~22638440 transitions
pins2lts-mc-linux64( 4/ 8), 263.785: ~15 levels ~7864320 states ~46616784 transitions
pins2lts-mc-linux64( 2/ 8), 445.063: ~18 levels ~15728640 states ~94667200 transitions
pins2lts-mc-linux64( 2/ 8), 768.654: ~19 levels ~31457280 states ~190864776 transitions
pins2lts-mc-linux64( 2/ 8), 1408.826: ~20 levels ~62914560 states ~382838232 transitions
pins2lts-mc-linux64( 1/ 8), 1745.053: Error: tree roots table full! Change -s/--ratio.
pins2lts-mc-linux64( 0/ 8), 1745.113:
pins2lts-mc-linux64( 0/ 8), 1745.113: mean standard work distribution: 5.4% (states) 1.5% (transitions)
pins2lts-mc-linux64( 0/ 8), 1745.113:
pins2lts-mc-linux64( 0/ 8), 1745.113: Explored 72434145 states 479406214 transitions, fanout: 6.619
pins2lts-mc-linux64( 0/ 8), 1745.113: Total exploration time 1744.740 sec (1744.690 sec minimum, 1744.711 sec on average)
pins2lts-mc-linux64( 0/ 8), 1745.113: States per second: 41516, Transitions per second: 274772
pins2lts-mc-linux64( 0/ 8), 1745.113: Ignoring proviso: 0
pins2lts-mc-linux64( 0/ 8), 1745.113:
pins2lts-mc-linux64( 0/ 8), 1745.113: Queue width: 8B, total height: 61788134, memory: 471.41MB
pins2lts-mc-linux64( 0/ 8), 1745.113: Tree memory: 1223.8MB, 9.6 B/state, compr.: 2.0%
pins2lts-mc-linux64( 0/ 8), 1745.113: Tree fill ratio (roots/leafs): 99.0%/78.0%
pins2lts-mc-linux64( 0/ 8), 1745.113: Stored 291 string chucks using 0MB
pins2lts-mc-linux64( 0/ 8), 1745.113: Total memory used for chunk indexing: 0MB
pins2lts-mc-linux64( 0/ 8), 1745.113: Est. total memory use: 1695.2MB (~1495.4MB paged-in)
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Unexpected exception when executing ltsmin :cd /tmp/ltsmin15232283027475521776;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'FunctionPointerPTb032ReachabilityCardinality05==true'
255
java.lang.RuntimeException: Unexpected exception when executing ltsmin :cd /tmp/ltsmin15232283027475521776;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'FunctionPointerPTb032ReachabilityCardinality05==true'
255
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner.checkProperty(LTSminRunner.java:242)
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.checkProperties(LTSminRunner.java:177)
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:115)
at java.base/java.lang.Thread.run(Thread.java:829)
[2022-06-10 06:39:24] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=11 took 344698 ms
[2022-06-10 06:40:02] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-05
[2022-06-10 06:40:02] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(SAT) depth K=10 took 177600 ms
[2022-06-10 06:42:11] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=12 took 167218 ms
[2022-06-10 06:42:16] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-11
[2022-06-10 06:42:16] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(SAT) depth K=10 took 133973 ms
[2022-06-10 06:43:54] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=12 took 103009 ms
[2022-06-10 06:45:07] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-05
[2022-06-10 06:45:07] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(SAT) depth K=11 took 170566 ms
[2022-06-10 06:47:18] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=13 took 204219 ms
[2022-06-10 06:49:02] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=13 took 104410 ms
Detected timeout of ITS tools.
[2022-06-10 06:51:39] [INFO ] Flatten gal took : 27 ms
[2022-06-10 06:51:39] [INFO ] Input system was already deterministic with 289 transitions.
[2022-06-10 06:51:39] [INFO ] Transformed 120 places.
[2022-06-10 06:51:39] [INFO ] Transformed 289 transitions.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar' '/home/mcc/execution/gspn'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2' '/home/mcc/execution/gspn' '-META' '-varord-only'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2022-06-10 06:51:39] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10288571323507567378.gal : 1 ms
[2022-06-10 06:51:39] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6622979043288037589.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality10288571323507567378.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality6622979043288037589.prop' '--nowitness' '--load-order' '/home/mcc/execution/model.ord' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...365
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/ReachabilityCardinality6622979043288037589.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 30
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :30 after 682
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :682 after 45749
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :45749 after 1.0844e+07
[2022-06-10 06:52:40] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=14 took 217597 ms
[2022-06-10 06:54:31] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-11
[2022-06-10 06:54:31] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(SAT) depth K=11 took 564535 ms
[2022-06-10 06:55:09] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=14 took 148610 ms
[2022-06-10 06:57:24] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-05
[2022-06-10 06:57:24] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(SAT) depth K=12 took 173414 ms
[2022-06-10 06:58:02] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-05(UNSAT) depth K=15 took 173408 ms
[2022-06-10 07:01:01] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-b032-ReachabilityCardinality-11
[2022-06-10 07:01:01] [INFO ] KInduction solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(SAT) depth K=12 took 216597 ms
[2022-06-10 07:01:10] [INFO ] BMC solution for property FunctionPointer-PT-b032-ReachabilityCardinality-11(UNSAT) depth K=15 took 188325 ms
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination ReachabilityCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
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="FunctionPointer-PT-b032"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is FunctionPointer-PT-b032, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r312-tall-165472282300454"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FunctionPointer-PT-b032.tgz
mv FunctionPointer-PT-b032 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;