About the Execution of ITS-Tools for CANInsertWithFailure-PT-070
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | [undef] | Time out reached |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r030-smll-174853813700309.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool itstools
Input is CANInsertWithFailure-PT-070, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r030-smll-174853813700309
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 31M
-rw-r--r-- 1 mcc users 7.9K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.7K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 147K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 106K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.4K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 30M May 29 14:32 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-00
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-01
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-02
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-03
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-04
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-05
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-06
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-07
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-08
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-09
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-10
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-11
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-12
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-13
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-14
FORMULA_NAME CANInsertWithFailure-PT-070-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1748824929031
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANInsertWithFailure-PT-070
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
UpperBounds PT
Running Version 202505121319
[2025-06-02 00:42:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-02 00:42:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-02 00:42:13] [INFO ] Load time of PNML (sax parser for PT used): 1696 ms
[2025-06-02 00:42:13] [INFO ] Transformed 10644 places.
[2025-06-02 00:42:13] [INFO ] Transformed 29820 transitions.
[2025-06-02 00:42:13] [INFO ] Parsed PT model containing 10644 places and 29820 transitions and 79800 arcs in 2029 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 15 ms.
Current structural bounds on expressions (Initially) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[+inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf]
Current structural bounds on expressions (Before main loop) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[+inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf]
// Phase 1: matrix 29820 rows 10644 cols
[2025-06-02 00:42:21] [INFO ] Computed 73 invariants in 7521 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70]
RANDOM walk for 10000 steps (5 resets) in 345 ms. (28 steps per ms)
BEST_FIRST walk for 160016 steps (32 resets) in 438 ms. (364 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0] Max Struct:[70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70]
[2025-06-02 00:42:22] [INFO ] Invariant cache hit.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:42:25] [INFO ] [Real]Absence check using 71 positive place invariants in 451 ms returned sat
[2025-06-02 00:42:25] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 141 ms returned sat
[2025-06-02 00:42:27] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 0
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:42:29] [INFO ] [Real]Absence check using 71 positive place invariants in 399 ms returned sat
[2025-06-02 00:42:30] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 133 ms returned sat
[2025-06-02 00:42:32] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 1
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:42:34] [INFO ] [Real]Absence check using 71 positive place invariants in 400 ms returned sat
[2025-06-02 00:42:35] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 135 ms returned sat
[2025-06-02 00:42:37] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 2
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:42:39] [INFO ] [Real]Absence check using 71 positive place invariants in 433 ms returned sat
[2025-06-02 00:42:39] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 133 ms returned sat
[2025-06-02 00:42:42] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 3
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:42:44] [INFO ] [Real]Absence check using 71 positive place invariants in 437 ms returned sat
[2025-06-02 00:42:45] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 186 ms returned sat
[2025-06-02 00:42:47] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 4
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:42:49] [INFO ] [Real]Absence check using 71 positive place invariants in 380 ms returned sat
[2025-06-02 00:42:49] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 130 ms returned sat
[2025-06-02 00:42:52] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 5
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:42:54] [INFO ] [Real]Absence check using 71 positive place invariants in 526 ms returned sat
[2025-06-02 00:42:54] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 135 ms returned sat
[2025-06-02 00:42:57] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 6
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:42:59] [INFO ] [Real]Absence check using 71 positive place invariants in 403 ms returned sat
[2025-06-02 00:42:59] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 136 ms returned sat
[2025-06-02 00:43:02] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 7
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:43:04] [INFO ] [Real]Absence check using 71 positive place invariants in 416 ms returned sat
[2025-06-02 00:43:04] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 132 ms returned sat
[2025-06-02 00:43:07] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 8
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:43:09] [INFO ] [Real]Absence check using 71 positive place invariants in 560 ms returned sat
[2025-06-02 00:43:10] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 223 ms returned sat
[2025-06-02 00:43:12] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 9
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:43:15] [INFO ] [Real]Absence check using 71 positive place invariants in 589 ms returned sat
[2025-06-02 00:43:15] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 210 ms returned sat
[2025-06-02 00:43:17] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 10
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:43:19] [INFO ] [Real]Absence check using 71 positive place invariants in 481 ms returned sat
[2025-06-02 00:43:19] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 191 ms returned sat
[2025-06-02 00:43:22] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 11
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:43:25] [INFO ] [Real]Absence check using 71 positive place invariants in 577 ms returned sat
[2025-06-02 00:43:25] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 209 ms returned sat
[2025-06-02 00:43:27] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 12
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:43:29] [INFO ] [Real]Absence check using 71 positive place invariants in 379 ms returned sat
[2025-06-02 00:43:29] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 130 ms returned sat
[2025-06-02 00:43:32] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 13
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 00:43:37] [INFO ] [Real]Absence check using 71 positive place invariants in 446 ms returned sat
[2025-06-02 00:43:37] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 159 ms returned sat
[2025-06-02 00:43:39] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 15
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:927)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Current structural bounds on expressions (after SMT) : Max Seen:[1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0] Max Struct:[70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0] Max Struct:[70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70]
Support contains 16 out of 10644 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10644/10644 places, 29820/29820 transitions.
Graph (complete) has 40251 edges and 10644 vertex of which 10643 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.59 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 489 transitions
Trivial Post-agglo rules discarded 489 transitions
Performed 489 trivial Post agglomeration. Transition count delta: 489
Iterating post reduction 0 with 489 rules applied. Total rules applied 490 place count 10643 transition count 29331
Reduce places removed 489 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 490 rules applied. Total rules applied 980 place count 10154 transition count 29330
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 981 place count 10153 transition count 29330
Performed 4685 Post agglomeration using F-continuation condition.Transition count delta: 4685
Deduced a syphon composed of 4685 places in 17 ms
Reduce places removed 4685 places and 0 transitions.
Iterating global reduction 3 with 9370 rules applied. Total rules applied 10351 place count 5468 transition count 24645
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 10352 place count 5468 transition count 24644
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 10353 place count 5467 transition count 24644
Partial Free-agglomeration rule applied 5166 times.
Drop transitions (Partial Free agglomeration) removed 5166 transitions
Iterating global reduction 4 with 5166 rules applied. Total rules applied 15519 place count 5467 transition count 24644
Applied a total of 15519 rules in 13656 ms. Remains 5467 /10644 variables (removed 5177) and now considering 24644/29820 (removed 5176) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 13686 ms. Remains : 5467/10644 places, 24644/29820 transitions.
[2025-06-02 00:43:53] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
// Phase 1: matrix 24638 rows 5467 cols
[2025-06-02 00:43:55] [INFO ] Computed 72 invariants in 1829 ms
Current structural bounds on expressions (after invariants) : Max Seen:[1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0] Max Struct:[70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70]
RANDOM walk for 1000000 steps (2327 resets) in 29284 ms. (34 steps per ms)
BEST_FIRST walk for 16000015 steps (381 resets) in 36301 ms. (440 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] Max Struct:[70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70]
[2025-06-02 00:45:01] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 00:45:01] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:45:02] [INFO ] [Real]Absence check using 70 positive place invariants in 143 ms returned sat
[2025-06-02 00:45:02] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 59 ms returned sat
[2025-06-02 00:45:12] [INFO ] [Real]Absence check using state equation in 10326 ms returned sat
[2025-06-02 00:45:13] [INFO ] State equation strengthened by 24053 read => feed constraints.
[2025-06-02 00:45:20] [INFO ] [Real]Added 24053 Read/Feed constraints in 6678 ms returned sat
[2025-06-02 00:45:21] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:45:22] [INFO ] [Nat]Absence check using 70 positive place invariants in 158 ms returned sat
[2025-06-02 00:45:22] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 57 ms returned sat
[2025-06-02 00:45:34] [INFO ] [Nat]Absence check using state equation in 12399 ms returned sat
[2025-06-02 00:45:41] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:45:42] [INFO ] [Nat]Added 24053 Read/Feed constraints in 8010 ms returned sat
[2025-06-02 00:45:46] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2362 ms.
Minimization took 14924 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:46:02] [INFO ] [Real]Absence check using 70 positive place invariants in 139 ms returned sat
[2025-06-02 00:46:02] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 58 ms returned sat
[2025-06-02 00:46:14] [INFO ] [Real]Absence check using state equation in 12482 ms returned sat
[2025-06-02 00:46:22] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:46:27] [INFO ] [Real]Added 24053 Read/Feed constraints in 11153 ms returned sat
[2025-06-02 00:46:27] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:46:28] [INFO ] [Nat]Absence check using 70 positive place invariants in 149 ms returned sat
[2025-06-02 00:46:28] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 62 ms returned sat
[2025-06-02 00:46:41] [INFO ] [Nat]Absence check using state equation in 12309 ms returned sat
[2025-06-02 00:46:48] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:46:48] [INFO ] [Nat]Added 24053 Read/Feed constraints in 7346 ms returned sat
[2025-06-02 00:46:51] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2347 ms.
Minimization took 14695 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:47:07] [INFO ] [Real]Absence check using 70 positive place invariants in 155 ms returned sat
[2025-06-02 00:47:07] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 68 ms returned sat
[2025-06-02 00:47:19] [INFO ] [Real]Absence check using state equation in 11797 ms returned sat
[2025-06-02 00:47:26] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:47:29] [INFO ] [Real]Added 24053 Read/Feed constraints in 9073 ms returned sat
[2025-06-02 00:47:30] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:47:31] [INFO ] [Nat]Absence check using 70 positive place invariants in 147 ms returned sat
[2025-06-02 00:47:31] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 59 ms returned sat
[2025-06-02 00:47:42] [INFO ] [Nat]Absence check using state equation in 11713 ms returned sat
[2025-06-02 00:47:49] [INFO ] [Nat]Added 24053 Read/Feed constraints in 6907 ms returned sat
[2025-06-02 00:47:52] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2038 ms.
Minimization took 14860 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:48:08] [INFO ] [Real]Absence check using 70 positive place invariants in 151 ms returned sat
[2025-06-02 00:48:08] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 65 ms returned sat
[2025-06-02 00:48:21] [INFO ] [Real]Absence check using state equation in 12929 ms returned sat
[2025-06-02 00:48:29] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:48:32] [INFO ] [Real]Added 24053 Read/Feed constraints in 9666 ms returned sat
[2025-06-02 00:48:33] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:48:34] [INFO ] [Nat]Absence check using 70 positive place invariants in 154 ms returned sat
[2025-06-02 00:48:34] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 61 ms returned sat
[2025-06-02 00:48:45] [INFO ] [Nat]Absence check using state equation in 11652 ms returned sat
[2025-06-02 00:48:52] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:48:57] [INFO ] [Nat]Added 24053 Read/Feed constraints in 11143 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:48:58] [INFO ] [Real]Absence check using 70 positive place invariants in 142 ms returned sat
[2025-06-02 00:48:58] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 62 ms returned sat
[2025-06-02 00:49:09] [INFO ] [Real]Absence check using state equation in 10954 ms returned sat
[2025-06-02 00:49:16] [INFO ] [Real]Added 24053 Read/Feed constraints in 6528 ms returned sat
[2025-06-02 00:49:17] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:49:18] [INFO ] [Nat]Absence check using 70 positive place invariants in 146 ms returned sat
[2025-06-02 00:49:18] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 57 ms returned sat
[2025-06-02 00:49:29] [INFO ] [Nat]Absence check using state equation in 11706 ms returned sat
[2025-06-02 00:49:36] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:49:36] [INFO ] [Nat]Added 24053 Read/Feed constraints in 7023 ms returned sat
[2025-06-02 00:49:39] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 1790 ms.
Minimization took 14265 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:49:54] [INFO ] [Real]Absence check using 70 positive place invariants in 148 ms returned sat
[2025-06-02 00:49:55] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 63 ms returned sat
[2025-06-02 00:50:07] [INFO ] [Real]Absence check using state equation in 12246 ms returned sat
[2025-06-02 00:50:14] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:50:17] [INFO ] [Real]Added 24053 Read/Feed constraints in 9196 ms returned sat
[2025-06-02 00:50:17] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:50:18] [INFO ] [Nat]Absence check using 70 positive place invariants in 152 ms returned sat
[2025-06-02 00:50:19] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 65 ms returned sat
[2025-06-02 00:50:33] [INFO ] [Nat]Absence check using state equation in 14291 ms returned sat
[2025-06-02 00:50:39] [INFO ] [Nat]Added 24053 Read/Feed constraints in 6218 ms returned sat
[2025-06-02 00:50:42] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2041 ms.
Minimization took 17049 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:51:00] [INFO ] [Real]Absence check using 70 positive place invariants in 158 ms returned sat
[2025-06-02 00:51:00] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 88 ms returned sat
[2025-06-02 00:51:13] [INFO ] [Real]Absence check using state equation in 12308 ms returned sat
[2025-06-02 00:51:20] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:51:24] [INFO ] [Real]Added 24053 Read/Feed constraints in 11131 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:51:25] [INFO ] [Real]Absence check using 70 positive place invariants in 154 ms returned sat
[2025-06-02 00:51:26] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 67 ms returned sat
[2025-06-02 00:51:37] [INFO ] [Real]Absence check using state equation in 11208 ms returned sat
[2025-06-02 00:51:44] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:51:47] [INFO ] [Real]Added 24053 Read/Feed constraints in 9555 ms returned sat
[2025-06-02 00:51:48] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:51:49] [INFO ] [Nat]Absence check using 70 positive place invariants in 151 ms returned sat
[2025-06-02 00:51:49] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 60 ms returned sat
[2025-06-02 00:52:03] [INFO ] [Nat]Absence check using state equation in 13709 ms returned sat
[2025-06-02 00:52:10] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:52:10] [INFO ] [Nat]Added 24053 Read/Feed constraints in 7815 ms returned sat
[2025-06-02 00:52:14] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2220 ms.
Minimization took 15110 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:52:30] [INFO ] [Real]Absence check using 70 positive place invariants in 153 ms returned sat
[2025-06-02 00:52:30] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 63 ms returned sat
[2025-06-02 00:52:41] [INFO ] [Real]Absence check using state equation in 11441 ms returned sat
[2025-06-02 00:52:49] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:52:53] [INFO ] [Real]Added 24053 Read/Feed constraints in 11263 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:52:54] [INFO ] [Real]Absence check using 70 positive place invariants in 142 ms returned sat
[2025-06-02 00:52:55] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 72 ms returned sat
[2025-06-02 00:53:07] [INFO ] [Real]Absence check using state equation in 12539 ms returned sat
[2025-06-02 00:53:14] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:53:17] [INFO ] [Real]Added 24053 Read/Feed constraints in 9604 ms returned sat
[2025-06-02 00:53:18] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:53:19] [INFO ] [Nat]Absence check using 70 positive place invariants in 175 ms returned sat
[2025-06-02 00:53:19] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 68 ms returned sat
[2025-06-02 00:53:33] [INFO ] [Nat]Absence check using state equation in 13701 ms returned sat
[2025-06-02 00:53:39] [INFO ] [Nat]Added 24053 Read/Feed constraints in 6174 ms returned sat
[2025-06-02 00:53:42] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 1984 ms.
Minimization took 15085 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:53:58] [INFO ] [Real]Absence check using 70 positive place invariants in 152 ms returned sat
[2025-06-02 00:53:58] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 65 ms returned sat
[2025-06-02 00:54:10] [INFO ] [Real]Absence check using state equation in 11750 ms returned sat
[2025-06-02 00:54:17] [INFO ] [Real]Added 24053 Read/Feed constraints in 6574 ms returned sat
[2025-06-02 00:54:18] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:54:19] [INFO ] [Nat]Absence check using 70 positive place invariants in 149 ms returned sat
[2025-06-02 00:54:19] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 58 ms returned sat
[2025-06-02 00:54:31] [INFO ] [Nat]Absence check using state equation in 12043 ms returned sat
[2025-06-02 00:54:37] [INFO ] [Nat]Added 24053 Read/Feed constraints in 6263 ms returned sat
[2025-06-02 00:54:40] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 1839 ms.
Minimization took 16279 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:54:58] [INFO ] [Real]Absence check using 70 positive place invariants in 146 ms returned sat
[2025-06-02 00:54:58] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 68 ms returned sat
[2025-06-02 00:55:10] [INFO ] [Real]Absence check using state equation in 12095 ms returned sat
[2025-06-02 00:55:17] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:55:20] [INFO ] [Real]Added 24053 Read/Feed constraints in 8939 ms returned sat
[2025-06-02 00:55:20] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:55:22] [INFO ] [Nat]Absence check using 70 positive place invariants in 147 ms returned sat
[2025-06-02 00:55:22] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 67 ms returned sat
[2025-06-02 00:55:34] [INFO ] [Nat]Absence check using state equation in 12078 ms returned sat
[2025-06-02 00:55:40] [INFO ] [Nat]Added 24053 Read/Feed constraints in 6598 ms returned sat
[2025-06-02 00:55:44] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2217 ms.
Minimization took 15708 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:56:01] [INFO ] [Real]Absence check using 70 positive place invariants in 145 ms returned sat
[2025-06-02 00:56:01] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 60 ms returned sat
[2025-06-02 00:56:13] [INFO ] [Real]Absence check using state equation in 12121 ms returned sat
[2025-06-02 00:56:21] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:56:23] [INFO ] [Real]Added 24053 Read/Feed constraints in 9476 ms returned sat
[2025-06-02 00:56:25] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:56:26] [INFO ] [Nat]Absence check using 70 positive place invariants in 147 ms returned sat
[2025-06-02 00:56:26] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 58 ms returned sat
[2025-06-02 00:56:38] [INFO ] [Nat]Absence check using state equation in 12688 ms returned sat
[2025-06-02 00:56:45] [INFO ] [Nat]Added 24053 Read/Feed constraints in 6528 ms returned sat
[2025-06-02 00:56:48] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2010 ms.
Minimization took 15817 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:57:05] [INFO ] [Real]Absence check using 70 positive place invariants in 155 ms returned sat
[2025-06-02 00:57:05] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 61 ms returned sat
[2025-06-02 00:57:17] [INFO ] [Real]Absence check using state equation in 12006 ms returned sat
[2025-06-02 00:57:25] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:57:28] [INFO ] [Real]Added 24053 Read/Feed constraints in 10092 ms returned sat
[2025-06-02 00:57:29] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:57:30] [INFO ] [Nat]Absence check using 70 positive place invariants in 204 ms returned sat
[2025-06-02 00:57:30] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 57 ms returned sat
[2025-06-02 00:57:43] [INFO ] [Nat]Absence check using state equation in 12785 ms returned sat
[2025-06-02 00:57:49] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:57:50] [INFO ] [Nat]Added 24053 Read/Feed constraints in 7093 ms returned sat
[2025-06-02 00:57:53] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2038 ms.
Minimization took 15213 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:58:09] [INFO ] [Real]Absence check using 70 positive place invariants in 142 ms returned sat
[2025-06-02 00:58:09] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 64 ms returned sat
[2025-06-02 00:58:21] [INFO ] [Real]Absence check using state equation in 11855 ms returned sat
[2025-06-02 00:58:29] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:58:31] [INFO ] [Real]Added 24053 Read/Feed constraints in 9204 ms returned sat
[2025-06-02 00:58:32] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:58:33] [INFO ] [Nat]Absence check using 70 positive place invariants in 145 ms returned sat
[2025-06-02 00:58:33] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 57 ms returned sat
[2025-06-02 00:58:45] [INFO ] [Nat]Absence check using state equation in 12362 ms returned sat
[2025-06-02 00:58:52] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:58:52] [INFO ] [Nat]Added 24053 Read/Feed constraints in 7199 ms returned sat
[2025-06-02 00:58:55] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2024 ms.
Minimization took 14243 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:59:11] [INFO ] [Real]Absence check using 70 positive place invariants in 139 ms returned sat
[2025-06-02 00:59:11] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 56 ms returned sat
[2025-06-02 00:59:21] [INFO ] [Real]Absence check using state equation in 10288 ms returned sat
[2025-06-02 00:59:29] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 00:59:32] [INFO ] [Real]Added 24053 Read/Feed constraints in 9710 ms returned sat
[2025-06-02 00:59:33] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 00:59:34] [INFO ] [Nat]Absence check using 70 positive place invariants in 141 ms returned sat
[2025-06-02 00:59:34] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 58 ms returned sat
[2025-06-02 00:59:46] [INFO ] [Nat]Absence check using state equation in 12052 ms returned sat
[2025-06-02 00:59:52] [INFO ] [Nat]Added 24053 Read/Feed constraints in 6425 ms returned sat
[2025-06-02 00:59:55] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 1862 ms.
Minimization took 14376 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] Max Struct:[70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] Max Struct:[70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70]
Support contains 16 out of 5467 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5467/5467 places, 24644/24644 transitions.
Applied a total of 0 rules in 1512 ms. Remains 5467 /5467 variables (removed 0) and now considering 24644/24644 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1512 ms. Remains : 5467/5467 places, 24644/24644 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5467/5467 places, 24644/24644 transitions.
Applied a total of 0 rules in 1697 ms. Remains 5467 /5467 variables (removed 0) and now considering 24644/24644 (removed 0) transitions.
[2025-06-02 01:00:13] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:00:13] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 01:00:32] [INFO ] Implicit Places using invariants in 19854 ms returned []
Implicit Place search using SMT only with invariants took 19857 ms to find 0 implicit places.
Running 24574 sub problems to find dead transitions.
[2025-06-02 01:00:33] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:00:33] [INFO ] Invariant cache hit.
[2025-06-02 01:00:33] [INFO ] State equation strengthened by 24053 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/5466 variables, 70/70 constraints. Problems are: Problem set: 0 solved, 24574 unsolved
SMT process timed out in 96434ms, After SMT, problems are : Problem set: 0 solved, 24574 unsolved
Search for dead transitions found 0 dead transitions in 96635ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 118364 ms. Remains : 5467/5467 places, 24644/24644 transitions.
[2025-06-02 01:02:09] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:02:09] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] Max Struct:[70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70]
RANDOM walk for 1000000 steps (2326 resets) in 29150 ms. (34 steps per ms)
BEST_FIRST walk for 16000016 steps (376 resets) in 38305 ms. (417 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] Max Struct:[70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70]
[2025-06-02 01:03:17] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:03:17] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:03:18] [INFO ] [Real]Absence check using 70 positive place invariants in 160 ms returned sat
[2025-06-02 01:03:18] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 62 ms returned sat
[2025-06-02 01:03:30] [INFO ] [Real]Absence check using state equation in 12047 ms returned sat
[2025-06-02 01:03:31] [INFO ] State equation strengthened by 24053 read => feed constraints.
[2025-06-02 01:03:38] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:03:40] [INFO ] [Real]Added 24053 Read/Feed constraints in 9199 ms returned sat
[2025-06-02 01:03:41] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:03:42] [INFO ] [Nat]Absence check using 70 positive place invariants in 157 ms returned sat
[2025-06-02 01:03:42] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 59 ms returned sat
[2025-06-02 01:03:53] [INFO ] [Nat]Absence check using state equation in 11128 ms returned sat
[2025-06-02 01:04:00] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:04:01] [INFO ] [Nat]Added 24053 Read/Feed constraints in 7700 ms returned sat
[2025-06-02 01:04:04] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2041 ms.
Minimization took 16858 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:04:22] [INFO ] [Real]Absence check using 70 positive place invariants in 148 ms returned sat
[2025-06-02 01:04:22] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 60 ms returned sat
[2025-06-02 01:04:34] [INFO ] [Real]Absence check using state equation in 11737 ms returned sat
[2025-06-02 01:04:41] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:04:46] [INFO ] [Real]Added 24053 Read/Feed constraints in 11305 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:04:47] [INFO ] [Real]Absence check using 70 positive place invariants in 147 ms returned sat
[2025-06-02 01:04:47] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 59 ms returned sat
[2025-06-02 01:04:59] [INFO ] [Real]Absence check using state equation in 11633 ms returned sat
[2025-06-02 01:05:06] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:05:09] [INFO ] [Real]Added 24053 Read/Feed constraints in 9165 ms returned sat
[2025-06-02 01:05:09] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:05:11] [INFO ] [Nat]Absence check using 70 positive place invariants in 142 ms returned sat
[2025-06-02 01:05:11] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 55 ms returned sat
[2025-06-02 01:05:23] [INFO ] [Nat]Absence check using state equation in 12503 ms returned sat
[2025-06-02 01:05:30] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:05:31] [INFO ] [Nat]Added 24053 Read/Feed constraints in 7659 ms returned sat
[2025-06-02 01:05:34] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2036 ms.
Minimization took 15563 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:05:50] [INFO ] [Real]Absence check using 70 positive place invariants in 140 ms returned sat
[2025-06-02 01:05:50] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 63 ms returned sat
[2025-06-02 01:06:01] [INFO ] [Real]Absence check using state equation in 10397 ms returned sat
[2025-06-02 01:06:08] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:06:11] [INFO ] [Real]Added 24053 Read/Feed constraints in 9040 ms returned sat
[2025-06-02 01:06:11] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:06:13] [INFO ] [Nat]Absence check using 70 positive place invariants in 145 ms returned sat
[2025-06-02 01:06:13] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 63 ms returned sat
[2025-06-02 01:06:25] [INFO ] [Nat]Absence check using state equation in 12142 ms returned sat
[2025-06-02 01:06:31] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:06:36] [INFO ] [Nat]Added 24053 Read/Feed constraints in 11024 ms returned sat
[2025-06-02 01:06:39] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 1970 ms.
Minimization took 17040 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:06:57] [INFO ] [Real]Absence check using 70 positive place invariants in 147 ms returned sat
[2025-06-02 01:06:57] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 60 ms returned sat
[2025-06-02 01:07:08] [INFO ] [Real]Absence check using state equation in 11452 ms returned sat
[2025-06-02 01:07:16] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:07:18] [INFO ] [Real]Added 24053 Read/Feed constraints in 8842 ms returned sat
[2025-06-02 01:07:19] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:07:20] [INFO ] [Nat]Absence check using 70 positive place invariants in 145 ms returned sat
[2025-06-02 01:07:20] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 57 ms returned sat
[2025-06-02 01:07:33] [INFO ] [Nat]Absence check using state equation in 12673 ms returned sat
[2025-06-02 01:07:39] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:07:40] [INFO ] [Nat]Added 24053 Read/Feed constraints in 7277 ms returned sat
[2025-06-02 01:07:43] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 1903 ms.
Minimization took 16392 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:08:00] [INFO ] [Real]Absence check using 70 positive place invariants in 152 ms returned sat
[2025-06-02 01:08:01] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 60 ms returned sat
[2025-06-02 01:08:12] [INFO ] [Real]Absence check using state equation in 11403 ms returned sat
[2025-06-02 01:08:20] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:08:22] [INFO ] [Real]Added 24053 Read/Feed constraints in 9479 ms returned sat
[2025-06-02 01:08:23] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:08:24] [INFO ] [Nat]Absence check using 70 positive place invariants in 151 ms returned sat
[2025-06-02 01:08:24] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 59 ms returned sat
[2025-06-02 01:08:37] [INFO ] [Nat]Absence check using state equation in 12501 ms returned sat
[2025-06-02 01:08:43] [INFO ] [Nat]Added 24053 Read/Feed constraints in 5839 ms returned sat
[2025-06-02 01:08:45] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 1759 ms.
Minimization took 13840 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:09:00] [INFO ] [Real]Absence check using 70 positive place invariants in 137 ms returned sat
[2025-06-02 01:09:00] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 56 ms returned sat
[2025-06-02 01:09:12] [INFO ] [Real]Absence check using state equation in 11386 ms returned sat
[2025-06-02 01:09:19] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:09:24] [INFO ] [Real]Added 24053 Read/Feed constraints in 11150 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:09:25] [INFO ] [Real]Absence check using 70 positive place invariants in 145 ms returned sat
[2025-06-02 01:09:25] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 59 ms returned sat
[2025-06-02 01:09:37] [INFO ] [Real]Absence check using state equation in 11687 ms returned sat
[2025-06-02 01:09:44] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:09:47] [INFO ] [Real]Added 24053 Read/Feed constraints in 9439 ms returned sat
[2025-06-02 01:09:48] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:09:49] [INFO ] [Nat]Absence check using 70 positive place invariants in 152 ms returned sat
[2025-06-02 01:09:49] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 59 ms returned sat
[2025-06-02 01:10:02] [INFO ] [Nat]Absence check using state equation in 12617 ms returned sat
[2025-06-02 01:10:08] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:10:09] [INFO ] [Nat]Added 24053 Read/Feed constraints in 7262 ms returned sat
[2025-06-02 01:10:12] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 1878 ms.
Minimization took 13870 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:10:27] [INFO ] [Real]Absence check using 70 positive place invariants in 145 ms returned sat
[2025-06-02 01:10:27] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 61 ms returned sat
[2025-06-02 01:10:38] [INFO ] [Real]Absence check using state equation in 11648 ms returned sat
[2025-06-02 01:10:46] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:10:50] [INFO ] [Real]Added 24053 Read/Feed constraints in 11286 ms returned unknown
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:10:52] [INFO ] [Real]Absence check using 70 positive place invariants in 144 ms returned sat
[2025-06-02 01:10:52] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 58 ms returned sat
[2025-06-02 01:11:02] [INFO ] [Real]Absence check using state equation in 10767 ms returned sat
[2025-06-02 01:11:10] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:11:13] [INFO ] [Real]Added 24053 Read/Feed constraints in 9848 ms returned sat
[2025-06-02 01:11:14] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:11:15] [INFO ] [Nat]Absence check using 70 positive place invariants in 145 ms returned sat
[2025-06-02 01:11:15] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 62 ms returned sat
[2025-06-02 01:11:28] [INFO ] [Nat]Absence check using state equation in 12436 ms returned sat
[2025-06-02 01:11:34] [INFO ] [Nat]Added 24053 Read/Feed constraints in 5859 ms returned sat
[2025-06-02 01:11:37] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2052 ms.
Minimization took 15994 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:11:54] [INFO ] [Real]Absence check using 70 positive place invariants in 140 ms returned sat
[2025-06-02 01:11:54] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 56 ms returned sat
[2025-06-02 01:12:05] [INFO ] [Real]Absence check using state equation in 11254 ms returned sat
[2025-06-02 01:12:13] [INFO ] [Real]Added 24053 Read/Feed constraints in 6618 ms returned sat
[2025-06-02 01:12:13] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:12:15] [INFO ] [Nat]Absence check using 70 positive place invariants in 146 ms returned sat
[2025-06-02 01:12:15] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 57 ms returned sat
[2025-06-02 01:12:27] [INFO ] [Nat]Absence check using state equation in 12374 ms returned sat
[2025-06-02 01:12:34] [INFO ] [Nat]Added 24053 Read/Feed constraints in 6688 ms returned sat
[2025-06-02 01:12:37] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 1914 ms.
Minimization took 14401 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:12:52] [INFO ] [Real]Absence check using 70 positive place invariants in 144 ms returned sat
[2025-06-02 01:12:52] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 62 ms returned sat
[2025-06-02 01:13:04] [INFO ] [Real]Absence check using state equation in 11758 ms returned sat
[2025-06-02 01:13:12] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:13:14] [INFO ] [Real]Added 24053 Read/Feed constraints in 9059 ms returned sat
[2025-06-02 01:13:15] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:13:16] [INFO ] [Nat]Absence check using 70 positive place invariants in 152 ms returned sat
[2025-06-02 01:13:16] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 63 ms returned sat
[2025-06-02 01:13:29] [INFO ] [Nat]Absence check using state equation in 12485 ms returned sat
[2025-06-02 01:13:35] [INFO ] [Nat]Added 24053 Read/Feed constraints in 6419 ms returned sat
[2025-06-02 01:13:38] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 1976 ms.
Minimization took 16490 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:13:56] [INFO ] [Real]Absence check using 70 positive place invariants in 139 ms returned sat
[2025-06-02 01:13:56] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 56 ms returned sat
[2025-06-02 01:14:07] [INFO ] [Real]Absence check using state equation in 10984 ms returned sat
[2025-06-02 01:14:14] [INFO ] [Real]Added 24053 Read/Feed constraints in 6302 ms returned sat
[2025-06-02 01:14:15] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:14:16] [INFO ] [Nat]Absence check using 70 positive place invariants in 142 ms returned sat
[2025-06-02 01:14:16] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 74 ms returned sat
[2025-06-02 01:14:27] [INFO ] [Nat]Absence check using state equation in 11440 ms returned sat
[2025-06-02 01:14:34] [INFO ] [Nat]Added 24053 Read/Feed constraints in 6364 ms returned sat
[2025-06-02 01:14:37] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2061 ms.
Minimization took 14077 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:14:52] [INFO ] [Real]Absence check using 70 positive place invariants in 146 ms returned sat
[2025-06-02 01:14:52] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 60 ms returned sat
[2025-06-02 01:15:03] [INFO ] [Real]Absence check using state equation in 11085 ms returned sat
[2025-06-02 01:15:10] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:15:14] [INFO ] [Real]Added 24053 Read/Feed constraints in 10061 ms returned sat
[2025-06-02 01:15:14] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:15:15] [INFO ] [Nat]Absence check using 70 positive place invariants in 150 ms returned sat
[2025-06-02 01:15:15] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 61 ms returned sat
[2025-06-02 01:15:28] [INFO ] [Nat]Absence check using state equation in 12554 ms returned sat
[2025-06-02 01:15:35] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:15:36] [INFO ] [Nat]Added 24053 Read/Feed constraints in 8172 ms returned sat
[2025-06-02 01:15:39] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 1807 ms.
Minimization took 15942 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:15:56] [INFO ] [Real]Absence check using 70 positive place invariants in 138 ms returned sat
[2025-06-02 01:15:56] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 56 ms returned sat
[2025-06-02 01:16:07] [INFO ] [Real]Absence check using state equation in 11331 ms returned sat
[2025-06-02 01:16:15] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:16:17] [INFO ] [Real]Added 24053 Read/Feed constraints in 9029 ms returned sat
[2025-06-02 01:16:18] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:16:19] [INFO ] [Nat]Absence check using 70 positive place invariants in 143 ms returned sat
[2025-06-02 01:16:19] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 57 ms returned sat
[2025-06-02 01:16:31] [INFO ] [Nat]Absence check using state equation in 11958 ms returned sat
[2025-06-02 01:16:38] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:16:38] [INFO ] [Nat]Added 24053 Read/Feed constraints in 7188 ms returned sat
[2025-06-02 01:16:41] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 1852 ms.
Minimization took 14171 ms.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:16:56] [INFO ] [Real]Absence check using 70 positive place invariants in 140 ms returned sat
[2025-06-02 01:16:56] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 57 ms returned sat
[2025-06-02 01:17:07] [INFO ] [Real]Absence check using state equation in 10669 ms returned sat
[2025-06-02 01:17:14] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:17:17] [INFO ] [Real]Added 24053 Read/Feed constraints in 8953 ms returned sat
[2025-06-02 01:17:17] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:17:19] [INFO ] [Nat]Absence check using 70 positive place invariants in 145 ms returned sat
[2025-06-02 01:17:19] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 54 ms returned sat
[2025-06-02 01:17:30] [INFO ] [Nat]Absence check using state equation in 11647 ms returned sat
[2025-06-02 01:17:37] [INFO ] [Nat]Added 24053 Read/Feed constraints in 6426 ms returned sat
[2025-06-02 01:17:40] [INFO ] Computed and/alt/rep : 19332/66408/19326 causal constraints (skipped 5242 transitions) in 2155 ms.
Minimization took 14355 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] Max Struct:[70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] Max Struct:[70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70]
Support contains 16 out of 5467 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5467/5467 places, 24644/24644 transitions.
Applied a total of 0 rules in 1587 ms. Remains 5467 /5467 variables (removed 0) and now considering 24644/24644 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1587 ms. Remains : 5467/5467 places, 24644/24644 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5467/5467 places, 24644/24644 transitions.
Applied a total of 0 rules in 1541 ms. Remains 5467 /5467 variables (removed 0) and now considering 24644/24644 (removed 0) transitions.
[2025-06-02 01:17:57] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:17:57] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 01:18:17] [INFO ] Implicit Places using invariants in 20046 ms returned []
Implicit Place search using SMT only with invariants took 20058 ms to find 0 implicit places.
Running 24574 sub problems to find dead transitions.
[2025-06-02 01:18:18] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:18:18] [INFO ] Invariant cache hit.
[2025-06-02 01:18:18] [INFO ] State equation strengthened by 24053 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/5466 variables, 70/70 constraints. Problems are: Problem set: 0 solved, 24574 unsolved
SMT process timed out in 92453ms, After SMT, problems are : Problem set: 0 solved, 24574 unsolved
Search for dead transitions found 0 dead transitions in 92516ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 114169 ms. Remains : 5467/5467 places, 24644/24644 transitions.
RANDOM walk for 40000 steps (90 resets) in 3849 ms. (10 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 32/32 properties
[2025-06-02 01:19:53] [INFO ] Flatten gal took : 1951 ms
[2025-06-02 01:19:54] [INFO ] Flatten gal took : 696 ms
[2025-06-02 01:19:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5062671171204518395.gal : 325 ms
[2025-06-02 01:19:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1004636275284261709.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.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality5062671171204518395.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality1004636275284261709.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.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Interrupted probabilistic random walk after 56105 steps, run timeout after 3003 ms. (steps per millisecond=18 ) properties seen :0 out of 32
Probabilistic random walk after 56105 steps, saw 54252 distinct states, run finished after 3010 ms. (steps per millisecond=18 ) properties seen :0
[2025-06-02 01:19:55] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:19:55] [INFO ] Invariant cache hit.
[2025-06-02 01:19:55] [INFO ] State equation strengthened by 24053 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/16 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 32 unsolved
At refinement iteration 1 (OVERLAPS) 5309/5325 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 32 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:19:57] [INFO ] Deduced a trap composed of 2 places in 236 ms of which 16 ms to minimize.
Problem MAX0 is UNSAT
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:19:57] [INFO ] Deduced a trap composed of 2 places in 220 ms of which 6 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:19:57] [INFO ] Deduced a trap composed of 2 places in 214 ms of which 6 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:19:58] [INFO ] Deduced a trap composed of 2 places in 219 ms of which 6 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:19:58] [INFO ] Deduced a trap composed of 2 places in 219 ms of which 5 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:19:58] [INFO ] Deduced a trap composed of 2 places in 213 ms of which 6 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:19:59] [INFO ] Deduced a trap composed of 2 places in 210 ms of which 7 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:19:59] [INFO ] Deduced a trap composed of 2 places in 217 ms of which 7 ms to minimize.
Loading property file /tmp/ReachabilityCardinality1004636275284261709.prop.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:19:59] [INFO ] Deduced a trap composed of 2 places in 214 ms of which 5 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:20:00] [INFO ] Deduced a trap composed of 2 places in 209 ms of which 6 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:20:00] [INFO ] Deduced a trap composed of 2 places in 210 ms of which 6 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:20:00] [INFO ] Deduced a trap composed of 2 places in 209 ms of which 7 ms to minimize.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5325/30105 variables, and 13 constraints, problems are : Problem set: 1 solved, 31 unsolved in 5013 ms.
Refiners :[Positive P Invariants (semi-flows): 1/70 constraints, Generalized P Invariants (flows): 0/2 constraints, State Equation: 0/5467 constraints, ReadFeed: 0/24053 constraints, PredecessorRefiner: 32/32 constraints, Known Traps: 12/12 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 31 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/16 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 31 unsolved
At refinement iteration 1 (OVERLAPS) 5309/5325 variables, 1/1 constraints. Problems are: Problem set: 1 solved, 31 unsolved
Problem MAX1 is UNSAT
Problem MAX2 is UNSAT
Problem MAX3 is UNSAT
Problem MAX4 is UNSAT
Problem MAX5 is UNSAT
Problem MAX6 is UNSAT
Problem MAX7 is UNSAT
Problem MAX8 is UNSAT
Problem MAX9 is UNSAT
Problem MAX10 is UNSAT
Problem MAX11 is UNSAT
Problem MAX12 is UNSAT
Problem MAX13 is UNSAT
Problem MAX14 is UNSAT
Problem MAX15 is UNSAT
At refinement iteration 2 (INCLUDED_ONLY) 0/5325 variables, 12/13 constraints. Problems are: Problem set: 16 solved, 16 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5325/30105 variables, and 13 constraints, problems are : Problem set: 16 solved, 16 unsolved in 5038 ms.
Refiners :[Positive P Invariants (semi-flows): 1/70 constraints, Generalized P Invariants (flows): 0/2 constraints, State Equation: 0/5467 constraints, ReadFeed: 0/24053 constraints, PredecessorRefiner: 0/32 constraints, Known Traps: 12/12 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10506ms problems are : Problem set: 16 solved, 16 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 16 out of 5467 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5467/5467 places, 24644/24644 transitions.
Applied a total of 0 rules in 1607 ms. Remains 5467 /5467 variables (removed 0) and now considering 24644/24644 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1613 ms. Remains : 5467/5467 places, 24644/24644 transitions.
RANDOM walk for 40000 steps (91 resets) in 3644 ms. (10 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 16/16 properties
Interrupted probabilistic random walk after 96058 steps, run timeout after 3001 ms. (steps per millisecond=32 ) properties seen :0 out of 16
Probabilistic random walk after 96058 steps, saw 92586 distinct states, run finished after 3001 ms. (steps per millisecond=32 ) properties seen :0
[2025-06-02 01:20:12] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:20:12] [INFO ] Invariant cache hit.
[2025-06-02 01:20:12] [INFO ] State equation strengthened by 24053 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/16 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 1 (OVERLAPS) 5309/5325 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 16 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:20:13] [INFO ] Deduced a trap composed of 2 places in 221 ms of which 6 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/5325 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/5325 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 4 (OVERLAPS) 138/5463 variables, 69/71 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/5463 variables, 0/71 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 6 (OVERLAPS) 2/5465 variables, 2/73 constraints. Problems are: Problem set: 0 solved, 16 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:20:44] [INFO ] Deduced a trap composed of 74 places in 13597 ms of which 928 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
Detected timeout of ITS tools.
[2025-06-02 01:20:45] [INFO ] Flatten gal took : 803 ms
[2025-06-02 01:20:45] [INFO ] Applying decomposition
[2025-06-02 01:20:45] [INFO ] Flatten gal took : 545 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph8967220015594037017.txt' '-o' '/tmp/graph8967220015594037017.bin' '-w' '/tmp/graph8967220015594037017.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8967220015594037017.bin' '-l' '-1' '-v' '-w' '/tmp/graph8967220015594037017.weights' '-q' '0' '-e' '0.001'
[2025-06-02 01:20:48] [INFO ] Decomposing Gal with order
[2025-06-02 01:20:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-02 01:20:53] [INFO ] Removed a total of 22251 redundant transitions.
[2025-06-02 01:20:54] [INFO ] Flatten gal took : 4653 ms
[2025-06-02 01:20:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 16206 labels/synchronizations in 4707 ms.
[2025-06-02 01:20:59] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2860176062113065630.gal : 183 ms
[2025-06-02 01:20:59] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15833027522236266230.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.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality2860176062113065630.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality15833027522236266230.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
[2025-06-02 01:21:00] [INFO ] Deduced a trap composed of 76 places in 16415 ms of which 832 ms to minimize.
SMT process timed out in 48760ms, After SMT, problems are : Problem set: 0 solved, 16 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 16 out of 5467 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5467/5467 places, 24644/24644 transitions.
Applied a total of 0 rules in 1528 ms. Remains 5467 /5467 variables (removed 0) and now considering 24644/24644 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1532 ms. Remains : 5467/5467 places, 24644/24644 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5467/5467 places, 24644/24644 transitions.
Applied a total of 0 rules in 1505 ms. Remains 5467 /5467 variables (removed 0) and now considering 24644/24644 (removed 0) transitions.
[2025-06-02 01:21:03] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:21:03] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
Loading property file /tmp/ReachabilityCardinality15833027522236266230.prop.
[2025-06-02 01:21:22] [INFO ] Implicit Places using invariants in 18711 ms returned []
Implicit Place search using SMT only with invariants took 18716 ms to find 0 implicit places.
Running 24574 sub problems to find dead transitions.
[2025-06-02 01:21:22] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:21:22] [INFO ] Invariant cache hit.
[2025-06-02 01:21:22] [INFO ] State equation strengthened by 24053 read => feed constraints.
SDD proceeding with computation,16 properties remain. new max is 4
SDD size :1 after 9
SDD proceeding with computation,16 properties remain. new max is 8
SDD size :9 after 961
SDD proceeding with computation,16 properties remain. new max is 16
SDD size :961 after 961
SDD proceeding with computation,16 properties remain. new max is 32
SDD size :961 after 961
SDD proceeding with computation,16 properties remain. new max is 64
SDD size :961 after 961
SDD proceeding with computation,16 properties remain. new max is 128
SDD size :961 after 961
SDD proceeding with computation,16 properties remain. new max is 256
SDD size :961 after 961
SDD proceeding with computation,16 properties remain. new max is 512
SDD size :961 after 961
SDD proceeding with computation,16 properties remain. new max is 1024
SDD size :961 after 961
SDD proceeding with computation,16 properties remain. new max is 2048
SDD size :961 after 961
SDD proceeding with computation,16 properties remain. new max is 4096
SDD size :961 after 961
SDD proceeding with computation,16 properties remain. new max is 8192
SDD size :961 after 961
SDD proceeding with computation,16 properties remain. new max is 16384
SDD size :961 after 1368
Detected timeout of ITS tools.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/5466 variables, 70/70 constraints. Problems are: Problem set: 0 solved, 24574 unsolved
SMT process timed out in 97272ms, After SMT, problems are : Problem set: 0 solved, 24574 unsolved
Search for dead transitions found 0 dead transitions in 97370ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 117647 ms. Remains : 5467/5467 places, 24644/24644 transitions.
Current structural bounds on expressions (After reachability solving 0 queries.) : Max Seen:[1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] Max Struct:[70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70]
Starting property specific reduction for CANInsertWithFailure-PT-070-UpperBounds-00
Current structural bounds on expressions (Initially) : Max Seen:[0] Max Struct:[+inf]
Current structural bounds on expressions (Adding known information on max bounds.) : Max Seen:[0] Max Struct:[70]
Current structural bounds on expressions (Before main loop) : Max Seen:[0] Max Struct:[70]
[2025-06-02 01:23:00] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:23:00] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[70]
RANDOM walk for 10000 steps (23 resets) in 296 ms. (33 steps per ms)
BEST_FIRST walk for 10001 steps (2 resets) in 24 ms. (400 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1] Max Struct:[70]
[2025-06-02 01:23:00] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:23:00] [INFO ] Invariant cache hit.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 01:23:01] [INFO ] [Real]Absence check using 70 positive place invariants in 149 ms returned sat
[2025-06-02 01:23:01] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 63 ms returned sat
[2025-06-02 01:23:05] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 0
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:301)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:854)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2252)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:946)
at fr.lip6.move.gal.application.Application.start(Application.java:193)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:670)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:607)
at org.eclipse.equinox.launcher.Main.run(Main.java:1492)
at org.eclipse.equinox.launcher.Main.main(Main.java:1465)
Current structural bounds on expressions (after SMT) : Max Seen:[1] Max Struct:[70]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1] Max Struct:[70]
Support contains 1 out of 5467 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5467/5467 places, 24644/24644 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 6 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 16 place count 5459 transition count 24636
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 17 place count 5459 transition count 24635
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 18 place count 5458 transition count 24635
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 1 with 1 rules applied. Total rules applied 19 place count 5458 transition count 24634
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 20 place count 5457 transition count 24634
Partial Free-agglomeration rule applied 7 times.
Drop transitions (Partial Free agglomeration) removed 7 transitions
Iterating global reduction 2 with 7 rules applied. Total rules applied 27 place count 5457 transition count 24634
Applied a total of 27 rules in 7886 ms. Remains 5457 /5467 variables (removed 10) and now considering 24634/24644 (removed 10) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7891 ms. Remains : 5457/5467 places, 24634/24644 transitions.
[2025-06-02 01:23:13] [INFO ] Flow matrix only has 24633 transitions (discarded 1 similar events)
// Phase 1: matrix 24633 rows 5457 cols
[2025-06-02 01:23:15] [INFO ] Computed 72 invariants in 1720 ms
Current structural bounds on expressions (after invariants) : Max Seen:[1] Max Struct:[70]
RANDOM walk for 1000000 steps (2327 resets) in 29690 ms. (33 steps per ms)
BEST_FIRST walk for 1000001 steps (25 resets) in 2399 ms. (416 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1] Max Struct:[70]
[2025-06-02 01:23:47] [INFO ] Flow matrix only has 24633 transitions (discarded 1 similar events)
[2025-06-02 01:23:47] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:23:48] [INFO ] [Real]Absence check using 70 positive place invariants in 145 ms returned sat
[2025-06-02 01:23:48] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 59 ms returned sat
[2025-06-02 01:24:01] [INFO ] [Real]Absence check using state equation in 12691 ms returned sat
[2025-06-02 01:24:02] [INFO ] State equation strengthened by 24287 read => feed constraints.
[2025-06-02 01:24:08] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:24:11] [INFO ] [Real]Added 24287 Read/Feed constraints in 9440 ms returned sat
[2025-06-02 01:24:12] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:24:13] [INFO ] [Nat]Absence check using 70 positive place invariants in 142 ms returned sat
[2025-06-02 01:24:13] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 58 ms returned sat
[2025-06-02 01:24:27] [INFO ] [Nat]Absence check using state equation in 13835 ms returned sat
[2025-06-02 01:24:34] [INFO ] [Nat]Added 24287 Read/Feed constraints in 6839 ms returned sat
[2025-06-02 01:24:37] [INFO ] Computed and/alt/rep : 19255/66320/19254 causal constraints (skipped 5309 transitions) in 2008 ms.
Minimization took 15483 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[1] Max Struct:[70]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1] Max Struct:[70]
Support contains 1 out of 5457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5457/5457 places, 24634/24634 transitions.
Applied a total of 0 rules in 1733 ms. Remains 5457 /5457 variables (removed 0) and now considering 24634/24634 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1733 ms. Remains : 5457/5457 places, 24634/24634 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5457/5457 places, 24634/24634 transitions.
Applied a total of 0 rules in 1534 ms. Remains 5457 /5457 variables (removed 0) and now considering 24634/24634 (removed 0) transitions.
[2025-06-02 01:24:56] [INFO ] Flow matrix only has 24633 transitions (discarded 1 similar events)
[2025-06-02 01:24:56] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 01:25:16] [INFO ] Implicit Places using invariants in 20075 ms returned []
Implicit Place search using SMT only with invariants took 20078 ms to find 0 implicit places.
Running 24564 sub problems to find dead transitions.
[2025-06-02 01:25:16] [INFO ] Flow matrix only has 24633 transitions (discarded 1 similar events)
[2025-06-02 01:25:16] [INFO ] Invariant cache hit.
[2025-06-02 01:25:16] [INFO ] State equation strengthened by 24287 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/5456 variables, 70/70 constraints. Problems are: Problem set: 0 solved, 24564 unsolved
SMT process timed out in 102279ms, After SMT, problems are : Problem set: 0 solved, 24564 unsolved
Search for dead transitions found 0 dead transitions in 102323ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 123962 ms. Remains : 5457/5457 places, 24634/24634 transitions.
RANDOM walk for 40000 steps (92 resets) in 2449 ms. (16 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 174 ms. (228 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 150 ms. (264 steps per ms) remains 2/2 properties
[2025-06-02 01:26:59] [INFO ] Flatten gal took : 816 ms
[2025-06-02 01:27:00] [INFO ] Flatten gal took : 732 ms
[2025-06-02 01:27:00] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality177451986808341740.gal : 88 ms
[2025-06-02 01:27:00] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13320111428972432398.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.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality177451986808341740.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality13320111428972432398.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.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Interrupted probabilistic random walk after 70948 steps, run timeout after 3001 ms. (steps per millisecond=23 ) properties seen :0 out of 2
Probabilistic random walk after 70948 steps, saw 64004 distinct states, run finished after 3002 ms. (steps per millisecond=23 ) properties seen :0
[2025-06-02 01:27:02] [INFO ] Flow matrix only has 24633 transitions (discarded 1 similar events)
[2025-06-02 01:27:02] [INFO ] Invariant cache hit.
[2025-06-02 01:27:02] [INFO ] State equation strengthened by 24287 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 5314/5315 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:27:03] [INFO ] Deduced a trap composed of 2 places in 259 ms of which 11 ms to minimize.
Problem MAX0 is UNSAT
At refinement iteration 2 (INCLUDED_ONLY) 0/5315 variables, 1/2 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/5315 variables, 0/2 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 4 (OVERLAPS) 138/5453 variables, 69/71 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/5453 variables, 0/71 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 2/5455 variables, 2/73 constraints. Problems are: Problem set: 1 solved, 1 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
Loading property file /tmp/ReachabilityCardinality13320111428972432398.prop.
[2025-06-02 01:27:19] [INFO ] Deduced a trap composed of 74 places in 13893 ms of which 772 ms to minimize.
SMT process timed out in 16736ms, After SMT, problems are : Problem set: 1 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1 out of 5457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5457/5457 places, 24634/24634 transitions.
Applied a total of 0 rules in 1601 ms. Remains 5457 /5457 variables (removed 0) and now considering 24634/24634 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1606 ms. Remains : 5457/5457 places, 24634/24634 transitions.
RANDOM walk for 40000 steps (93 resets) in 1798 ms. (22 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (8 resets) in 140 ms. (283 steps per ms) remains 1/1 properties
Interrupted probabilistic random walk after 75945 steps, run timeout after 3001 ms. (steps per millisecond=25 ) properties seen :0 out of 1
Probabilistic random walk after 75945 steps, saw 64758 distinct states, run finished after 3005 ms. (steps per millisecond=25 ) properties seen :0
[2025-06-02 01:27:24] [INFO ] Flow matrix only has 24633 transitions (discarded 1 similar events)
[2025-06-02 01:27:24] [INFO ] Invariant cache hit.
[2025-06-02 01:27:24] [INFO ] State equation strengthened by 24287 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 5314/5315 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:27:25] [INFO ] Deduced a trap composed of 2 places in 210 ms of which 7 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/5315 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/5315 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (OVERLAPS) 138/5453 variables, 69/71 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/5453 variables, 0/71 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 2/5455 variables, 2/73 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:27:41] [INFO ] Deduced a trap composed of 74 places in 14806 ms of which 729 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
Detected timeout of ITS tools.
[2025-06-02 01:27:51] [INFO ] Flatten gal took : 753 ms
[2025-06-02 01:27:51] [INFO ] Applying decomposition
[2025-06-02 01:27:52] [INFO ] Flatten gal took : 593 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph16581860591369446102.txt' '-o' '/tmp/graph16581860591369446102.bin' '-w' '/tmp/graph16581860591369446102.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16581860591369446102.bin' '-l' '-1' '-v' '-w' '/tmp/graph16581860591369446102.weights' '-q' '0' '-e' '0.001'
[2025-06-02 01:27:53] [INFO ] Decomposing Gal with order
[2025-06-02 01:27:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-02 01:27:55] [INFO ] Deduced a trap composed of 74 places in 13699 ms of which 747 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:27:57] [INFO ] Removed a total of 19725 redundant transitions.
[2025-06-02 01:27:58] [INFO ] Flatten gal took : 3724 ms
[2025-06-02 01:28:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 14973 labels/synchronizations in 4949 ms.
[2025-06-02 01:28:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16891133305136355749.gal : 120 ms
[2025-06-02 01:28:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8041402194611416519.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.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality16891133305136355749.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality8041402194611416519.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Loading property file /tmp/ReachabilityCardinality8041402194611416519.prop.
[2025-06-02 01:28:09] [INFO ] Deduced a trap composed of 76 places in 13574 ms of which 732 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:28:21] [INFO ] Deduced a trap composed of 76 places in 12545 ms of which 733 ms to minimize.
SMT process timed out in 57451ms, After SMT, problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1 out of 5457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5457/5457 places, 24634/24634 transitions.
Applied a total of 0 rules in 1628 ms. Remains 5457 /5457 variables (removed 0) and now considering 24634/24634 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1632 ms. Remains : 5457/5457 places, 24634/24634 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5457/5457 places, 24634/24634 transitions.
Applied a total of 0 rules in 1575 ms. Remains 5457 /5457 variables (removed 0) and now considering 24634/24634 (removed 0) transitions.
[2025-06-02 01:28:25] [INFO ] Flow matrix only has 24633 transitions (discarded 1 similar events)
[2025-06-02 01:28:25] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :5 after 9
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :9 after 10
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :10 after 484
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :484 after 484
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :484 after 484
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :484 after 484
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :484 after 484
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :484 after 484
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :484 after 484
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :484 after 484
SDD proceeding with computation,1 properties remain. new max is 8192
SDD size :484 after 484
SDD proceeding with computation,1 properties remain. new max is 16384
SDD size :484 after 484
SDD proceeding with computation,1 properties remain. new max is 32768
SDD size :484 after 71480
[2025-06-02 01:28:44] [INFO ] Implicit Places using invariants in 19314 ms returned []
Implicit Place search using SMT only with invariants took 19330 ms to find 0 implicit places.
Running 24564 sub problems to find dead transitions.
[2025-06-02 01:28:44] [INFO ] Flow matrix only has 24633 transitions (discarded 1 similar events)
[2025-06-02 01:28:44] [INFO ] Invariant cache hit.
[2025-06-02 01:28:44] [INFO ] State equation strengthened by 24287 read => feed constraints.
Detected timeout of ITS tools.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/5456 variables, 70/70 constraints. Problems are: Problem set: 0 solved, 24564 unsolved
SMT process timed out in 96970ms, After SMT, problems are : Problem set: 0 solved, 24564 unsolved
Search for dead transitions found 0 dead transitions in 97014ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 117946 ms. Remains : 5457/5457 places, 24634/24634 transitions.
Current structural bounds on expressions (After reachability solving 0 queries.) : Max Seen:[1] Max Struct:[70]
Ending property specific reduction for CANInsertWithFailure-PT-070-UpperBounds-00 in 441462 ms.
Starting property specific reduction for CANInsertWithFailure-PT-070-UpperBounds-01
Current structural bounds on expressions (Initially) : Max Seen:[0] Max Struct:[+inf]
Current structural bounds on expressions (Adding known information on max bounds.) : Max Seen:[0] Max Struct:[70]
Current structural bounds on expressions (Before main loop) : Max Seen:[0] Max Struct:[70]
[2025-06-02 01:30:21] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
// Phase 1: matrix 24638 rows 5467 cols
[2025-06-02 01:30:23] [INFO ] Computed 72 invariants in 1639 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[70]
RANDOM walk for 10000 steps (23 resets) in 280 ms. (35 steps per ms)
BEST_FIRST walk for 10001 steps (2 resets) in 22 ms. (434 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0] Max Struct:[70]
[2025-06-02 01:30:23] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:30:23] [INFO ] Invariant cache hit.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 01:30:24] [INFO ] [Real]Absence check using 70 positive place invariants in 139 ms returned sat
[2025-06-02 01:30:24] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 72 ms returned sat
[2025-06-02 01:30:28] [INFO ] [Real]Absence check using state equation in 3933 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0] Max Struct:[70]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0] Max Struct:[70]
Support contains 1 out of 5467 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5467/5467 places, 24644/24644 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 6 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 14 place count 5460 transition count 24637
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 15 place count 5460 transition count 24636
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 16 place count 5459 transition count 24636
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 1 with 1 rules applied. Total rules applied 17 place count 5459 transition count 24635
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 18 place count 5458 transition count 24635
Partial Free-agglomeration rule applied 8 times.
Drop transitions (Partial Free agglomeration) removed 8 transitions
Iterating global reduction 2 with 8 rules applied. Total rules applied 26 place count 5458 transition count 24635
Applied a total of 26 rules in 7682 ms. Remains 5458 /5467 variables (removed 9) and now considering 24635/24644 (removed 9) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7687 ms. Remains : 5458/5467 places, 24635/24644 transitions.
// Phase 1: matrix 24635 rows 5458 cols
[2025-06-02 01:30:37] [INFO ] Computed 72 invariants in 1725 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[70]
RANDOM walk for 1000000 steps (2334 resets) in 28532 ms. (35 steps per ms)
BEST_FIRST walk for 1000001 steps (25 resets) in 2331 ms. (428 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1] Max Struct:[70]
[2025-06-02 01:31:08] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:31:09] [INFO ] [Real]Absence check using 70 positive place invariants in 159 ms returned sat
[2025-06-02 01:31:09] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 60 ms returned sat
[2025-06-02 01:31:21] [INFO ] [Real]Absence check using state equation in 11060 ms returned sat
[2025-06-02 01:31:21] [INFO ] State equation strengthened by 24287 read => feed constraints.
[2025-06-02 01:31:28] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:31:30] [INFO ] [Real]Added 24287 Read/Feed constraints in 8712 ms returned sat
[2025-06-02 01:31:31] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:31:32] [INFO ] [Nat]Absence check using 70 positive place invariants in 147 ms returned sat
[2025-06-02 01:31:32] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 58 ms returned sat
[2025-06-02 01:31:44] [INFO ] [Nat]Absence check using state equation in 12436 ms returned sat
[2025-06-02 01:31:51] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:31:52] [INFO ] [Nat]Added 24287 Read/Feed constraints in 7685 ms returned sat
[2025-06-02 01:31:55] [INFO ] Computed and/alt/rep : 19256/66316/19256 causal constraints (skipped 5309 transitions) in 2048 ms.
Minimization took 15291 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[1] Max Struct:[70]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1] Max Struct:[70]
Support contains 1 out of 5458 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5458/5458 places, 24635/24635 transitions.
Applied a total of 0 rules in 1538 ms. Remains 5458 /5458 variables (removed 0) and now considering 24635/24635 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1539 ms. Remains : 5458/5458 places, 24635/24635 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5458/5458 places, 24635/24635 transitions.
Applied a total of 0 rules in 1522 ms. Remains 5458 /5458 variables (removed 0) and now considering 24635/24635 (removed 0) transitions.
[2025-06-02 01:32:13] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 01:32:32] [INFO ] Implicit Places using invariants in 18370 ms returned []
Implicit Place search using SMT only with invariants took 18384 ms to find 0 implicit places.
Running 24565 sub problems to find dead transitions.
[2025-06-02 01:32:32] [INFO ] Invariant cache hit.
[2025-06-02 01:32:32] [INFO ] State equation strengthened by 24287 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/5457 variables, 70/70 constraints. Problems are: Problem set: 0 solved, 24565 unsolved
SMT process timed out in 92240ms, After SMT, problems are : Problem set: 0 solved, 24565 unsolved
Search for dead transitions found 0 dead transitions in 92304ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 112246 ms. Remains : 5458/5458 places, 24635/24635 transitions.
[2025-06-02 01:34:04] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[1] Max Struct:[70]
RANDOM walk for 1000000 steps (2332 resets) in 28322 ms. (35 steps per ms)
BEST_FIRST walk for 1000001 steps (24 resets) in 2257 ms. (442 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1] Max Struct:[70]
[2025-06-02 01:34:35] [INFO ] Invariant cache hit.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:34:36] [INFO ] [Real]Absence check using 70 positive place invariants in 143 ms returned sat
[2025-06-02 01:34:36] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 63 ms returned sat
[2025-06-02 01:34:47] [INFO ] [Real]Absence check using state equation in 11458 ms returned sat
[2025-06-02 01:34:48] [INFO ] State equation strengthened by 24287 read => feed constraints.
[2025-06-02 01:34:55] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:34:57] [INFO ] [Real]Added 24287 Read/Feed constraints in 8569 ms returned sat
[2025-06-02 01:34:57] [INFO ] Solution in real domain found non-integer solution.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
[2025-06-02 01:34:59] [INFO ] [Nat]Absence check using 70 positive place invariants in 139 ms returned sat
[2025-06-02 01:34:59] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 54 ms returned sat
[2025-06-02 01:35:10] [INFO ] [Nat]Absence check using state equation in 11727 ms returned sat
[2025-06-02 01:35:17] [INFO ] SMT solver returned unknown. Retrying;
[2025-06-02 01:35:18] [INFO ] [Nat]Added 24287 Read/Feed constraints in 7319 ms returned sat
[2025-06-02 01:35:21] [INFO ] Computed and/alt/rep : 19256/66316/19256 causal constraints (skipped 5309 transitions) in 1963 ms.
Minimization took 26565 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[1] Max Struct:[70]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1] Max Struct:[70]
Support contains 1 out of 5458 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5458/5458 places, 24635/24635 transitions.
Applied a total of 0 rules in 1797 ms. Remains 5458 /5458 variables (removed 0) and now considering 24635/24635 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1826 ms. Remains : 5458/5458 places, 24635/24635 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5458/5458 places, 24635/24635 transitions.
Applied a total of 0 rules in 1566 ms. Remains 5458 /5458 variables (removed 0) and now considering 24635/24635 (removed 0) transitions.
[2025-06-02 01:35:51] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 01:36:12] [INFO ] Implicit Places using invariants in 20939 ms returned []
Implicit Place search using SMT only with invariants took 20958 ms to find 0 implicit places.
Running 24565 sub problems to find dead transitions.
[2025-06-02 01:36:12] [INFO ] Invariant cache hit.
[2025-06-02 01:36:12] [INFO ] State equation strengthened by 24287 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/5457 variables, 70/70 constraints. Problems are: Problem set: 0 solved, 24565 unsolved
SMT process timed out in 113337ms, After SMT, problems are : Problem set: 0 solved, 24565 unsolved
Search for dead transitions found 0 dead transitions in 113598ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 136178 ms. Remains : 5458/5458 places, 24635/24635 transitions.
RANDOM walk for 40000 steps (91 resets) in 2691 ms. (14 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 126 ms. (314 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 134 ms. (296 steps per ms) remains 2/2 properties
[2025-06-02 01:38:07] [INFO ] Flatten gal took : 810 ms
[2025-06-02 01:38:07] [INFO ] Flatten gal took : 604 ms
[2025-06-02 01:38:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10512594139740422196.gal : 99 ms
[2025-06-02 01:38:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11705802273995327212.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.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality10512594139740422196.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality11705802273995327212.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.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
Interrupted probabilistic random walk after 73029 steps, run timeout after 3001 ms. (steps per millisecond=24 ) properties seen :0 out of 2
Probabilistic random walk after 73029 steps, saw 64626 distinct states, run finished after 3002 ms. (steps per millisecond=24 ) properties seen :0
[2025-06-02 01:38:09] [INFO ] Invariant cache hit.
[2025-06-02 01:38:09] [INFO ] State equation strengthened by 24287 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 5315/5316 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:38:11] [INFO ] Deduced a trap composed of 2 places in 225 ms of which 10 ms to minimize.
Problem MAX0 is UNSAT
At refinement iteration 2 (INCLUDED_ONLY) 0/5316 variables, 1/2 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/5316 variables, 0/2 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 4 (OVERLAPS) 138/5454 variables, 69/71 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/5454 variables, 0/71 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 2/5456 variables, 2/73 constraints. Problems are: Problem set: 1 solved, 1 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
Loading property file /tmp/ReachabilityCardinality11705802273995327212.prop.
[2025-06-02 01:38:27] [INFO ] Deduced a trap composed of 74 places in 15089 ms of which 798 ms to minimize.
SMT process timed out in 17584ms, After SMT, problems are : Problem set: 1 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1 out of 5458 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5458/5458 places, 24635/24635 transitions.
Applied a total of 0 rules in 1497 ms. Remains 5458 /5458 variables (removed 0) and now considering 24635/24635 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1497 ms. Remains : 5458/5458 places, 24635/24635 transitions.
RANDOM walk for 40000 steps (92 resets) in 1801 ms. (22 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (8 resets) in 124 ms. (320 steps per ms) remains 1/1 properties
Interrupted probabilistic random walk after 75344 steps, run timeout after 3001 ms. (steps per millisecond=25 ) properties seen :0 out of 1
Probabilistic random walk after 75344 steps, saw 64962 distinct states, run finished after 3001 ms. (steps per millisecond=25 ) properties seen :0
[2025-06-02 01:38:32] [INFO ] Invariant cache hit.
[2025-06-02 01:38:32] [INFO ] State equation strengthened by 24287 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 5315/5316 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:38:33] [INFO ] Deduced a trap composed of 2 places in 273 ms of which 11 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/5316 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/5316 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (OVERLAPS) 138/5454 variables, 69/71 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/5454 variables, 0/71 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 2/5456 variables, 2/73 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:38:50] [INFO ] Deduced a trap composed of 74 places in 14783 ms of which 796 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/5456 variables, 1/74 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/5456 variables, 0/74 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Detected timeout of ITS tools.
[2025-06-02 01:38:58] [INFO ] Flatten gal took : 569 ms
[2025-06-02 01:38:58] [INFO ] Applying decomposition
[2025-06-02 01:38:59] [INFO ] Flatten gal took : 594 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph14876378159109664212.txt' '-o' '/tmp/graph14876378159109664212.bin' '-w' '/tmp/graph14876378159109664212.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph14876378159109664212.bin' '-l' '-1' '-v' '-w' '/tmp/graph14876378159109664212.weights' '-q' '0' '-e' '0.001'
[2025-06-02 01:39:00] [INFO ] Decomposing Gal with order
[2025-06-02 01:39:00] [INFO ] Rewriting arrays to variables to allow decomposition.
All remaining problems are real, not stopping.
At refinement iteration 9 (OVERLAPS) 24635/30091 variables, 5456/5530 constraints. Problems are: Problem set: 0 solved, 1 unsolved
[2025-06-02 01:39:04] [INFO ] Removed a total of 19853 redundant transitions.
[2025-06-02 01:39:05] [INFO ] Flatten gal took : 3563 ms
[2025-06-02 01:39:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 14969 labels/synchronizations in 4575 ms.
[2025-06-02 01:39:10] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11556449738306736167.gal : 182 ms
[2025-06-02 01:39:10] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12373281932862421407.prop : 6 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.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality11556449738306736167.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality12373281932862421407.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...309
Solver is answering 'unknown', stopping.
Loading property file /tmp/ReachabilityCardinality12373281932862421407.prop.
After SMT solving in domain Real declared 30091/30093 variables, and 29817 constraints, problems are : Problem set: 0 solved, 1 unsolved in 42385 ms.
Refiners :[Positive P Invariants (semi-flows): 70/70 constraints, Generalized P Invariants (flows): 2/2 constraints, State Equation: 5456/5458 constraints, ReadFeed: 24287/24287 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 2/2 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 5315/5316 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5316 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/5316 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (OVERLAPS) 138/5454 variables, 69/71 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/5454 variables, 0/71 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 2/5456 variables, 2/73 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5456 variables, 1/74 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-02 01:39:31] [INFO ] Deduced a trap composed of 74 places in 14697 ms of which 1152 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/5456 variables, 1/75 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/5456 variables, 0/75 constraints. Problems are: Problem set: 0 solved, 1 unsolved
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 6
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :6 after 10
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :10 after 10
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :10 after 10
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :10 after 10
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :10 after 1918
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :1918 after 1918
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :1918 after 1918
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :1918 after 1918
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :1918 after 1918
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :1918 after 1918
SDD proceeding with computation,1 properties remain. new max is 8192
SDD size :1918 after 1918
SDD proceeding with computation,1 properties remain. new max is 16384
SDD size :1918 after 1918
SDD proceeding with computation,1 properties remain. new max is 32768
SDD size :1918 after 1918
At refinement iteration 10 (OVERLAPS) 24635/30091 variables, 5456/5531 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 30091/30093 variables, and 29818 constraints, problems are : Problem set: 0 solved, 1 unsolved in 41696 ms.
Refiners :[Positive P Invariants (semi-flows): 70/70 constraints, Generalized P Invariants (flows): 2/2 constraints, State Equation: 5456/5458 constraints, ReadFeed: 24287/24287 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 3/3 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 84198ms problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1 out of 5458 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5458/5458 places, 24635/24635 transitions.
Applied a total of 0 rules in 1535 ms. Remains 5458 /5458 variables (removed 0) and now considering 24635/24635 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1535 ms. Remains : 5458/5458 places, 24635/24635 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5458/5458 places, 24635/24635 transitions.
Applied a total of 0 rules in 1506 ms. Remains 5458 /5458 variables (removed 0) and now considering 24635/24635 (removed 0) transitions.
[2025-06-02 01:39:59] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
Detected timeout of ITS tools.
[2025-06-02 01:40:18] [INFO ] Implicit Places using invariants in 18421 ms returned []
Implicit Place search using SMT only with invariants took 18425 ms to find 0 implicit places.
Running 24565 sub problems to find dead transitions.
[2025-06-02 01:40:18] [INFO ] Invariant cache hit.
[2025-06-02 01:40:18] [INFO ] State equation strengthened by 24287 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/5457 variables, 70/70 constraints. Problems are: Problem set: 0 solved, 24565 unsolved
SMT process timed out in 98564ms, After SMT, problems are : Problem set: 0 solved, 24565 unsolved
Search for dead transitions found 0 dead transitions in 98641ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 118620 ms. Remains : 5458/5458 places, 24635/24635 transitions.
Current structural bounds on expressions (After reachability solving 0 queries.) : Max Seen:[1] Max Struct:[70]
Ending property specific reduction for CANInsertWithFailure-PT-070-UpperBounds-01 in 695353 ms.
Starting property specific reduction for CANInsertWithFailure-PT-070-UpperBounds-02
Current structural bounds on expressions (Initially) : Max Seen:[0] Max Struct:[+inf]
Current structural bounds on expressions (Adding known information on max bounds.) : Max Seen:[0] Max Struct:[70]
Current structural bounds on expressions (Before main loop) : Max Seen:[0] Max Struct:[70]
[2025-06-02 01:41:56] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
// Phase 1: matrix 24638 rows 5467 cols
[2025-06-02 01:41:59] [INFO ] Computed 72 invariants in 2257 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[70]
RANDOM walk for 10000 steps (22 resets) in 277 ms. (35 steps per ms)
BEST_FIRST walk for 10001 steps (2 resets) in 22 ms. (434 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0] Max Struct:[70]
[2025-06-02 01:41:59] [INFO ] Flow matrix only has 24638 transitions (discarded 6 similar events)
[2025-06-02 01:41:59] [INFO ] Invariant cache hit.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
[2025-06-02 01:42:00] [INFO ] [Real]Absence check using 70 positive place invariants in 144 ms returned sat
[2025-06-02 01:42:00] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 60 ms returned sat
[2025-06-02 01:42:04] [INFO ] [Real]Absence check using state equation in 3728 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0] Max Struct:[70]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0] Max Struct:[70]
Support contains 1 out of 5467 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5467/5467 places, 24644/24644 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 5 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 14 place count 5460 transition count 24637
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 15 place count 5460 transition count 24636
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 16 place count 5459 transition count 24636
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 1 with 1 rules applied. Total rules applied 17 place count 5459 transition count 24635
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 18 place count 5458 transition count 24635
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
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution UpperBounds -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.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -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-070"
export BK_EXAMINATION="UpperBounds"
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-5832"
echo " Executing tool itstools"
echo " Input is CANInsertWithFailure-PT-070, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r030-smll-174853813700309"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-070.tgz
mv CANInsertWithFailure-PT-070 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.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 [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;