About the Execution of ITS-Tools for CANInsertWithFailure-PT-090
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6430.920 | 3600000.00 | 8136639.00 | 9940.90 | F?FTTTTFFT??TTT? | 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-165463872400078.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-090, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r294-smll-165463872400078
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 50M
-rw-r--r-- 1 mcc users 11K May 30 15:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K May 30 15:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.5K May 30 15:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K May 30 15:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.2K May 25 12:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 25 12:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K May 25 12:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 25 12:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 29 12:20 NewModel
-rw-r--r-- 1 mcc users 14K May 30 15:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K May 30 15:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K May 30 15:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K May 30 15:45 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 49M 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-090-ReachabilityCardinality-00
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-01
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-02
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-03
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-04
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-05
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-06
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-07
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-08
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-09
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-10
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-11
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-12
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-13
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-14
FORMULA_NAME CANInsertWithFailure-PT-090-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1654748991942
Running Version 202205111006
[2022-06-09 04:29:53] [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 04:29:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-09 04:29:56] [INFO ] Load time of PNML (sax parser for PT used): 2345 ms
[2022-06-09 04:29:56] [INFO ] Transformed 17284 places.
[2022-06-09 04:29:56] [INFO ] Transformed 49140 transitions.
[2022-06-09 04:29:56] [INFO ] Parsed PT model containing 17284 places and 49140 transitions in 2892 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 81 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 4 resets, run finished after 1667 ms. (steps per millisecond=5 ) properties (out of 16) seen :4
FORMULA CANInsertWithFailure-PT-090-ReachabilityCardinality-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-090-ReachabilityCardinality-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-090-ReachabilityCardinality-07 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-090-ReachabilityCardinality-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=108 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=75 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=144 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 62 ms. (steps per millisecond=161 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 12) seen :0
Running SMT prover for 12 properties.
// Phase 1: matrix 49140 rows 17284 cols
[2022-06-09 04:30:21] [INFO ] Computed 93 place invariants in 21429 ms
[2022-06-09 04:30:30] [INFO ] After 9583ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:12
[2022-06-09 04:30:40] [INFO ] [Nat]Absence check using 91 positive place invariants in 490 ms returned sat
[2022-06-09 04:30:41] [INFO ] [Nat]Absence check using 91 positive and 2 generalized place invariants in 786 ms returned sat
[2022-06-09 04:30:55] [INFO ] After 9713ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :11
[2022-06-09 04:30:56] [INFO ] State equation strengthened by 16110 read => feed constraints.
[2022-06-09 04:30:56] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-09 04:30:56] [INFO ] After 25337ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:12
Fused 12 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 237 out of 17284 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 17284/17284 places, 49140/49140 transitions.
Drop transitions removed 596 transitions
Trivial Post-agglo rules discarded 596 transitions
Performed 596 trivial Post agglomeration. Transition count delta: 596
Iterating post reduction 0 with 596 rules applied. Total rules applied 596 place count 17284 transition count 48544
Reduce places removed 596 places and 0 transitions.
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: 14
Iterating post reduction 1 with 610 rules applied. Total rules applied 1206 place count 16688 transition count 48530
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 2 with 14 rules applied. Total rules applied 1220 place count 16674 transition count 48530
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5 Pre rules applied. Total rules applied 1220 place count 16674 transition count 48525
Deduced a syphon composed of 5 places in 29 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 10 rules applied. Total rules applied 1230 place count 16669 transition count 48525
Performed 7037 Post agglomeration using F-continuation condition.Transition count delta: 7037
Deduced a syphon composed of 7037 places in 38 ms
Reduce places removed 7037 places and 0 transitions.
Iterating global reduction 3 with 14074 rules applied. Total rules applied 15304 place count 9632 transition count 41488
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 3 with 4 rules applied. Total rules applied 15308 place count 9632 transition count 41484
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 15312 place count 9628 transition count 41484
Partial Free-agglomeration rule applied 9256 times.
Drop transitions removed 9256 transitions
Iterating global reduction 4 with 9256 rules applied. Total rules applied 24568 place count 9628 transition count 41484
Partial Free-agglomeration rule applied 483 times.
Drop transitions removed 483 transitions
Iterating global reduction 4 with 483 rules applied. Total rules applied 25051 place count 9628 transition count 41484
Applied a total of 25051 rules in 44176 ms. Remains 9628 /17284 variables (removed 7656) and now considering 41484/49140 (removed 7656) transitions.
Finished structural reductions, in 1 iterations. Remains : 9628/17284 places, 41484/49140 transitions.
Interrupted random walk after 426950 steps, including 702 resets, run timeout after 30001 ms. (steps per millisecond=14 ) properties seen 8
FORMULA CANInsertWithFailure-PT-090-ReachabilityCardinality-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-090-ReachabilityCardinality-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-090-ReachabilityCardinality-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-090-ReachabilityCardinality-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-090-ReachabilityCardinality-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-090-ReachabilityCardinality-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-090-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-090-ReachabilityCardinality-00 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Interrupted Best-First random walk after 782751 steps, including 11 resets, run timeout after 5001 ms. (steps per millisecond=156 ) properties seen 0
Interrupted Best-First random walk after 795116 steps, including 11 resets, run timeout after 5001 ms. (steps per millisecond=158 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3463 ms. (steps per millisecond=288 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3278 ms. (steps per millisecond=305 ) properties (out of 4) seen :0
Running SMT prover for 4 properties.
[2022-06-09 04:32:27] [INFO ] Flow matrix only has 41401 transitions (discarded 83 similar events)
// Phase 1: matrix 41401 rows 9628 cols
[2022-06-09 04:32:34] [INFO ] Computed 93 place invariants in 6799 ms
[2022-06-09 04:32:36] [INFO ] After 2331ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2022-06-09 04:32:39] [INFO ] [Nat]Absence check using 91 positive place invariants in 211 ms returned sat
[2022-06-09 04:32:39] [INFO ] [Nat]Absence check using 91 positive and 2 generalized place invariants in 386 ms returned sat
[2022-06-09 04:33:27] [INFO ] After 47179ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2022-06-09 04:33:28] [INFO ] State equation strengthened by 37814 read => feed constraints.
[2022-06-09 04:33:44] [INFO ] After 15962ms SMT Verify possible using 37814 Read/Feed constraints in natural domain returned unsat :0 sat :4
[2022-06-09 04:33:54] [INFO ] After 26274ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :4
Attempting to minimize the solution found.
Minimization took 7602 ms.
[2022-06-09 04:34:02] [INFO ] After 85880ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :4
Fused 4 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 115 out of 9628 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 9628/9628 places, 41484/41484 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 9628 transition count 41483
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 9627 transition count 41483
Performed 58 Post agglomeration using F-continuation condition.Transition count delta: 58
Deduced a syphon composed of 58 places in 17 ms
Reduce places removed 58 places and 0 transitions.
Iterating global reduction 2 with 116 rules applied. Total rules applied 118 place count 9569 transition count 41425
Free-agglomeration rule applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 120 place count 9569 transition count 41423
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 122 place count 9567 transition count 41423
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 123 place count 9567 transition count 41422
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 124 place count 9566 transition count 41422
Partial Free-agglomeration rule applied 409 times.
Drop transitions removed 409 transitions
Iterating global reduction 4 with 409 rules applied. Total rules applied 533 place count 9566 transition count 41422
Applied a total of 533 rules in 26068 ms. Remains 9566 /9628 variables (removed 62) and now considering 41422/41484 (removed 62) transitions.
Finished structural reductions, in 1 iterations. Remains : 9566/9628 places, 41422/41484 transitions.
Interrupted random walk after 447247 steps, including 750 resets, run timeout after 30001 ms. (steps per millisecond=14 ) properties seen 0
Interrupted Best-First random walk after 811638 steps, including 12 resets, run timeout after 5001 ms. (steps per millisecond=162 ) properties seen 0
Interrupted Best-First random walk after 816597 steps, including 11 resets, run timeout after 5001 ms. (steps per millisecond=163 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3436 ms. (steps per millisecond=291 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3338 ms. (steps per millisecond=299 ) properties (out of 4) seen :0
Interrupted probabilistic random walk after 879917 steps, run timeout after 138001 ms. (steps per millisecond=6 ) properties seen :{}
Probabilistic random walk after 879917 steps, saw 279810 distinct states, run finished after 138006 ms. (steps per millisecond=6 ) properties seen :0
Running SMT prover for 4 properties.
[2022-06-09 04:37:33] [INFO ] Flow matrix only has 41388 transitions (discarded 34 similar events)
// Phase 1: matrix 41388 rows 9566 cols
[2022-06-09 04:37:39] [INFO ] Computed 93 place invariants in 6054 ms
[2022-06-09 04:37:42] [INFO ] After 2930ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2022-06-09 04:37:45] [INFO ] [Nat]Absence check using 91 positive place invariants in 145 ms returned sat
[2022-06-09 04:37:45] [INFO ] [Nat]Absence check using 91 positive and 2 generalized place invariants in 271 ms returned sat
[2022-06-09 04:38:33] [INFO ] After 47461ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2022-06-09 04:38:34] [INFO ] State equation strengthened by 38672 read => feed constraints.
[2022-06-09 04:39:15] [INFO ] After 41850ms SMT Verify possible using 38672 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-09 04:39:18] [INFO ] After 44255ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 1970 ms.
[2022-06-09 04:39:20] [INFO ] After 97987ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Fused 4 Parikh solutions to 2 different solutions.
Parikh walk visited 0 properties in 2826 ms.
Support contains 115 out of 9566 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 9566/9566 places, 41422/41422 transitions.
Applied a total of 0 rules in 5026 ms. Remains 9566 /9566 variables (removed 0) and now considering 41422/41422 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9566/9566 places, 41422/41422 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 9566/9566 places, 41422/41422 transitions.
Applied a total of 0 rules in 4976 ms. Remains 9566 /9566 variables (removed 0) and now considering 41422/41422 (removed 0) transitions.
[2022-06-09 04:39:33] [INFO ] Flow matrix only has 41388 transitions (discarded 34 similar events)
// Phase 1: matrix 41388 rows 9566 cols
[2022-06-09 04:39:38] [INFO ] Computed 93 place invariants in 5629 ms
[2022-06-09 04:39:40] [INFO ] Implicit Places using invariants in 7184 ms returned []
Implicit Place search using SMT only with invariants took 7186 ms to find 0 implicit places.
[2022-06-09 04:39:40] [INFO ] Flow matrix only has 41388 transitions (discarded 34 similar events)
// Phase 1: matrix 41388 rows 9566 cols
[2022-06-09 04:39:45] [INFO ] Computed 93 place invariants in 5639 ms
[2022-06-09 04:39:47] [INFO ] Dead Transitions using invariants and state equation in 7230 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 9566/9566 places, 41422/41422 transitions.
Interrupted random walk after 426595 steps, including 720 resets, run timeout after 30001 ms. (steps per millisecond=14 ) properties seen 0
Interrupted Best-First random walk after 795758 steps, including 12 resets, run timeout after 5001 ms. (steps per millisecond=159 ) properties seen 0
Interrupted Best-First random walk after 821333 steps, including 12 resets, run timeout after 5001 ms. (steps per millisecond=164 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3392 ms. (steps per millisecond=294 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3231 ms. (steps per millisecond=309 ) properties (out of 4) seen :0
Interrupted probabilistic random walk after 906464 steps, run timeout after 138001 ms. (steps per millisecond=6 ) properties seen :{}
Probabilistic random walk after 906464 steps, saw 282917 distinct states, run finished after 138003 ms. (steps per millisecond=6 ) properties seen :0
Running SMT prover for 4 properties.
[2022-06-09 04:42:52] [INFO ] Flow matrix only has 41388 transitions (discarded 34 similar events)
// Phase 1: matrix 41388 rows 9566 cols
[2022-06-09 04:42:58] [INFO ] Computed 93 place invariants in 6144 ms
[2022-06-09 04:43:00] [INFO ] After 2420ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2022-06-09 04:43:03] [INFO ] [Nat]Absence check using 91 positive place invariants in 121 ms returned sat
[2022-06-09 04:43:03] [INFO ] [Nat]Absence check using 91 positive and 2 generalized place invariants in 235 ms returned sat
[2022-06-09 04:43:50] [INFO ] After 46575ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2022-06-09 04:43:51] [INFO ] State equation strengthened by 38672 read => feed constraints.
[2022-06-09 04:44:29] [INFO ] After 38088ms SMT Verify possible using 38672 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-09 04:44:31] [INFO ] After 40643ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 1815 ms.
[2022-06-09 04:44:33] [INFO ] After 92880ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Fused 4 Parikh solutions to 2 different solutions.
Parikh walk visited 0 properties in 2268 ms.
Support contains 115 out of 9566 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 9566/9566 places, 41422/41422 transitions.
Applied a total of 0 rules in 4761 ms. Remains 9566 /9566 variables (removed 0) and now considering 41422/41422 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9566/9566 places, 41422/41422 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 9566/9566 places, 41422/41422 transitions.
Applied a total of 0 rules in 4902 ms. Remains 9566 /9566 variables (removed 0) and now considering 41422/41422 (removed 0) transitions.
[2022-06-09 04:44:45] [INFO ] Flow matrix only has 41388 transitions (discarded 34 similar events)
// Phase 1: matrix 41388 rows 9566 cols
[2022-06-09 04:44:51] [INFO ] Computed 93 place invariants in 6014 ms
[2022-06-09 04:44:52] [INFO ] Implicit Places using invariants in 7319 ms returned []
Implicit Place search using SMT only with invariants took 7320 ms to find 0 implicit places.
[2022-06-09 04:44:52] [INFO ] Flow matrix only has 41388 transitions (discarded 34 similar events)
// Phase 1: matrix 41388 rows 9566 cols
[2022-06-09 04:44:58] [INFO ] Computed 93 place invariants in 6032 ms
[2022-06-09 04:45:00] [INFO ] Dead Transitions using invariants and state equation in 7600 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 9566/9566 places, 41422/41422 transitions.
Graph (trivial) has 38404 edges and 9566 vertex of which 8171 / 9566 are part of one of the 2 SCC in 15 ms
Free SCC test removed 8169 places
Drop transitions removed 29204 transitions
Ensure Unique test removed 8033 transitions
Reduce isomorphic transitions removed 37237 transitions.
Graph (complete) has 5033 edges and 1397 vertex of which 1138 are kept as prefixes of interest. Removing 259 places using SCC suffix rule.6 ms
Discarding 259 places :
Also discarding 81 output transitions
Drop transitions removed 81 transitions
Drop transitions removed 789 transitions
Reduce isomorphic transitions removed 789 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 0 with 791 rules applied. Total rules applied 793 place count 1138 transition count 3313
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 797 place count 1136 transition count 3311
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 797 place count 1136 transition count 3309
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 801 place count 1134 transition count 3309
Discarding 653 places :
Symmetric choice reduction at 2 with 653 rule applications. Total rules 1454 place count 481 transition count 1684
Iterating global reduction 2 with 653 rules applied. Total rules applied 2107 place count 481 transition count 1684
Ensure Unique test removed 317 transitions
Reduce isomorphic transitions removed 317 transitions.
Iterating post reduction 2 with 317 rules applied. Total rules applied 2424 place count 481 transition count 1367
Discarding 241 places :
Symmetric choice reduction at 3 with 241 rule applications. Total rules 2665 place count 240 transition count 885
Iterating global reduction 3 with 241 rules applied. Total rules applied 2906 place count 240 transition count 885
Ensure Unique test removed 241 transitions
Reduce isomorphic transitions removed 241 transitions.
Iterating post reduction 3 with 241 rules applied. Total rules applied 3147 place count 240 transition count 644
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 3149 place count 239 transition count 643
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 4 with 8 rules applied. Total rules applied 3157 place count 235 transition count 661
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 3158 place count 235 transition count 660
Drop transitions removed 46 transitions
Redundant transition composition rules discarded 46 transitions
Iterating global reduction 5 with 46 rules applied. Total rules applied 3204 place count 235 transition count 614
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 5 with 7 rules applied. Total rules applied 3211 place count 235 transition count 607
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 6 with 7 rules applied. Total rules applied 3218 place count 228 transition count 607
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 2 Pre rules applied. Total rules applied 3218 place count 228 transition count 605
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 7 with 4 rules applied. Total rules applied 3222 place count 226 transition count 605
Discarding 4 places :
Symmetric choice reduction at 7 with 4 rule applications. Total rules 3226 place count 222 transition count 600
Iterating global reduction 7 with 4 rules applied. Total rules applied 3230 place count 222 transition count 600
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1 Pre rules applied. Total rules applied 3230 place count 222 transition count 599
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 3232 place count 221 transition count 599
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 3233 place count 220 transition count 598
Iterating global reduction 7 with 1 rules applied. Total rules applied 3234 place count 220 transition count 598
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 1 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 7 with 18 rules applied. Total rules applied 3252 place count 211 transition count 589
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 7 with 2 rules applied. Total rules applied 3254 place count 210 transition count 588
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 7 with 2 rules applied. Total rules applied 3256 place count 210 transition count 586
Free-agglomeration rule applied 29 times with reduction of 3 identical transitions.
Iterating global reduction 7 with 29 rules applied. Total rules applied 3285 place count 210 transition count 554
Reduce places removed 29 places and 0 transitions.
Ensure Unique test removed 33 transitions
Reduce isomorphic transitions removed 33 transitions.
Iterating post reduction 7 with 62 rules applied. Total rules applied 3347 place count 181 transition count 521
Drop transitions removed 5 transitions
Redundant transition composition rules discarded 5 transitions
Iterating global reduction 8 with 5 rules applied. Total rules applied 3352 place count 181 transition count 516
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 8 with 3 rules applied. Total rules applied 3355 place count 181 transition count 516
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 8 with 8 rules applied. Total rules applied 3363 place count 178 transition count 511
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 9 with 1 rules applied. Total rules applied 3364 place count 178 transition count 510
Partial Free-agglomeration rule applied 25 times.
Drop transitions removed 25 transitions
Iterating global reduction 9 with 25 rules applied. Total rules applied 3389 place count 178 transition count 510
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 9 with 10 rules applied. Total rules applied 3399 place count 178 transition count 500
Discarding 4 places :
Symmetric choice reduction at 10 with 4 rule applications. Total rules 3403 place count 174 transition count 493
Iterating global reduction 10 with 4 rules applied. Total rules applied 3407 place count 174 transition count 493
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 10 with 2 rules applied. Total rules applied 3409 place count 174 transition count 491
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 11 with 1 rules applied. Total rules applied 3410 place count 174 transition count 490
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 1 rules applied. Total rules applied 3411 place count 173 transition count 489
Applied a total of 3411 rules in 866 ms. Remains 173 /9566 variables (removed 9393) and now considering 489/41422 (removed 40933) transitions.
Running SMT prover for 4 properties.
// Phase 1: matrix 489 rows 173 cols
[2022-06-09 04:45:01] [INFO ] Computed 5 place invariants in 1 ms
[2022-06-09 04:45:01] [INFO ] After 75ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2022-06-09 04:45:01] [INFO ] [Nat]Absence check using 5 positive place invariants in 2 ms returned sat
[2022-06-09 04:45:01] [INFO ] After 271ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2022-06-09 04:45:02] [INFO ] After 459ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :4
Attempting to minimize the solution found.
Minimization took 195 ms.
[2022-06-09 04:45:02] [INFO ] After 741ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :4
[2022-06-09 04:45:02] [INFO ] Flatten gal took : 128 ms
[2022-06-09 04:45:02] [INFO ] Flatten gal took : 54 ms
[2022-06-09 04:45:02] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality42958739506521883.gal : 27 ms
[2022-06-09 04:45:02] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14843285054980474339.prop : 2 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/ReachabilityCardinality42958739506521883.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality14843285054980474339.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/ReachabilityCardinality14843285054980474339.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :8 after 70
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :70 after 109
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :109 after 1594
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :1594 after 2752
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :2752 after 23777
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :23777 after 112515
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :112515 after 338260
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :338260 after 4.01858e+06
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :4.01858e+06 after 2.68863e+08
Detected timeout of ITS tools.
[2022-06-09 04:45:17] [INFO ] Flatten gal took : 44 ms
[2022-06-09 04:45:17] [INFO ] Applying decomposition
[2022-06-09 04:45:18] [INFO ] Flatten gal took : 43 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/graph14286030585476581082.txt' '-o' '/tmp/graph14286030585476581082.bin' '-w' '/tmp/graph14286030585476581082.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14286030585476581082.bin' '-l' '-1' '-v' '-w' '/tmp/graph14286030585476581082.weights' '-q' '0' '-e' '0.001'
[2022-06-09 04:45:18] [INFO ] Decomposing Gal with order
[2022-06-09 04:45:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 04:45:18] [INFO ] Removed a total of 228 redundant transitions.
[2022-06-09 04:45:18] [INFO ] Flatten gal took : 233 ms
[2022-06-09 04:45:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 119 labels/synchronizations in 14 ms.
[2022-06-09 04:45:18] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16862573264890275136.gal : 31 ms
[2022-06-09 04:45:18] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12703566126685301125.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/ReachabilityCardinality16862573264890275136.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality12703566126685301125.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/ReachabilityCardinality12703566126685301125.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 6
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :6 after 10
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :10 after 105
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :105 after 162
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :162 after 916
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :916 after 1500
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :1500 after 19898
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :19898 after 40920
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :40920 after 132231
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :132231 after 1.73014e+06
SDD proceeding with computation,4 properties remain. new max is 4096
SDD size :1.73014e+06 after 7.99833e+06
SDD proceeding with computation,4 properties remain. new max is 8192
SDD size :7.99833e+06 after 4.47572e+07
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin730026904965706433
[2022-06-09 04:45:33] [INFO ] Built C files in 29ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin730026904965706433
Running compilation step : cd /tmp/ltsmin730026904965706433;'/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 1254 ms.
Running link step : cd /tmp/ltsmin730026904965706433;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 55 ms.
Running LTSmin : cd /tmp/ltsmin730026904965706433;'/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' 'CANInsertWithFailurePT090ReachabilityCardinality01==true'
LTSmin run took 782 ms.
Found Violation
Running LTSmin : cd /tmp/ltsmin730026904965706433;'/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' 'CANInsertWithFailurePT090ReachabilityCardinality10==true'
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
[2022-06-09 04:45:50] [INFO ] Flatten gal took : 1564 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin3232258357738956433
[2022-06-09 04:45:51] [INFO ] Too many transitions (41422) to apply POR reductions. Disabling POR matrices.
[2022-06-09 04:45:52] [INFO ] Built C files in 792ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3232258357738956433
Running compilation step : cd /tmp/ltsmin3232258357738956433;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '180' '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 04:45:53] [INFO ] Applying decomposition
[2022-06-09 04:45:53] [INFO ] Flatten gal took : 1911 ms
[2022-06-09 04:45:54] [INFO ] Flatten gal took : 1518 ms
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/ltsmin3232258357738956433;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '180' '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 180 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin3232258357738956433;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '180' '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 180 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)
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination ReachabilityCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CANInsertWithFailure-PT-090"
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-090, 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-165463872400078"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-090.tgz
mv CANInsertWithFailure-PT-090 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 ;