About the Execution of LTSMin+red for HypercubeGrid-PT-C5K3P3B15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15192.840 | 3600000.00 | 6214901.00 | 5577.50 | ? ? 1 1 ? 1 1 1 ? 1 1 1 ? ? 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r233-tall-167856418300021.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool ltsminxred
Input is HypercubeGrid-PT-C5K3P3B15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r233-tall-167856418300021
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.7K Feb 26 11:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 11:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 06:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 06:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 26 23:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 26 23:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 26 19:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 26 19:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 14M Mar 5 18:22 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 HypercubeGrid-PT-C5K3P3B15-UpperBounds-00
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-01
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-02
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-03
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-04
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-05
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-06
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-07
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-08
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-09
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-10
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-11
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-12
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-13
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-14
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1679432345458
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypercubeGrid-PT-C5K3P3B15
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202303021504
[2023-03-21 20:59:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -timeout, 360, -rebuildPNML]
[2023-03-21 20:59:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 20:59:07] [INFO ] Load time of PNML (sax parser for PT used): 587 ms
[2023-03-21 20:59:07] [INFO ] Transformed 9153 places.
[2023-03-21 20:59:07] [INFO ] Transformed 25110 transitions.
[2023-03-21 20:59:07] [INFO ] Parsed PT model containing 9153 places and 25110 transitions and 100440 arcs in 763 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 6 ms.
// Phase 1: matrix 25110 rows 9153 cols
[2023-03-21 20:59:09] [INFO ] Computed 3484 place invariants in 1239 ms
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-14 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-07 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-05 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-03 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-02 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 2 resets, run finished after 7683 ms. (steps per millisecond=1 ) properties (out of 8) seen :41
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-06 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 764 ms. (steps per millisecond=13 ) properties (out of 6) seen :30
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 806 ms. (steps per millisecond=12 ) properties (out of 6) seen :30
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 737 ms. (steps per millisecond=13 ) properties (out of 6) seen :30
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 706 ms. (steps per millisecond=14 ) properties (out of 6) seen :30
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 701 ms. (steps per millisecond=14 ) properties (out of 6) seen :32
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 697 ms. (steps per millisecond=14 ) properties (out of 6) seen :30
[2023-03-21 20:59:21] [INFO ] Invariant cache hit.
[2023-03-21 20:59:24] [INFO ] [Real]Absence check using 3483 positive place invariants in 1333 ms returned sat
[2023-03-21 20:59:25] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1537 ms returned sat
[2023-03-21 20:59:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 20:59:26] [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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:899)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
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:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-21 20:59:28] [INFO ] [Real]Absence check using 3483 positive place invariants in 1247 ms returned sat
[2023-03-21 20:59:30] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1526 ms returned sat
[2023-03-21 20:59:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 20:59:31] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 1
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:899)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
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:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-21 20:59:33] [INFO ] [Real]Absence check using 3483 positive place invariants in 1256 ms returned sat
[2023-03-21 20:59:35] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1521 ms returned sat
[2023-03-21 20:59:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 20:59:36] [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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:899)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
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:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-21 20:59:38] [INFO ] [Real]Absence check using 3483 positive place invariants in 1256 ms returned sat
[2023-03-21 20:59:40] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1515 ms returned sat
[2023-03-21 20:59:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 20:59:41] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 3
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:899)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
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:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-21 20:59:43] [INFO ] [Real]Absence check using 3483 positive place invariants in 1204 ms returned sat
[2023-03-21 20:59:45] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1507 ms returned sat
[2023-03-21 20:59:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 20:59:46] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 4
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:899)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
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:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-21 20:59:48] [INFO ] [Real]Absence check using 3483 positive place invariants in 1250 ms returned sat
[2023-03-21 20:59:50] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1520 ms returned sat
[2023-03-21 20:59:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 20:59: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 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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:899)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
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:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
Current structural bounds on expressions (after SMT) : [45, 45, 45, 45, 45, 45] Max seen :[5, 3, 4, 4, 19, 4]
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2305 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2310 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 20:59:54] [INFO ] Invariant cache hit.
Finished random walk after 34761 steps, including 0 resets, run visited all 6 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 69174 steps, including 0 resets, run visited all 6 properties in 5021 ms. (steps per millisecond=13 )
Finished Best-First random walk after 69508 steps, including 0 resets, run visited all 6 properties in 5002 ms. (steps per millisecond=13 )
Finished Best-First random walk after 68270 steps, including 0 resets, run visited all 6 properties in 5040 ms. (steps per millisecond=13 )
Finished Best-First random walk after 67197 steps, including 0 resets, run visited all 6 properties in 5035 ms. (steps per millisecond=13 )
Finished Best-First random walk after 68910 steps, including 0 resets, run visited all 6 properties in 5028 ms. (steps per millisecond=13 )
Finished Best-First random walk after 69710 steps, including 0 resets, run visited all 6 properties in 5063 ms. (steps per millisecond=13 )
[2023-03-21 21:00:54] [INFO ] Invariant cache hit.
[2023-03-21 21:00:56] [INFO ] [Real]Absence check using 3483 positive place invariants in 1285 ms returned sat
[2023-03-21 21:00:58] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1553 ms returned sat
[2023-03-21 21:00:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:01:16] [INFO ] [Real]Absence check using state equation in 18527 ms returned sat
[2023-03-21 21:01:17] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:01:20] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1318 ms returned sat
[2023-03-21 21:01:21] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1560 ms returned sat
[2023-03-21 21:01:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:01:42] [INFO ] [Nat]Absence check using state equation in 20496 ms returned sat
[2023-03-21 21:01:44] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1178 ms.
[2023-03-21 21:01:46] [INFO ] [Real]Absence check using 3483 positive place invariants in 1245 ms returned sat
[2023-03-21 21:01:48] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1518 ms returned sat
[2023-03-21 21:01:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:02:10] [INFO ] [Real]Absence check using state equation in 22261 ms returned sat
[2023-03-21 21:02:11] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:02:13] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1290 ms returned sat
[2023-03-21 21:02:14] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1566 ms returned sat
[2023-03-21 21:02:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:02:38] [INFO ] [Nat]Absence check using state equation in 23164 ms returned sat
[2023-03-21 21:02:40] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1234 ms.
[2023-03-21 21:02:42] [INFO ] [Real]Absence check using 3483 positive place invariants in 1181 ms returned sat
[2023-03-21 21:02:43] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1484 ms returned sat
[2023-03-21 21:02:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:03:03] [INFO ] [Real]Absence check using state equation in 19491 ms returned sat
[2023-03-21 21:03:03] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:03:06] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1254 ms returned sat
[2023-03-21 21:03:07] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1491 ms returned sat
[2023-03-21 21:03:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:03:29] [INFO ] [Nat]Absence check using state equation in 21816 ms returned sat
[2023-03-21 21:03:31] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1382 ms.
[2023-03-21 21:03:33] [INFO ] [Real]Absence check using 3483 positive place invariants in 1204 ms returned sat
[2023-03-21 21:03:35] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1466 ms returned sat
[2023-03-21 21:03:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:03:52] [INFO ] [Real]Absence check using state equation in 17292 ms returned sat
[2023-03-21 21:03:53] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:03:55] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1189 ms returned sat
[2023-03-21 21:03:56] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1452 ms returned sat
[2023-03-21 21:03:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:04:14] [INFO ] [Nat]Absence check using state equation in 17687 ms returned sat
[2023-03-21 21:04:16] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1094 ms.
[2023-03-21 21:04:18] [INFO ] [Real]Absence check using 3483 positive place invariants in 1181 ms returned sat
[2023-03-21 21:04:19] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1459 ms returned sat
[2023-03-21 21:04:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:04:37] [INFO ] [Real]Absence check using state equation in 18103 ms returned sat
[2023-03-21 21:04:38] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:04:40] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1220 ms returned sat
[2023-03-21 21:04:41] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1482 ms returned sat
[2023-03-21 21:04:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:05:01] [INFO ] [Nat]Absence check using state equation in 19251 ms returned sat
[2023-03-21 21:05:02] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1126 ms.
[2023-03-21 21:05:05] [INFO ] [Real]Absence check using 3483 positive place invariants in 1235 ms returned sat
[2023-03-21 21:05:06] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1501 ms returned sat
[2023-03-21 21:05:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:05:27] [INFO ] [Real]Absence check using state equation in 20826 ms returned sat
[2023-03-21 21:05:28] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:05:30] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1287 ms returned sat
[2023-03-21 21:05:32] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1570 ms returned sat
[2023-03-21 21:05:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:05:51] [INFO ] [Nat]Absence check using state equation in 19891 ms returned sat
[2023-03-21 21:05:53] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1194 ms.
Current structural bounds on expressions (after SMT) : [45, 45, 45, 45, 45, 45] Max seen :[5, 7, 8, 6, 29, 4]
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1927 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1927 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1729 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:05:57] [INFO ] Invariant cache hit.
[2023-03-21 21:05:58] [INFO ] Implicit Places using invariants in 945 ms returned []
Implicit Place search using SMT only with invariants took 949 ms to find 0 implicit places.
[2023-03-21 21:05:58] [INFO ] Invariant cache hit.
[2023-03-21 21:05:59] [INFO ] Dead Transitions using invariants and state equation in 1054 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3755 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 21:05:59] [INFO ] Invariant cache hit.
Finished random walk after 34170 steps, including 0 resets, run visited all 6 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 67125 steps, including 0 resets, run visited all 6 properties in 5016 ms. (steps per millisecond=13 )
Finished Best-First random walk after 67437 steps, including 0 resets, run visited all 6 properties in 5011 ms. (steps per millisecond=13 )
Finished Best-First random walk after 68510 steps, including 0 resets, run visited all 6 properties in 5055 ms. (steps per millisecond=13 )
Finished Best-First random walk after 68110 steps, including 0 resets, run visited all 6 properties in 5009 ms. (steps per millisecond=13 )
Finished Best-First random walk after 67405 steps, including 0 resets, run visited all 6 properties in 5001 ms. (steps per millisecond=13 )
Finished Best-First random walk after 68342 steps, including 0 resets, run visited all 6 properties in 5070 ms. (steps per millisecond=13 )
[2023-03-21 21:06:59] [INFO ] Invariant cache hit.
[2023-03-21 21:07:01] [INFO ] [Real]Absence check using 3483 positive place invariants in 1217 ms returned sat
[2023-03-21 21:07:03] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1587 ms returned sat
[2023-03-21 21:07:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:07:21] [INFO ] [Real]Absence check using state equation in 17687 ms returned sat
[2023-03-21 21:07:21] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:07:23] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1242 ms returned sat
[2023-03-21 21:07:25] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1581 ms returned sat
[2023-03-21 21:07:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:07:43] [INFO ] [Nat]Absence check using state equation in 17991 ms returned sat
[2023-03-21 21:07:45] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1150 ms.
[2023-03-21 21:07:47] [INFO ] [Real]Absence check using 3483 positive place invariants in 1222 ms returned sat
[2023-03-21 21:07:49] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1529 ms returned sat
[2023-03-21 21:07:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:08:08] [INFO ] [Real]Absence check using state equation in 19089 ms returned sat
[2023-03-21 21:08:08] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:08:10] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1239 ms returned sat
[2023-03-21 21:08:12] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1506 ms returned sat
[2023-03-21 21:08:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:08:32] [INFO ] [Nat]Absence check using state equation in 19902 ms returned sat
[2023-03-21 21:08:34] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1153 ms.
[2023-03-21 21:08:36] [INFO ] [Real]Absence check using 3483 positive place invariants in 1212 ms returned sat
[2023-03-21 21:08:38] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1597 ms returned sat
[2023-03-21 21:08:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:08:57] [INFO ] [Real]Absence check using state equation in 19364 ms returned sat
[2023-03-21 21:08:58] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:09:00] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1247 ms returned sat
[2023-03-21 21:09:01] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1507 ms returned sat
[2023-03-21 21:09:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:09:23] [INFO ] [Nat]Absence check using state equation in 22203 ms returned sat
[2023-03-21 21:09:26] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1225 ms.
[2023-03-21 21:09:28] [INFO ] [Real]Absence check using 3483 positive place invariants in 1262 ms returned sat
[2023-03-21 21:09:29] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1568 ms returned sat
[2023-03-21 21:09:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:09:49] [INFO ] [Real]Absence check using state equation in 19378 ms returned sat
[2023-03-21 21:09:49] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:09:51] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1255 ms returned sat
[2023-03-21 21:09:53] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1491 ms returned sat
[2023-03-21 21:09:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:10:13] [INFO ] [Nat]Absence check using state equation in 19816 ms returned sat
[2023-03-21 21:10:15] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1131 ms.
[2023-03-21 21:10:17] [INFO ] [Real]Absence check using 3483 positive place invariants in 1283 ms returned sat
[2023-03-21 21:10:18] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1556 ms returned sat
[2023-03-21 21:10:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:10:38] [INFO ] [Real]Absence check using state equation in 19806 ms returned sat
[2023-03-21 21:10:39] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:10:41] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1229 ms returned sat
[2023-03-21 21:10:42] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1482 ms returned sat
[2023-03-21 21:10:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:11:03] [INFO ] [Nat]Absence check using state equation in 20371 ms returned sat
[2023-03-21 21:11:05] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1087 ms.
[2023-03-21 21:11:07] [INFO ] [Real]Absence check using 3483 positive place invariants in 1191 ms returned sat
[2023-03-21 21:11:08] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1500 ms returned sat
[2023-03-21 21:11:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:11:29] [INFO ] [Real]Absence check using state equation in 21002 ms returned sat
[2023-03-21 21:11:30] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:11:32] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1284 ms returned sat
[2023-03-21 21:11:34] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1554 ms returned sat
[2023-03-21 21:11:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:11:52] [INFO ] [Nat]Absence check using state equation in 18551 ms returned sat
[2023-03-21 21:11:54] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1044 ms.
Current structural bounds on expressions (after SMT) : [45, 45, 45, 45, 45, 45] Max seen :[5, 7, 8, 6, 29, 6]
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1472 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1472 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1470 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:11:57] [INFO ] Invariant cache hit.
[2023-03-21 21:11:58] [INFO ] Implicit Places using invariants in 837 ms returned []
Implicit Place search using SMT only with invariants took 837 ms to find 0 implicit places.
[2023-03-21 21:11:58] [INFO ] Invariant cache hit.
[2023-03-21 21:11:59] [INFO ] Dead Transitions using invariants and state equation in 927 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3241 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 21:11:59] [INFO ] Invariant cache hit.
Finished random walk after 35151 steps, including 0 resets, run visited all 6 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 65671 steps, including 0 resets, run visited all 6 properties in 5059 ms. (steps per millisecond=12 )
Finished Best-First random walk after 69126 steps, including 0 resets, run visited all 6 properties in 5041 ms. (steps per millisecond=13 )
Finished Best-First random walk after 69686 steps, including 0 resets, run visited all 6 properties in 5046 ms. (steps per millisecond=13 )
Finished Best-First random walk after 69710 steps, including 0 resets, run visited all 6 properties in 5046 ms. (steps per millisecond=13 )
Finished Best-First random walk after 69838 steps, including 0 resets, run visited all 6 properties in 5062 ms. (steps per millisecond=13 )
Finished Best-First random walk after 69486 steps, including 0 resets, run visited all 6 properties in 5026 ms. (steps per millisecond=13 )
[2023-03-21 21:12:59] [INFO ] Invariant cache hit.
[2023-03-21 21:13:01] [INFO ] [Real]Absence check using 3483 positive place invariants in 1253 ms returned sat
[2023-03-21 21:13:03] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1595 ms returned sat
[2023-03-21 21:13:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:13:21] [INFO ] [Real]Absence check using state equation in 18603 ms returned sat
[2023-03-21 21:13:22] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:13:24] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1259 ms returned sat
[2023-03-21 21:13:26] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1515 ms returned sat
[2023-03-21 21:13:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:13:46] [INFO ] [Nat]Absence check using state equation in 19954 ms returned sat
[2023-03-21 21:13:48] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1130 ms.
[2023-03-21 21:13:50] [INFO ] [Real]Absence check using 3483 positive place invariants in 1258 ms returned sat
[2023-03-21 21:13:52] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1577 ms returned sat
[2023-03-21 21:13:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:14:13] [INFO ] [Real]Absence check using state equation in 21197 ms returned sat
[2023-03-21 21:14:14] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:14:16] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1230 ms returned sat
[2023-03-21 21:14:17] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1538 ms returned sat
[2023-03-21 21:14:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:14:40] [INFO ] [Nat]Absence check using state equation in 22550 ms returned sat
[2023-03-21 21:14:42] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1174 ms.
[2023-03-21 21:14:44] [INFO ] [Real]Absence check using 3483 positive place invariants in 1223 ms returned sat
[2023-03-21 21:14:45] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1563 ms returned sat
[2023-03-21 21:14:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:15:06] [INFO ] [Real]Absence check using state equation in 20941 ms returned sat
[2023-03-21 21:15:07] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:15:09] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1296 ms returned sat
[2023-03-21 21:15:11] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1557 ms returned sat
[2023-03-21 21:15:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:15:35] [INFO ] [Nat]Absence check using state equation in 24152 ms returned sat
[2023-03-21 21:15:37] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1146 ms.
[2023-03-21 21:15:39] [INFO ] [Real]Absence check using 3483 positive place invariants in 1241 ms returned sat
[2023-03-21 21:15:41] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1547 ms returned sat
[2023-03-21 21:15:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:16:01] [INFO ] [Real]Absence check using state equation in 20384 ms returned sat
[2023-03-21 21:16:02] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:16:04] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1251 ms returned sat
[2023-03-21 21:16:05] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1581 ms returned sat
[2023-03-21 21:16:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:16:28] [INFO ] [Nat]Absence check using state equation in 22253 ms returned sat
[2023-03-21 21:16:30] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1190 ms.
[2023-03-21 21:16:32] [INFO ] [Real]Absence check using 3483 positive place invariants in 1286 ms returned sat
[2023-03-21 21:16:34] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1571 ms returned sat
[2023-03-21 21:16:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:16:55] [INFO ] [Real]Absence check using state equation in 21734 ms returned sat
[2023-03-21 21:16:56] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:16:58] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1291 ms returned sat
[2023-03-21 21:17:00] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1507 ms returned sat
[2023-03-21 21:17:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:17:23] [INFO ] [Nat]Absence check using state equation in 22703 ms returned sat
[2023-03-21 21:17:25] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1149 ms.
[2023-03-21 21:17:27] [INFO ] [Real]Absence check using 3483 positive place invariants in 1260 ms returned sat
[2023-03-21 21:17:28] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1554 ms returned sat
[2023-03-21 21:17:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:17:53] [INFO ] [Real]Absence check using state equation in 24361 ms returned sat
[2023-03-21 21:17:53] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:17:56] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1269 ms returned sat
[2023-03-21 21:17:57] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1566 ms returned sat
[2023-03-21 21:17:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:18:19] [INFO ] [Nat]Absence check using state equation in 21855 ms returned sat
[2023-03-21 21:18:21] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1096 ms.
Current structural bounds on expressions (after SMT) : [45, 45, 45, 45, 45, 45] Max seen :[5, 7, 8, 7, 29, 6]
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1408 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1408 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1374 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:18:24] [INFO ] Invariant cache hit.
[2023-03-21 21:18:25] [INFO ] Implicit Places using invariants in 824 ms returned []
Implicit Place search using SMT only with invariants took 836 ms to find 0 implicit places.
[2023-03-21 21:18:25] [INFO ] Invariant cache hit.
[2023-03-21 21:18:25] [INFO ] Dead Transitions using invariants and state equation in 817 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3039 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 21:18:26] [INFO ] Invariant cache hit.
Finished random walk after 34613 steps, including 0 resets, run visited all 6 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 66967 steps, including 0 resets, run visited all 6 properties in 5019 ms. (steps per millisecond=13 )
Finished Best-First random walk after 68110 steps, including 0 resets, run visited all 6 properties in 5073 ms. (steps per millisecond=13 )
Finished Best-First random walk after 69526 steps, including 0 resets, run visited all 6 properties in 5061 ms. (steps per millisecond=13 )
Finished Best-First random walk after 69670 steps, including 0 resets, run visited all 6 properties in 5016 ms. (steps per millisecond=13 )
Finished Best-First random walk after 69758 steps, including 0 resets, run visited all 6 properties in 5061 ms. (steps per millisecond=13 )
Finished Best-First random walk after 69350 steps, including 0 resets, run visited all 6 properties in 5019 ms. (steps per millisecond=13 )
[2023-03-21 21:19:26] [INFO ] Invariant cache hit.
[2023-03-21 21:19:28] [INFO ] [Real]Absence check using 3483 positive place invariants in 1216 ms returned sat
[2023-03-21 21:19:29] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1591 ms returned sat
[2023-03-21 21:19:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:19:47] [INFO ] [Real]Absence check using state equation in 17693 ms returned sat
[2023-03-21 21:19:48] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:19:50] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1202 ms returned sat
[2023-03-21 21:19:51] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1499 ms returned sat
[2023-03-21 21:19:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:20:09] [INFO ] [Nat]Absence check using state equation in 18141 ms returned sat
[2023-03-21 21:20:11] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1019 ms.
[2023-03-21 21:20:13] [INFO ] [Real]Absence check using 3483 positive place invariants in 1193 ms returned sat
[2023-03-21 21:20:15] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1460 ms returned sat
[2023-03-21 21:20:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:20:34] [INFO ] [Real]Absence check using state equation in 19501 ms returned sat
[2023-03-21 21:20:35] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:20:37] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1200 ms returned sat
[2023-03-21 21:20:38] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1463 ms returned sat
[2023-03-21 21:20:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:20:59] [INFO ] [Nat]Absence check using state equation in 20389 ms returned sat
[2023-03-21 21:21:01] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1033 ms.
[2023-03-21 21:21:03] [INFO ] [Real]Absence check using 3483 positive place invariants in 1178 ms returned sat
[2023-03-21 21:21:04] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1482 ms returned sat
[2023-03-21 21:21:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:21:23] [INFO ] [Real]Absence check using state equation in 18565 ms returned sat
[2023-03-21 21:21:23] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:21:25] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1261 ms returned sat
[2023-03-21 21:21:27] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1549 ms returned sat
[2023-03-21 21:21:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:21:46] [INFO ] [Nat]Absence check using state equation in 19202 ms returned sat
[2023-03-21 21:21:48] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1019 ms.
[2023-03-21 21:21:50] [INFO ] [Real]Absence check using 3483 positive place invariants in 1167 ms returned sat
[2023-03-21 21:21:51] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1492 ms returned sat
[2023-03-21 21:21:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:22:10] [INFO ] [Real]Absence check using state equation in 18315 ms returned sat
[2023-03-21 21:22:10] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:22:12] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1217 ms returned sat
[2023-03-21 21:22:14] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1453 ms returned sat
[2023-03-21 21:22:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:22:34] [INFO ] [Nat]Absence check using state equation in 20086 ms returned sat
[2023-03-21 21:22:36] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1083 ms.
[2023-03-21 21:22:38] [INFO ] [Real]Absence check using 3483 positive place invariants in 1209 ms returned sat
[2023-03-21 21:22:40] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1635 ms returned sat
[2023-03-21 21:22:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:23:03] [INFO ] [Real]Absence check using state equation in 23642 ms returned sat
[2023-03-21 21:23:04] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:23:06] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1259 ms returned sat
[2023-03-21 21:23:08] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1486 ms returned sat
[2023-03-21 21:23:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:23:28] [INFO ] [Nat]Absence check using state equation in 20760 ms returned sat
[2023-03-21 21:23:30] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1027 ms.
[2023-03-21 21:23:32] [INFO ] [Real]Absence check using 3483 positive place invariants in 1238 ms returned sat
[2023-03-21 21:23:34] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1505 ms returned sat
[2023-03-21 21:23:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:23:55] [INFO ] [Real]Absence check using state equation in 20796 ms returned sat
[2023-03-21 21:23:55] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:23:57] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1240 ms returned sat
[2023-03-21 21:23:59] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1577 ms returned sat
[2023-03-21 21:23:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:24:19] [INFO ] [Nat]Absence check using state equation in 20002 ms returned sat
[2023-03-21 21:24:21] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1073 ms.
Current structural bounds on expressions (after SMT) : [45, 45, 45, 45, 45, 45] Max seen :[5, 7, 8, 7, 29, 6]
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1446 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1446 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1451 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:24:24] [INFO ] Invariant cache hit.
[2023-03-21 21:24:25] [INFO ] Implicit Places using invariants in 960 ms returned []
Implicit Place search using SMT only with invariants took 962 ms to find 0 implicit places.
[2023-03-21 21:24:25] [INFO ] Invariant cache hit.
[2023-03-21 21:24:26] [INFO ] Dead Transitions using invariants and state equation in 948 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3366 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting property specific reduction for HypercubeGrid-PT-C5K3P3B15-UpperBounds-00
[2023-03-21 21:24:26] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 8091 ms. (steps per millisecond=1 ) properties (out of 1) seen :4
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 800 ms. (steps per millisecond=12 ) properties (out of 1) seen :3
[2023-03-21 21:24:35] [INFO ] Invariant cache hit.
[2023-03-21 21:24:37] [INFO ] [Real]Absence check using 3483 positive place invariants in 1252 ms returned sat
[2023-03-21 21:24:38] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1598 ms returned sat
[2023-03-21 21:24:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:24:40] [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 0
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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:899)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:733)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
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:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
Current structural bounds on expressions (after SMT) : [45] Max seen :[4]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1490 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1492 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 21:24:41] [INFO ] Invariant cache hit.
Finished random walk after 33334 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 64438 steps, including 0 resets, run visited all 1 properties in 5006 ms. (steps per millisecond=12 )
[2023-03-21 21:25:16] [INFO ] Invariant cache hit.
[2023-03-21 21:25:19] [INFO ] [Real]Absence check using 3483 positive place invariants in 1293 ms returned sat
[2023-03-21 21:25:20] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1633 ms returned sat
[2023-03-21 21:25:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:25:41] [INFO ] [Real]Absence check using state equation in 20686 ms returned sat
[2023-03-21 21:25:42] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:25:44] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1298 ms returned sat
[2023-03-21 21:25:45] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1567 ms returned sat
[2023-03-21 21:25:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:26:08] [INFO ] [Nat]Absence check using state equation in 22281 ms returned sat
[2023-03-21 21:26:10] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1050 ms.
Current structural bounds on expressions (after SMT) : [45] Max seen :[5]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1530 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1530 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1565 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:26:13] [INFO ] Invariant cache hit.
[2023-03-21 21:26:14] [INFO ] Implicit Places using invariants in 950 ms returned []
Implicit Place search using SMT only with invariants took 965 ms to find 0 implicit places.
[2023-03-21 21:26:14] [INFO ] Invariant cache hit.
[2023-03-21 21:26:15] [INFO ] Dead Transitions using invariants and state equation in 939 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3476 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 21:26:15] [INFO ] Invariant cache hit.
Finished random walk after 33564 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 66783 steps, including 0 resets, run visited all 1 properties in 5041 ms. (steps per millisecond=13 )
[2023-03-21 21:26:50] [INFO ] Invariant cache hit.
[2023-03-21 21:26:52] [INFO ] [Real]Absence check using 3483 positive place invariants in 1259 ms returned sat
[2023-03-21 21:26:54] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1663 ms returned sat
[2023-03-21 21:26:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:27:14] [INFO ] [Real]Absence check using state equation in 20385 ms returned sat
[2023-03-21 21:27:15] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:27:17] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1290 ms returned sat
[2023-03-21 21:27:19] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1633 ms returned sat
[2023-03-21 21:27:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:27:41] [INFO ] [Nat]Absence check using state equation in 21914 ms returned sat
[2023-03-21 21:27:43] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1127 ms.
Current structural bounds on expressions (after SMT) : [45] Max seen :[5]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1483 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1483 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1460 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:27:46] [INFO ] Invariant cache hit.
[2023-03-21 21:27:46] [INFO ] Implicit Places using invariants in 866 ms returned []
Implicit Place search using SMT only with invariants took 869 ms to find 0 implicit places.
[2023-03-21 21:27:46] [INFO ] Invariant cache hit.
[2023-03-21 21:27:47] [INFO ] Dead Transitions using invariants and state equation in 872 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3209 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Ending property specific reduction for HypercubeGrid-PT-C5K3P3B15-UpperBounds-00 in 201598 ms.
Starting property specific reduction for HypercubeGrid-PT-C5K3P3B15-UpperBounds-01
[2023-03-21 21:27:47] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 7945 ms. (steps per millisecond=1 ) properties (out of 1) seen :4
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=12 ) properties (out of 1) seen :3
[2023-03-21 21:27:56] [INFO ] Invariant cache hit.
[2023-03-21 21:27:58] [INFO ] [Real]Absence check using 3483 positive place invariants in 1301 ms returned sat
[2023-03-21 21:28:00] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1632 ms returned sat
[2023-03-21 21:28:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:28:01] [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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:899)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:733)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
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:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
Current structural bounds on expressions (after SMT) : [45] Max seen :[4]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1580 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1582 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 21:28:03] [INFO ] Invariant cache hit.
Finished random walk after 33864 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 64464 steps, including 0 resets, run visited all 1 properties in 5006 ms. (steps per millisecond=12 )
[2023-03-21 21:28:38] [INFO ] Invariant cache hit.
[2023-03-21 21:28:40] [INFO ] [Real]Absence check using 3483 positive place invariants in 1238 ms returned sat
[2023-03-21 21:28:42] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1592 ms returned sat
[2023-03-21 21:28:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:29:02] [INFO ] [Real]Absence check using state equation in 20716 ms returned sat
[2023-03-21 21:29:03] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:29:05] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1255 ms returned sat
[2023-03-21 21:29:07] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1565 ms returned sat
[2023-03-21 21:29:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:29:29] [INFO ] [Nat]Absence check using state equation in 22133 ms returned sat
[2023-03-21 21:29:31] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1120 ms.
Current structural bounds on expressions (after SMT) : [45] Max seen :[4]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1485 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1485 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1483 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:29:34] [INFO ] Invariant cache hit.
[2023-03-21 21:29:35] [INFO ] Implicit Places using invariants in 852 ms returned []
Implicit Place search using SMT only with invariants took 862 ms to find 0 implicit places.
[2023-03-21 21:29:35] [INFO ] Invariant cache hit.
[2023-03-21 21:29:36] [INFO ] Dead Transitions using invariants and state equation in 941 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3293 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Ending property specific reduction for HypercubeGrid-PT-C5K3P3B15-UpperBounds-01 in 108308 ms.
Starting property specific reduction for HypercubeGrid-PT-C5K3P3B15-UpperBounds-04
[2023-03-21 21:29:36] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 7834 ms. (steps per millisecond=1 ) properties (out of 1) seen :5
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 805 ms. (steps per millisecond=12 ) properties (out of 1) seen :3
[2023-03-21 21:29:44] [INFO ] Invariant cache hit.
[2023-03-21 21:29:47] [INFO ] [Real]Absence check using 3483 positive place invariants in 1296 ms returned sat
[2023-03-21 21:29:48] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1697 ms returned sat
[2023-03-21 21:29:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:29: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: Stream closed... 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: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:899)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:733)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
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:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
Current structural bounds on expressions (after SMT) : [45] Max seen :[5]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1434 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1436 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 21:29:51] [INFO ] Invariant cache hit.
Finished random walk after 33509 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 65102 steps, including 0 resets, run visited all 1 properties in 5044 ms. (steps per millisecond=12 )
[2023-03-21 21:30:26] [INFO ] Invariant cache hit.
[2023-03-21 21:30:28] [INFO ] [Real]Absence check using 3483 positive place invariants in 1305 ms returned sat
[2023-03-21 21:30:30] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1662 ms returned sat
[2023-03-21 21:30:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:30:54] [INFO ] [Real]Absence check using state equation in 23768 ms returned sat
[2023-03-21 21:30:54] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:30:57] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1334 ms returned sat
[2023-03-21 21:30:58] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1617 ms returned sat
[2023-03-21 21:30:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:31:20] [INFO ] [Nat]Absence check using state equation in 22136 ms returned sat
[2023-03-21 21:31:23] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1252 ms.
Current structural bounds on expressions (after SMT) : [45] Max seen :[5]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1485 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1485 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1459 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:31:26] [INFO ] Invariant cache hit.
[2023-03-21 21:31:27] [INFO ] Implicit Places using invariants in 953 ms returned []
Implicit Place search using SMT only with invariants took 954 ms to find 0 implicit places.
[2023-03-21 21:31:27] [INFO ] Invariant cache hit.
[2023-03-21 21:31:27] [INFO ] Dead Transitions using invariants and state equation in 935 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3353 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Ending property specific reduction for HypercubeGrid-PT-C5K3P3B15-UpperBounds-04 in 111861 ms.
Starting property specific reduction for HypercubeGrid-PT-C5K3P3B15-UpperBounds-08
[2023-03-21 21:31:27] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 8007 ms. (steps per millisecond=1 ) properties (out of 1) seen :3
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 768 ms. (steps per millisecond=13 ) properties (out of 1) seen :3
[2023-03-21 21:31:36] [INFO ] Invariant cache hit.
[2023-03-21 21:31:39] [INFO ] [Real]Absence check using 3483 positive place invariants in 1288 ms returned sat
[2023-03-21 21:31:40] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1636 ms returned sat
[2023-03-21 21:31:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:31:41] [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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:899)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:733)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
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:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
Current structural bounds on expressions (after SMT) : [45] Max seen :[3]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1461 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1462 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 21:31:43] [INFO ] Invariant cache hit.
Finished random walk after 33642 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 66983 steps, including 0 resets, run visited all 1 properties in 5016 ms. (steps per millisecond=13 )
[2023-03-21 21:32:18] [INFO ] Invariant cache hit.
[2023-03-21 21:32:20] [INFO ] [Real]Absence check using 3483 positive place invariants in 1264 ms returned sat
[2023-03-21 21:32:22] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1636 ms returned sat
[2023-03-21 21:32:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:32:45] [INFO ] [Real]Absence check using state equation in 22979 ms returned sat
[2023-03-21 21:32:46] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:32:48] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1311 ms returned sat
[2023-03-21 21:32:49] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1601 ms returned sat
[2023-03-21 21:32:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:33:13] [INFO ] [Nat]Absence check using state equation in 23648 ms returned sat
[2023-03-21 21:33:15] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1119 ms.
Current structural bounds on expressions (after SMT) : [45] Max seen :[3]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1414 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1414 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1391 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:33:18] [INFO ] Invariant cache hit.
[2023-03-21 21:33:19] [INFO ] Implicit Places using invariants in 862 ms returned []
Implicit Place search using SMT only with invariants took 878 ms to find 0 implicit places.
[2023-03-21 21:33:19] [INFO ] Invariant cache hit.
[2023-03-21 21:33:19] [INFO ] Dead Transitions using invariants and state equation in 789 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3062 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Ending property specific reduction for HypercubeGrid-PT-C5K3P3B15-UpperBounds-08 in 111897 ms.
Starting property specific reduction for HypercubeGrid-PT-C5K3P3B15-UpperBounds-12
[2023-03-21 21:33:19] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 7493 ms. (steps per millisecond=1 ) properties (out of 1) seen :19
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 709 ms. (steps per millisecond=14 ) properties (out of 1) seen :17
[2023-03-21 21:33:28] [INFO ] Invariant cache hit.
[2023-03-21 21:33:30] [INFO ] [Real]Absence check using 3483 positive place invariants in 1251 ms returned sat
[2023-03-21 21:33:31] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1553 ms returned sat
[2023-03-21 21:33:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:33:33] [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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:899)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:733)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
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:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
Current structural bounds on expressions (after SMT) : [45] Max seen :[19]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1395 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1397 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 21:33:34] [INFO ] Invariant cache hit.
Finished random walk after 34286 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 65366 steps, including 0 resets, run visited all 1 properties in 5028 ms. (steps per millisecond=13 )
[2023-03-21 21:34:09] [INFO ] Invariant cache hit.
[2023-03-21 21:34:11] [INFO ] [Real]Absence check using 3483 positive place invariants in 1223 ms returned sat
[2023-03-21 21:34:13] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1560 ms returned sat
[2023-03-21 21:34:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:34:35] [INFO ] [Real]Absence check using state equation in 21760 ms returned sat
[2023-03-21 21:34:35] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:34:37] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1263 ms returned sat
[2023-03-21 21:34:39] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1546 ms returned sat
[2023-03-21 21:34:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:35:00] [INFO ] [Nat]Absence check using state equation in 21003 ms returned sat
[2023-03-21 21:35:02] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1161 ms.
Current structural bounds on expressions (after SMT) : [45] Max seen :[25]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1436 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1437 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1425 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:35:05] [INFO ] Invariant cache hit.
[2023-03-21 21:35:06] [INFO ] Implicit Places using invariants in 840 ms returned []
Implicit Place search using SMT only with invariants took 841 ms to find 0 implicit places.
[2023-03-21 21:35:06] [INFO ] Invariant cache hit.
[2023-03-21 21:35:07] [INFO ] Dead Transitions using invariants and state equation in 838 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3116 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 21:35:07] [INFO ] Invariant cache hit.
Finished random walk after 33802 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 67525 steps, including 0 resets, run visited all 1 properties in 5033 ms. (steps per millisecond=13 )
[2023-03-21 21:35:42] [INFO ] Invariant cache hit.
[2023-03-21 21:35:44] [INFO ] [Real]Absence check using 3483 positive place invariants in 1263 ms returned sat
[2023-03-21 21:35:45] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1626 ms returned sat
[2023-03-21 21:35:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:36:05] [INFO ] [Real]Absence check using state equation in 19736 ms returned sat
[2023-03-21 21:36:06] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:36:08] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1292 ms returned sat
[2023-03-21 21:36:10] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1572 ms returned sat
[2023-03-21 21:36:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:36:30] [INFO ] [Nat]Absence check using state equation in 20238 ms returned sat
[2023-03-21 21:36:32] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1109 ms.
Current structural bounds on expressions (after SMT) : [45] Max seen :[26]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1424 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1424 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1426 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:36:35] [INFO ] Invariant cache hit.
[2023-03-21 21:36:36] [INFO ] Implicit Places using invariants in 936 ms returned []
Implicit Place search using SMT only with invariants took 937 ms to find 0 implicit places.
[2023-03-21 21:36:36] [INFO ] Invariant cache hit.
[2023-03-21 21:36:36] [INFO ] Dead Transitions using invariants and state equation in 941 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3311 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 21:36:37] [INFO ] Invariant cache hit.
Finished random walk after 33746 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 67413 steps, including 0 resets, run visited all 1 properties in 5030 ms. (steps per millisecond=13 )
[2023-03-21 21:37:12] [INFO ] Invariant cache hit.
[2023-03-21 21:37:14] [INFO ] [Real]Absence check using 3483 positive place invariants in 1261 ms returned sat
[2023-03-21 21:37:15] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1620 ms returned sat
[2023-03-21 21:37:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:37:36] [INFO ] [Real]Absence check using state equation in 20303 ms returned sat
[2023-03-21 21:37:36] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:37:39] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1258 ms returned sat
[2023-03-21 21:37:40] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1556 ms returned sat
[2023-03-21 21:37:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:38:01] [INFO ] [Nat]Absence check using state equation in 21118 ms returned sat
[2023-03-21 21:38:03] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1180 ms.
Current structural bounds on expressions (after SMT) : [45] Max seen :[33]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1408 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1408 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1384 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:38:06] [INFO ] Invariant cache hit.
[2023-03-21 21:38:07] [INFO ] Implicit Places using invariants in 839 ms returned []
Implicit Place search using SMT only with invariants took 840 ms to find 0 implicit places.
[2023-03-21 21:38:07] [INFO ] Invariant cache hit.
[2023-03-21 21:38:08] [INFO ] Dead Transitions using invariants and state equation in 843 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3079 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 21:38:08] [INFO ] Invariant cache hit.
Finished random walk after 34921 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 67501 steps, including 0 resets, run visited all 1 properties in 5020 ms. (steps per millisecond=13 )
[2023-03-21 21:38:43] [INFO ] Invariant cache hit.
[2023-03-21 21:38:45] [INFO ] [Real]Absence check using 3483 positive place invariants in 1241 ms returned sat
[2023-03-21 21:38:47] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1604 ms returned sat
[2023-03-21 21:38:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:39:08] [INFO ] [Real]Absence check using state equation in 21102 ms returned sat
[2023-03-21 21:39:08] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:39:11] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1271 ms returned sat
[2023-03-21 21:39:12] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1541 ms returned sat
[2023-03-21 21:39:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:39:34] [INFO ] [Nat]Absence check using state equation in 22428 ms returned sat
[2023-03-21 21:39:37] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1076 ms.
Current structural bounds on expressions (after SMT) : [45] Max seen :[33]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1531 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1531 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1529 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:39:40] [INFO ] Invariant cache hit.
[2023-03-21 21:39:40] [INFO ] Implicit Places using invariants in 842 ms returned []
Implicit Place search using SMT only with invariants took 845 ms to find 0 implicit places.
[2023-03-21 21:39:40] [INFO ] Invariant cache hit.
[2023-03-21 21:39:41] [INFO ] Dead Transitions using invariants and state equation in 846 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3237 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Ending property specific reduction for HypercubeGrid-PT-C5K3P3B15-UpperBounds-12 in 381946 ms.
Starting property specific reduction for HypercubeGrid-PT-C5K3P3B15-UpperBounds-13
[2023-03-21 21:39:41] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 7804 ms. (steps per millisecond=1 ) properties (out of 1) seen :4
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 772 ms. (steps per millisecond=12 ) properties (out of 1) seen :3
[2023-03-21 21:39:50] [INFO ] Invariant cache hit.
[2023-03-21 21:39:52] [INFO ] [Real]Absence check using 3483 positive place invariants in 1296 ms returned sat
[2023-03-21 21:39:54] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1610 ms returned sat
[2023-03-21 21:39:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:39:55] [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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:899)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2618)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:733)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
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:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
Current structural bounds on expressions (after SMT) : [45] Max seen :[4]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1444 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1445 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2023-03-21 21:39:56] [INFO ] Invariant cache hit.
Finished random walk after 34155 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 67287 steps, including 0 resets, run visited all 1 properties in 5004 ms. (steps per millisecond=13 )
[2023-03-21 21:40:31] [INFO ] Invariant cache hit.
[2023-03-21 21:40:34] [INFO ] [Real]Absence check using 3483 positive place invariants in 1240 ms returned sat
[2023-03-21 21:40:35] [INFO ] [Real]Absence check using 3483 positive and 1 generalized place invariants in 1604 ms returned sat
[2023-03-21 21:40:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 21:40:56] [INFO ] [Real]Absence check using state equation in 20741 ms returned sat
[2023-03-21 21:40:57] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 21:40:59] [INFO ] [Nat]Absence check using 3483 positive place invariants in 1300 ms returned sat
[2023-03-21 21:41:00] [INFO ] [Nat]Absence check using 3483 positive and 1 generalized place invariants in 1553 ms returned sat
[2023-03-21 21:41:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 21:41:22] [INFO ] [Nat]Absence check using state equation in 21338 ms returned sat
[2023-03-21 21:41:24] [INFO ] Computed and/alt/rep : 22680/22680/22680 causal constraints (skipped 0 transitions) in 1167 ms.
Current structural bounds on expressions (after SMT) : [45] Max seen :[4]
Support contains 1 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1479 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1479 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1470 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2023-03-21 21:41:27] [INFO ] Invariant cache hit.
[2023-03-21 21:41:28] [INFO ] Implicit Places using invariants in 838 ms returned []
Implicit Place search using SMT only with invariants took 850 ms to find 0 implicit places.
[2023-03-21 21:41:28] [INFO ] Invariant cache hit.
[2023-03-21 21:41:29] [INFO ] Dead Transitions using invariants and state equation in 941 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3268 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Ending property specific reduction for HypercubeGrid-PT-C5K3P3B15-UpperBounds-13 in 107406 ms.
[2023-03-21 21:41:30] [INFO ] Flatten gal took : 1236 ms
[2023-03-21 21:41:30] [INFO ] Export to MCC of 6 properties in file /home/mcc/execution/UpperBounds.sr.xml took 1 ms.
[2023-03-21 21:41:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 9153 places, 25110 transitions and 100440 arcs took 112 ms.
Total runtime 2543716 ms.
There are residual formulas that ITS could not solve within timeout
pnml2lts-sym model.pnml --lace-workers=4 --vset=lddmc --saturation=sat -rbs,w2W,ru,hf --sylvan-sizes=20,28,20,28 --maxsum=/tmp/905/ub_0_ --maxsum=/tmp/905/ub_1_ --maxsum=/tmp/905/ub_2_ --maxsum=/tmp/905/ub_3_ --maxsum=/tmp/905/ub_4_ --maxsum=/tmp/905/ub_5_
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 915984 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16062912 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -timeout 360 -rebuildPNML
mcc2023
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="HypercubeGrid-PT-C5K3P3B15"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="ltsminxred"
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-5348"
echo " Executing tool ltsminxred"
echo " Input is HypercubeGrid-PT-C5K3P3B15, 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 r233-tall-167856418300021"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C5K3P3B15.tgz
mv HypercubeGrid-PT-C5K3P3B15 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 ;