About the Execution of ITS-Tools for CANInsertWithFailure-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16188.636 | 2916874.00 | 0.00 | 20083.80 | ???F?FF??????TFT | 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.r294-smll-165463872400086.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 CANInsertWithFailure-PT-100, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r294-smll-165463872400086
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 61M
-rw-r--r-- 1 mcc users 11K May 30 15:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K May 30 15:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K May 30 15:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K May 30 15:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.9K May 25 12:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 25 12:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K May 25 12:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 25 12:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 29 12:20 NewModel
-rw-r--r-- 1 mcc users 19K May 30 15:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 155K May 30 15:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K May 30 15:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 43K May 30 15:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 25 12:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 25 12:59 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 12:20 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 12:20 instance
-rw-r--r-- 1 mcc users 6 May 29 12:20 iscolored
-rw-r--r-- 1 mcc users 60M May 29 12:20 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 CANInsertWithFailure-PT-100-ReachabilityCardinality-00
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-01
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-02
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-03
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-04
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-05
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-06
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-07
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-08
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-09
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-10
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-11
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-12
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-13
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-14
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1654761485109
Running Version 202205111006
[2022-06-09 07:58:06] [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-09 07:58:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-09 07:58:09] [INFO ] Load time of PNML (sax parser for PT used): 2835 ms
[2022-06-09 07:58:09] [INFO ] Transformed 21204 places.
[2022-06-09 07:58:10] [INFO ] Transformed 60600 transitions.
[2022-06-09 07:58:10] [INFO ] Parsed PT model containing 21204 places and 60600 transitions in 3303 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 140 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 3 resets, run finished after 1950 ms. (steps per millisecond=5 ) properties (out of 16) seen :1
FORMULA CANInsertWithFailure-PT-100-ReachabilityCardinality-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 15) seen :0
Interrupted probabilistic random walk after 78176 steps, run timeout after 6008 ms. (steps per millisecond=13 ) properties seen :{}
Probabilistic random walk after 78176 steps, saw 77159 distinct states, run finished after 6021 ms. (steps per millisecond=12 ) properties seen :0
Running SMT prover for 15 properties.
// Phase 1: matrix 60600 rows 21204 cols
[2022-06-09 07:58:52] [INFO ] Computed 103 place invariants in 32584 ms
[2022-06-09 07:59:04] [INFO ] After 12603ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:15
[2022-06-09 07:59:15] [INFO ] [Nat]Absence check using 101 positive place invariants in 458 ms returned sat
[2022-06-09 07:59:16] [INFO ] [Nat]Absence check using 101 positive and 2 generalized place invariants in 800 ms returned sat
[2022-06-09 07:59:29] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-09 07:59:29] [INFO ] After 25020ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:15
FORMULA CANInsertWithFailure-PT-100-ReachabilityCardinality-06 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 15 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 308 out of 21204 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 21204/21204 places, 60600/60600 transitions.
Graph (complete) has 81501 edges and 21204 vertex of which 21203 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.141 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 675 transitions
Trivial Post-agglo rules discarded 675 transitions
Performed 675 trivial Post agglomeration. Transition count delta: 675
Iterating post reduction 0 with 675 rules applied. Total rules applied 676 place count 21203 transition count 59925
Reduce places removed 675 places and 0 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 1 with 683 rules applied. Total rules applied 1359 place count 20528 transition count 59917
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 1367 place count 20520 transition count 59917
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 6 Pre rules applied. Total rules applied 1367 place count 20520 transition count 59911
Deduced a syphon composed of 6 places in 35 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 3 with 12 rules applied. Total rules applied 1379 place count 20514 transition count 59911
Performed 9076 Post agglomeration using F-continuation condition.Transition count delta: 9076
Deduced a syphon composed of 9076 places in 56 ms
Reduce places removed 9076 places and 0 transitions.
Iterating global reduction 3 with 18152 rules applied. Total rules applied 19531 place count 11438 transition count 50835
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 3 with 6 rules applied. Total rules applied 19537 place count 11438 transition count 50829
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 19543 place count 11432 transition count 50829
Partial Free-agglomeration rule applied 11198 times.
Drop transitions removed 11198 transitions
Iterating global reduction 4 with 11198 rules applied. Total rules applied 30741 place count 11432 transition count 50829
Partial Free-agglomeration rule applied 528 times.
Drop transitions removed 528 transitions
Iterating global reduction 4 with 528 rules applied. Total rules applied 31269 place count 11432 transition count 50829
Applied a total of 31269 rules in 65783 ms. Remains 11432 /21204 variables (removed 9772) and now considering 50829/60600 (removed 9771) transitions.
Finished structural reductions, in 1 iterations. Remains : 11432/21204 places, 50829/60600 transitions.
Interrupted random walk after 337122 steps, including 515 resets, run timeout after 30001 ms. (steps per millisecond=11 ) properties seen 4
FORMULA CANInsertWithFailure-PT-100-ReachabilityCardinality-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-100-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-100-ReachabilityCardinality-05 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-100-ReachabilityCardinality-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000001 steps, including 12 resets, run finished after 4751 ms. (steps per millisecond=210 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 1000001 steps, including 11 resets, run finished after 3398 ms. (steps per millisecond=294 ) properties (out of 10) seen :0
Interrupted Best-First random walk after 809015 steps, including 9 resets, run timeout after 5001 ms. (steps per millisecond=161 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 11 resets, run finished after 4298 ms. (steps per millisecond=232 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 1000001 steps, including 11 resets, run finished after 4930 ms. (steps per millisecond=202 ) properties (out of 10) seen :0
Interrupted Best-First random walk after 782126 steps, including 9 resets, run timeout after 5001 ms. (steps per millisecond=156 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 11 resets, run finished after 3707 ms. (steps per millisecond=269 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 1000001 steps, including 11 resets, run finished after 4050 ms. (steps per millisecond=246 ) properties (out of 10) seen :0
Interrupted Best-First random walk after 885674 steps, including 9 resets, run timeout after 5001 ms. (steps per millisecond=177 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 11 resets, run finished after 4283 ms. (steps per millisecond=233 ) properties (out of 10) seen :0
Running SMT prover for 10 properties.
[2022-06-09 08:01:50] [INFO ] Flow matrix only has 50703 transitions (discarded 126 similar events)
// Phase 1: matrix 50703 rows 11432 cols
[2022-06-09 08:02:06] [INFO ] Computed 102 place invariants in 15966 ms
[2022-06-09 08:02:11] [INFO ] After 4940ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:10
[2022-06-09 08:02:16] [INFO ] [Nat]Absence check using 100 positive place invariants in 275 ms returned sat
[2022-06-09 08:02:16] [INFO ] [Nat]Absence check using 100 positive and 2 generalized place invariants in 504 ms returned sat
[2022-06-09 08:03:33] [INFO ] After 73755ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :10
[2022-06-09 08:03:34] [INFO ] State equation strengthened by 47917 read => feed constraints.
[2022-06-09 08:04:23] [INFO ] After 48392ms SMT Verify possible using 47917 Read/Feed constraints in natural domain returned unsat :0 sat :9
[2022-06-09 08:04:53] [INFO ] After 78663ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :9
Attempting to minimize the solution found.
Minimization took 20196 ms.
[2022-06-09 08:05:13] [INFO ] After 182449ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :9
Fused 10 Parikh solutions to 2 different solutions.
Parikh walk visited 0 properties in 33 ms.
Support contains 272 out of 11432 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 11432/11432 places, 50829/50829 transitions.
Performed 15 Post agglomeration using F-continuation condition.Transition count delta: 15
Deduced a syphon composed of 15 places in 14 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 0 with 30 rules applied. Total rules applied 30 place count 11417 transition count 50814
Partial Free-agglomeration rule applied 315 times.
Drop transitions removed 315 transitions
Iterating global reduction 0 with 315 rules applied. Total rules applied 345 place count 11417 transition count 50814
Applied a total of 345 rules in 22904 ms. Remains 11417 /11432 variables (removed 15) and now considering 50814/50829 (removed 15) transitions.
Finished structural reductions, in 1 iterations. Remains : 11417/11432 places, 50814/50829 transitions.
Interrupted random walk after 344682 steps, including 531 resets, run timeout after 30001 ms. (steps per millisecond=11 ) properties seen 0
Incomplete Best-First random walk after 1000000 steps, including 11 resets, run finished after 4845 ms. (steps per millisecond=206 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 1000001 steps, including 11 resets, run finished after 3824 ms. (steps per millisecond=261 ) properties (out of 10) seen :0
Interrupted Best-First random walk after 754109 steps, including 8 resets, run timeout after 5001 ms. (steps per millisecond=150 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 12 resets, run finished after 4681 ms. (steps per millisecond=213 ) properties (out of 10) seen :0
Interrupted Best-First random walk after 968451 steps, including 11 resets, run timeout after 5001 ms. (steps per millisecond=193 ) properties seen 0
Interrupted Best-First random walk after 772408 steps, including 9 resets, run timeout after 5001 ms. (steps per millisecond=154 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 11 resets, run finished after 3651 ms. (steps per millisecond=273 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 1000001 steps, including 12 resets, run finished after 4164 ms. (steps per millisecond=240 ) properties (out of 10) seen :0
Interrupted Best-First random walk after 862394 steps, including 10 resets, run timeout after 5001 ms. (steps per millisecond=172 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 11 resets, run finished after 4238 ms. (steps per millisecond=235 ) properties (out of 10) seen :0
Interrupted probabilistic random walk after 1360410 steps, run timeout after 225002 ms. (steps per millisecond=6 ) properties seen :{}
Probabilistic random walk after 1360410 steps, saw 532956 distinct states, run finished after 225004 ms. (steps per millisecond=6 ) properties seen :0
Running SMT prover for 10 properties.
[2022-06-09 08:10:36] [INFO ] Flow matrix only has 50704 transitions (discarded 110 similar events)
// Phase 1: matrix 50704 rows 11417 cols
[2022-06-09 08:10:54] [INFO ] Computed 102 place invariants in 17504 ms
[2022-06-09 08:10:59] [INFO ] After 4805ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:10
[2022-06-09 08:11:04] [INFO ] [Nat]Absence check using 100 positive place invariants in 272 ms returned sat
[2022-06-09 08:11:04] [INFO ] [Nat]Absence check using 100 positive and 2 generalized place invariants in 517 ms returned sat
[2022-06-09 08:12:27] [INFO ] After 79526ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :10
[2022-06-09 08:12:28] [INFO ] State equation strengthened by 48484 read => feed constraints.
[2022-06-09 08:13:10] [INFO ] After 41436ms SMT Verify possible using 48484 Read/Feed constraints in natural domain returned unsat :0 sat :10
[2022-06-09 08:13:45] [INFO ] After 76475ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :10
Attempting to minimize the solution found.
Minimization took 26263 ms.
[2022-06-09 08:14:11] [INFO ] After 192039ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :10
Fused 10 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 272 out of 11417 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 11417/11417 places, 50814/50814 transitions.
Applied a total of 0 rules in 8172 ms. Remains 11417 /11417 variables (removed 0) and now considering 50814/50814 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 11417/11417 places, 50814/50814 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 11417/11417 places, 50814/50814 transitions.
Applied a total of 0 rules in 8360 ms. Remains 11417 /11417 variables (removed 0) and now considering 50814/50814 (removed 0) transitions.
[2022-06-09 08:14:27] [INFO ] Flow matrix only has 50704 transitions (discarded 110 similar events)
// Phase 1: matrix 50704 rows 11417 cols
[2022-06-09 08:14:44] [INFO ] Computed 102 place invariants in 16438 ms
[2022-06-09 08:14:45] [INFO ] Implicit Places using invariants in 17933 ms returned []
Implicit Place search using SMT only with invariants took 17934 ms to find 0 implicit places.
[2022-06-09 08:14:45] [INFO ] Flow matrix only has 50704 transitions (discarded 110 similar events)
// Phase 1: matrix 50704 rows 11417 cols
[2022-06-09 08:15:01] [INFO ] Computed 102 place invariants in 15195 ms
[2022-06-09 08:15:02] [INFO ] Dead Transitions using invariants and state equation in 16868 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 11417/11417 places, 50814/50814 transitions.
Interrupted random walk after 339540 steps, including 524 resets, run timeout after 30001 ms. (steps per millisecond=11 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 11 resets, run finished after 4713 ms. (steps per millisecond=212 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 1000001 steps, including 11 resets, run finished after 3827 ms. (steps per millisecond=261 ) properties (out of 10) seen :0
Interrupted Best-First random walk after 754927 steps, including 8 resets, run timeout after 5001 ms. (steps per millisecond=150 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 12 resets, run finished after 4786 ms. (steps per millisecond=208 ) properties (out of 10) seen :0
Interrupted Best-First random walk after 921733 steps, including 11 resets, run timeout after 5001 ms. (steps per millisecond=184 ) properties seen 0
Interrupted Best-First random walk after 729549 steps, including 8 resets, run timeout after 5001 ms. (steps per millisecond=145 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 11 resets, run finished after 3832 ms. (steps per millisecond=260 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 1000001 steps, including 12 resets, run finished after 4301 ms. (steps per millisecond=232 ) properties (out of 10) seen :0
Interrupted Best-First random walk after 905903 steps, including 11 resets, run timeout after 5001 ms. (steps per millisecond=181 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 12 resets, run finished after 4049 ms. (steps per millisecond=246 ) properties (out of 10) seen :0
Interrupted probabilistic random walk after 1264420 steps, run timeout after 225002 ms. (steps per millisecond=5 ) properties seen :{}
Probabilistic random walk after 1264420 steps, saw 444223 distinct states, run finished after 225002 ms. (steps per millisecond=5 ) properties seen :0
Running SMT prover for 10 properties.
[2022-06-09 08:20:03] [INFO ] Flow matrix only has 50704 transitions (discarded 110 similar events)
// Phase 1: matrix 50704 rows 11417 cols
[2022-06-09 08:20:20] [INFO ] Computed 102 place invariants in 16767 ms
[2022-06-09 08:20:25] [INFO ] After 5113ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:10
[2022-06-09 08:20:30] [INFO ] [Nat]Absence check using 100 positive place invariants in 258 ms returned sat
[2022-06-09 08:20:30] [INFO ] [Nat]Absence check using 100 positive and 2 generalized place invariants in 505 ms returned sat
[2022-06-09 08:21:52] [INFO ] After 78370ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :10
[2022-06-09 08:21:53] [INFO ] State equation strengthened by 48484 read => feed constraints.
[2022-06-09 08:22:35] [INFO ] After 42808ms SMT Verify possible using 48484 Read/Feed constraints in natural domain returned unsat :0 sat :10
[2022-06-09 08:23:08] [INFO ] After 75659ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :10
Attempting to minimize the solution found.
Minimization took 21835 ms.
[2022-06-09 08:23:30] [INFO ] After 185444ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :10
Fused 10 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 272 out of 11417 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 11417/11417 places, 50814/50814 transitions.
Applied a total of 0 rules in 7554 ms. Remains 11417 /11417 variables (removed 0) and now considering 50814/50814 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 11417/11417 places, 50814/50814 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 11417/11417 places, 50814/50814 transitions.
Applied a total of 0 rules in 7726 ms. Remains 11417 /11417 variables (removed 0) and now considering 50814/50814 (removed 0) transitions.
[2022-06-09 08:23:45] [INFO ] Flow matrix only has 50704 transitions (discarded 110 similar events)
// Phase 1: matrix 50704 rows 11417 cols
[2022-06-09 08:24:02] [INFO ] Computed 102 place invariants in 16093 ms
[2022-06-09 08:24:03] [INFO ] Implicit Places using invariants in 17860 ms returned []
Implicit Place search using SMT only with invariants took 17860 ms to find 0 implicit places.
[2022-06-09 08:24:03] [INFO ] Flow matrix only has 50704 transitions (discarded 110 similar events)
// Phase 1: matrix 50704 rows 11417 cols
[2022-06-09 08:24:19] [INFO ] Computed 102 place invariants in 15973 ms
[2022-06-09 08:24:21] [INFO ] Dead Transitions using invariants and state equation in 17663 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 11417/11417 places, 50814/50814 transitions.
Graph (trivial) has 47104 edges and 11417 vertex of which 9825 / 11417 are part of one of the 2 SCC in 29 ms
Free SCC test removed 9823 places
Drop transitions removed 35481 transitions
Ensure Unique test removed 9974 transitions
Reduce isomorphic transitions removed 45455 transitions.
Graph (complete) has 6088 edges and 1594 vertex of which 1310 are kept as prefixes of interest. Removing 284 places using SCC suffix rule.1 ms
Discarding 284 places :
Also discarding 91 output transitions
Drop transitions removed 91 transitions
Drop transitions removed 953 transitions
Reduce isomorphic transitions removed 953 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 0 with 955 rules applied. Total rules applied 957 place count 1310 transition count 4313
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 961 place count 1308 transition count 4311
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 961 place count 1308 transition count 4306
Deduced a syphon composed of 5 places in 3 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 971 place count 1303 transition count 4306
Discarding 794 places :
Symmetric choice reduction at 2 with 794 rule applications. Total rules 1765 place count 509 transition count 2105
Iterating global reduction 2 with 794 rules applied. Total rules applied 2559 place count 509 transition count 2105
Ensure Unique test removed 610 transitions
Reduce isomorphic transitions removed 610 transitions.
Iterating post reduction 2 with 610 rules applied. Total rules applied 3169 place count 509 transition count 1495
Discarding 87 places :
Symmetric choice reduction at 3 with 87 rule applications. Total rules 3256 place count 422 transition count 1321
Iterating global reduction 3 with 87 rules applied. Total rules applied 3343 place count 422 transition count 1321
Ensure Unique test removed 87 transitions
Reduce isomorphic transitions removed 87 transitions.
Iterating post reduction 3 with 87 rules applied. Total rules applied 3430 place count 422 transition count 1234
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
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 3434 place count 420 transition count 1232
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 3436 place count 419 transition count 1231
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 3437 place count 419 transition count 1230
Drop transitions removed 72 transitions
Redundant transition composition rules discarded 72 transitions
Iterating global reduction 5 with 72 rules applied. Total rules applied 3509 place count 419 transition count 1158
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 5 with 10 rules applied. Total rules applied 3519 place count 419 transition count 1148
Reduce places removed 10 places and 0 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Iterating post reduction 6 with 17 rules applied. Total rules applied 3536 place count 409 transition count 1141
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 7 with 7 rules applied. Total rules applied 3543 place count 402 transition count 1141
Discarding 4 places :
Symmetric choice reduction at 8 with 4 rule applications. Total rules 3547 place count 398 transition count 1134
Iterating global reduction 8 with 4 rules applied. Total rules applied 3551 place count 398 transition count 1134
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Deduced a syphon composed of 16 places in 0 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 8 with 32 rules applied. Total rules applied 3583 place count 382 transition count 1118
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 8 with 14 rules applied. Total rules applied 3597 place count 382 transition count 1104
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 9 with 6 rules applied. Total rules applied 3603 place count 379 transition count 1103
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 9 with 4 rules applied. Total rules applied 3607 place count 379 transition count 1099
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 10 with 10 rules applied. Total rules applied 3617 place count 379 transition count 1089
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 3618 place count 378 transition count 1088
Iterating global reduction 10 with 1 rules applied. Total rules applied 3619 place count 378 transition count 1088
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 3620 place count 378 transition count 1087
Free-agglomeration rule applied 29 times with reduction of 2 identical transitions.
Iterating global reduction 10 with 29 rules applied. Total rules applied 3649 place count 378 transition count 1056
Reduce places removed 29 places and 0 transitions.
Ensure Unique test removed 36 transitions
Reduce isomorphic transitions removed 36 transitions.
Iterating post reduction 10 with 65 rules applied. Total rules applied 3714 place count 349 transition count 1020
Drop transitions removed 5 transitions
Redundant transition composition rules discarded 5 transitions
Iterating global reduction 11 with 5 rules applied. Total rules applied 3719 place count 349 transition count 1015
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 11 with 3 rules applied. Total rules applied 3722 place count 349 transition count 1015
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 11 with 8 rules applied. Total rules applied 3730 place count 346 transition count 1010
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 12 with 1 rules applied. Total rules applied 3731 place count 346 transition count 1009
Partial Free-agglomeration rule applied 35 times.
Drop transitions removed 35 transitions
Iterating global reduction 12 with 35 rules applied. Total rules applied 3766 place count 346 transition count 1009
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 12 with 13 rules applied. Total rules applied 3779 place count 346 transition count 996
Discarding 1 places :
Symmetric choice reduction at 13 with 1 rule applications. Total rules 3780 place count 345 transition count 993
Iterating global reduction 13 with 1 rules applied. Total rules applied 3781 place count 345 transition count 993
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 13 with 1 rules applied. Total rules applied 3782 place count 345 transition count 992
Reduce places removed 5 places and 5 transitions.
Iterating global reduction 14 with 5 rules applied. Total rules applied 3787 place count 340 transition count 987
Applied a total of 3787 rules in 3412 ms. Remains 340 /11417 variables (removed 11077) and now considering 987/50814 (removed 49827) transitions.
Running SMT prover for 10 properties.
// Phase 1: matrix 987 rows 340 cols
[2022-06-09 08:24:24] [INFO ] Computed 5 place invariants in 3 ms
[2022-06-09 08:24:25] [INFO ] After 162ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:10
[2022-06-09 08:24:25] [INFO ] [Nat]Absence check using 5 positive place invariants in 2 ms returned sat
[2022-06-09 08:24:26] [INFO ] After 791ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :10
[2022-06-09 08:24:27] [INFO ] After 1762ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :10
Attempting to minimize the solution found.
Minimization took 706 ms.
[2022-06-09 08:24:27] [INFO ] After 2676ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :10
[2022-06-09 08:24:28] [INFO ] Flatten gal took : 199 ms
[2022-06-09 08:24:28] [INFO ] Flatten gal took : 93 ms
[2022-06-09 08:24:28] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8496926867627978281.gal : 43 ms
[2022-06-09 08:24:28] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality468965662356577718.prop : 3 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/ReachabilityCardinality8496926867627978281.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality468965662356577718.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...318
Loading property file /tmp/ReachabilityCardinality468965662356577718.prop.
SDD proceeding with computation,10 properties remain. new max is 4
SDD size :1 after 7
SDD proceeding with computation,10 properties remain. new max is 8
SDD size :7 after 22
SDD proceeding with computation,10 properties remain. new max is 16
SDD size :22 after 86
SDD proceeding with computation,10 properties remain. new max is 32
SDD size :86 after 142
SDD proceeding with computation,10 properties remain. new max is 64
SDD size :142 after 1452
SDD proceeding with computation,10 properties remain. new max is 128
SDD size :1452 after 3861
SDD proceeding with computation,10 properties remain. new max is 256
SDD size :3861 after 32031
SDD proceeding with computation,10 properties remain. new max is 512
SDD size :32031 after 207023
SDD proceeding with computation,10 properties remain. new max is 1024
SDD size :207023 after 8.95263e+06
SDD proceeding with computation,10 properties remain. new max is 2048
SDD size :8.95263e+06 after 3.88865e+08
Detected timeout of ITS tools.
[2022-06-09 08:24:43] [INFO ] Flatten gal took : 50 ms
[2022-06-09 08:24:43] [INFO ] Applying decomposition
[2022-06-09 08:24:43] [INFO ] Flatten gal took : 47 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/graph13268579505676215471.txt' '-o' '/tmp/graph13268579505676215471.bin' '-w' '/tmp/graph13268579505676215471.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13268579505676215471.bin' '-l' '-1' '-v' '-w' '/tmp/graph13268579505676215471.weights' '-q' '0' '-e' '0.001'
[2022-06-09 08:24:44] [INFO ] Decomposing Gal with order
[2022-06-09 08:24:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 08:24:44] [INFO ] Removed a total of 459 redundant transitions.
[2022-06-09 08:24:44] [INFO ] Flatten gal took : 226 ms
[2022-06-09 08:24:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 186 labels/synchronizations in 28 ms.
[2022-06-09 08:24:44] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16648591528764553049.gal : 13 ms
[2022-06-09 08:24:44] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12018804290840361697.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/ReachabilityCardinality16648591528764553049.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality12018804290840361697.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/ReachabilityCardinality12018804290840361697.prop.
SDD proceeding with computation,10 properties remain. new max is 4
SDD size :1 after 6
SDD proceeding with computation,10 properties remain. new max is 8
SDD size :6 after 11
SDD proceeding with computation,10 properties remain. new max is 16
SDD size :11 after 83
SDD proceeding with computation,10 properties remain. new max is 32
SDD size :83 after 195
SDD proceeding with computation,10 properties remain. new max is 64
SDD size :195 after 1475
SDD proceeding with computation,10 properties remain. new max is 128
SDD size :1475 after 3938
SDD proceeding with computation,10 properties remain. new max is 256
SDD size :3938 after 36654
SDD proceeding with computation,10 properties remain. new max is 512
SDD size :36654 after 507138
SDD proceeding with computation,10 properties remain. new max is 1024
SDD size :507138 after 2.68779e+07
SDD proceeding with computation,10 properties remain. new max is 2048
SDD size :2.68779e+07 after 2.21004e+09
SDD proceeding with computation,10 properties remain. new max is 4096
SDD size :2.21004e+09 after 1.40303e+11
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11238624140892584302
[2022-06-09 08:24:59] [INFO ] Built C files in 36ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11238624140892584302
Running compilation step : cd /tmp/ltsmin11238624140892584302;'/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 2625 ms.
Running link step : cd /tmp/ltsmin11238624140892584302;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 50 ms.
Running LTSmin : cd /tmp/ltsmin11238624140892584302;'/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' 'CANInsertWithFailurePT100ReachabilityCardinality00==true'
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
[2022-06-09 08:25:16] [INFO ] Flatten gal took : 1814 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin15893076886201350235
[2022-06-09 08:25:17] [INFO ] Too many transitions (50814) to apply POR reductions. Disabling POR matrices.
[2022-06-09 08:25:18] [INFO ] Built C files in 1145ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15893076886201350235
Running compilation step : cd /tmp/ltsmin15893076886201350235;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '72' '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-09 08:25:19] [INFO ] Applying decomposition
[2022-06-09 08:25:20] [INFO ] Flatten gal took : 2647 ms
[2022-06-09 08:25:22] [INFO ] Flatten gal took : 2223 ms
[2022-06-09 08:25:23] [INFO ] Input system was already deterministic with 50814 transitions.
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/graph14587136405349454195.txt' '-o' '/tmp/graph14587136405349454195.bin' '-w' '/tmp/graph14587136405349454195.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14587136405349454195.bin' '-l' '-1' '-v' '-w' '/tmp/graph14587136405349454195.weights' '-q' '0' '-e' '0.001'
[2022-06-09 08:25:26] [INFO ] Decomposing Gal with order
[2022-06-09 08:25:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 08:25:40] [INFO ] Removed a total of 58755 redundant transitions.
[2022-06-09 08:25:42] [INFO ] Flatten gal took : 10351 ms
[2022-06-09 08:25:52] [INFO ] Ran tautology test, simplified 0 / 10 in 31624 ms.
[2022-06-09 08:25:53] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-00(UNSAT) depth K=0 took 591 ms
[2022-06-09 08:25:53] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-01(UNSAT) depth K=0 took 156 ms
[2022-06-09 08:25:54] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-02(UNSAT) depth K=0 took 180 ms
[2022-06-09 08:25:54] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-04(UNSAT) depth K=0 took 172 ms
[2022-06-09 08:25:54] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-07(UNSAT) depth K=0 took 188 ms
[2022-06-09 08:25:54] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-08(UNSAT) depth K=0 took 196 ms
[2022-06-09 08:25:54] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-09(UNSAT) depth K=0 took 172 ms
[2022-06-09 08:25:54] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-10(UNSAT) depth K=0 took 162 ms
[2022-06-09 08:25:54] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-11(UNSAT) depth K=0 took 3 ms
[2022-06-09 08:25:54] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-12(UNSAT) depth K=0 took 1 ms
[2022-06-09 08:25:55] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-00(UNSAT) depth K=1 took 94 ms
[2022-06-09 08:25:55] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-01(UNSAT) depth K=1 took 57 ms
[2022-06-09 08:25:55] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-02(UNSAT) depth K=1 took 59 ms
[2022-06-09 08:25:55] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-04(UNSAT) depth K=1 took 63 ms
[2022-06-09 08:25:55] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-07(UNSAT) depth K=1 took 86 ms
[2022-06-09 08:25:55] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-08(UNSAT) depth K=1 took 61 ms
[2022-06-09 08:25:56] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-09(UNSAT) depth K=1 took 96 ms
[2022-06-09 08:25:56] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-10(UNSAT) depth K=1 took 478 ms
[2022-06-09 08:25:56] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-11(UNSAT) depth K=1 took 195 ms
[2022-06-09 08:25:56] [INFO ] BMC solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-12(UNSAT) depth K=1 took 73 ms
[2022-06-09 08:26:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 39697 labels/synchronizations in 17529 ms.
[2022-06-09 08:26:09] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5530476405982324281.gal : 1088 ms
[2022-06-09 08:26:09] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14581226356752476301.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/ReachabilityCardinality5530476405982324281.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality14581226356752476301.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
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 50704 out of 50814 initially.
// Phase 1: matrix 50704 rows 11417 cols
Loading property file /tmp/ReachabilityCardinality14581226356752476301.prop.
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin15893076886201350235;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '72' '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' killed by timeout after 72 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin15893076886201350235;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '72' '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' killed by timeout after 72 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:829)
[2022-06-09 08:26:41] [INFO ] Computed 102 place invariants in 21553 ms
[2022-06-09 08:26:41] [INFO ] Computed 102 place invariants in 21558 ms
[2022-06-09 08:29:17] [INFO ] Proved 11417 variables to be positive in 177902 ms
[2022-06-09 08:30:24] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-100-ReachabilityCardinality-00
[2022-06-09 08:30:24] [INFO ] KInduction solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-00(SAT) depth K=0 took 67385 ms
[2022-06-09 08:32:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-100-ReachabilityCardinality-01
[2022-06-09 08:32:56] [INFO ] KInduction solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-01(SAT) depth K=0 took 151781 ms
[2022-06-09 08:34:39] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-100-ReachabilityCardinality-02
[2022-06-09 08:34:39] [INFO ] KInduction solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-02(SAT) depth K=0 took 102844 ms
[2022-06-09 08:36:54] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-100-ReachabilityCardinality-04
[2022-06-09 08:36:54] [INFO ] KInduction solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-04(SAT) depth K=0 took 135004 ms
[2022-06-09 08:38:50] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-100-ReachabilityCardinality-07
[2022-06-09 08:38:50] [INFO ] KInduction solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-07(SAT) depth K=0 took 115797 ms
[2022-06-09 08:40:16] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-100-ReachabilityCardinality-08
[2022-06-09 08:40:16] [INFO ] KInduction solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-08(SAT) depth K=0 took 86051 ms
[2022-06-09 08:41:33] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-100-ReachabilityCardinality-09
[2022-06-09 08:41:33] [INFO ] KInduction solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-09(SAT) depth K=0 took 77141 ms
[2022-06-09 08:42:48] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-100-ReachabilityCardinality-10
[2022-06-09 08:42:48] [INFO ] KInduction solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-10(SAT) depth K=0 took 74713 ms
[2022-06-09 08:44:05] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-100-ReachabilityCardinality-11
[2022-06-09 08:44:05] [INFO ] KInduction solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-11(SAT) depth K=0 took 77432 ms
[2022-06-09 08:45:23] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-100-ReachabilityCardinality-12
[2022-06-09 08:45:23] [INFO ] KInduction solution for property CANInsertWithFailure-PT-100-ReachabilityCardinality-12(SAT) depth K=0 took 77865 ms
BK_STOP 1654764401983
--------------------
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="CANInsertWithFailure-PT-100"
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 CANInsertWithFailure-PT-100, 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 r294-smll-165463872400086"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-100.tgz
mv CANInsertWithFailure-PT-100 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 ;