About the Execution of ITS-Tools for CANInsertWithFailure-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16166.084 | 3600000.00 | 5326867.00 | 32992.30 | TT??FFT?TTTF?TF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r034-tall-177946842200783.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is CANInsertWithFailure-PT-100, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r034-tall-177946842200783
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 61M
-rw-r--r-- 1 mcc users 12K Mar 6 10:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K Mar 6 10:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Mar 6 10:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Mar 6 10:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.2K Mar 15 07:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Mar 15 07:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 15 07:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 15 07:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K Mar 6 10:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 154K Mar 6 10:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Mar 6 10:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Mar 6 10:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 15 07:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 15 07:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 60M Mar 3 18:30 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-00
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-01
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-02
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-03
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-04
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-05
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-06
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-07
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-08
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-09
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-10
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-11
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-12
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-13
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-14
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779701523113
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANInsertWithFailure-PT-100
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityFireability PT
Running Version 202604301425
[2026-05-25 09:32:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-25 09:32:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 09:32:05] [INFO ] Load time of PNML (sax parser for PT used): 1354 ms
[2026-05-25 09:32:05] [INFO ] Transformed 21204 places.
[2026-05-25 09:32:05] [INFO ] Transformed 60600 transitions.
[2026-05-25 09:32:06] [INFO ] Parsed PT model containing 21204 places and 60600 transitions and 162000 arcs in 1633 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 31 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (15 resets) in 6367 ms. (6 steps per ms) remains 13/16 properties
FORMULA CANInsertWithFailure-PT-100-ReachabilityFireability-2024-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-100-ReachabilityFireability-2024-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-100-ReachabilityFireability-2024-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 300 ms. (132 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 916 ms. (43 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 301 ms. (132 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 993 ms. (40 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 651 ms. (61 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 446 ms. (89 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 224 ms. (177 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 256 ms. (155 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 255 ms. (156 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 13/13 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14535842104956041386.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14865057241369917908.kers'
[2026-05-25 09:32:10] [INFO ] Flatten gal took : 2745 ms
[2026-05-25 09:32:10] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14535842104956041386.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14865057241369917908.kers]
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 94 ms.
// Phase 1: matrix 60600 rows 21203 cols 122000 entries
[2026-05-25 09:32:11] [INFO ] Flatten gal took : 869 ms
[2026-05-25 09:32:12] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3700196388277347931.gal : 457 ms
[2026-05-25 09:32:12] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12973705854929502072.prop : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality3700196388277347931.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality12973705854929502072.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Finished phase 1 with 21001 SingleSign rule and 100 generalized
[2026-05-25 09:32:16] [INFO ] Computed 103 invariants in 5330 ms
Computed 103 P flows in 5331 ms.
Exported basis to /tmp/petrispot-output-14865057241369917908.kers
Total runtime 5383 ms.
[2026-05-25 09:32:17] [INFO ] State equation strengthened by 19900 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/271 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 1 (OVERLAPS) 20829/21100 variables, 50/50 constraints. Problems are: Problem set: 0 solved, 13 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 21100/81804 variables, and 50 constraints, problems are : Problem set: 0 solved, 13 unsolved in 5281 ms.
Refiners :[Positive P Invariants (semi-flows): 50/101 constraints, Generalized P Invariants (flows): 0/2 constraints, State Equation: 0/21204 constraints, ReadFeed: 0/19900 constraints, PredecessorRefiner: 13/7 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 13 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/271 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 1 (OVERLAPS) 20829/21100 variables, 50/50 constraints. Problems are: Problem set: 0 solved, 13 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 21100/81804 variables, and 50 constraints, problems are : Problem set: 0 solved, 13 unsolved in 5025 ms.
Refiners :[Positive P Invariants (semi-flows): 50/101 constraints, Generalized P Invariants (flows): 0/2 constraints, State Equation: 0/21204 constraints, ReadFeed: 0/19900 constraints, PredecessorRefiner: 6/7 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 17090ms problems are : Problem set: 0 solved, 13 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 271 out of 21204 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 21204/21204 places, 60600/60600 transitions.
Graph (complete) has 81501 edges and 21204 vertex of which 21203 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.66 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 528 transitions
Trivial Post-agglo rules discarded 528 transitions
Performed 528 trivial Post agglomeration. Transition count delta: 528
Iterating post reduction 0 with 528 rules applied. Total rules applied 529 place count 21203 transition count 60072
Reduce places removed 528 places and 0 transitions.
Loading property file /tmp/ReachabilityCardinality12973705854929502072.prop.
Performed 100 Post agglomeration using F-continuation condition.Transition count delta: 100
Iterating post reduction 1 with 628 rules applied. Total rules applied 1157 place count 20675 transition count 59972
Reduce places removed 100 places and 0 transitions.
Iterating post reduction 2 with 100 rules applied. Total rules applied 1257 place count 20575 transition count 59972
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 24 Pre rules applied. Total rules applied 1257 place count 20575 transition count 59948
Deduced a syphon composed of 24 places in 26 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 3 with 48 rules applied. Total rules applied 1305 place count 20551 transition count 59948
Performed 9755 Post agglomeration using F-continuation condition.Transition count delta: 9755
Deduced a syphon composed of 9755 places in 56 ms
Reduce places removed 9755 places and 0 transitions.
Iterating global reduction 3 with 19510 rules applied. Total rules applied 20815 place count 10796 transition count 50193
Partial Free-agglomeration rule applied 9948 times.
Drop transitions (Partial Free agglomeration) removed 9948 transitions
Iterating global reduction 3 with 9948 rules applied. Total rules applied 30763 place count 10796 transition count 50193
Partial Free-agglomeration rule applied 2335 times.
Drop transitions (Partial Free agglomeration) removed 2335 transitions
Iterating global reduction 3 with 2335 rules applied. Total rules applied 33098 place count 10796 transition count 50193
Applied a total of 33098 rules in 39320 ms. Remains 10796 /21204 variables (removed 10408) and now considering 50193/60600 (removed 10407) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 39340 ms. Remains : 10796/21204 places, 50193/60600 transitions.
RANDOM walk for 40000 steps (63 resets) in 3803 ms. (10 steps per ms) remains 9/13 properties
FORMULA CANInsertWithFailure-PT-100-ReachabilityFireability-2024-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-100-ReachabilityFireability-2024-05 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-100-ReachabilityFireability-2024-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-100-ReachabilityFireability-2024-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 323 ms. (123 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 228 ms. (174 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 152 ms. (261 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 239 ms. (166 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 188 ms. (211 steps per ms) remains 8/9 properties
FORMULA CANInsertWithFailure-PT-100-ReachabilityFireability-2024-09 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 193 ms. (206 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (8 resets) in 302 ms. (132 steps per ms) remains 8/8 properties
[2026-05-25 09:33:08] [INFO ] Flow matrix only has 50120 transitions (discarded 73 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7025672147831914990.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4383566435932486903.kers'
[2026-05-25 09:33:08] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7025672147831914990.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4383566435932486903.kers]
Culled 0 columns in 18 ms.
// Phase 1: matrix 50120 rows 10796 cols 101238 entries
Finished phase 1 with 10594 SingleSign rule and 100 generalized
[2026-05-25 09:33:10] [INFO ] Computed 102 invariants in 2119 ms
Computed 102 P flows in 2119 ms.
Exported basis to /tmp/petrispot-output-4383566435932486903.kers
Total runtime 2155 ms.
[2026-05-25 09:33:11] [INFO ] State equation strengthened by 49011 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/195 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 1 (OVERLAPS) 10471/10666 variables, 36/36 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/10666 variables, 0/36 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 3 (OVERLAPS) 128/10794 variables, 64/100 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/10794 variables, 0/100 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 5 (OVERLAPS) 2/10796 variables, 2/102 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/10796 variables, 0/102 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 7 (OVERLAPS) 50120/60916 variables, 10796/10898 constraints. Problems are: Problem set: 0 solved, 8 unsolved
SMT process timed out in 47508ms, After SMT, problems are : Problem set: 0 solved, 8 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 195 out of 10796 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10796/10796 places, 50193/50193 transitions.
Performed 13 Post agglomeration using F-continuation condition.Transition count delta: 13
Iterating post reduction 0 with 13 rules applied. Total rules applied 13 place count 10796 transition count 50180
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 1 with 13 rules applied. Total rules applied 26 place count 10783 transition count 50180
Performed 37 Post agglomeration using F-continuation condition.Transition count delta: 37
Deduced a syphon composed of 37 places in 9 ms
Reduce places removed 37 places and 0 transitions.
Iterating global reduction 2 with 74 rules applied. Total rules applied 100 place count 10746 transition count 50143
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 101 place count 10746 transition count 50142
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 102 place count 10745 transition count 50142
Partial Free-agglomeration rule applied 26 times.
Drop transitions (Partial Free agglomeration) removed 26 transitions
Iterating global reduction 3 with 26 rules applied. Total rules applied 128 place count 10745 transition count 50142
Applied a total of 128 rules in 21524 ms. Remains 10745 /10796 variables (removed 51) and now considering 50142/50193 (removed 51) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 21524 ms. Remains : 10745/10796 places, 50142/50193 transitions.
RANDOM walk for 40000 steps (64 resets) in 2689 ms. (14 steps per ms) remains 7/8 properties
FORMULA CANInsertWithFailure-PT-100-ReachabilityFireability-2024-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 197 ms. (202 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 134 ms. (296 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 146 ms. (272 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 162 ms. (245 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 181 ms. (219 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 249 ms. (160 steps per ms) remains 7/7 properties
[2026-05-25 09:34:19] [INFO ] Flow matrix only has 50093 transitions (discarded 49 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-18117312505930924602.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15185147707618446475.kers'
[2026-05-25 09:34:19] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-18117312505930924602.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15185147707618446475.kers]
Culled 0 columns in 17 ms.
// Phase 1: matrix 50093 rows 10745 cols 101184 entries
Finished phase 1 with 10543 SingleSign rule and 100 generalized
[2026-05-25 09:34:21] [INFO ] Computed 102 invariants in 2192 ms
Computed 102 P flows in 2193 ms.
Exported basis to /tmp/petrispot-output-15185147707618446475.kers
Total runtime 2223 ms.
[2026-05-25 09:34:21] [INFO ] State equation strengthened by 49121 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/194 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 10421/10615 variables, 36/36 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/10615 variables, 0/36 constraints. Problems are: Problem set: 0 solved, 7 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 128/10743 variables, 64/100 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/10743 variables, 0/100 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 5 (OVERLAPS) 2/10745 variables, 2/102 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/10745 variables, 0/102 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 7 (OVERLAPS) 50093/60838 variables, 10745/10847 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/60838 variables, 49121/59968 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 60838/60838 variables, and 59968 constraints, problems are : Problem set: 0 solved, 7 unsolved in 75104 ms.
Refiners :[Positive P Invariants (semi-flows): 100/100 constraints, Generalized P Invariants (flows): 2/2 constraints, State Equation: 10745/10745 constraints, ReadFeed: 49121/49121 constraints, PredecessorRefiner: 7/3 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 7 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/194 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 10421/10615 variables, 36/36 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/10615 variables, 2/38 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/10615 variables, 0/38 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 4 (OVERLAPS) 128/10743 variables, 64/102 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/10743 variables, 0/102 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 6 (OVERLAPS) 2/10745 variables, 2/104 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/10745 variables, 0/104 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 8 (OVERLAPS) 50093/60838 variables, 10745/10849 constraints. Problems are: Problem set: 0 solved, 7 unsolved
SMT process timed out in 152792ms, After SMT, problems are : Problem set: 0 solved, 7 unsolved
Fused 7 Parikh solutions to 4 different solutions.
Parikh walk visited 0 properties in 58 ms.
Support contains 194 out of 10745 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10745/10745 places, 50142/50142 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 34 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 10744 transition count 50141
Applied a total of 2 rules in 8816 ms. Remains 10744 /10745 variables (removed 1) and now considering 50141/50142 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8816 ms. Remains : 10744/10745 places, 50141/50142 transitions.
RANDOM walk for 40000 steps (64 resets) in 3631 ms. (11 steps per ms) remains 6/7 properties
FORMULA CANInsertWithFailure-PT-100-ReachabilityFireability-2024-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 222 ms. (179 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 142 ms. (279 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 297 ms. (134 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 139 ms. (285 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 150 ms. (264 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 258 ms. (154 steps per ms) remains 6/6 properties
[2026-05-25 09:37:02] [INFO ] Flow matrix only has 50092 transitions (discarded 49 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12091852818253757704.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5425969309103870709.kers'
[2026-05-25 09:37:02] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12091852818253757704.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5425969309103870709.kers]
Culled 0 columns in 17 ms.
// Phase 1: matrix 50092 rows 10744 cols 101182 entries
Finished phase 1 with 10542 SingleSign rule and 100 generalized
[2026-05-25 09:37:04] [INFO ] Computed 102 invariants in 2178 ms
Computed 102 P flows in 2207 ms.
Exported basis to /tmp/petrispot-output-5425969309103870709.kers
Total runtime 2238 ms.
[2026-05-25 09:37:04] [INFO ] State equation strengthened by 49123 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/176 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 10434/10610 variables, 34/34 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/10610 variables, 0/34 constraints. Problems are: Problem set: 0 solved, 6 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 132/10742 variables, 66/100 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/10742 variables, 0/100 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (OVERLAPS) 2/10744 variables, 2/102 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/10744 variables, 0/102 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 7 (OVERLAPS) 50092/60836 variables, 10744/10846 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/60836 variables, 49123/59969 constraints. Problems are: Problem set: 0 solved, 6 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 60836/60836 variables, and 59969 constraints, problems are : Problem set: 0 solved, 6 unsolved in 90151 ms.
Refiners :[Positive P Invariants (semi-flows): 100/100 constraints, Generalized P Invariants (flows): 2/2 constraints, State Equation: 10744/10744 constraints, ReadFeed: 49123/49123 constraints, PredecessorRefiner: 6/3 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/176 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 10434/10610 variables, 34/34 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/10610 variables, 20/54 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/10610 variables, 20/74 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/10610 variables, 20/94 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/10610 variables, 9/103 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/10610 variables, 0/103 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 7 (OVERLAPS) 132/10742 variables, 66/169 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/10742 variables, 0/169 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 9 (OVERLAPS) 2/10744 variables, 2/171 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/10744 variables, 0/171 constraints. Problems are: Problem set: 0 solved, 6 unsolved
SMT process timed out in 182645ms, After SMT, problems are : Problem set: 0 solved, 6 unsolved
Fused 6 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 176 out of 10744 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10744/10744 places, 50141/50141 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 10744 transition count 50139
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 10742 transition count 50139
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Deduced a syphon composed of 12 places in 9 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 2 with 24 rules applied. Total rules applied 28 place count 10730 transition count 50127
Partial Free-agglomeration rule applied 4 times.
Drop transitions (Partial Free agglomeration) removed 4 transitions
Iterating global reduction 2 with 4 rules applied. Total rules applied 32 place count 10730 transition count 50127
Applied a total of 32 rules in 12798 ms. Remains 10730 /10744 variables (removed 14) and now considering 50127/50141 (removed 14) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 12798 ms. Remains : 10730/10744 places, 50127/50141 transitions.
RANDOM walk for 40000 steps (62 resets) in 2710 ms. (14 steps per ms) remains 5/6 properties
FORMULA CANInsertWithFailure-PT-100-ReachabilityFireability-2024-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (8 resets) in 217 ms. (183 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 138 ms. (287 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 147 ms. (270 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 5/5 properties
[2026-05-25 09:40:18] [INFO ] Flow matrix only has 50082 transitions (discarded 45 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15828017216795473891.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14394839291078080489.kers'
[2026-05-25 09:40:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15828017216795473891.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14394839291078080489.kers]
Culled 0 columns in 18 ms.
// Phase 1: matrix 50082 rows 10730 cols 101162 entries
Finished phase 1 with 10528 SingleSign rule and 100 generalized
[2026-05-25 09:40:21] [INFO ] Computed 102 invariants in 2240 ms
Computed 102 P flows in 2252 ms.
Exported basis to /tmp/petrispot-output-14394839291078080489.kers
Total runtime 2282 ms.
[2026-05-25 09:40:21] [INFO ] State equation strengthened by 49151 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/174 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 10422/10596 variables, 34/34 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/10596 variables, 0/34 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (OVERLAPS) 132/10728 variables, 66/100 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/10728 variables, 0/100 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (OVERLAPS) 2/10730 variables, 2/102 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/10730 variables, 0/102 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (OVERLAPS) 50082/60812 variables, 10730/10832 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/60812 variables, 49151/59983 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/60812 variables, 0/59983 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 60812/60812 variables, and 59983 constraints, problems are : Problem set: 0 solved, 5 unsolved in 105175 ms.
Refiners :[Positive P Invariants (semi-flows): 100/100 constraints, Generalized P Invariants (flows): 2/2 constraints, State Equation: 10730/10730 constraints, ReadFeed: 49151/49151 constraints, PredecessorRefiner: 5/2 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/174 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 10422/10596 variables, 34/34 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/10596 variables, 20/54 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/10596 variables, 20/74 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/10596 variables, 20/94 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/10596 variables, 9/103 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/10596 variables, 0/103 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (OVERLAPS) 132/10728 variables, 66/169 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/10728 variables, 0/169 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (OVERLAPS) 2/10730 variables, 2/171 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/10730 variables, 0/171 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 11 (OVERLAPS) 50082/60812 variables, 10730/10901 constraints. Problems are: Problem set: 0 solved, 5 unsolved
SMT process timed out in 212916ms, After SMT, problems are : Problem set: 0 solved, 5 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 174 out of 10730 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10730/10730 places, 50127/50127 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 10 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 10729 transition count 50126
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 3 place count 10729 transition count 50126
Applied a total of 3 rules in 13151 ms. Remains 10729 /10730 variables (removed 1) and now considering 50126/50127 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 13151 ms. Remains : 10729/10730 places, 50126/50127 transitions.
RANDOM walk for 40000 steps (64 resets) in 3021 ms. (13 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 220 ms. (181 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 145 ms. (274 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 220 ms. (181 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 130 ms. (305 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 5/5 properties
Interrupted probabilistic random walk after 86608 steps, run timeout after 3002 ms. (steps per millisecond=28 ) properties seen :0 out of 5
Probabilistic random walk after 86608 steps, saw 84632 distinct states, run finished after 3009 ms. (steps per millisecond=28 ) properties seen :0
[2026-05-25 09:44:09] [INFO ] Flow matrix only has 50082 transitions (discarded 44 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9386724950260288365.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1929062830171811782.kers'
[2026-05-25 09:44:09] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9386724950260288365.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1929062830171811782.kers]
Culled 0 columns in 17 ms.
// Phase 1: matrix 50082 rows 10729 cols 101162 entries
Finished phase 1 with 10527 SingleSign rule and 100 generalized
[2026-05-25 09:44:11] [INFO ] Computed 102 invariants in 2179 ms
Computed 102 P flows in 2181 ms.
Exported basis to /tmp/petrispot-output-1929062830171811782.kers
Total runtime 2222 ms.
[2026-05-25 09:44:11] [INFO ] State equation strengthened by 49155 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/174 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 10421/10595 variables, 34/34 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/10595 variables, 0/34 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (OVERLAPS) 132/10727 variables, 66/100 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/10727 variables, 0/100 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (OVERLAPS) 2/10729 variables, 2/102 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/10729 variables, 0/102 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (OVERLAPS) 50082/60811 variables, 10729/10831 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/60811 variables, 49155/59986 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/60811 variables, 0/59986 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 10 (OVERLAPS) 0/60811 variables, 0/59986 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
No progress, stopping.
After SMT solving in domain Real declared 60811/60811 variables, and 59986 constraints, problems are : Problem set: 0 solved, 5 unsolved in 120178 ms.
Refiners :[Positive P Invariants (semi-flows): 100/100 constraints, Generalized P Invariants (flows): 2/2 constraints, State Equation: 10729/10729 constraints, ReadFeed: 49155/49155 constraints, PredecessorRefiner: 5/2 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/174 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 10421/10595 variables, 34/34 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/10595 variables, 2/36 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/10595 variables, 0/36 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (OVERLAPS) 132/10727 variables, 66/102 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/10727 variables, 0/102 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (OVERLAPS) 2/10729 variables, 2/104 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/10729 variables, 0/104 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (OVERLAPS) 50082/60811 variables, 10729/10833 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/60811 variables, 49155/59988 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 60811/60811 variables, and 59990 constraints, problems are : Problem set: 0 solved, 5 unsolved in 120124 ms.
Refiners :[Positive P Invariants (semi-flows): 100/100 constraints, Generalized P Invariants (flows): 2/2 constraints, State Equation: 10729/10729 constraints, ReadFeed: 49155/49155 constraints, PredecessorRefiner: 5/2 constraints, Known Traps: 2/2 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 242763ms problems are : Problem set: 0 solved, 5 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 174 out of 10729 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10729/10729 places, 50126/50126 transitions.
Applied a total of 0 rules in 4332 ms. Remains 10729 /10729 variables (removed 0) and now considering 50126/50126 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4332 ms. Remains : 10729/10729 places, 50126/50126 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10729/10729 places, 50126/50126 transitions.
Applied a total of 0 rules in 4379 ms. Remains 10729 /10729 variables (removed 0) and now considering 50126/50126 (removed 0) transitions.
[2026-05-25 09:48:20] [INFO ] Flow matrix only has 50082 transitions (discarded 44 similar events)
[2026-05-25 09:48:20] [INFO ] Invariant cache hit.
[2026-05-25 09:48:52] [INFO ] Performed 7870/10729 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 09:48:54] [INFO ] Implicit Places using invariants in 33712 ms returned []
Implicit Place search using SMT only with invariants took 33725 ms to find 0 implicit places.
Running 50026 sub problems to find dead transitions.
[2026-05-25 09:48:54] [INFO ] Flow matrix only has 50082 transitions (discarded 44 similar events)
[2026-05-25 09:48:54] [INFO ] Invariant cache hit.
[2026-05-25 09:48:54] [INFO ] State equation strengthened by 49155 read => feed constraints.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 10728/60811 variables, and 100 constraints, problems are : Problem set: 0 solved, 50026 unsolved in 30653 ms.
Refiners :[Positive P Invariants (semi-flows): 100/100 constraints, Generalized P Invariants (flows): 0/2 constraints, State Equation: 0/10729 constraints, ReadFeed: 0/49155 constraints, PredecessorRefiner: 50026/50026 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 50026 unsolved
SMT process timed out in 329202ms, After SMT, problems are : Problem set: 0 solved, 50026 unsolved
Search for dead transitions found 0 dead transitions in 329369ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 367683 ms. Remains : 10729/10729 places, 50126/50126 transitions.
Attempting over-approximation, by ignoring read arcs.
Graph (trivial) has 45897 edges and 10729 vertex of which 8544 / 10729 are part of one of the 2 SCC in 55 ms
Free SCC test removed 8542 places
Drop transitions (Empty/Sink Transition effects.) removed 31583 transitions
Ensure Unique test removed 9797 transitions
Reduce isomorphic transitions removed 41380 transitions.
Graph (complete) has 9349 edges and 2187 vertex of which 1978 are kept as prefixes of interest. Removing 209 places using SCC suffix rule.15 ms
Discarding 209 places :
Also discarding 68 output transitions
Drop transitions (Output transitions of discarded places.) removed 68 transitions
Drop transitions (Empty/Sink Transition effects.) removed 1425 transitions
Reduce isomorphic transitions removed 1425 transitions.
Iterating post reduction 0 with 1425 rules applied. Total rules applied 1427 place count 1978 transition count 7253
Discarding 1360 places :
Symmetric choice reduction at 1 with 1360 rule applications. Total rules 2787 place count 618 transition count 3087
Iterating global reduction 1 with 1360 rules applied. Total rules applied 4147 place count 618 transition count 3087
Ensure Unique test removed 1295 transitions
Reduce isomorphic transitions removed 1295 transitions.
Iterating post reduction 1 with 1295 rules applied. Total rules applied 5442 place count 618 transition count 1792
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 2 with 2 rules applied. Total rules applied 5444 place count 617 transition count 1791
Drop transitions (Redundant composition of simpler transitions.) removed 294 transitions
Redundant transition composition rules discarded 294 transitions
Iterating global reduction 2 with 294 rules applied. Total rules applied 5738 place count 617 transition count 1497
Discarding 77 places :
Symmetric choice reduction at 2 with 77 rule applications. Total rules 5815 place count 540 transition count 1343
Iterating global reduction 2 with 77 rules applied. Total rules applied 5892 place count 540 transition count 1343
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Deduced a syphon composed of 80 places in 1 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 2 with 160 rules applied. Total rules applied 6052 place count 460 transition count 1263
Ensure Unique test removed 93 transitions
Reduce isomorphic transitions removed 93 transitions.
Iterating post reduction 2 with 93 rules applied. Total rules applied 6145 place count 460 transition count 1170
Performed 77 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 77 places in 1 ms
Reduce places removed 77 places and 0 transitions.
Iterating global reduction 3 with 154 rules applied. Total rules applied 6299 place count 383 transition count 1170
Ensure Unique test removed 154 transitions
Reduce isomorphic transitions removed 154 transitions.
Iterating post reduction 3 with 154 rules applied. Total rules applied 6453 place count 383 transition count 1016
Drop transitions (Redundant composition of simpler transitions.) removed 51 transitions
Redundant transition composition rules discarded 51 transitions
Iterating global reduction 4 with 51 rules applied. Total rules applied 6504 place count 383 transition count 965
Free-agglomeration rule applied 29 times.
Iterating global reduction 4 with 29 rules applied. Total rules applied 6533 place count 383 transition count 936
Reduce places removed 29 places and 0 transitions.
Ensure Unique test removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Iterating post reduction 4 with 61 rules applied. Total rules applied 6594 place count 354 transition count 904
Drop transitions (Redundant composition of simpler transitions.) removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 5 with 4 rules applied. Total rules applied 6598 place count 354 transition count 900
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 5 with 1 rules applied. Total rules applied 6599 place count 354 transition count 899
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 6600 place count 353 transition count 899
Partial Free-agglomeration rule applied 62 times.
Drop transitions (Partial Free agglomeration) removed 62 transitions
Iterating global reduction 6 with 62 rules applied. Total rules applied 6662 place count 353 transition count 899
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 6663 place count 353 transition count 898
Drop transitions (Redundant composition of simpler transitions.) removed 5 transitions
Redundant transition composition rules discarded 5 transitions
Iterating global reduction 7 with 5 rules applied. Total rules applied 6668 place count 353 transition count 893
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 7 with 3 rules applied. Total rules applied 6671 place count 353 transition count 890
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 8 with 3 rules applied. Total rules applied 6674 place count 350 transition count 890
Drop transitions (Redundant composition of simpler transitions.) removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 9 with 2 rules applied. Total rules applied 6676 place count 350 transition count 888
Applied a total of 6676 rules in 5797 ms. Remains 350 /10729 variables (removed 10379) and now considering 888/50126 (removed 49238) transitions.
Running SMT prover for 5 properties.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-433781510751408739.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16146152932388265686.kers'
[2026-05-25 09:54:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-433781510751408739.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16146152932388265686.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 888 rows 350 cols 1815 entries
Finished phase 1 with 320 SingleSign rule and 0 generalized
[2026-05-25 09:54:29] [INFO ] Computed 30 invariants in 2 ms
Computed 30 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-16146152932388265686.kers
Total runtime 3 ms.
[2026-05-25 09:54:30] [INFO ] [Real]Absence check using 30 positive place invariants in 4 ms returned sat
[2026-05-25 09:54:30] [INFO ] After 336ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:5
[2026-05-25 09:54:30] [INFO ] [Nat]Absence check using 30 positive place invariants in 229 ms returned sat
[2026-05-25 09:54:31] [INFO ] After 456ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :5
[2026-05-25 09:54:31] [INFO ] State equation strengthened by 1 read => feed constraints.
[2026-05-25 09:54:31] [INFO ] After 208ms SMT Verify possible using 1 Read/Feed constraints in natural domain returned unsat :0 sat :5
TRAPS : Iteration 0
[2026-05-25 09:54:31] [INFO ] After 415ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :5
[2026-05-25 09:54:31] [INFO ] After 1596ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :5
[2026-05-25 09:54:31] [INFO ] Flatten gal took : 14 ms
[2026-05-25 09:54:31] [INFO ] Flatten gal took : 8 ms
[2026-05-25 09:54:31] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5974831607008256281.gal : 3 ms
[2026-05-25 09:54:31] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5221055653992425115.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality5974831607008256281.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5221055653992425115.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Loading property file /tmp/ReachabilityCardinality5221055653992425115.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :5 after 6
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :6 after 11
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :11 after 18
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :18 after 35
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :35 after 342
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :342 after 1957
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :1957 after 31457
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :31457 after 685648
SDD proceeding with computation,5 properties remain. new max is 2048
SDD size :685648 after 2.37372e+07
SDD proceeding with computation,5 properties remain. new max is 4096
SDD size :2.37372e+07 after 4.66771e+09
Detected timeout of ITS tools.
[2026-05-25 09:54:46] [INFO ] Flatten gal took : 8 ms
[2026-05-25 09:54:46] [INFO ] Applying decomposition
[2026-05-25 09:54:47] [INFO ] Flatten gal took : 11 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph13612205013596180950.txt' '-o' '/tmp/graph13612205013596180950.bin' '-w' '/tmp/graph13612205013596180950.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13612205013596180950.bin' '-l' '-1' '-v' '-w' '/tmp/graph13612205013596180950.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:54:47] [INFO ] Decomposing Gal with order
[2026-05-25 09:54:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:54:47] [INFO ] Removed a total of 586 redundant transitions.
[2026-05-25 09:54:47] [INFO ] Flatten gal took : 262 ms
[2026-05-25 09:54:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 221 labels/synchronizations in 41 ms.
[2026-05-25 09:54:47] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5616257478466505497.gal : 24 ms
[2026-05-25 09:54:47] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2991832127511199117.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality5616257478466505497.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality2991832127511199117.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...307
Loading property file /tmp/ReachabilityCardinality2991832127511199117.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 23
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :23 after 8085
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :8085 after 8140
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :8140 after 8360
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :8360 after 288640
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :288640 after 9.72114e+06
Detected timeout of ITS tools.
Over-approximation ignoring read arcs solved 0 properties in 38840 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
[2026-05-25 09:55:03] [INFO ] Flatten gal took : 782 ms
[2026-05-25 09:55:03] [INFO ] Applying decomposition
[2026-05-25 09:55:04] [INFO ] Flatten gal took : 790 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph14536649206774675944.txt' '-o' '/tmp/graph14536649206774675944.bin' '-w' '/tmp/graph14536649206774675944.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14536649206774675944.bin' '-l' '-1' '-v' '-w' '/tmp/graph14536649206774675944.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:55:06] [INFO ] Decomposing Gal with order
[2026-05-25 09:55:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:55:15] [INFO ] Removed a total of 30153 redundant transitions.
[2026-05-25 09:55:15] [INFO ] Flatten gal took : 3749 ms
[2026-05-25 09:55:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 40306 labels/synchronizations in 6422 ms.
[2026-05-25 09:55:23] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16382884906476209055.gal : 238 ms
[2026-05-25 09:55:23] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15762090226189860271.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality16382884906476209055.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality15762090226189860271.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...309
Loading property file /tmp/ReachabilityCardinality15762090226189860271.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 4
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :4 after 17
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :17 after 3630
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :3630 after 3630
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :3630 after 3630
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :3630 after 3730
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :3730 after 3730
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :3730 after 3830
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :3830 after 3930
SDD proceeding with computation,5 properties remain. new max is 2048
SDD size :3930 after 4130
SDD proceeding with computation,5 properties remain. new max is 4096
SDD size :4130 after 4430
SDD proceeding with computation,5 properties remain. new max is 8192
SDD size :4430 after 4830
SDD proceeding with computation,5 properties remain. new max is 16384
SDD size :4830 after 5330
SDD proceeding with computation,5 properties remain. new max is 32768
SDD size :5330 after 6130
SDD proceeding with computation,5 properties remain. new max is 65536
SDD size :6130 after 3.27881e+06
SDD proceeding with computation,5 properties remain. new max is 131072
SDD size :3.27881e+06 after 3.95414e+06
SDD proceeding with computation,5 properties remain. new max is 262144
SDD size :3.95414e+06 after 4.01972e+06
SDD proceeding with computation,5 properties remain. new max is 524288
SDD size :4.01972e+06 after 4.04391e+08
Detected timeout of ITS tools.
[2026-05-25 10:25:25] [INFO ] Flatten gal took : 526 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin13377279347381286597
[2026-05-25 10:25:25] [INFO ] Too many transitions (50126) to apply POR reductions. Disabling POR matrices.
[2026-05-25 10:25:25] [INFO ] Applying decomposition
[2026-05-25 10:25:26] [INFO ] Built C files in 760ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13377279347381286597
Running compilation step : cd /tmp/ltsmin13377279347381286597;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '144' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2026-05-25 10:25:27] [INFO ] Flatten gal took : 1053 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph18558875549264246.txt' '-o' '/tmp/graph18558875549264246.bin' '-w' '/tmp/graph18558875549264246.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph18558875549264246.bin' '-l' '-1' '-v' '-w' '/tmp/graph18558875549264246.weights' '-q' '0' '-e' '0.001'
[2026-05-25 10:25:30] [INFO ] Decomposing Gal with order
[2026-05-25 10:25:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 10:25:38] [INFO ] Removed a total of 59613 redundant transitions.
[2026-05-25 10:25:38] [INFO ] Flatten gal took : 3650 ms
[2026-05-25 10:25:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 38540 labels/synchronizations in 9175 ms.
[2026-05-25 10:25:48] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability2635125911427997795.gal : 185 ms
[2026-05-25 10:25:48] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability13118135191310413305.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityFireability2635125911427997795.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityFireability13118135191310413305.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Loading property file /tmp/ReachabilityFireability13118135191310413305.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 360
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :360 after 360
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :360 after 360
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :360 after 360
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :360 after 361
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :361 after 361
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :361 after 361
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :361 after 361
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :361 after 361
SDD proceeding with computation,5 properties remain. new max is 2048
SDD size :361 after 362
SDD proceeding with computation,5 properties remain. new max is 4096
SDD size :362 after 363
SDD proceeding with computation,5 properties remain. new max is 8192
SDD size :363 after 363
SDD proceeding with computation,5 properties remain. new max is 16384
SDD size :363 after 364
SDD proceeding with computation,5 properties remain. new max is 32768
SDD size :364 after 366
SDD proceeding with computation,5 properties remain. new max is 65536
SDD size :366 after 368
SDD proceeding with computation,5 properties remain. new max is 131072
SDD size :368 after 497
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/ltsmin13377279347381286597;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '144' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 144 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin13377279347381286597;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '144' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 144 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
SDD proceeding with computation,5 properties remain. new max is 262144
SDD size :497 after 194827
SDD proceeding with computation,5 properties remain. new max is 524288
SDD size :194827 after 236502
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CANInsertWithFailure-PT-100"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is CANInsertWithFailure-PT-100, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r034-tall-177946842200783"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-100.tgz
mv CANInsertWithFailure-PT-100 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;