About the Execution of 2021-gold for CANInsertWithFailure-PT-090
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3359.560 | 3600000.00 | 3767566.00 | 9975.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r305-smll-165463878300028.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is CANInsertWithFailure-PT-090, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r305-smll-165463878300028
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 50M
-rw-r--r-- 1 mcc users 11K May 30 15:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K May 30 15:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.5K May 30 15:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K May 30 15:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.2K May 25 12:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 25 12:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K May 25 12:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 25 12:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 29 12:20 NewModel
-rw-r--r-- 1 mcc users 14K May 30 15:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K May 30 15:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K May 30 15:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K May 30 15:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 25 12:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 25 12:59 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 12:20 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 12:20 instance
-rw-r--r-- 1 mcc users 6 May 29 12:20 iscolored
-rw-r--r-- 1 mcc users 49M May 29 12:20 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-00
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-01
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-02
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-03
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-04
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-05
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-06
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-07
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-08
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-09
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-10
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-11
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-12
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-13
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-14
FORMULA_NAME CANInsertWithFailure-PT-090-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1654709380752
Running Version 0
[2022-06-08 17:29:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-08 17:29:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-08 17:29:45] [INFO ] Load time of PNML (sax parser for PT used): 1819 ms
[2022-06-08 17:29:45] [INFO ] Transformed 17284 places.
[2022-06-08 17:29:45] [INFO ] Transformed 49140 transitions.
[2022-06-08 17:29:45] [INFO ] Parsed PT model containing 17284 places and 49140 transitions in 2091 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 18 ms.
// Phase 1: matrix 49140 rows 17284 cols
[2022-06-08 17:30:10] [INFO ] Computed 93 place invariants in 24108 ms
Incomplete random walk after 10000 steps, including 4 resets, run finished after 466 ms. (steps per millisecond=21 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 47 ms. (steps per millisecond=212 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 51 ms. (steps per millisecond=196 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 16) seen :0
// Phase 1: matrix 49140 rows 17284 cols
[2022-06-08 17:30:34] [INFO ] Computed 93 place invariants in 22552 ms
[2022-06-08 17:30:38] [INFO ] [Real]Absence check using 91 positive place invariants in 1062 ms returned sat
[2022-06-08 17:30:39] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 266 ms returned sat
[2022-06-08 17:30:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:30:39] [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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:30:43] [INFO ] [Real]Absence check using 91 positive place invariants in 1039 ms returned sat
[2022-06-08 17:30:43] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 271 ms returned sat
[2022-06-08 17:30:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:30:44] [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: Stream close... while checking expression at index 1
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:30:48] [INFO ] [Real]Absence check using 91 positive place invariants in 1039 ms returned sat
[2022-06-08 17:30:48] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 274 ms returned sat
[2022-06-08 17:30:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:30:49] [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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:30:53] [INFO ] [Real]Absence check using 91 positive place invariants in 945 ms returned sat
[2022-06-08 17:30:53] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 263 ms returned sat
[2022-06-08 17:30:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:30:54] [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 3
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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:30:58] [INFO ] [Real]Absence check using 91 positive place invariants in 980 ms returned sat
[2022-06-08 17:30:58] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 272 ms returned sat
[2022-06-08 17:30:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:30:59] [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: Stream closed... 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: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:31:03] [INFO ] [Real]Absence check using 91 positive place invariants in 1015 ms returned sat
[2022-06-08 17:31:03] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 284 ms returned sat
[2022-06-08 17:31:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:31:04] [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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:31:08] [INFO ] [Real]Absence check using 91 positive place invariants in 1020 ms returned sat
[2022-06-08 17:31:08] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 269 ms returned sat
[2022-06-08 17:31:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:31:09] [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: Stream closed... 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: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:31:13] [INFO ] [Real]Absence check using 91 positive place invariants in 1104 ms returned sat
[2022-06-08 17:31:13] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 270 ms returned sat
[2022-06-08 17:31:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:31:14] [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 7
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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:31:18] [INFO ] [Real]Absence check using 91 positive place invariants in 970 ms returned sat
[2022-06-08 17:31:18] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 283 ms returned sat
[2022-06-08 17:31:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:31:19] [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 8
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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:31:23] [INFO ] [Real]Absence check using 91 positive place invariants in 976 ms returned sat
[2022-06-08 17:31:23] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 275 ms returned sat
[2022-06-08 17:31:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:31:24] [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 9
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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:31:28] [INFO ] [Real]Absence check using 91 positive place invariants in 1154 ms returned sat
[2022-06-08 17:31:28] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 265 ms returned sat
[2022-06-08 17:31:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:31:29] [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 10
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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:31:33] [INFO ] [Real]Absence check using 91 positive place invariants in 1000 ms returned sat
[2022-06-08 17:31:33] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 277 ms returned sat
[2022-06-08 17:31:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:31:34] [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 11
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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:31:38] [INFO ] [Real]Absence check using 91 positive place invariants in 960 ms returned sat
[2022-06-08 17:31:38] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 273 ms returned sat
[2022-06-08 17:31:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:31: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 12
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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:31:43] [INFO ] [Real]Absence check using 91 positive place invariants in 1165 ms returned sat
[2022-06-08 17:31:44] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 296 ms returned sat
[2022-06-08 17:31:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:31:44] [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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:31:48] [INFO ] [Real]Absence check using 91 positive place invariants in 984 ms returned sat
[2022-06-08 17:31:48] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 263 ms returned sat
[2022-06-08 17:31:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:31:49] [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 14
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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
[2022-06-08 17:31:53] [INFO ] [Real]Absence check using 91 positive place invariants in 951 ms returned sat
[2022-06-08 17:31:53] [INFO ] [Real]Absence check using 91 positive and 2 generalized place invariants in 268 ms returned sat
[2022-06-08 17:31:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:31:54] [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 15
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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:428)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Current structural bounds on expressions (after SMT) : [90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90] Max seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Support contains 16 out of 17284 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 17284/17284 places, 49140/49140 transitions.
Graph (complete) has 66151 edges and 17284 vertex of which 17283 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.76 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 630 transitions
Trivial Post-agglo rules discarded 630 transitions
Performed 630 trivial Post agglomeration. Transition count delta: 630
Iterating post reduction 0 with 630 rules applied. Total rules applied 631 place count 17283 transition count 48510
Reduce places removed 630 places and 0 transitions.
Iterating post reduction 1 with 630 rules applied. Total rules applied 1261 place count 16653 transition count 48510
Performed 8002 Post agglomeration using F-continuation condition.Transition count delta: 8002
Deduced a syphon composed of 8002 places in 35 ms
Reduce places removed 8002 places and 0 transitions.
Iterating global reduction 2 with 16004 rules applied. Total rules applied 17265 place count 8651 transition count 40508
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 17266 place count 8651 transition count 40507
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 17267 place count 8650 transition count 40507
Partial Free-agglomeration rule applied 8183 times.
Drop transitions removed 8183 transitions
Iterating global reduction 3 with 8183 rules applied. Total rules applied 25450 place count 8650 transition count 40507
Applied a total of 25450 rules in 49060 ms. Remains 8650 /17284 variables (removed 8634) and now considering 40507/49140 (removed 8633) transitions.
Finished structural reductions, in 1 iterations. Remains : 8650/17284 places, 40507/49140 transitions.
Normalized transition count is 40499 out of 40507 initially.
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 17:32:49] [INFO ] Computed 92 place invariants in 5503 ms
Interrupted random walk after 639350 steps, including 1181 resets, run timeout after 30001 ms. (steps per millisecond=21 ) properties seen :{0=1, 1=1, 2=1, 3=1, 4=1, 5=1, 6=1, 7=1, 8=1, 9=1, 10=1, 11=1, 12=1, 13=1, 14=1, 15=1}
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3308 ms. (steps per millisecond=302 ) properties (out of 16) seen :5
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3237 ms. (steps per millisecond=308 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3322 ms. (steps per millisecond=301 ) properties (out of 16) seen :5
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3249 ms. (steps per millisecond=307 ) properties (out of 16) seen :3
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3270 ms. (steps per millisecond=305 ) properties (out of 16) seen :4
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3287 ms. (steps per millisecond=304 ) properties (out of 16) seen :2
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3269 ms. (steps per millisecond=305 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3317 ms. (steps per millisecond=301 ) properties (out of 16) seen :2
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3256 ms. (steps per millisecond=307 ) properties (out of 16) seen :4
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3233 ms. (steps per millisecond=309 ) properties (out of 16) seen :3
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3228 ms. (steps per millisecond=309 ) properties (out of 16) seen :3
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3236 ms. (steps per millisecond=309 ) properties (out of 16) seen :4
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3240 ms. (steps per millisecond=308 ) properties (out of 16) seen :6
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3219 ms. (steps per millisecond=310 ) properties (out of 16) seen :4
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3179 ms. (steps per millisecond=314 ) properties (out of 16) seen :3
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3246 ms. (steps per millisecond=308 ) properties (out of 16) seen :3
[2022-06-08 17:34:11] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 17:34:16] [INFO ] Computed 92 place invariants in 4925 ms
[2022-06-08 17:34:18] [INFO ] [Real]Absence check using 90 positive place invariants in 374 ms returned sat
[2022-06-08 17:34:18] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 114 ms returned sat
[2022-06-08 17:34:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:34:26] [INFO ] [Real]Absence check using state equation in 8367 ms returned sat
[2022-06-08 17:34:28] [INFO ] State equation strengthened by 40206 read => feed constraints.
[2022-06-08 17:34:35] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:34:35] [INFO ] [Real]Added 40206 Read/Feed constraints in 7366 ms returned sat
[2022-06-08 17:34:38] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:34:39] [INFO ] [Nat]Absence check using 90 positive place invariants in 320 ms returned sat
[2022-06-08 17:34:40] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 104 ms returned sat
[2022-06-08 17:34:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:34:48] [INFO ] [Nat]Absence check using state equation in 8408 ms returned sat
[2022-06-08 17:34:55] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:34:58] [INFO ] [Nat]Added 40206 Read/Feed constraints in 10486 ms returned unknown
[2022-06-08 17:35:00] [INFO ] [Real]Absence check using 90 positive place invariants in 354 ms returned sat
[2022-06-08 17:35:00] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 113 ms returned sat
[2022-06-08 17:35:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:35:09] [INFO ] [Real]Absence check using state equation in 8552 ms returned sat
[2022-06-08 17:35:17] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:35:17] [INFO ] [Real]Added 40206 Read/Feed constraints in 7331 ms returned sat
[2022-06-08 17:35:19] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:35:21] [INFO ] [Nat]Absence check using 90 positive place invariants in 350 ms returned sat
[2022-06-08 17:35:21] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 111 ms returned sat
[2022-06-08 17:35:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:35:30] [INFO ] [Nat]Absence check using state equation in 8545 ms returned sat
[2022-06-08 17:35:37] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:35:40] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9978 ms returned unknown
[2022-06-08 17:35:41] [INFO ] [Real]Absence check using 90 positive place invariants in 308 ms returned sat
[2022-06-08 17:35:41] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 110 ms returned sat
[2022-06-08 17:35:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:35:49] [INFO ] [Real]Absence check using state equation in 8364 ms returned sat
[2022-06-08 17:35:57] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:35:57] [INFO ] [Real]Added 40206 Read/Feed constraints in 6983 ms returned sat
[2022-06-08 17:36:00] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:36:01] [INFO ] [Nat]Absence check using 90 positive place invariants in 365 ms returned sat
[2022-06-08 17:36:01] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 120 ms returned sat
[2022-06-08 17:36:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:36:10] [INFO ] [Nat]Absence check using state equation in 8971 ms returned sat
[2022-06-08 17:36:17] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:36:20] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9885 ms returned unknown
[2022-06-08 17:36:22] [INFO ] [Real]Absence check using 90 positive place invariants in 367 ms returned sat
[2022-06-08 17:36:22] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 125 ms returned sat
[2022-06-08 17:36:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:36:31] [INFO ] [Real]Absence check using state equation in 9325 ms returned sat
[2022-06-08 17:36:40] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:36:40] [INFO ] [Real]Added 40206 Read/Feed constraints in 7481 ms returned sat
[2022-06-08 17:36:42] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:36:44] [INFO ] [Nat]Absence check using 90 positive place invariants in 312 ms returned sat
[2022-06-08 17:36:44] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 105 ms returned sat
[2022-06-08 17:36:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:36:52] [INFO ] [Nat]Absence check using state equation in 8173 ms returned sat
[2022-06-08 17:36:59] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:37:02] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9542 ms returned unknown
[2022-06-08 17:37:03] [INFO ] [Real]Absence check using 90 positive place invariants in 300 ms returned sat
[2022-06-08 17:37:03] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 105 ms returned sat
[2022-06-08 17:37:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:37:11] [INFO ] [Real]Absence check using state equation in 8197 ms returned sat
[2022-06-08 17:37:19] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:37:19] [INFO ] [Real]Added 40206 Read/Feed constraints in 6823 ms returned sat
[2022-06-08 17:37:21] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:37:23] [INFO ] [Nat]Absence check using 90 positive place invariants in 368 ms returned sat
[2022-06-08 17:37:23] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 120 ms returned sat
[2022-06-08 17:37:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:37:32] [INFO ] [Nat]Absence check using state equation in 8727 ms returned sat
[2022-06-08 17:37:38] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:37:41] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9764 ms returned unknown
[2022-06-08 17:37:43] [INFO ] [Real]Absence check using 90 positive place invariants in 332 ms returned sat
[2022-06-08 17:37:43] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 113 ms returned sat
[2022-06-08 17:37:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:37:52] [INFO ] [Real]Absence check using state equation in 9247 ms returned sat
[2022-06-08 17:38:00] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:38:00] [INFO ] [Real]Added 40206 Read/Feed constraints in 7019 ms returned sat
[2022-06-08 17:38:03] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:38:04] [INFO ] [Nat]Absence check using 90 positive place invariants in 313 ms returned sat
[2022-06-08 17:38:04] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 106 ms returned sat
[2022-06-08 17:38:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:38:13] [INFO ] [Nat]Absence check using state equation in 8294 ms returned sat
[2022-06-08 17:38:20] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:38:23] [INFO ] [Nat]Added 40206 Read/Feed constraints in 10046 ms returned unknown
[2022-06-08 17:38:24] [INFO ] [Real]Absence check using 90 positive place invariants in 312 ms returned sat
[2022-06-08 17:38:24] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 113 ms returned sat
[2022-06-08 17:38:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:38:33] [INFO ] [Real]Absence check using state equation in 8569 ms returned sat
[2022-06-08 17:38:41] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:38:41] [INFO ] [Real]Added 40206 Read/Feed constraints in 6765 ms returned sat
[2022-06-08 17:38:43] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:38:44] [INFO ] [Nat]Absence check using 90 positive place invariants in 312 ms returned sat
[2022-06-08 17:38:44] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 105 ms returned sat
[2022-06-08 17:38:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:38:52] [INFO ] [Nat]Absence check using state equation in 8013 ms returned sat
[2022-06-08 17:38:59] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:39:02] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9749 ms returned unknown
[2022-06-08 17:39:04] [INFO ] [Real]Absence check using 90 positive place invariants in 312 ms returned sat
[2022-06-08 17:39:04] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 108 ms returned sat
[2022-06-08 17:39:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:39:12] [INFO ] [Real]Absence check using state equation in 8405 ms returned sat
[2022-06-08 17:39:20] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:39:20] [INFO ] [Real]Added 40206 Read/Feed constraints in 6739 ms returned sat
[2022-06-08 17:39:22] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:39:24] [INFO ] [Nat]Absence check using 90 positive place invariants in 311 ms returned sat
[2022-06-08 17:39:24] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 113 ms returned sat
[2022-06-08 17:39:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:39:32] [INFO ] [Nat]Absence check using state equation in 8267 ms returned sat
[2022-06-08 17:39:39] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:39:42] [INFO ] [Nat]Added 40206 Read/Feed constraints in 10001 ms returned unknown
[2022-06-08 17:39:44] [INFO ] [Real]Absence check using 90 positive place invariants in 301 ms returned sat
[2022-06-08 17:39:44] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 109 ms returned sat
[2022-06-08 17:39:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:39:53] [INFO ] [Real]Absence check using state equation in 9002 ms returned sat
[2022-06-08 17:40:01] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:40:01] [INFO ] [Real]Added 40206 Read/Feed constraints in 7118 ms returned sat
[2022-06-08 17:40:03] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:40:05] [INFO ] [Nat]Absence check using 90 positive place invariants in 332 ms returned sat
[2022-06-08 17:40:05] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 110 ms returned sat
[2022-06-08 17:40:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:40:14] [INFO ] [Nat]Absence check using state equation in 8881 ms returned sat
[2022-06-08 17:40:20] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:40:24] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9838 ms returned unknown
[2022-06-08 17:40:25] [INFO ] [Real]Absence check using 90 positive place invariants in 316 ms returned sat
[2022-06-08 17:40:25] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 110 ms returned sat
[2022-06-08 17:40:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:40:34] [INFO ] [Real]Absence check using state equation in 8406 ms returned sat
[2022-06-08 17:40:41] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:40:42] [INFO ] [Real]Added 40206 Read/Feed constraints in 6947 ms returned sat
[2022-06-08 17:40:44] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:40:45] [INFO ] [Nat]Absence check using 90 positive place invariants in 319 ms returned sat
[2022-06-08 17:40:45] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 109 ms returned sat
[2022-06-08 17:40:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:40:54] [INFO ] [Nat]Absence check using state equation in 8765 ms returned sat
[2022-06-08 17:41:01] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:41:04] [INFO ] [Nat]Added 40206 Read/Feed constraints in 10228 ms returned unknown
[2022-06-08 17:41:06] [INFO ] [Real]Absence check using 90 positive place invariants in 325 ms returned sat
[2022-06-08 17:41:06] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 116 ms returned sat
[2022-06-08 17:41:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:41:15] [INFO ] [Real]Absence check using state equation in 8735 ms returned sat
[2022-06-08 17:41:23] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:41:23] [INFO ] [Real]Added 40206 Read/Feed constraints in 7419 ms returned sat
[2022-06-08 17:41:26] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:41:27] [INFO ] [Nat]Absence check using 90 positive place invariants in 352 ms returned sat
[2022-06-08 17:41:27] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 112 ms returned sat
[2022-06-08 17:41:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:41:36] [INFO ] [Nat]Absence check using state equation in 8542 ms returned sat
[2022-06-08 17:41:43] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:41:46] [INFO ] [Nat]Added 40206 Read/Feed constraints in 10136 ms returned unknown
[2022-06-08 17:41:48] [INFO ] [Real]Absence check using 90 positive place invariants in 339 ms returned sat
[2022-06-08 17:41:48] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 115 ms returned sat
[2022-06-08 17:41:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:41:57] [INFO ] [Real]Absence check using state equation in 9026 ms returned sat
[2022-06-08 17:42:05] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:42:05] [INFO ] [Real]Added 40206 Read/Feed constraints in 7226 ms returned sat
[2022-06-08 17:42:07] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:42:09] [INFO ] [Nat]Absence check using 90 positive place invariants in 367 ms returned sat
[2022-06-08 17:42:09] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 112 ms returned sat
[2022-06-08 17:42:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:42:18] [INFO ] [Nat]Absence check using state equation in 8537 ms returned sat
[2022-06-08 17:42:24] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:42:27] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9945 ms returned unknown
[2022-06-08 17:42:29] [INFO ] [Real]Absence check using 90 positive place invariants in 344 ms returned sat
[2022-06-08 17:42:29] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 114 ms returned sat
[2022-06-08 17:42:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:42:38] [INFO ] [Real]Absence check using state equation in 8717 ms returned sat
[2022-06-08 17:42:47] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:42:47] [INFO ] [Real]Added 40206 Read/Feed constraints in 7795 ms returned sat
[2022-06-08 17:42:49] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:42:51] [INFO ] [Nat]Absence check using 90 positive place invariants in 340 ms returned sat
[2022-06-08 17:42:51] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 117 ms returned sat
[2022-06-08 17:42:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:42:59] [INFO ] [Nat]Absence check using state equation in 8686 ms returned sat
[2022-06-08 17:43:06] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:43:09] [INFO ] [Nat]Added 40206 Read/Feed constraints in 10030 ms returned unknown
[2022-06-08 17:43:11] [INFO ] [Real]Absence check using 90 positive place invariants in 389 ms returned sat
[2022-06-08 17:43:11] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 111 ms returned sat
[2022-06-08 17:43:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:43:20] [INFO ] [Real]Absence check using state equation in 8604 ms returned sat
[2022-06-08 17:43:28] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:43:29] [INFO ] [Real]Added 40206 Read/Feed constraints in 7559 ms returned sat
[2022-06-08 17:43:31] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:43:32] [INFO ] [Nat]Absence check using 90 positive place invariants in 322 ms returned sat
[2022-06-08 17:43:32] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 111 ms returned sat
[2022-06-08 17:43:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:43:41] [INFO ] [Nat]Absence check using state equation in 8343 ms returned sat
[2022-06-08 17:43:48] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:43:51] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9939 ms returned unknown
[2022-06-08 17:43:52] [INFO ] [Real]Absence check using 90 positive place invariants in 338 ms returned sat
[2022-06-08 17:43:52] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 112 ms returned sat
[2022-06-08 17:43:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:44:01] [INFO ] [Real]Absence check using state equation in 8531 ms returned sat
[2022-06-08 17:44:09] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:44:09] [INFO ] [Real]Added 40206 Read/Feed constraints in 7324 ms returned sat
[2022-06-08 17:44:12] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:44:13] [INFO ] [Nat]Absence check using 90 positive place invariants in 323 ms returned sat
[2022-06-08 17:44:13] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 109 ms returned sat
[2022-06-08 17:44:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:44:22] [INFO ] [Nat]Absence check using state equation in 9159 ms returned sat
[2022-06-08 17:44:30] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:44:33] [INFO ] [Nat]Added 40206 Read/Feed constraints in 10338 ms returned unknown
[2022-06-08 17:44:34] [INFO ] [Real]Absence check using 90 positive place invariants in 324 ms returned sat
[2022-06-08 17:44:34] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 112 ms returned sat
[2022-06-08 17:44:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:44:43] [INFO ] [Real]Absence check using state equation in 8614 ms returned sat
[2022-06-08 17:44:51] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:44:52] [INFO ] [Real]Added 40206 Read/Feed constraints in 7354 ms returned sat
[2022-06-08 17:44:54] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:44:55] [INFO ] [Nat]Absence check using 90 positive place invariants in 360 ms returned sat
[2022-06-08 17:44:55] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 112 ms returned sat
[2022-06-08 17:44:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:45:04] [INFO ] [Nat]Absence check using state equation in 8671 ms returned sat
[2022-06-08 17:45:11] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:45:14] [INFO ] [Nat]Added 40206 Read/Feed constraints in 10318 ms returned unknown
Current structural bounds on expressions (after SMT) : [90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90] Max seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
Support contains 16 out of 8650 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8650/8650 places, 40507/40507 transitions.
Applied a total of 0 rules in 7859 ms. Remains 8650 /8650 variables (removed 0) and now considering 40507/40507 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8650/8650 places, 40507/40507 transitions.
Starting structural reductions, iteration 0 : 8650/8650 places, 40507/40507 transitions.
Applied a total of 0 rules in 7343 ms. Remains 8650 /8650 variables (removed 0) and now considering 40507/40507 (removed 0) transitions.
[2022-06-08 17:45:30] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 17:45:35] [INFO ] Computed 92 place invariants in 5048 ms
[2022-06-08 17:45:36] [INFO ] Implicit Places using invariants in 6148 ms returned []
Implicit Place search using SMT only with invariants took 6149 ms to find 0 implicit places.
[2022-06-08 17:45:36] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 17:45:41] [INFO ] Computed 92 place invariants in 5156 ms
[2022-06-08 17:45:42] [INFO ] Dead Transitions using invariants and state equation in 6408 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8650/8650 places, 40507/40507 transitions.
Normalized transition count is 40499 out of 40507 initially.
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 17:45:47] [INFO ] Computed 92 place invariants in 4862 ms
Interrupted random walk after 600340 steps, including 1106 resets, run timeout after 30001 ms. (steps per millisecond=20 ) properties seen :{0=1, 1=1, 2=1, 3=1, 4=1, 5=1, 6=1, 7=1, 8=1, 9=1, 10=1, 11=1, 12=1, 13=1, 14=1, 15=1}
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3269 ms. (steps per millisecond=305 ) properties (out of 16) seen :2
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3269 ms. (steps per millisecond=305 ) properties (out of 16) seen :2
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3019 ms. (steps per millisecond=331 ) properties (out of 16) seen :4
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3005 ms. (steps per millisecond=332 ) properties (out of 16) seen :6
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3053 ms. (steps per millisecond=327 ) properties (out of 16) seen :2
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3030 ms. (steps per millisecond=330 ) properties (out of 16) seen :2
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3354 ms. (steps per millisecond=298 ) properties (out of 16) seen :3
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3126 ms. (steps per millisecond=319 ) properties (out of 16) seen :4
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3170 ms. (steps per millisecond=315 ) properties (out of 16) seen :5
Incomplete Best-First random walk after 1000001 steps, including 16 resets, run finished after 3077 ms. (steps per millisecond=324 ) properties (out of 16) seen :5
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3038 ms. (steps per millisecond=329 ) properties (out of 16) seen :2
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3014 ms. (steps per millisecond=331 ) properties (out of 16) seen :3
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3038 ms. (steps per millisecond=329 ) properties (out of 16) seen :6
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3045 ms. (steps per millisecond=328 ) properties (out of 16) seen :4
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3042 ms. (steps per millisecond=328 ) properties (out of 16) seen :6
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3143 ms. (steps per millisecond=318 ) properties (out of 16) seen :2
[2022-06-08 17:47:07] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 17:47:11] [INFO ] Computed 92 place invariants in 4426 ms
[2022-06-08 17:47:13] [INFO ] [Real]Absence check using 90 positive place invariants in 319 ms returned sat
[2022-06-08 17:47:13] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 120 ms returned sat
[2022-06-08 17:47:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:47:22] [INFO ] [Real]Absence check using state equation in 8650 ms returned sat
[2022-06-08 17:47:24] [INFO ] State equation strengthened by 40206 read => feed constraints.
[2022-06-08 17:47:30] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:47:31] [INFO ] [Real]Added 40206 Read/Feed constraints in 7035 ms returned sat
[2022-06-08 17:47:33] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:47:34] [INFO ] [Nat]Absence check using 90 positive place invariants in 283 ms returned sat
[2022-06-08 17:47:34] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 94 ms returned sat
[2022-06-08 17:47:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:47:42] [INFO ] [Nat]Absence check using state equation in 8007 ms returned sat
[2022-06-08 17:47:49] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:47:52] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9371 ms returned unknown
[2022-06-08 17:47:54] [INFO ] [Real]Absence check using 90 positive place invariants in 293 ms returned sat
[2022-06-08 17:47:54] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 105 ms returned sat
[2022-06-08 17:47:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:48:02] [INFO ] [Real]Absence check using state equation in 8679 ms returned sat
[2022-06-08 17:48:11] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:48:11] [INFO ] [Real]Added 40206 Read/Feed constraints in 7503 ms returned sat
[2022-06-08 17:48:13] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:48:15] [INFO ] [Nat]Absence check using 90 positive place invariants in 289 ms returned sat
[2022-06-08 17:48:15] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 100 ms returned sat
[2022-06-08 17:48:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:48:23] [INFO ] [Nat]Absence check using state equation in 8086 ms returned sat
[2022-06-08 17:48:30] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:48:33] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9914 ms returned unknown
[2022-06-08 17:48:35] [INFO ] [Real]Absence check using 90 positive place invariants in 280 ms returned sat
[2022-06-08 17:48:35] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 148 ms returned sat
[2022-06-08 17:48:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:48:43] [INFO ] [Real]Absence check using state equation in 8225 ms returned sat
[2022-06-08 17:48:51] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:48:51] [INFO ] [Real]Added 40206 Read/Feed constraints in 7100 ms returned sat
[2022-06-08 17:48:54] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:48:55] [INFO ] [Nat]Absence check using 90 positive place invariants in 285 ms returned sat
[2022-06-08 17:48:55] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 97 ms returned sat
[2022-06-08 17:48:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:49:04] [INFO ] [Nat]Absence check using state equation in 8366 ms returned sat
[2022-06-08 17:49:11] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:49:14] [INFO ] [Nat]Added 40206 Read/Feed constraints in 10030 ms returned unknown
[2022-06-08 17:49:15] [INFO ] [Real]Absence check using 90 positive place invariants in 273 ms returned sat
[2022-06-08 17:49:15] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 101 ms returned sat
[2022-06-08 17:49:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:49:23] [INFO ] [Real]Absence check using state equation in 7628 ms returned sat
[2022-06-08 17:49:31] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:49:31] [INFO ] [Real]Added 40206 Read/Feed constraints in 6714 ms returned sat
[2022-06-08 17:49:33] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:49:35] [INFO ] [Nat]Absence check using 90 positive place invariants in 312 ms returned sat
[2022-06-08 17:49:35] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 102 ms returned sat
[2022-06-08 17:49:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:49:43] [INFO ] [Nat]Absence check using state equation in 8216 ms returned sat
[2022-06-08 17:49:49] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:49:52] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9510 ms returned unknown
[2022-06-08 17:49:54] [INFO ] [Real]Absence check using 90 positive place invariants in 369 ms returned sat
[2022-06-08 17:49:54] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 103 ms returned sat
[2022-06-08 17:49:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:50:03] [INFO ] [Real]Absence check using state equation in 8498 ms returned sat
[2022-06-08 17:50:10] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:50:10] [INFO ] [Real]Added 40206 Read/Feed constraints in 6883 ms returned sat
[2022-06-08 17:50:13] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:50:14] [INFO ] [Nat]Absence check using 90 positive place invariants in 336 ms returned sat
[2022-06-08 17:50:14] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 165 ms returned sat
[2022-06-08 17:50:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:50:23] [INFO ] [Nat]Absence check using state equation in 8698 ms returned sat
[2022-06-08 17:50:30] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:50:33] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9976 ms returned unknown
[2022-06-08 17:50:35] [INFO ] [Real]Absence check using 90 positive place invariants in 291 ms returned sat
[2022-06-08 17:50:35] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 102 ms returned sat
[2022-06-08 17:50:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:50:43] [INFO ] [Real]Absence check using state equation in 8320 ms returned sat
[2022-06-08 17:50:52] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:50:52] [INFO ] [Real]Added 40206 Read/Feed constraints in 7327 ms returned sat
[2022-06-08 17:50:54] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:50:56] [INFO ] [Nat]Absence check using 90 positive place invariants in 287 ms returned sat
[2022-06-08 17:50:56] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 96 ms returned sat
[2022-06-08 17:50:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:51:04] [INFO ] [Nat]Absence check using state equation in 8743 ms returned sat
[2022-06-08 17:51:12] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:51:15] [INFO ] [Nat]Added 40206 Read/Feed constraints in 10164 ms returned unknown
[2022-06-08 17:51:16] [INFO ] [Real]Absence check using 90 positive place invariants in 311 ms returned sat
[2022-06-08 17:51:16] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 109 ms returned sat
[2022-06-08 17:51:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:51:24] [INFO ] [Real]Absence check using state equation in 8220 ms returned sat
[2022-06-08 17:51:33] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:51:33] [INFO ] [Real]Added 40206 Read/Feed constraints in 7199 ms returned sat
[2022-06-08 17:51:35] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:51:36] [INFO ] [Nat]Absence check using 90 positive place invariants in 322 ms returned sat
[2022-06-08 17:51:36] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 109 ms returned sat
[2022-06-08 17:51:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:51:45] [INFO ] [Nat]Absence check using state equation in 8376 ms returned sat
[2022-06-08 17:51:52] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:51:55] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9799 ms returned unknown
[2022-06-08 17:51:56] [INFO ] [Real]Absence check using 90 positive place invariants in 345 ms returned sat
[2022-06-08 17:51:56] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 112 ms returned sat
[2022-06-08 17:51:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:52:05] [INFO ] [Real]Absence check using state equation in 8715 ms returned sat
[2022-06-08 17:52:13] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:52:13] [INFO ] [Real]Added 40206 Read/Feed constraints in 7143 ms returned sat
[2022-06-08 17:52:16] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:52:17] [INFO ] [Nat]Absence check using 90 positive place invariants in 322 ms returned sat
[2022-06-08 17:52:17] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 147 ms returned sat
[2022-06-08 17:52:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:52:25] [INFO ] [Nat]Absence check using state equation in 8245 ms returned sat
[2022-06-08 17:52:32] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:52:35] [INFO ] [Nat]Added 40206 Read/Feed constraints in 10074 ms returned unknown
[2022-06-08 17:52:37] [INFO ] [Real]Absence check using 90 positive place invariants in 320 ms returned sat
[2022-06-08 17:52:37] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 114 ms returned sat
[2022-06-08 17:52:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:52:46] [INFO ] [Real]Absence check using state equation in 8680 ms returned sat
[2022-06-08 17:52:54] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:52:54] [INFO ] [Real]Added 40206 Read/Feed constraints in 7045 ms returned sat
[2022-06-08 17:52:56] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:52:57] [INFO ] [Nat]Absence check using 90 positive place invariants in 316 ms returned sat
[2022-06-08 17:52:58] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 118 ms returned sat
[2022-06-08 17:52:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:53:06] [INFO ] [Nat]Absence check using state equation in 8290 ms returned sat
[2022-06-08 17:53:13] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:53:16] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9785 ms returned unknown
[2022-06-08 17:53:17] [INFO ] [Real]Absence check using 90 positive place invariants in 327 ms returned sat
[2022-06-08 17:53:17] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 113 ms returned sat
[2022-06-08 17:53:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:53:26] [INFO ] [Real]Absence check using state equation in 8365 ms returned sat
[2022-06-08 17:53:33] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:53:33] [INFO ] [Real]Added 40206 Read/Feed constraints in 6526 ms returned sat
[2022-06-08 17:53:35] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:53:37] [INFO ] [Nat]Absence check using 90 positive place invariants in 310 ms returned sat
[2022-06-08 17:53:37] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 105 ms returned sat
[2022-06-08 17:53:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:53:45] [INFO ] [Nat]Absence check using state equation in 8306 ms returned sat
[2022-06-08 17:53:52] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:53:55] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9617 ms returned unknown
[2022-06-08 17:53:56] [INFO ] [Real]Absence check using 90 positive place invariants in 298 ms returned sat
[2022-06-08 17:53:56] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 105 ms returned sat
[2022-06-08 17:53:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:54:05] [INFO ] [Real]Absence check using state equation in 8604 ms returned sat
[2022-06-08 17:54:14] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:54:14] [INFO ] [Real]Added 40206 Read/Feed constraints in 7646 ms returned sat
[2022-06-08 17:54:16] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:54:18] [INFO ] [Nat]Absence check using 90 positive place invariants in 350 ms returned sat
[2022-06-08 17:54:18] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 149 ms returned sat
[2022-06-08 17:54:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:54:26] [INFO ] [Nat]Absence check using state equation in 8136 ms returned sat
[2022-06-08 17:54:33] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:54:36] [INFO ] [Nat]Added 40206 Read/Feed constraints in 10086 ms returned unknown
[2022-06-08 17:54:38] [INFO ] [Real]Absence check using 90 positive place invariants in 337 ms returned sat
[2022-06-08 17:54:38] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 116 ms returned sat
[2022-06-08 17:54:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:54:46] [INFO ] [Real]Absence check using state equation in 8629 ms returned sat
[2022-06-08 17:54:55] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:54:55] [INFO ] [Real]Added 40206 Read/Feed constraints in 7421 ms returned sat
[2022-06-08 17:54:58] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:54:59] [INFO ] [Nat]Absence check using 90 positive place invariants in 354 ms returned sat
[2022-06-08 17:54:59] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 110 ms returned sat
[2022-06-08 17:54:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:55:07] [INFO ] [Nat]Absence check using state equation in 8330 ms returned sat
[2022-06-08 17:55:14] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:55:17] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9885 ms returned unknown
[2022-06-08 17:55:19] [INFO ] [Real]Absence check using 90 positive place invariants in 310 ms returned sat
[2022-06-08 17:55:19] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 115 ms returned sat
[2022-06-08 17:55:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:55:28] [INFO ] [Real]Absence check using state equation in 8800 ms returned sat
[2022-06-08 17:55:37] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:55:37] [INFO ] [Real]Added 40206 Read/Feed constraints in 7827 ms returned sat
[2022-06-08 17:55:39] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:55:40] [INFO ] [Nat]Absence check using 90 positive place invariants in 317 ms returned sat
[2022-06-08 17:55:40] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 105 ms returned sat
[2022-06-08 17:55:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:55:49] [INFO ] [Nat]Absence check using state equation in 8467 ms returned sat
[2022-06-08 17:55:58] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:56:01] [INFO ] [Nat]Added 40206 Read/Feed constraints in 12267 ms returned unknown
[2022-06-08 17:56:03] [INFO ] [Real]Absence check using 90 positive place invariants in 357 ms returned sat
[2022-06-08 17:56:03] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 110 ms returned sat
[2022-06-08 17:56:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:56:12] [INFO ] [Real]Absence check using state equation in 8793 ms returned sat
[2022-06-08 17:56:20] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:56:20] [INFO ] [Real]Added 40206 Read/Feed constraints in 7241 ms returned sat
[2022-06-08 17:56:22] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:56:24] [INFO ] [Nat]Absence check using 90 positive place invariants in 291 ms returned sat
[2022-06-08 17:56:24] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 108 ms returned sat
[2022-06-08 17:56:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:56:32] [INFO ] [Nat]Absence check using state equation in 8211 ms returned sat
[2022-06-08 17:56:39] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:56:42] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9938 ms returned unknown
[2022-06-08 17:56:43] [INFO ] [Real]Absence check using 90 positive place invariants in 330 ms returned sat
[2022-06-08 17:56:43] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 107 ms returned sat
[2022-06-08 17:56:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:56:52] [INFO ] [Real]Absence check using state equation in 8587 ms returned sat
[2022-06-08 17:57:00] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:57:00] [INFO ] [Real]Added 40206 Read/Feed constraints in 6807 ms returned sat
[2022-06-08 17:57:02] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:57:04] [INFO ] [Nat]Absence check using 90 positive place invariants in 310 ms returned sat
[2022-06-08 17:57:04] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 140 ms returned sat
[2022-06-08 17:57:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:57:13] [INFO ] [Nat]Absence check using state equation in 8695 ms returned sat
[2022-06-08 17:57:20] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:57:23] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9965 ms returned unknown
[2022-06-08 17:57:24] [INFO ] [Real]Absence check using 90 positive place invariants in 292 ms returned sat
[2022-06-08 17:57:24] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 105 ms returned sat
[2022-06-08 17:57:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:57:33] [INFO ] [Real]Absence check using state equation in 8484 ms returned sat
[2022-06-08 17:57:40] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:57:40] [INFO ] [Real]Added 40206 Read/Feed constraints in 6913 ms returned sat
[2022-06-08 17:57:43] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 17:57:44] [INFO ] [Nat]Absence check using 90 positive place invariants in 328 ms returned sat
[2022-06-08 17:57:44] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 109 ms returned sat
[2022-06-08 17:57:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 17:57:52] [INFO ] [Nat]Absence check using state equation in 8071 ms returned sat
[2022-06-08 17:57:59] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 17:58:02] [INFO ] [Nat]Added 40206 Read/Feed constraints in 9791 ms returned unknown
Current structural bounds on expressions (after SMT) : [90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90] Max seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
Support contains 16 out of 8650 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8650/8650 places, 40507/40507 transitions.
Applied a total of 0 rules in 6066 ms. Remains 8650 /8650 variables (removed 0) and now considering 40507/40507 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8650/8650 places, 40507/40507 transitions.
Starting structural reductions, iteration 0 : 8650/8650 places, 40507/40507 transitions.
Applied a total of 0 rules in 7260 ms. Remains 8650 /8650 variables (removed 0) and now considering 40507/40507 (removed 0) transitions.
[2022-06-08 17:58:15] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 17:58:21] [INFO ] Computed 92 place invariants in 5027 ms
[2022-06-08 17:58:22] [INFO ] Implicit Places using invariants in 6138 ms returned []
Implicit Place search using SMT only with invariants took 6143 ms to find 0 implicit places.
[2022-06-08 17:58:22] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 17:58:27] [INFO ] Computed 92 place invariants in 4855 ms
[2022-06-08 17:58:28] [INFO ] Dead Transitions using invariants and state equation in 5973 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8650/8650 places, 40507/40507 transitions.
Starting property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-00
Normalized transition count is 40499 out of 40507 initially.
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 17:58:32] [INFO ] Computed 92 place invariants in 4781 ms
Incomplete random walk after 10000 steps, including 18 resets, run finished after 460 ms. (steps per millisecond=21 ) properties (out of 1) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 31 ms. (steps per millisecond=322 ) properties (out of 1) seen :0
[2022-06-08 17:58:33] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 17:58:37] [INFO ] Computed 92 place invariants in 4504 ms
[2022-06-08 17:58:39] [INFO ] [Real]Absence check using 90 positive place invariants in 297 ms returned sat
[2022-06-08 17:58:39] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 106 ms returned sat
[2022-06-08 17:58:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:58:43] [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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:446)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8650 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8650/8650 places, 40507/40507 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 13 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 16 place count 8642 transition count 40499
Partial Free-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 0 with 7 rules applied. Total rules applied 23 place count 8642 transition count 40499
Applied a total of 23 rules in 17636 ms. Remains 8642 /8650 variables (removed 8) and now considering 40499/40507 (removed 8) transitions.
Finished structural reductions, in 1 iterations. Remains : 8642/8650 places, 40499/40507 transitions.
Normalized transition count is 40498 out of 40499 initially.
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 17:59:05] [INFO ] Computed 92 place invariants in 4636 ms
Interrupted random walk after 640474 steps, including 1186 resets, run timeout after 30001 ms. (steps per millisecond=21 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3268 ms. (steps per millisecond=305 ) properties (out of 1) seen :1
[2022-06-08 17:59:38] [INFO ] Flow matrix only has 40498 transitions (discarded 1 similar events)
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 17:59:43] [INFO ] Computed 92 place invariants in 5185 ms
[2022-06-08 17:59:45] [INFO ] [Real]Absence check using 90 positive place invariants in 288 ms returned sat
[2022-06-08 17:59:45] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 98 ms returned sat
[2022-06-08 17:59:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 17:59:53] [INFO ] [Real]Absence check using state equation in 7958 ms returned sat
[2022-06-08 17:59:55] [INFO ] State equation strengthened by 40229 read => feed constraints.
[2022-06-08 18:00:01] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:00:01] [INFO ] [Real]Added 40229 Read/Feed constraints in 6847 ms returned sat
[2022-06-08 18:00:04] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:00:05] [INFO ] [Nat]Absence check using 90 positive place invariants in 304 ms returned sat
[2022-06-08 18:00:05] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 106 ms returned sat
[2022-06-08 18:00:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:00:13] [INFO ] [Nat]Absence check using state equation in 8407 ms returned sat
[2022-06-08 18:00:20] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:00:23] [INFO ] [Nat]Added 40229 Read/Feed constraints in 9792 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8642 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8642/8642 places, 40499/40499 transitions.
Applied a total of 0 rules in 5301 ms. Remains 8642 /8642 variables (removed 0) and now considering 40499/40499 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8642/8642 places, 40499/40499 transitions.
Starting structural reductions, iteration 0 : 8642/8642 places, 40499/40499 transitions.
Applied a total of 0 rules in 5389 ms. Remains 8642 /8642 variables (removed 0) and now considering 40499/40499 (removed 0) transitions.
[2022-06-08 18:00:34] [INFO ] Flow matrix only has 40498 transitions (discarded 1 similar events)
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:00:39] [INFO ] Computed 92 place invariants in 4770 ms
[2022-06-08 18:00:40] [INFO ] Implicit Places using invariants in 5886 ms returned []
Implicit Place search using SMT only with invariants took 5889 ms to find 0 implicit places.
[2022-06-08 18:00:40] [INFO ] Flow matrix only has 40498 transitions (discarded 1 similar events)
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:00:44] [INFO ] Computed 92 place invariants in 4616 ms
[2022-06-08 18:00:46] [INFO ] Dead Transitions using invariants and state equation in 5687 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8642/8642 places, 40499/40499 transitions.
Ending property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-00 in 137950 ms.
Starting property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-01
Normalized transition count is 40499 out of 40507 initially.
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:00:50] [INFO ] Computed 92 place invariants in 4674 ms
Incomplete random walk after 10000 steps, including 18 resets, run finished after 414 ms. (steps per millisecond=24 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 31 ms. (steps per millisecond=322 ) properties (out of 1) seen :0
[2022-06-08 18:00:51] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:00:56] [INFO ] Computed 92 place invariants in 5269 ms
[2022-06-08 18:00:58] [INFO ] [Real]Absence check using 90 positive place invariants in 297 ms returned sat
[2022-06-08 18:00:58] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 109 ms returned sat
[2022-06-08 18:00:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:01:01] [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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:446)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Current structural bounds on expressions (after SMT) : [90] Max seen :[0]
Support contains 1 out of 8650 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8650/8650 places, 40507/40507 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 10 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 14 place count 8643 transition count 40500
Partial Free-agglomeration rule applied 8 times.
Drop transitions removed 8 transitions
Iterating global reduction 0 with 8 rules applied. Total rules applied 22 place count 8643 transition count 40500
Applied a total of 22 rules in 16441 ms. Remains 8643 /8650 variables (removed 7) and now considering 40500/40507 (removed 7) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8650 places, 40500/40507 transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:01:23] [INFO ] Computed 92 place invariants in 5322 ms
Interrupted random walk after 667453 steps, including 1237 resets, run timeout after 30001 ms. (steps per millisecond=22 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3210 ms. (steps per millisecond=311 ) properties (out of 1) seen :0
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:02:02] [INFO ] Computed 92 place invariants in 5525 ms
[2022-06-08 18:02:03] [INFO ] [Real]Absence check using 90 positive place invariants in 382 ms returned sat
[2022-06-08 18:02:03] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 111 ms returned sat
[2022-06-08 18:02:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:02:12] [INFO ] [Real]Absence check using state equation in 8364 ms returned sat
[2022-06-08 18:02:13] [INFO ] State equation strengthened by 40228 read => feed constraints.
[2022-06-08 18:02:21] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:02:21] [INFO ] [Real]Added 40228 Read/Feed constraints in 7497 ms returned sat
[2022-06-08 18:02:23] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:02:25] [INFO ] [Nat]Absence check using 90 positive place invariants in 335 ms returned sat
[2022-06-08 18:02:25] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 113 ms returned sat
[2022-06-08 18:02:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:02:34] [INFO ] [Nat]Absence check using state equation in 8939 ms returned sat
[2022-06-08 18:02:41] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:02:44] [INFO ] [Nat]Added 40228 Read/Feed constraints in 10245 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8643 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 7912 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 7842 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:03:05] [INFO ] Computed 92 place invariants in 5167 ms
[2022-06-08 18:03:06] [INFO ] Implicit Places using invariants in 6254 ms returned []
Implicit Place search using SMT only with invariants took 6276 ms to find 0 implicit places.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:03:11] [INFO ] Computed 92 place invariants in 4817 ms
[2022-06-08 18:03:12] [INFO ] Dead Transitions using invariants and state equation in 5936 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:03:17] [INFO ] Computed 92 place invariants in 4828 ms
Interrupted random walk after 668522 steps, including 1237 resets, run timeout after 30001 ms. (steps per millisecond=22 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3253 ms. (steps per millisecond=307 ) properties (out of 1) seen :1
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:03:55] [INFO ] Computed 92 place invariants in 4858 ms
[2022-06-08 18:03:57] [INFO ] [Real]Absence check using 90 positive place invariants in 324 ms returned sat
[2022-06-08 18:03:57] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 109 ms returned sat
[2022-06-08 18:03:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:04:05] [INFO ] [Real]Absence check using state equation in 8514 ms returned sat
[2022-06-08 18:04:07] [INFO ] State equation strengthened by 40228 read => feed constraints.
[2022-06-08 18:04:14] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:04:15] [INFO ] [Real]Added 40228 Read/Feed constraints in 7858 ms returned sat
[2022-06-08 18:04:17] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:04:19] [INFO ] [Nat]Absence check using 90 positive place invariants in 356 ms returned sat
[2022-06-08 18:04:19] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 108 ms returned sat
[2022-06-08 18:04:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:04:27] [INFO ] [Nat]Absence check using state equation in 8483 ms returned sat
[2022-06-08 18:04:34] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:04:37] [INFO ] [Nat]Added 40228 Read/Feed constraints in 10322 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8643 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 6514 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 6750 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:04:56] [INFO ] Computed 92 place invariants in 5255 ms
[2022-06-08 18:04:57] [INFO ] Implicit Places using invariants in 6436 ms returned []
Implicit Place search using SMT only with invariants took 6447 ms to find 0 implicit places.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:05:02] [INFO ] Computed 92 place invariants in 4827 ms
[2022-06-08 18:05:03] [INFO ] Dead Transitions using invariants and state equation in 5927 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Ending property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-01 in 257503 ms.
Starting property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-02
Normalized transition count is 40499 out of 40507 initially.
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:05:08] [INFO ] Computed 92 place invariants in 5158 ms
Incomplete random walk after 10000 steps, including 18 resets, run finished after 518 ms. (steps per millisecond=19 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 1) seen :0
[2022-06-08 18:05:09] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:05:14] [INFO ] Computed 92 place invariants in 4949 ms
[2022-06-08 18:05:15] [INFO ] [Real]Absence check using 90 positive place invariants in 335 ms returned sat
[2022-06-08 18:05:16] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 110 ms returned sat
[2022-06-08 18:05:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:05:19] [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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:446)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Current structural bounds on expressions (after SMT) : [90] Max seen :[0]
Support contains 1 out of 8650 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8650/8650 places, 40507/40507 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 13 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 14 place count 8643 transition count 40500
Partial Free-agglomeration rule applied 8 times.
Drop transitions removed 8 transitions
Iterating global reduction 0 with 8 rules applied. Total rules applied 22 place count 8643 transition count 40500
Applied a total of 22 rules in 24456 ms. Remains 8643 /8650 variables (removed 7) and now considering 40500/40507 (removed 7) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8650 places, 40500/40507 transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:05:48] [INFO ] Computed 92 place invariants in 5068 ms
Interrupted random walk after 626727 steps, including 1158 resets, run timeout after 30001 ms. (steps per millisecond=20 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3405 ms. (steps per millisecond=293 ) properties (out of 1) seen :1
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:06:28] [INFO ] Computed 92 place invariants in 5882 ms
[2022-06-08 18:06:29] [INFO ] [Real]Absence check using 90 positive place invariants in 336 ms returned sat
[2022-06-08 18:06:30] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 113 ms returned sat
[2022-06-08 18:06:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:06:38] [INFO ] [Real]Absence check using state equation in 8881 ms returned sat
[2022-06-08 18:06:40] [INFO ] State equation strengthened by 40228 read => feed constraints.
[2022-06-08 18:06:47] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:06:47] [INFO ] [Real]Added 40228 Read/Feed constraints in 7478 ms returned sat
[2022-06-08 18:06:50] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:06:51] [INFO ] [Nat]Absence check using 90 positive place invariants in 323 ms returned sat
[2022-06-08 18:06:51] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 112 ms returned sat
[2022-06-08 18:06:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:07:01] [INFO ] [Nat]Absence check using state equation in 9321 ms returned sat
[2022-06-08 18:07:08] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:07:11] [INFO ] [Nat]Added 40228 Read/Feed constraints in 10399 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8643 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 7012 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 6522 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:07:31] [INFO ] Computed 92 place invariants in 5959 ms
[2022-06-08 18:07:32] [INFO ] Implicit Places using invariants in 7079 ms returned []
Implicit Place search using SMT only with invariants took 7098 ms to find 0 implicit places.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:07:37] [INFO ] Computed 92 place invariants in 5035 ms
[2022-06-08 18:07:38] [INFO ] Dead Transitions using invariants and state equation in 6221 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:07:43] [INFO ] Computed 92 place invariants in 5331 ms
Interrupted random walk after 622262 steps, including 1152 resets, run timeout after 30001 ms. (steps per millisecond=20 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3261 ms. (steps per millisecond=306 ) properties (out of 1) seen :0
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:08:22] [INFO ] Computed 92 place invariants in 5896 ms
[2022-06-08 18:08:24] [INFO ] [Real]Absence check using 90 positive place invariants in 334 ms returned sat
[2022-06-08 18:08:24] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 113 ms returned sat
[2022-06-08 18:08:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:08:33] [INFO ] [Real]Absence check using state equation in 9101 ms returned sat
[2022-06-08 18:08:35] [INFO ] State equation strengthened by 40228 read => feed constraints.
[2022-06-08 18:08:42] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:08:42] [INFO ] [Real]Added 40228 Read/Feed constraints in 7452 ms returned sat
[2022-06-08 18:08:45] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:08:46] [INFO ] [Nat]Absence check using 90 positive place invariants in 392 ms returned sat
[2022-06-08 18:08:46] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 124 ms returned sat
[2022-06-08 18:08:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:08:56] [INFO ] [Nat]Absence check using state equation in 9760 ms returned sat
[2022-06-08 18:09:04] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:09:07] [INFO ] [Nat]Added 40228 Read/Feed constraints in 10583 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8643 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 7928 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 6559 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:09:27] [INFO ] Computed 92 place invariants in 5813 ms
[2022-06-08 18:09:28] [INFO ] Implicit Places using invariants in 7004 ms returned []
Implicit Place search using SMT only with invariants took 7009 ms to find 0 implicit places.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:09:33] [INFO ] Computed 92 place invariants in 5027 ms
[2022-06-08 18:09:34] [INFO ] Dead Transitions using invariants and state equation in 6190 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Ending property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-02 in 271288 ms.
Starting property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-03
Normalized transition count is 40499 out of 40507 initially.
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:09:40] [INFO ] Computed 92 place invariants in 5435 ms
Incomplete random walk after 10000 steps, including 18 resets, run finished after 519 ms. (steps per millisecond=19 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 1) seen :0
[2022-06-08 18:09:40] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:09:46] [INFO ] Computed 92 place invariants in 5308 ms
[2022-06-08 18:09:47] [INFO ] [Real]Absence check using 90 positive place invariants in 390 ms returned sat
[2022-06-08 18:09:48] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 114 ms returned sat
[2022-06-08 18:09:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:09:51] [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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:446)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Current structural bounds on expressions (after SMT) : [90] Max seen :[0]
Support contains 1 out of 8650 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8650/8650 places, 40507/40507 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 13 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 14 place count 8643 transition count 40500
Partial Free-agglomeration rule applied 8 times.
Drop transitions removed 8 transitions
Iterating global reduction 0 with 8 rules applied. Total rules applied 22 place count 8643 transition count 40500
Applied a total of 22 rules in 23008 ms. Remains 8643 /8650 variables (removed 7) and now considering 40500/40507 (removed 7) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8650 places, 40500/40507 transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:10:19] [INFO ] Computed 92 place invariants in 5460 ms
Interrupted random walk after 624869 steps, including 1157 resets, run timeout after 30001 ms. (steps per millisecond=20 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3472 ms. (steps per millisecond=288 ) properties (out of 1) seen :0
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:10:58] [INFO ] Computed 92 place invariants in 5363 ms
[2022-06-08 18:11:00] [INFO ] [Real]Absence check using 90 positive place invariants in 335 ms returned sat
[2022-06-08 18:11:00] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 112 ms returned sat
[2022-06-08 18:11:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:11:09] [INFO ] [Real]Absence check using state equation in 9099 ms returned sat
[2022-06-08 18:11:11] [INFO ] State equation strengthened by 40228 read => feed constraints.
[2022-06-08 18:11:18] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:11:18] [INFO ] [Real]Added 40228 Read/Feed constraints in 7576 ms returned sat
[2022-06-08 18:11:21] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:11:22] [INFO ] [Nat]Absence check using 90 positive place invariants in 370 ms returned sat
[2022-06-08 18:11:22] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 113 ms returned sat
[2022-06-08 18:11:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:11:31] [INFO ] [Nat]Absence check using state equation in 9151 ms returned sat
[2022-06-08 18:11:39] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:11:42] [INFO ] [Nat]Added 40228 Read/Feed constraints in 10558 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8643 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 7259 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 7337 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:12:02] [INFO ] Computed 92 place invariants in 5516 ms
[2022-06-08 18:12:03] [INFO ] Implicit Places using invariants in 6703 ms returned []
Implicit Place search using SMT only with invariants took 6704 ms to find 0 implicit places.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:12:09] [INFO ] Computed 92 place invariants in 5927 ms
[2022-06-08 18:12:10] [INFO ] Dead Transitions using invariants and state equation in 7083 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:12:16] [INFO ] Computed 92 place invariants in 5482 ms
Interrupted random walk after 649035 steps, including 1200 resets, run timeout after 30001 ms. (steps per millisecond=21 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3319 ms. (steps per millisecond=301 ) properties (out of 1) seen :1
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:12:54] [INFO ] Computed 92 place invariants in 5134 ms
[2022-06-08 18:12:56] [INFO ] [Real]Absence check using 90 positive place invariants in 313 ms returned sat
[2022-06-08 18:12:56] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 110 ms returned sat
[2022-06-08 18:12:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:13:04] [INFO ] [Real]Absence check using state equation in 8298 ms returned sat
[2022-06-08 18:13:06] [INFO ] State equation strengthened by 40228 read => feed constraints.
[2022-06-08 18:13:12] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:13:13] [INFO ] [Real]Added 40228 Read/Feed constraints in 6896 ms returned sat
[2022-06-08 18:13:15] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:13:16] [INFO ] [Nat]Absence check using 90 positive place invariants in 318 ms returned sat
[2022-06-08 18:13:16] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 109 ms returned sat
[2022-06-08 18:13:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:13:25] [INFO ] [Nat]Absence check using state equation in 8543 ms returned sat
[2022-06-08 18:13:32] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:13:35] [INFO ] [Nat]Added 40228 Read/Feed constraints in 9853 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8643 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 6889 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 8023 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:13:55] [INFO ] Computed 92 place invariants in 5005 ms
[2022-06-08 18:13:56] [INFO ] Implicit Places using invariants in 6103 ms returned []
Implicit Place search using SMT only with invariants took 6107 ms to find 0 implicit places.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:14:01] [INFO ] Computed 92 place invariants in 5178 ms
[2022-06-08 18:14:02] [INFO ] Dead Transitions using invariants and state equation in 6278 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Ending property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-03 in 267741 ms.
Starting property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-04
Normalized transition count is 40499 out of 40507 initially.
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:14:07] [INFO ] Computed 92 place invariants in 5064 ms
Incomplete random walk after 10000 steps, including 18 resets, run finished after 473 ms. (steps per millisecond=21 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 1) seen :0
[2022-06-08 18:14:08] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:14:12] [INFO ] Computed 92 place invariants in 4733 ms
[2022-06-08 18:14:14] [INFO ] [Real]Absence check using 90 positive place invariants in 318 ms returned sat
[2022-06-08 18:14:14] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 110 ms returned sat
[2022-06-08 18:14:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:14:18] [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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:446)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Current structural bounds on expressions (after SMT) : [90] Max seen :[0]
Support contains 1 out of 8650 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8650/8650 places, 40507/40507 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 14 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 16 place count 8642 transition count 40499
Partial Free-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 0 with 7 rules applied. Total rules applied 23 place count 8642 transition count 40499
Applied a total of 23 rules in 20785 ms. Remains 8642 /8650 variables (removed 8) and now considering 40499/40507 (removed 8) transitions.
Finished structural reductions, in 1 iterations. Remains : 8642/8650 places, 40499/40507 transitions.
Normalized transition count is 40498 out of 40499 initially.
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:14:43] [INFO ] Computed 92 place invariants in 5086 ms
Interrupted random walk after 686654 steps, including 1273 resets, run timeout after 30001 ms. (steps per millisecond=22 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3141 ms. (steps per millisecond=318 ) properties (out of 1) seen :1
[2022-06-08 18:15:17] [INFO ] Flow matrix only has 40498 transitions (discarded 1 similar events)
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:15:22] [INFO ] Computed 92 place invariants in 5016 ms
[2022-06-08 18:15:23] [INFO ] [Real]Absence check using 90 positive place invariants in 318 ms returned sat
[2022-06-08 18:15:23] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 116 ms returned sat
[2022-06-08 18:15:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:15:32] [INFO ] [Real]Absence check using state equation in 8905 ms returned sat
[2022-06-08 18:15:34] [INFO ] State equation strengthened by 40229 read => feed constraints.
[2022-06-08 18:15:41] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:15:41] [INFO ] [Real]Added 40229 Read/Feed constraints in 7126 ms returned sat
[2022-06-08 18:15:43] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:15:45] [INFO ] [Nat]Absence check using 90 positive place invariants in 335 ms returned sat
[2022-06-08 18:15:45] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 107 ms returned sat
[2022-06-08 18:15:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:15:53] [INFO ] [Nat]Absence check using state equation in 8525 ms returned sat
[2022-06-08 18:16:00] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:16:03] [INFO ] [Nat]Added 40229 Read/Feed constraints in 9804 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8642 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8642/8642 places, 40499/40499 transitions.
Applied a total of 0 rules in 5320 ms. Remains 8642 /8642 variables (removed 0) and now considering 40499/40499 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8642/8642 places, 40499/40499 transitions.
Starting structural reductions, iteration 0 : 8642/8642 places, 40499/40499 transitions.
Applied a total of 0 rules in 5304 ms. Remains 8642 /8642 variables (removed 0) and now considering 40499/40499 (removed 0) transitions.
[2022-06-08 18:16:14] [INFO ] Flow matrix only has 40498 transitions (discarded 1 similar events)
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:16:19] [INFO ] Computed 92 place invariants in 4737 ms
[2022-06-08 18:16:20] [INFO ] Implicit Places using invariants in 5856 ms returned []
Implicit Place search using SMT only with invariants took 5862 ms to find 0 implicit places.
[2022-06-08 18:16:20] [INFO ] Flow matrix only has 40498 transitions (discarded 1 similar events)
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:16:24] [INFO ] Computed 92 place invariants in 4783 ms
[2022-06-08 18:16:26] [INFO ] Dead Transitions using invariants and state equation in 5899 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8642/8642 places, 40499/40499 transitions.
Normalized transition count is 40498 out of 40499 initially.
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:16:31] [INFO ] Computed 92 place invariants in 5183 ms
Interrupted random walk after 703294 steps, including 1302 resets, run timeout after 30001 ms. (steps per millisecond=23 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 16 resets, run finished after 3342 ms. (steps per millisecond=299 ) properties (out of 1) seen :1
[2022-06-08 18:17:04] [INFO ] Flow matrix only has 40498 transitions (discarded 1 similar events)
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:17:09] [INFO ] Computed 92 place invariants in 4788 ms
[2022-06-08 18:17:10] [INFO ] [Real]Absence check using 90 positive place invariants in 311 ms returned sat
[2022-06-08 18:17:11] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 109 ms returned sat
[2022-06-08 18:17:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:17:19] [INFO ] [Real]Absence check using state equation in 8914 ms returned sat
[2022-06-08 18:17:21] [INFO ] State equation strengthened by 40229 read => feed constraints.
[2022-06-08 18:17:28] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:17:28] [INFO ] [Real]Added 40229 Read/Feed constraints in 7091 ms returned sat
[2022-06-08 18:17:31] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:17:32] [INFO ] [Nat]Absence check using 90 positive place invariants in 368 ms returned sat
[2022-06-08 18:17:32] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 119 ms returned sat
[2022-06-08 18:17:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:17:41] [INFO ] [Nat]Absence check using state equation in 8517 ms returned sat
[2022-06-08 18:17:48] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:17:51] [INFO ] [Nat]Added 40229 Read/Feed constraints in 9841 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8642 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8642/8642 places, 40499/40499 transitions.
Applied a total of 0 rules in 5725 ms. Remains 8642 /8642 variables (removed 0) and now considering 40499/40499 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8642/8642 places, 40499/40499 transitions.
Starting structural reductions, iteration 0 : 8642/8642 places, 40499/40499 transitions.
Applied a total of 0 rules in 6097 ms. Remains 8642 /8642 variables (removed 0) and now considering 40499/40499 (removed 0) transitions.
[2022-06-08 18:18:02] [INFO ] Flow matrix only has 40498 transitions (discarded 1 similar events)
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:18:08] [INFO ] Computed 92 place invariants in 5248 ms
[2022-06-08 18:18:09] [INFO ] Implicit Places using invariants in 6387 ms returned []
Implicit Place search using SMT only with invariants took 6407 ms to find 0 implicit places.
[2022-06-08 18:18:09] [INFO ] Flow matrix only has 40498 transitions (discarded 1 similar events)
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:18:14] [INFO ] Computed 92 place invariants in 4830 ms
[2022-06-08 18:18:15] [INFO ] Dead Transitions using invariants and state equation in 5975 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8642/8642 places, 40499/40499 transitions.
Ending property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-04 in 252658 ms.
Starting property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-05
Normalized transition count is 40499 out of 40507 initially.
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:18:20] [INFO ] Computed 92 place invariants in 4910 ms
Incomplete random walk after 10000 steps, including 18 resets, run finished after 428 ms. (steps per millisecond=23 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 1) seen :0
[2022-06-08 18:18:20] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:18:25] [INFO ] Computed 92 place invariants in 5014 ms
[2022-06-08 18:18:27] [INFO ] [Real]Absence check using 90 positive place invariants in 324 ms returned sat
[2022-06-08 18:18:27] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 113 ms returned sat
[2022-06-08 18:18:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:18:30] [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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:446)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Current structural bounds on expressions (after SMT) : [90] Max seen :[0]
Support contains 1 out of 8650 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8650/8650 places, 40507/40507 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 12 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 14 place count 8643 transition count 40500
Partial Free-agglomeration rule applied 8 times.
Drop transitions removed 8 transitions
Iterating global reduction 0 with 8 rules applied. Total rules applied 22 place count 8643 transition count 40500
Applied a total of 22 rules in 17249 ms. Remains 8643 /8650 variables (removed 7) and now considering 40500/40507 (removed 7) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8650 places, 40500/40507 transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:18:52] [INFO ] Computed 92 place invariants in 4650 ms
Interrupted random walk after 686794 steps, including 1274 resets, run timeout after 30001 ms. (steps per millisecond=22 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 16 resets, run finished after 3172 ms. (steps per millisecond=315 ) properties (out of 1) seen :0
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:19:31] [INFO ] Computed 92 place invariants in 5384 ms
[2022-06-08 18:19:32] [INFO ] [Real]Absence check using 90 positive place invariants in 317 ms returned sat
[2022-06-08 18:19:32] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 110 ms returned sat
[2022-06-08 18:19:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:19:41] [INFO ] [Real]Absence check using state equation in 8588 ms returned sat
[2022-06-08 18:19:43] [INFO ] State equation strengthened by 40228 read => feed constraints.
[2022-06-08 18:19:49] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:19:50] [INFO ] [Real]Added 40228 Read/Feed constraints in 7073 ms returned sat
[2022-06-08 18:19:52] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:19:53] [INFO ] [Nat]Absence check using 90 positive place invariants in 323 ms returned sat
[2022-06-08 18:19:53] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 112 ms returned sat
[2022-06-08 18:19:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:20:02] [INFO ] [Nat]Absence check using state equation in 8776 ms returned sat
[2022-06-08 18:20:09] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:20:12] [INFO ] [Nat]Added 40228 Read/Feed constraints in 9896 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8643 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 6843 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 6412 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:20:30] [INFO ] Computed 92 place invariants in 5035 ms
[2022-06-08 18:20:31] [INFO ] Implicit Places using invariants in 6040 ms returned []
Implicit Place search using SMT only with invariants took 6046 ms to find 0 implicit places.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:20:36] [INFO ] Computed 92 place invariants in 4557 ms
[2022-06-08 18:20:37] [INFO ] Dead Transitions using invariants and state equation in 5681 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:20:42] [INFO ] Computed 92 place invariants in 4667 ms
Interrupted random walk after 694514 steps, including 1283 resets, run timeout after 30001 ms. (steps per millisecond=23 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 14 resets, run finished after 3134 ms. (steps per millisecond=319 ) properties (out of 1) seen :0
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:21:20] [INFO ] Computed 92 place invariants in 4742 ms
[2022-06-08 18:21:21] [INFO ] [Real]Absence check using 90 positive place invariants in 333 ms returned sat
[2022-06-08 18:21:21] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 114 ms returned sat
[2022-06-08 18:21:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:21:30] [INFO ] [Real]Absence check using state equation in 8505 ms returned sat
[2022-06-08 18:21:32] [INFO ] State equation strengthened by 40228 read => feed constraints.
[2022-06-08 18:21:39] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:21:39] [INFO ] [Real]Added 40228 Read/Feed constraints in 7161 ms returned sat
[2022-06-08 18:21:41] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:21:42] [INFO ] [Nat]Absence check using 90 positive place invariants in 335 ms returned sat
[2022-06-08 18:21:43] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 113 ms returned sat
[2022-06-08 18:21:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:21:51] [INFO ] [Nat]Absence check using state equation in 8365 ms returned sat
[2022-06-08 18:21:58] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:22:01] [INFO ] [Nat]Added 40228 Read/Feed constraints in 9839 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8643 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 6862 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 6133 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:22:19] [INFO ] Computed 92 place invariants in 4723 ms
[2022-06-08 18:22:20] [INFO ] Implicit Places using invariants in 5825 ms returned []
Implicit Place search using SMT only with invariants took 5826 ms to find 0 implicit places.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:22:24] [INFO ] Computed 92 place invariants in 4751 ms
[2022-06-08 18:22:26] [INFO ] Dead Transitions using invariants and state equation in 5891 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Ending property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-05 in 250767 ms.
Starting property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-06
Normalized transition count is 40499 out of 40507 initially.
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:22:31] [INFO ] Computed 92 place invariants in 5607 ms
Incomplete random walk after 10000 steps, including 17 resets, run finished after 429 ms. (steps per millisecond=23 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 1) seen :0
[2022-06-08 18:22:32] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:22:37] [INFO ] Computed 92 place invariants in 5079 ms
[2022-06-08 18:22:38] [INFO ] [Real]Absence check using 90 positive place invariants in 322 ms returned sat
[2022-06-08 18:22:38] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 110 ms returned sat
[2022-06-08 18:22:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:22: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 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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:446)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Current structural bounds on expressions (after SMT) : [90] Max seen :[0]
Support contains 1 out of 8650 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8650/8650 places, 40507/40507 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 10 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 14 place count 8643 transition count 40500
Partial Free-agglomeration rule applied 8 times.
Drop transitions removed 8 transitions
Iterating global reduction 0 with 8 rules applied. Total rules applied 22 place count 8643 transition count 40500
Applied a total of 22 rules in 18259 ms. Remains 8643 /8650 variables (removed 7) and now considering 40500/40507 (removed 7) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8650 places, 40500/40507 transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:23:05] [INFO ] Computed 92 place invariants in 4971 ms
Interrupted random walk after 692676 steps, including 1281 resets, run timeout after 30001 ms. (steps per millisecond=23 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3162 ms. (steps per millisecond=316 ) properties (out of 1) seen :0
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:23:43] [INFO ] Computed 92 place invariants in 4871 ms
[2022-06-08 18:23:45] [INFO ] [Real]Absence check using 90 positive place invariants in 335 ms returned sat
[2022-06-08 18:23:45] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 111 ms returned sat
[2022-06-08 18:23:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:23:54] [INFO ] [Real]Absence check using state equation in 8866 ms returned sat
[2022-06-08 18:23:55] [INFO ] State equation strengthened by 40228 read => feed constraints.
[2022-06-08 18:24:02] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:24:02] [INFO ] [Real]Added 40228 Read/Feed constraints in 7080 ms returned sat
[2022-06-08 18:24:05] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:24:06] [INFO ] [Nat]Absence check using 90 positive place invariants in 331 ms returned sat
[2022-06-08 18:24:06] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 112 ms returned sat
[2022-06-08 18:24:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:24:15] [INFO ] [Nat]Absence check using state equation in 8630 ms returned sat
[2022-06-08 18:24:22] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:24:25] [INFO ] [Nat]Added 40228 Read/Feed constraints in 9774 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8643 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 5546 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 6050 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:24:41] [INFO ] Computed 92 place invariants in 4533 ms
[2022-06-08 18:24:42] [INFO ] Implicit Places using invariants in 5509 ms returned []
Implicit Place search using SMT only with invariants took 5510 ms to find 0 implicit places.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:24:46] [INFO ] Computed 92 place invariants in 4620 ms
[2022-06-08 18:24:48] [INFO ] Dead Transitions using invariants and state equation in 5743 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:24:52] [INFO ] Computed 92 place invariants in 4817 ms
Interrupted random walk after 685493 steps, including 1271 resets, run timeout after 30001 ms. (steps per millisecond=22 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3210 ms. (steps per millisecond=311 ) properties (out of 1) seen :0
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:25:31] [INFO ] Computed 92 place invariants in 4863 ms
[2022-06-08 18:25:32] [INFO ] [Real]Absence check using 90 positive place invariants in 314 ms returned sat
[2022-06-08 18:25:32] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 112 ms returned sat
[2022-06-08 18:25:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:25:41] [INFO ] [Real]Absence check using state equation in 8726 ms returned sat
[2022-06-08 18:25:42] [INFO ] State equation strengthened by 40228 read => feed constraints.
[2022-06-08 18:25:50] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:25:50] [INFO ] [Real]Added 40228 Read/Feed constraints in 7337 ms returned sat
[2022-06-08 18:25:52] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:25:54] [INFO ] [Nat]Absence check using 90 positive place invariants in 327 ms returned sat
[2022-06-08 18:25:54] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 107 ms returned sat
[2022-06-08 18:25:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:26:02] [INFO ] [Nat]Absence check using state equation in 8652 ms returned sat
[2022-06-08 18:26:09] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:26:12] [INFO ] [Nat]Added 40228 Read/Feed constraints in 9868 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8643 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 6044 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Starting structural reductions, iteration 0 : 8643/8643 places, 40500/40500 transitions.
Applied a total of 0 rules in 5483 ms. Remains 8643 /8643 variables (removed 0) and now considering 40500/40500 (removed 0) transitions.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:26:29] [INFO ] Computed 92 place invariants in 4794 ms
[2022-06-08 18:26:30] [INFO ] Implicit Places using invariants in 5902 ms returned []
Implicit Place search using SMT only with invariants took 5906 ms to find 0 implicit places.
// Phase 1: matrix 40500 rows 8643 cols
[2022-06-08 18:26:34] [INFO ] Computed 92 place invariants in 4585 ms
[2022-06-08 18:26:35] [INFO ] Dead Transitions using invariants and state equation in 5683 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8643/8643 places, 40500/40500 transitions.
Ending property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-06 in 249763 ms.
Starting property specific reduction for CANInsertWithFailure-PT-090-UpperBounds-07
Normalized transition count is 40499 out of 40507 initially.
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:26:41] [INFO ] Computed 92 place invariants in 5182 ms
Incomplete random walk after 10000 steps, including 18 resets, run finished after 414 ms. (steps per millisecond=24 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 1) seen :0
[2022-06-08 18:26:41] [INFO ] Flow matrix only has 40499 transitions (discarded 8 similar events)
// Phase 1: matrix 40499 rows 8650 cols
[2022-06-08 18:26:46] [INFO ] Computed 92 place invariants in 4874 ms
[2022-06-08 18:26:47] [INFO ] [Real]Absence check using 90 positive place invariants in 325 ms returned sat
[2022-06-08 18:26:48] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 112 ms returned sat
[2022-06-08 18:26:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:26:51] [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:240)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:571)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2242)
at fr.lip6.move.gal.application.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:187)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:446)
at fr.lip6.move.gal.application.Application.start(Application.java:140)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
at org.eclipse.equinox.launcher.Main.run(Main.java:1461)
at org.eclipse.equinox.launcher.Main.main(Main.java:1434)
Current structural bounds on expressions (after SMT) : [90] Max seen :[0]
Support contains 1 out of 8650 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8650/8650 places, 40507/40507 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 12 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 16 place count 8642 transition count 40499
Partial Free-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 0 with 7 rules applied. Total rules applied 23 place count 8642 transition count 40499
Applied a total of 23 rules in 19548 ms. Remains 8642 /8650 variables (removed 8) and now considering 40499/40507 (removed 8) transitions.
Finished structural reductions, in 1 iterations. Remains : 8642/8650 places, 40499/40507 transitions.
Normalized transition count is 40498 out of 40499 initially.
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:27:16] [INFO ] Computed 92 place invariants in 5156 ms
Interrupted random walk after 667258 steps, including 1232 resets, run timeout after 30001 ms. (steps per millisecond=22 ) properties seen :{0=1}
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3383 ms. (steps per millisecond=295 ) properties (out of 1) seen :1
[2022-06-08 18:27:49] [INFO ] Flow matrix only has 40498 transitions (discarded 1 similar events)
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:27:54] [INFO ] Computed 92 place invariants in 5140 ms
[2022-06-08 18:27:56] [INFO ] [Real]Absence check using 90 positive place invariants in 354 ms returned sat
[2022-06-08 18:27:56] [INFO ] [Real]Absence check using 90 positive and 2 generalized place invariants in 114 ms returned sat
[2022-06-08 18:27:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 18:28:05] [INFO ] [Real]Absence check using state equation in 8795 ms returned sat
[2022-06-08 18:28:06] [INFO ] State equation strengthened by 40229 read => feed constraints.
[2022-06-08 18:28:14] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:28:14] [INFO ] [Real]Added 40229 Read/Feed constraints in 7547 ms returned sat
[2022-06-08 18:28:16] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 18:28:18] [INFO ] [Nat]Absence check using 90 positive place invariants in 359 ms returned sat
[2022-06-08 18:28:18] [INFO ] [Nat]Absence check using 90 positive and 2 generalized place invariants in 122 ms returned sat
[2022-06-08 18:28:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 18:28:27] [INFO ] [Nat]Absence check using state equation in 9202 ms returned sat
[2022-06-08 18:28:34] [INFO ] SMT solver returned unknown. Retrying;
[2022-06-08 18:28:37] [INFO ] [Nat]Added 40229 Read/Feed constraints in 10004 ms returned unknown
Current structural bounds on expressions (after SMT) : [90] Max seen :[1]
Support contains 1 out of 8642 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8642/8642 places, 40499/40499 transitions.
Applied a total of 0 rules in 6047 ms. Remains 8642 /8642 variables (removed 0) and now considering 40499/40499 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8642/8642 places, 40499/40499 transitions.
Starting structural reductions, iteration 0 : 8642/8642 places, 40499/40499 transitions.
Applied a total of 0 rules in 6943 ms. Remains 8642 /8642 variables (removed 0) and now considering 40499/40499 (removed 0) transitions.
[2022-06-08 18:28:50] [INFO ] Flow matrix only has 40498 transitions (discarded 1 similar events)
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:28:55] [INFO ] Computed 92 place invariants in 4782 ms
[2022-06-08 18:28:56] [INFO ] Implicit Places using invariants in 5977 ms returned []
Implicit Place search using SMT only with invariants took 5981 ms to find 0 implicit places.
[2022-06-08 18:28:56] [INFO ] Flow matrix only has 40498 transitions (discarded 1 similar events)
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:29:02] [INFO ] Computed 92 place invariants in 5507 ms
[2022-06-08 18:29:03] [INFO ] Dead Transitions using invariants and state equation in 6661 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8642/8642 places, 40499/40499 transitions.
Normalized transition count is 40498 out of 40499 initially.
// Phase 1: matrix 40498 rows 8642 cols
[2022-06-08 18:29:08] [INFO ] Computed 92 place invariants in 5183 ms
Interrupted random walk after 649903 steps, including 1201 resets, run timeout after 30001 ms. (steps per millisecond=21 ) properties seen :{0=1}
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination UpperBounds -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CANInsertWithFailure-PT-090"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="gold2021"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2021"
echo " Input is CANInsertWithFailure-PT-090, 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 r305-smll-165463878300028"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-090.tgz
mv CANInsertWithFailure-PT-090 execution
cd execution
if [ "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.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -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 ;