About the Execution of ITS-Tools for HypertorusGrid-PT-d5k3p2b10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4514.472 | 3600000.00 | 3745303.00 | 11643.40 | 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.r229-tall-167856412700069.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 itstools
Input is HypertorusGrid-PT-d5k3p2b10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r229-tall-167856412700069
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 6.9K Feb 26 16:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Feb 26 16:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 13:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 13:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 22:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 22:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 21:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 26 21:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:17 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 HypertorusGrid-PT-d5k3p2b10-UpperBounds-00
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-01
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-02
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-03
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-04
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-05
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-06
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-07
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-08
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-09
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-10
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-11
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-12
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-13
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-14
FORMULA_NAME HypertorusGrid-PT-d5k3p2b10-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1679439177628
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=itstools
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypertorusGrid-PT-d5k3p2b10
Not applying reductions.
Model is PT
UpperBounds PT
Running Version 202303021504
[2023-03-21 22:52:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2023-03-21 22:52:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 22:53:00] [INFO ] Load time of PNML (sax parser for PT used): 573 ms
[2023-03-21 22:53:00] [INFO ] Transformed 7533 places.
[2023-03-21 22:53:00] [INFO ] Transformed 24300 transitions.
[2023-03-21 22:53:00] [INFO ] Parsed PT model containing 7533 places and 24300 transitions and 97200 arcs in 758 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 8 ms.
// Phase 1: matrix 24300 rows 7533 cols
[2023-03-21 22:53:01] [INFO ] Computed 2674 place invariants in 900 ms
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-07 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-06 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-05 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-01 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-00 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 2 resets, run finished after 7282 ms. (steps per millisecond=1 ) properties (out of 9) seen :23
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-12 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 663 ms. (steps per millisecond=15 ) properties (out of 7) seen :14
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 674 ms. (steps per millisecond=14 ) properties (out of 7) seen :14
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 602 ms. (steps per millisecond=16 ) properties (out of 7) seen :14
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 635 ms. (steps per millisecond=15 ) properties (out of 7) seen :14
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 629 ms. (steps per millisecond=15 ) properties (out of 7) seen :14
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 564 ms. (steps per millisecond=17 ) properties (out of 7) seen :14
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 598 ms. (steps per millisecond=16 ) properties (out of 7) seen :14
[2023-03-21 22:53:13] [INFO ] Invariant cache hit.
[2023-03-21 22:53:14] [INFO ] [Real]Absence check using 2673 positive place invariants in 767 ms returned sat
[2023-03-21 22:53:15] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 614 ms returned sat
[2023-03-21 22:53:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:53:18] [INFO ] [Real]Absence check using state equation in 2884 ms returned unknown
[2023-03-21 22:53:19] [INFO ] [Real]Absence check using 2673 positive place invariants in 840 ms returned sat
[2023-03-21 22:53:20] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 593 ms returned sat
[2023-03-21 22:53:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:53:23] [INFO ] [Real]Absence check using state equation in 3000 ms returned unknown
[2023-03-21 22:53:24] [INFO ] [Real]Absence check using 2673 positive place invariants in 830 ms returned sat
[2023-03-21 22:53:25] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 587 ms returned sat
[2023-03-21 22:53:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:53:28] [INFO ] [Real]Absence check using state equation in 2996 ms returned unknown
[2023-03-21 22:53:29] [INFO ] [Real]Absence check using 2673 positive place invariants in 832 ms returned sat
[2023-03-21 22:53:30] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 589 ms returned sat
[2023-03-21 22:53:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:53:33] [INFO ] [Real]Absence check using state equation in 3046 ms returned unknown
[2023-03-21 22:53:34] [INFO ] [Real]Absence check using 2673 positive place invariants in 831 ms returned sat
[2023-03-21 22:53:35] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 583 ms returned sat
[2023-03-21 22:53:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:53:38] [INFO ] [Real]Absence check using state equation in 3000 ms returned unknown
[2023-03-21 22:53:39] [INFO ] [Real]Absence check using 2673 positive place invariants in 831 ms returned sat
[2023-03-21 22:53:40] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 589 ms returned sat
[2023-03-21 22:53:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:53:43] [INFO ] [Real]Absence check using state equation in 3004 ms returned unknown
[2023-03-21 22:53:44] [INFO ] [Real]Absence check using 2673 positive place invariants in 849 ms returned sat
[2023-03-21 22:53:45] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 591 ms returned sat
[2023-03-21 22:53:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:53:48] [INFO ] [Real]Absence check using state equation in 2959 ms returned unknown
Current structural bounds on expressions (after SMT) : [30, 30, 30, 30, 30, 30, 30] Max seen :[2, 2, 5, 3, 3, 3, 3]
Support contains 7 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1466 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1470 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 22:53:50] [INFO ] Invariant cache hit.
Finished random walk after 43000 steps, including 0 resets, run visited all 7 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 91366 steps, including 0 resets, run visited all 7 properties in 5003 ms. (steps per millisecond=18 )
Finished Best-First random walk after 93429 steps, including 0 resets, run visited all 7 properties in 5052 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92556 steps, including 0 resets, run visited all 7 properties in 5019 ms. (steps per millisecond=18 )
Finished Best-First random walk after 91286 steps, including 0 resets, run visited all 7 properties in 5004 ms. (steps per millisecond=18 )
Finished Best-First random walk after 91766 steps, including 0 resets, run visited all 7 properties in 5054 ms. (steps per millisecond=18 )
Finished Best-First random walk after 90774 steps, including 0 resets, run visited all 7 properties in 5020 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92853 steps, including 0 resets, run visited all 7 properties in 5051 ms. (steps per millisecond=18 )
[2023-03-21 22:54:55] [INFO ] Invariant cache hit.
[2023-03-21 22:54:56] [INFO ] [Real]Absence check using 2673 positive place invariants in 841 ms returned sat
[2023-03-21 22:54:57] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 590 ms returned sat
[2023-03-21 22:54:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:55:12] [INFO ] [Real]Absence check using state equation in 14832 ms returned sat
[2023-03-21 22:55:12] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 22:55:14] [INFO ] [Nat]Absence check using 2673 positive place invariants in 853 ms returned sat
[2023-03-21 22:55:15] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 617 ms returned sat
[2023-03-21 22:55:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 22:55:30] [INFO ] [Nat]Absence check using state equation in 15463 ms returned sat
[2023-03-21 22:55:32] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 1053 ms.
[2023-03-21 22:55:33] [INFO ] [Real]Absence check using 2673 positive place invariants in 827 ms returned sat
[2023-03-21 22:55:34] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 584 ms returned sat
[2023-03-21 22:55:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:55:48] [INFO ] [Real]Absence check using state equation in 14317 ms returned sat
[2023-03-21 22:55:49] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 22:55:50] [INFO ] [Nat]Absence check using 2673 positive place invariants in 824 ms returned sat
[2023-03-21 22:55:51] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 592 ms returned sat
[2023-03-21 22:55:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 22:56:05] [INFO ] [Nat]Absence check using state equation in 14376 ms returned sat
[2023-03-21 22:56:07] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 933 ms.
[2023-03-21 22:56:08] [INFO ] [Real]Absence check using 2673 positive place invariants in 813 ms returned sat
[2023-03-21 22:56:09] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 579 ms returned sat
[2023-03-21 22:56:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:56:24] [INFO ] [Real]Absence check using state equation in 15131 ms returned sat
[2023-03-21 22:56:25] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 22:56:26] [INFO ] [Nat]Absence check using 2673 positive place invariants in 821 ms returned sat
[2023-03-21 22:56:27] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 587 ms returned sat
[2023-03-21 22:56:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 22:56:43] [INFO ] [Nat]Absence check using state equation in 16134 ms returned sat
[2023-03-21 22:56:44] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 970 ms.
[2023-03-21 22:56:46] [INFO ] [Real]Absence check using 2673 positive place invariants in 852 ms returned sat
[2023-03-21 22:56:46] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 599 ms returned sat
[2023-03-21 22:56:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:57:01] [INFO ] [Real]Absence check using state equation in 14789 ms returned sat
[2023-03-21 22:57:02] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 22:57:03] [INFO ] [Nat]Absence check using 2673 positive place invariants in 822 ms returned sat
[2023-03-21 22:57:04] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 574 ms returned sat
[2023-03-21 22:57:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 22:57:19] [INFO ] [Nat]Absence check using state equation in 14847 ms returned sat
[2023-03-21 22:57:20] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 948 ms.
[2023-03-21 22:57:22] [INFO ] [Real]Absence check using 2673 positive place invariants in 819 ms returned sat
[2023-03-21 22:57:22] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 578 ms returned sat
[2023-03-21 22:57:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:57:35] [INFO ] [Real]Absence check using state equation in 12960 ms returned sat
[2023-03-21 22:57:36] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 22:57:37] [INFO ] [Nat]Absence check using 2673 positive place invariants in 822 ms returned sat
[2023-03-21 22:57:38] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 574 ms returned sat
[2023-03-21 22:57:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 22:57:52] [INFO ] [Nat]Absence check using state equation in 14285 ms returned sat
[2023-03-21 22:57:54] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 983 ms.
[2023-03-21 22:57:55] [INFO ] [Real]Absence check using 2673 positive place invariants in 822 ms returned sat
[2023-03-21 22:57:56] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 579 ms returned sat
[2023-03-21 22:57:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:58:10] [INFO ] [Real]Absence check using state equation in 14292 ms returned sat
[2023-03-21 22:58:11] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 22:58:12] [INFO ] [Nat]Absence check using 2673 positive place invariants in 859 ms returned sat
[2023-03-21 22:58:13] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 590 ms returned sat
[2023-03-21 22:58:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 22:58:28] [INFO ] [Nat]Absence check using state equation in 15450 ms returned sat
[2023-03-21 22:58:30] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 986 ms.
[2023-03-21 22:58:31] [INFO ] [Real]Absence check using 2673 positive place invariants in 805 ms returned sat
[2023-03-21 22:58:32] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 597 ms returned sat
[2023-03-21 22:58:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 22:58:45] [INFO ] [Real]Absence check using state equation in 13094 ms returned sat
[2023-03-21 22:58:45] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 22:58:47] [INFO ] [Nat]Absence check using 2673 positive place invariants in 807 ms returned sat
[2023-03-21 22:58:47] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 577 ms returned sat
[2023-03-21 22:58:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 22:59:03] [INFO ] [Nat]Absence check using state equation in 15307 ms returned sat
[2023-03-21 22:59:04] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 963 ms.
Current structural bounds on expressions (after SMT) : [30, 30, 30, 30, 30, 30, 30] Max seen :[6, 9, 10, 5, 6, 3, 3]
Support contains 7 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1556 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1556 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1544 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 22:59:08] [INFO ] Invariant cache hit.
[2023-03-21 22:59:13] [INFO ] Implicit Places using invariants in 5944 ms returned []
Implicit Place search using SMT only with invariants took 5945 ms to find 0 implicit places.
[2023-03-21 22:59:13] [INFO ] Invariant cache hit.
[2023-03-21 22:59:30] [INFO ] Dead Transitions using invariants and state equation in 16476 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 23972 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 22:59:30] [INFO ] Invariant cache hit.
Finished random walk after 42942 steps, including 0 resets, run visited all 7 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 92268 steps, including 0 resets, run visited all 7 properties in 5032 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92444 steps, including 0 resets, run visited all 7 properties in 5035 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92556 steps, including 0 resets, run visited all 7 properties in 5030 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92412 steps, including 0 resets, run visited all 7 properties in 5029 ms. (steps per millisecond=18 )
Finished Best-First random walk after 91852 steps, including 0 resets, run visited all 7 properties in 5003 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92725 steps, including 0 resets, run visited all 7 properties in 5054 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92492 steps, including 0 resets, run visited all 7 properties in 5018 ms. (steps per millisecond=18 )
[2023-03-21 23:00:35] [INFO ] Invariant cache hit.
[2023-03-21 23:00:37] [INFO ] [Real]Absence check using 2673 positive place invariants in 814 ms returned sat
[2023-03-21 23:00:37] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 594 ms returned sat
[2023-03-21 23:00:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:00:53] [INFO ] [Real]Absence check using state equation in 15621 ms returned sat
[2023-03-21 23:00:53] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:00:55] [INFO ] [Nat]Absence check using 2673 positive place invariants in 816 ms returned sat
[2023-03-21 23:00:55] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 585 ms returned sat
[2023-03-21 23:00:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:01:08] [INFO ] [Nat]Absence check using state equation in 13106 ms returned sat
[2023-03-21 23:01:10] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 937 ms.
[2023-03-21 23:01:12] [INFO ] [Real]Absence check using 2673 positive place invariants in 830 ms returned sat
[2023-03-21 23:01:12] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 597 ms returned sat
[2023-03-21 23:01:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:01:26] [INFO ] [Real]Absence check using state equation in 13794 ms returned sat
[2023-03-21 23:01:26] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:01:28] [INFO ] [Nat]Absence check using 2673 positive place invariants in 829 ms returned sat
[2023-03-21 23:01:28] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 586 ms returned sat
[2023-03-21 23:01:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:01:43] [INFO ] [Nat]Absence check using state equation in 14481 ms returned sat
[2023-03-21 23:01:45] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 930 ms.
[2023-03-21 23:01:46] [INFO ] [Real]Absence check using 2673 positive place invariants in 792 ms returned sat
[2023-03-21 23:01:47] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 576 ms returned sat
[2023-03-21 23:01:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:02:00] [INFO ] [Real]Absence check using state equation in 13034 ms returned sat
[2023-03-21 23:02:00] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:02:02] [INFO ] [Nat]Absence check using 2673 positive place invariants in 806 ms returned sat
[2023-03-21 23:02:02] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 580 ms returned sat
[2023-03-21 23:02:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:02:15] [INFO ] [Nat]Absence check using state equation in 13136 ms returned sat
[2023-03-21 23:02:17] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 919 ms.
[2023-03-21 23:02:18] [INFO ] [Real]Absence check using 2673 positive place invariants in 795 ms returned sat
[2023-03-21 23:02:19] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 586 ms returned sat
[2023-03-21 23:02:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:02:33] [INFO ] [Real]Absence check using state equation in 13785 ms returned sat
[2023-03-21 23:02:33] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:02:35] [INFO ] [Nat]Absence check using 2673 positive place invariants in 814 ms returned sat
[2023-03-21 23:02:35] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 592 ms returned sat
[2023-03-21 23:02:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:02:50] [INFO ] [Nat]Absence check using state equation in 14661 ms returned sat
[2023-03-21 23:02:51] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 934 ms.
[2023-03-21 23:02:53] [INFO ] [Real]Absence check using 2673 positive place invariants in 821 ms returned sat
[2023-03-21 23:02:53] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 589 ms returned sat
[2023-03-21 23:02:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:03:06] [INFO ] [Real]Absence check using state equation in 12780 ms returned sat
[2023-03-21 23:03:07] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:03:08] [INFO ] [Nat]Absence check using 2673 positive place invariants in 802 ms returned sat
[2023-03-21 23:03:09] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 581 ms returned sat
[2023-03-21 23:03:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:03:23] [INFO ] [Nat]Absence check using state equation in 14529 ms returned sat
[2023-03-21 23:03:25] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 966 ms.
[2023-03-21 23:03:26] [INFO ] [Real]Absence check using 2673 positive place invariants in 798 ms returned sat
[2023-03-21 23:03:27] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 580 ms returned sat
[2023-03-21 23:03:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:03:40] [INFO ] [Real]Absence check using state equation in 13124 ms returned sat
[2023-03-21 23:03:40] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:03:42] [INFO ] [Nat]Absence check using 2673 positive place invariants in 810 ms returned sat
[2023-03-21 23:03:42] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 580 ms returned sat
[2023-03-21 23:03:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:03:56] [INFO ] [Nat]Absence check using state equation in 13703 ms returned sat
[2023-03-21 23:03:58] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 982 ms.
[2023-03-21 23:03:59] [INFO ] [Real]Absence check using 2673 positive place invariants in 822 ms returned sat
[2023-03-21 23:04:00] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 577 ms returned sat
[2023-03-21 23:04:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:04:13] [INFO ] [Real]Absence check using state equation in 13441 ms returned sat
[2023-03-21 23:04:14] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:04:15] [INFO ] [Nat]Absence check using 2673 positive place invariants in 823 ms returned sat
[2023-03-21 23:04:16] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 600 ms returned sat
[2023-03-21 23:04:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:04:30] [INFO ] [Nat]Absence check using state equation in 14373 ms returned sat
[2023-03-21 23:04:32] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 1080 ms.
Current structural bounds on expressions (after SMT) : [30, 30, 30, 30, 30, 30, 30] Max seen :[6, 9, 10, 5, 6, 5, 3]
Support contains 7 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1182 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1182 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1164 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:04:35] [INFO ] Invariant cache hit.
[2023-03-21 23:04:41] [INFO ] Implicit Places using invariants in 6421 ms returned []
Implicit Place search using SMT only with invariants took 6422 ms to find 0 implicit places.
[2023-03-21 23:04:41] [INFO ] Invariant cache hit.
[2023-03-21 23:04:42] [INFO ] Dead Transitions using invariants and state equation in 740 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8332 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:04:42] [INFO ] Invariant cache hit.
Finished random walk after 43093 steps, including 0 resets, run visited all 7 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 92092 steps, including 0 resets, run visited all 7 properties in 5001 ms. (steps per millisecond=18 )
Finished Best-First random walk after 93013 steps, including 0 resets, run visited all 7 properties in 5026 ms. (steps per millisecond=18 )
Finished Best-First random walk after 93157 steps, including 0 resets, run visited all 7 properties in 5038 ms. (steps per millisecond=18 )
Finished Best-First random walk after 93125 steps, including 0 resets, run visited all 7 properties in 5029 ms. (steps per millisecond=18 )
Finished Best-First random walk after 93013 steps, including 0 resets, run visited all 7 properties in 5053 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92645 steps, including 0 resets, run visited all 7 properties in 5025 ms. (steps per millisecond=18 )
Finished Best-First random walk after 93557 steps, including 0 resets, run visited all 7 properties in 5045 ms. (steps per millisecond=18 )
[2023-03-21 23:05:47] [INFO ] Invariant cache hit.
[2023-03-21 23:05:48] [INFO ] [Real]Absence check using 2673 positive place invariants in 813 ms returned sat
[2023-03-21 23:05:49] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 593 ms returned sat
[2023-03-21 23:05:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:06:02] [INFO ] [Real]Absence check using state equation in 13060 ms returned sat
[2023-03-21 23:06:03] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:06:04] [INFO ] [Nat]Absence check using 2673 positive place invariants in 844 ms returned sat
[2023-03-21 23:06:05] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 593 ms returned sat
[2023-03-21 23:06:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:06:18] [INFO ] [Nat]Absence check using state equation in 13674 ms returned sat
[2023-03-21 23:06:20] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 974 ms.
[2023-03-21 23:06:21] [INFO ] [Real]Absence check using 2673 positive place invariants in 819 ms returned sat
[2023-03-21 23:06:22] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 586 ms returned sat
[2023-03-21 23:06:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:06:35] [INFO ] [Real]Absence check using state equation in 12607 ms returned sat
[2023-03-21 23:06:35] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:06:36] [INFO ] [Nat]Absence check using 2673 positive place invariants in 804 ms returned sat
[2023-03-21 23:06:37] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 585 ms returned sat
[2023-03-21 23:06:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:06:51] [INFO ] [Nat]Absence check using state equation in 13543 ms returned sat
[2023-03-21 23:06:52] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 954 ms.
[2023-03-21 23:06:54] [INFO ] [Real]Absence check using 2673 positive place invariants in 801 ms returned sat
[2023-03-21 23:06:54] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 590 ms returned sat
[2023-03-21 23:06:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:07:07] [INFO ] [Real]Absence check using state equation in 12624 ms returned sat
[2023-03-21 23:07:07] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:07:09] [INFO ] [Nat]Absence check using 2673 positive place invariants in 810 ms returned sat
[2023-03-21 23:07:09] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 579 ms returned sat
[2023-03-21 23:07:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:07:25] [INFO ] [Nat]Absence check using state equation in 15337 ms returned sat
[2023-03-21 23:07:26] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 985 ms.
[2023-03-21 23:07:28] [INFO ] [Real]Absence check using 2673 positive place invariants in 830 ms returned sat
[2023-03-21 23:07:28] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 583 ms returned sat
[2023-03-21 23:07:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:07:42] [INFO ] [Real]Absence check using state equation in 13149 ms returned sat
[2023-03-21 23:07:42] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:07:43] [INFO ] [Nat]Absence check using 2673 positive place invariants in 821 ms returned sat
[2023-03-21 23:07:44] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 582 ms returned sat
[2023-03-21 23:07:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:07:58] [INFO ] [Nat]Absence check using state equation in 14254 ms returned sat
[2023-03-21 23:08:00] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 924 ms.
[2023-03-21 23:08:01] [INFO ] [Real]Absence check using 2673 positive place invariants in 816 ms returned sat
[2023-03-21 23:08:02] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 578 ms returned sat
[2023-03-21 23:08:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:08:14] [INFO ] [Real]Absence check using state equation in 12486 ms returned sat
[2023-03-21 23:08:15] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:08:16] [INFO ] [Nat]Absence check using 2673 positive place invariants in 809 ms returned sat
[2023-03-21 23:08:17] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 576 ms returned sat
[2023-03-21 23:08:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:08:32] [INFO ] [Nat]Absence check using state equation in 14962 ms returned sat
[2023-03-21 23:08:33] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 949 ms.
[2023-03-21 23:08:35] [INFO ] [Real]Absence check using 2673 positive place invariants in 809 ms returned sat
[2023-03-21 23:08:35] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 577 ms returned sat
[2023-03-21 23:08:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:08:49] [INFO ] [Real]Absence check using state equation in 13105 ms returned sat
[2023-03-21 23:08:49] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:08:51] [INFO ] [Nat]Absence check using 2673 positive place invariants in 822 ms returned sat
[2023-03-21 23:08:51] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 579 ms returned sat
[2023-03-21 23:08:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:09:05] [INFO ] [Nat]Absence check using state equation in 13388 ms returned sat
[2023-03-21 23:09:06] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 960 ms.
[2023-03-21 23:09:08] [INFO ] [Real]Absence check using 2673 positive place invariants in 833 ms returned sat
[2023-03-21 23:09:08] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 582 ms returned sat
[2023-03-21 23:09:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:09:22] [INFO ] [Real]Absence check using state equation in 14209 ms returned sat
[2023-03-21 23:09:23] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:09:24] [INFO ] [Nat]Absence check using 2673 positive place invariants in 830 ms returned sat
[2023-03-21 23:09:25] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 583 ms returned sat
[2023-03-21 23:09:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:09:39] [INFO ] [Nat]Absence check using state equation in 13705 ms returned sat
[2023-03-21 23:09:40] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 969 ms.
Current structural bounds on expressions (after SMT) : [30, 30, 30, 30, 30, 30, 30] Max seen :[9, 9, 10, 5, 6, 5, 4]
Support contains 7 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1149 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1149 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1122 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:09:43] [INFO ] Invariant cache hit.
[2023-03-21 23:09:49] [INFO ] Implicit Places using invariants in 6053 ms returned []
Implicit Place search using SMT only with invariants took 6053 ms to find 0 implicit places.
[2023-03-21 23:09:49] [INFO ] Invariant cache hit.
[2023-03-21 23:10:03] [INFO ] Dead Transitions using invariants and state equation in 14937 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 22114 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:10:04] [INFO ] Invariant cache hit.
Finished random walk after 42763 steps, including 0 resets, run visited all 7 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 91174 steps, including 0 resets, run visited all 7 properties in 5023 ms. (steps per millisecond=18 )
Finished Best-First random walk after 91606 steps, including 0 resets, run visited all 7 properties in 5014 ms. (steps per millisecond=18 )
Finished Best-First random walk after 91734 steps, including 0 resets, run visited all 7 properties in 5022 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92060 steps, including 0 resets, run visited all 7 properties in 5036 ms. (steps per millisecond=18 )
Finished Best-First random walk after 91830 steps, including 0 resets, run visited all 7 properties in 5026 ms. (steps per millisecond=18 )
Finished Best-First random walk after 91580 steps, including 0 resets, run visited all 7 properties in 5010 ms. (steps per millisecond=18 )
Finished Best-First random walk after 91350 steps, including 0 resets, run visited all 7 properties in 5024 ms. (steps per millisecond=18 )
[2023-03-21 23:11:09] [INFO ] Invariant cache hit.
[2023-03-21 23:11:10] [INFO ] [Real]Absence check using 2673 positive place invariants in 830 ms returned sat
[2023-03-21 23:11:11] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 601 ms returned sat
[2023-03-21 23:11:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:11:25] [INFO ] [Real]Absence check using state equation in 13989 ms returned sat
[2023-03-21 23:11:25] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:11:27] [INFO ] [Nat]Absence check using 2673 positive place invariants in 824 ms returned sat
[2023-03-21 23:11:27] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 593 ms returned sat
[2023-03-21 23:11:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:11:41] [INFO ] [Nat]Absence check using state equation in 14189 ms returned sat
[2023-03-21 23:11:43] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 937 ms.
[2023-03-21 23:11:45] [INFO ] [Real]Absence check using 2673 positive place invariants in 806 ms returned sat
[2023-03-21 23:11:45] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 588 ms returned sat
[2023-03-21 23:11:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:11:58] [INFO ] [Real]Absence check using state equation in 12461 ms returned sat
[2023-03-21 23:11:58] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:12:00] [INFO ] [Nat]Absence check using 2673 positive place invariants in 837 ms returned sat
[2023-03-21 23:12:00] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 581 ms returned sat
[2023-03-21 23:12:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:12:14] [INFO ] [Nat]Absence check using state equation in 14039 ms returned sat
[2023-03-21 23:12:16] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 954 ms.
[2023-03-21 23:12:17] [INFO ] [Real]Absence check using 2673 positive place invariants in 825 ms returned sat
[2023-03-21 23:12:18] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 581 ms returned sat
[2023-03-21 23:12:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:12:32] [INFO ] [Real]Absence check using state equation in 14186 ms returned sat
[2023-03-21 23:12:33] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:12:34] [INFO ] [Nat]Absence check using 2673 positive place invariants in 818 ms returned sat
[2023-03-21 23:12:35] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 584 ms returned sat
[2023-03-21 23:12:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:12:48] [INFO ] [Nat]Absence check using state equation in 13860 ms returned sat
[2023-03-21 23:12:50] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 984 ms.
[2023-03-21 23:12:52] [INFO ] [Real]Absence check using 2673 positive place invariants in 820 ms returned sat
[2023-03-21 23:12:52] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 579 ms returned sat
[2023-03-21 23:12:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:13:06] [INFO ] [Real]Absence check using state equation in 13755 ms returned sat
[2023-03-21 23:13:06] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:13:08] [INFO ] [Nat]Absence check using 2673 positive place invariants in 798 ms returned sat
[2023-03-21 23:13:08] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 588 ms returned sat
[2023-03-21 23:13:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:13:23] [INFO ] [Nat]Absence check using state equation in 14405 ms returned sat
[2023-03-21 23:13:24] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 989 ms.
[2023-03-21 23:13:26] [INFO ] [Real]Absence check using 2673 positive place invariants in 839 ms returned sat
[2023-03-21 23:13:27] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 587 ms returned sat
[2023-03-21 23:13:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:13:40] [INFO ] [Real]Absence check using state equation in 13064 ms returned sat
[2023-03-21 23:13:40] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:13:42] [INFO ] [Nat]Absence check using 2673 positive place invariants in 830 ms returned sat
[2023-03-21 23:13:42] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 584 ms returned sat
[2023-03-21 23:13:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:13:57] [INFO ] [Nat]Absence check using state equation in 14918 ms returned sat
[2023-03-21 23:13:59] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 947 ms.
[2023-03-21 23:14:00] [INFO ] [Real]Absence check using 2673 positive place invariants in 819 ms returned sat
[2023-03-21 23:14:01] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 585 ms returned sat
[2023-03-21 23:14:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:14:14] [INFO ] [Real]Absence check using state equation in 13513 ms returned sat
[2023-03-21 23:14:15] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:14:16] [INFO ] [Nat]Absence check using 2673 positive place invariants in 827 ms returned sat
[2023-03-21 23:14:17] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 584 ms returned sat
[2023-03-21 23:14:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:14:32] [INFO ] [Nat]Absence check using state equation in 15079 ms returned sat
[2023-03-21 23:14:34] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 957 ms.
[2023-03-21 23:14:35] [INFO ] [Real]Absence check using 2673 positive place invariants in 824 ms returned sat
[2023-03-21 23:14:36] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 582 ms returned sat
[2023-03-21 23:14:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:14:49] [INFO ] [Real]Absence check using state equation in 13121 ms returned sat
[2023-03-21 23:14:49] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:14:51] [INFO ] [Nat]Absence check using 2673 positive place invariants in 809 ms returned sat
[2023-03-21 23:14:51] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 590 ms returned sat
[2023-03-21 23:14:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:15:05] [INFO ] [Nat]Absence check using state equation in 14273 ms returned sat
[2023-03-21 23:15:07] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 956 ms.
Current structural bounds on expressions (after SMT) : [30, 30, 30, 30, 30, 30, 30] Max seen :[9, 9, 10, 5, 6, 6, 4]
Support contains 7 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1130 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1130 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1113 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:15:09] [INFO ] Invariant cache hit.
[2023-03-21 23:15:15] [INFO ] Implicit Places using invariants in 5604 ms returned []
Implicit Place search using SMT only with invariants took 5605 ms to find 0 implicit places.
[2023-03-21 23:15:15] [INFO ] Invariant cache hit.
[2023-03-21 23:15:31] [INFO ] Dead Transitions using invariants and state equation in 16440 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 23162 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:15:31] [INFO ] Invariant cache hit.
Finished random walk after 42445 steps, including 0 resets, run visited all 7 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 91638 steps, including 0 resets, run visited all 7 properties in 5053 ms. (steps per millisecond=18 )
Finished Best-First random walk after 91430 steps, including 0 resets, run visited all 7 properties in 5004 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92028 steps, including 0 resets, run visited all 7 properties in 5014 ms. (steps per millisecond=18 )
Finished Best-First random walk after 90510 steps, including 0 resets, run visited all 7 properties in 5014 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92028 steps, including 0 resets, run visited all 7 properties in 5032 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92476 steps, including 0 resets, run visited all 7 properties in 5035 ms. (steps per millisecond=18 )
Finished Best-First random walk after 91852 steps, including 0 resets, run visited all 7 properties in 5015 ms. (steps per millisecond=18 )
[2023-03-21 23:16:37] [INFO ] Invariant cache hit.
[2023-03-21 23:16:38] [INFO ] [Real]Absence check using 2673 positive place invariants in 824 ms returned sat
[2023-03-21 23:16:39] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 603 ms returned sat
[2023-03-21 23:16:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:16:52] [INFO ] [Real]Absence check using state equation in 13675 ms returned sat
[2023-03-21 23:16:53] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:16:54] [INFO ] [Nat]Absence check using 2673 positive place invariants in 805 ms returned sat
[2023-03-21 23:16:55] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 579 ms returned sat
[2023-03-21 23:16:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:17:10] [INFO ] [Nat]Absence check using state equation in 14877 ms returned sat
[2023-03-21 23:17:11] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 975 ms.
[2023-03-21 23:17:13] [INFO ] [Real]Absence check using 2673 positive place invariants in 800 ms returned sat
[2023-03-21 23:17:13] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 582 ms returned sat
[2023-03-21 23:17:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:17:26] [INFO ] [Real]Absence check using state equation in 12997 ms returned sat
[2023-03-21 23:17:27] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:17:28] [INFO ] [Nat]Absence check using 2673 positive place invariants in 816 ms returned sat
[2023-03-21 23:17:29] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 582 ms returned sat
[2023-03-21 23:17:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:17:43] [INFO ] [Nat]Absence check using state equation in 13769 ms returned sat
[2023-03-21 23:17:44] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 974 ms.
[2023-03-21 23:17:46] [INFO ] [Real]Absence check using 2673 positive place invariants in 810 ms returned sat
[2023-03-21 23:17:46] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 578 ms returned sat
[2023-03-21 23:17:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:18:00] [INFO ] [Real]Absence check using state equation in 13822 ms returned sat
[2023-03-21 23:18:01] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:18:02] [INFO ] [Nat]Absence check using 2673 positive place invariants in 827 ms returned sat
[2023-03-21 23:18:03] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 588 ms returned sat
[2023-03-21 23:18:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:18:16] [INFO ] [Nat]Absence check using state equation in 13650 ms returned sat
[2023-03-21 23:18:18] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 970 ms.
[2023-03-21 23:18:19] [INFO ] [Real]Absence check using 2673 positive place invariants in 821 ms returned sat
[2023-03-21 23:18:20] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 581 ms returned sat
[2023-03-21 23:18:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:18:33] [INFO ] [Real]Absence check using state equation in 12755 ms returned sat
[2023-03-21 23:18:33] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:18:35] [INFO ] [Nat]Absence check using 2673 positive place invariants in 830 ms returned sat
[2023-03-21 23:18:35] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 587 ms returned sat
[2023-03-21 23:18:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:18:49] [INFO ] [Nat]Absence check using state equation in 14046 ms returned sat
[2023-03-21 23:18:51] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 962 ms.
[2023-03-21 23:18:52] [INFO ] [Real]Absence check using 2673 positive place invariants in 823 ms returned sat
[2023-03-21 23:18:53] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 585 ms returned sat
[2023-03-21 23:18:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:19:06] [INFO ] [Real]Absence check using state equation in 12548 ms returned sat
[2023-03-21 23:19:06] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:19:07] [INFO ] [Nat]Absence check using 2673 positive place invariants in 811 ms returned sat
[2023-03-21 23:19:08] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 580 ms returned sat
[2023-03-21 23:19:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:19:23] [INFO ] [Nat]Absence check using state equation in 14984 ms returned sat
[2023-03-21 23:19:25] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 946 ms.
[2023-03-21 23:19:26] [INFO ] [Real]Absence check using 2673 positive place invariants in 826 ms returned sat
[2023-03-21 23:19:27] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 582 ms returned sat
[2023-03-21 23:19:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:19:40] [INFO ] [Real]Absence check using state equation in 13575 ms returned sat
[2023-03-21 23:19:41] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:19:42] [INFO ] [Nat]Absence check using 2673 positive place invariants in 818 ms returned sat
[2023-03-21 23:19:43] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 581 ms returned sat
[2023-03-21 23:19:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:19:57] [INFO ] [Nat]Absence check using state equation in 14404 ms returned sat
[2023-03-21 23:19:59] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 944 ms.
[2023-03-21 23:20:00] [INFO ] [Real]Absence check using 2673 positive place invariants in 812 ms returned sat
[2023-03-21 23:20:01] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 584 ms returned sat
[2023-03-21 23:20:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:20:14] [INFO ] [Real]Absence check using state equation in 13617 ms returned sat
[2023-03-21 23:20:15] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:20:16] [INFO ] [Nat]Absence check using 2673 positive place invariants in 822 ms returned sat
[2023-03-21 23:20:17] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 587 ms returned sat
[2023-03-21 23:20:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:20:32] [INFO ] [Nat]Absence check using state equation in 14678 ms returned sat
[2023-03-21 23:20:33] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 946 ms.
Current structural bounds on expressions (after SMT) : [30, 30, 30, 30, 30, 30, 30] Max seen :[13, 9, 10, 5, 6, 6, 4]
Support contains 7 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1142 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1142 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1151 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:20:36] [INFO ] Invariant cache hit.
[2023-03-21 23:20:41] [INFO ] Implicit Places using invariants in 5684 ms returned []
Implicit Place search using SMT only with invariants took 5684 ms to find 0 implicit places.
[2023-03-21 23:20:41] [INFO ] Invariant cache hit.
[2023-03-21 23:20:57] [INFO ] Dead Transitions using invariants and state equation in 15624 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 22462 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:20:57] [INFO ] Invariant cache hit.
Finished random walk after 43029 steps, including 0 resets, run visited all 7 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 93493 steps, including 0 resets, run visited all 7 properties in 5048 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92524 steps, including 0 resets, run visited all 7 properties in 5021 ms. (steps per millisecond=18 )
Finished Best-First random walk after 91430 steps, including 0 resets, run visited all 7 properties in 5002 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92492 steps, including 0 resets, run visited all 7 properties in 5028 ms. (steps per millisecond=18 )
Finished Best-First random walk after 93285 steps, including 0 resets, run visited all 7 properties in 5041 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92821 steps, including 0 resets, run visited all 7 properties in 5036 ms. (steps per millisecond=18 )
Finished Best-First random walk after 93125 steps, including 0 resets, run visited all 7 properties in 5048 ms. (steps per millisecond=18 )
[2023-03-21 23:22:02] [INFO ] Invariant cache hit.
[2023-03-21 23:22:04] [INFO ] [Real]Absence check using 2673 positive place invariants in 816 ms returned sat
[2023-03-21 23:22:04] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 590 ms returned sat
[2023-03-21 23:22:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:22:18] [INFO ] [Real]Absence check using state equation in 13739 ms returned sat
[2023-03-21 23:22:19] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:22:20] [INFO ] [Nat]Absence check using 2673 positive place invariants in 791 ms returned sat
[2023-03-21 23:22:21] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 592 ms returned sat
[2023-03-21 23:22:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:22:35] [INFO ] [Nat]Absence check using state equation in 14695 ms returned sat
[2023-03-21 23:22:37] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 968 ms.
[2023-03-21 23:22:38] [INFO ] [Real]Absence check using 2673 positive place invariants in 814 ms returned sat
[2023-03-21 23:22:39] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 574 ms returned sat
[2023-03-21 23:22:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:22:52] [INFO ] [Real]Absence check using state equation in 12935 ms returned sat
[2023-03-21 23:22:52] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:22:54] [INFO ] [Nat]Absence check using 2673 positive place invariants in 786 ms returned sat
[2023-03-21 23:22:54] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 586 ms returned sat
[2023-03-21 23:22:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:23:08] [INFO ] [Nat]Absence check using state equation in 13178 ms returned sat
[2023-03-21 23:23:09] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 958 ms.
[2023-03-21 23:23:11] [INFO ] [Real]Absence check using 2673 positive place invariants in 822 ms returned sat
[2023-03-21 23:23:11] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 650 ms returned sat
[2023-03-21 23:23:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:23:24] [INFO ] [Real]Absence check using state equation in 13054 ms returned sat
[2023-03-21 23:23:25] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:23:26] [INFO ] [Nat]Absence check using 2673 positive place invariants in 818 ms returned sat
[2023-03-21 23:23:27] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 575 ms returned sat
[2023-03-21 23:23:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:23:40] [INFO ] [Nat]Absence check using state equation in 13480 ms returned sat
[2023-03-21 23:23:42] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 980 ms.
[2023-03-21 23:23:43] [INFO ] [Real]Absence check using 2673 positive place invariants in 817 ms returned sat
[2023-03-21 23:23:44] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 570 ms returned sat
[2023-03-21 23:23:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:23:56] [INFO ] [Real]Absence check using state equation in 12516 ms returned sat
[2023-03-21 23:23:57] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:23:58] [INFO ] [Nat]Absence check using 2673 positive place invariants in 818 ms returned sat
[2023-03-21 23:23:59] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 585 ms returned sat
[2023-03-21 23:23:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:24:14] [INFO ] [Nat]Absence check using state equation in 14756 ms returned sat
[2023-03-21 23:24:15] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 980 ms.
[2023-03-21 23:24:17] [INFO ] [Real]Absence check using 2673 positive place invariants in 827 ms returned sat
[2023-03-21 23:24:17] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 584 ms returned sat
[2023-03-21 23:24:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:24:31] [INFO ] [Real]Absence check using state equation in 13626 ms returned sat
[2023-03-21 23:24:32] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:24:33] [INFO ] [Nat]Absence check using 2673 positive place invariants in 819 ms returned sat
[2023-03-21 23:24:34] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 581 ms returned sat
[2023-03-21 23:24:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:24:49] [INFO ] [Nat]Absence check using state equation in 15770 ms returned sat
[2023-03-21 23:24:51] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 958 ms.
[2023-03-21 23:24:52] [INFO ] [Real]Absence check using 2673 positive place invariants in 829 ms returned sat
[2023-03-21 23:24:53] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 587 ms returned sat
[2023-03-21 23:24:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:25:08] [INFO ] [Real]Absence check using state equation in 14540 ms returned sat
[2023-03-21 23:25:08] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:25:10] [INFO ] [Nat]Absence check using 2673 positive place invariants in 836 ms returned sat
[2023-03-21 23:25:10] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 583 ms returned sat
[2023-03-21 23:25:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:25:25] [INFO ] [Nat]Absence check using state equation in 14879 ms returned sat
[2023-03-21 23:25:27] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 910 ms.
[2023-03-21 23:25:28] [INFO ] [Real]Absence check using 2673 positive place invariants in 818 ms returned sat
[2023-03-21 23:25:29] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 581 ms returned sat
[2023-03-21 23:25:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:25:42] [INFO ] [Real]Absence check using state equation in 13011 ms returned sat
[2023-03-21 23:25:42] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:25:44] [INFO ] [Nat]Absence check using 2673 positive place invariants in 810 ms returned sat
[2023-03-21 23:25:44] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 579 ms returned sat
[2023-03-21 23:25:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:25:58] [INFO ] [Nat]Absence check using state equation in 13533 ms returned sat
[2023-03-21 23:25:59] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 931 ms.
Current structural bounds on expressions (after SMT) : [30, 30, 30, 30, 30, 30, 30] Max seen :[13, 9, 10, 5, 6, 8, 4]
Support contains 7 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1142 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1143 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1116 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:26:02] [INFO ] Invariant cache hit.
[2023-03-21 23:26:07] [INFO ] Implicit Places using invariants in 5839 ms returned []
Implicit Place search using SMT only with invariants took 5840 ms to find 0 implicit places.
[2023-03-21 23:26:07] [INFO ] Invariant cache hit.
[2023-03-21 23:26:23] [INFO ] Dead Transitions using invariants and state equation in 16041 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 23000 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:26:23] [INFO ] Invariant cache hit.
Finished random walk after 42941 steps, including 0 resets, run visited all 7 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 91788 steps, including 0 resets, run visited all 7 properties in 5029 ms. (steps per millisecond=18 )
Finished Best-First random walk after 91836 steps, including 0 resets, run visited all 7 properties in 5007 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92236 steps, including 0 resets, run visited all 7 properties in 5002 ms. (steps per millisecond=18 )
Finished Best-First random walk after 91964 steps, including 0 resets, run visited all 7 properties in 5006 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92933 steps, including 0 resets, run visited all 7 properties in 5052 ms. (steps per millisecond=18 )
Finished Best-First random walk after 93869 steps, including 0 resets, run visited all 7 properties in 5028 ms. (steps per millisecond=18 )
Finished Best-First random walk after 93301 steps, including 0 resets, run visited all 7 properties in 5026 ms. (steps per millisecond=18 )
[2023-03-21 23:27:29] [INFO ] Invariant cache hit.
[2023-03-21 23:27:30] [INFO ] [Real]Absence check using 2673 positive place invariants in 820 ms returned sat
[2023-03-21 23:27:31] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 581 ms returned sat
[2023-03-21 23:27:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:27:44] [INFO ] [Real]Absence check using state equation in 13547 ms returned sat
[2023-03-21 23:27:45] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:27:46] [INFO ] [Nat]Absence check using 2673 positive place invariants in 823 ms returned sat
[2023-03-21 23:27:47] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 588 ms returned sat
[2023-03-21 23:27:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:28:00] [INFO ] [Nat]Absence check using state equation in 13177 ms returned sat
[2023-03-21 23:28:01] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 929 ms.
[2023-03-21 23:28:03] [INFO ] [Real]Absence check using 2673 positive place invariants in 812 ms returned sat
[2023-03-21 23:28:03] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 580 ms returned sat
[2023-03-21 23:28:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:28:16] [INFO ] [Real]Absence check using state equation in 12621 ms returned sat
[2023-03-21 23:28:17] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:28:18] [INFO ] [Nat]Absence check using 2673 positive place invariants in 822 ms returned sat
[2023-03-21 23:28:19] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 576 ms returned sat
[2023-03-21 23:28:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:28:32] [INFO ] [Nat]Absence check using state equation in 13528 ms returned sat
[2023-03-21 23:28:34] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 956 ms.
[2023-03-21 23:28:35] [INFO ] [Real]Absence check using 2673 positive place invariants in 798 ms returned sat
[2023-03-21 23:28:36] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 586 ms returned sat
[2023-03-21 23:28:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:28:49] [INFO ] [Real]Absence check using state equation in 12968 ms returned sat
[2023-03-21 23:28:49] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:28:51] [INFO ] [Nat]Absence check using 2673 positive place invariants in 821 ms returned sat
[2023-03-21 23:28:51] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 583 ms returned sat
[2023-03-21 23:28:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:29:06] [INFO ] [Nat]Absence check using state equation in 14226 ms returned sat
[2023-03-21 23:29:07] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 946 ms.
[2023-03-21 23:29:09] [INFO ] [Real]Absence check using 2673 positive place invariants in 828 ms returned sat
[2023-03-21 23:29:09] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 582 ms returned sat
[2023-03-21 23:29:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:29:22] [INFO ] [Real]Absence check using state equation in 12978 ms returned sat
[2023-03-21 23:29:23] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:29:24] [INFO ] [Nat]Absence check using 2673 positive place invariants in 820 ms returned sat
[2023-03-21 23:29:25] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 584 ms returned sat
[2023-03-21 23:29:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:29:39] [INFO ] [Nat]Absence check using state equation in 14312 ms returned sat
[2023-03-21 23:29:41] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 974 ms.
[2023-03-21 23:29:42] [INFO ] [Real]Absence check using 2673 positive place invariants in 834 ms returned sat
[2023-03-21 23:29:43] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 583 ms returned sat
[2023-03-21 23:29:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:29:56] [INFO ] [Real]Absence check using state equation in 13085 ms returned sat
[2023-03-21 23:29:56] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:29:58] [INFO ] [Nat]Absence check using 2673 positive place invariants in 831 ms returned sat
[2023-03-21 23:29:58] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 581 ms returned sat
[2023-03-21 23:29:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:30:13] [INFO ] [Nat]Absence check using state equation in 14624 ms returned sat
[2023-03-21 23:30:15] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 968 ms.
[2023-03-21 23:30:16] [INFO ] [Real]Absence check using 2673 positive place invariants in 809 ms returned sat
[2023-03-21 23:30:17] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 583 ms returned sat
[2023-03-21 23:30:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:30:30] [INFO ] [Real]Absence check using state equation in 13833 ms returned sat
[2023-03-21 23:30:31] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:30:32] [INFO ] [Nat]Absence check using 2673 positive place invariants in 820 ms returned sat
[2023-03-21 23:30:33] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 575 ms returned sat
[2023-03-21 23:30:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:30:47] [INFO ] [Nat]Absence check using state equation in 14056 ms returned sat
[2023-03-21 23:30:49] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 972 ms.
[2023-03-21 23:30:50] [INFO ] [Real]Absence check using 2673 positive place invariants in 822 ms returned sat
[2023-03-21 23:30:51] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 597 ms returned sat
[2023-03-21 23:30:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:31:04] [INFO ] [Real]Absence check using state equation in 13570 ms returned sat
[2023-03-21 23:31:05] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:31:06] [INFO ] [Nat]Absence check using 2673 positive place invariants in 823 ms returned sat
[2023-03-21 23:31:07] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 583 ms returned sat
[2023-03-21 23:31:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:31:21] [INFO ] [Nat]Absence check using state equation in 14374 ms returned sat
[2023-03-21 23:31:23] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 977 ms.
Current structural bounds on expressions (after SMT) : [30, 30, 30, 30, 30, 30, 30] Max seen :[13, 9, 10, 5, 6, 8, 7]
Support contains 7 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1120 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1120 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1100 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:31:25] [INFO ] Invariant cache hit.
[2023-03-21 23:31:31] [INFO ] Implicit Places using invariants in 6075 ms returned []
Implicit Place search using SMT only with invariants took 6075 ms to find 0 implicit places.
[2023-03-21 23:31:31] [INFO ] Invariant cache hit.
[2023-03-21 23:31:48] [INFO ] Dead Transitions using invariants and state equation in 16666 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 23844 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:31:48] [INFO ] Invariant cache hit.
Finished random walk after 43478 steps, including 0 resets, run visited all 7 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 92453 steps, including 0 resets, run visited all 7 properties in 5042 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92380 steps, including 0 resets, run visited all 7 properties in 5021 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92492 steps, including 0 resets, run visited all 7 properties in 5025 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92444 steps, including 0 resets, run visited all 7 properties in 5008 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92300 steps, including 0 resets, run visited all 7 properties in 5011 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92204 steps, including 0 resets, run visited all 7 properties in 5010 ms. (steps per millisecond=18 )
Finished Best-First random walk after 92188 steps, including 0 resets, run visited all 7 properties in 5006 ms. (steps per millisecond=18 )
[2023-03-21 23:32:53] [INFO ] Invariant cache hit.
[2023-03-21 23:32:54] [INFO ] [Real]Absence check using 2673 positive place invariants in 825 ms returned sat
[2023-03-21 23:32:55] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 594 ms returned sat
[2023-03-21 23:32:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:33:09] [INFO ] [Real]Absence check using state equation in 13584 ms returned sat
[2023-03-21 23:33:09] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:33:11] [INFO ] [Nat]Absence check using 2673 positive place invariants in 829 ms returned sat
[2023-03-21 23:33:11] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 584 ms returned sat
[2023-03-21 23:33:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:33:25] [INFO ] [Nat]Absence check using state equation in 13748 ms returned sat
[2023-03-21 23:33:26] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 939 ms.
[2023-03-21 23:33:28] [INFO ] [Real]Absence check using 2673 positive place invariants in 817 ms returned sat
[2023-03-21 23:33:28] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 580 ms returned sat
[2023-03-21 23:33:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:33:42] [INFO ] [Real]Absence check using state equation in 13305 ms returned sat
[2023-03-21 23:33:42] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:33:44] [INFO ] [Nat]Absence check using 2673 positive place invariants in 829 ms returned sat
[2023-03-21 23:33:44] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 581 ms returned sat
[2023-03-21 23:33:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:33:58] [INFO ] [Nat]Absence check using state equation in 13654 ms returned sat
[2023-03-21 23:34:00] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 934 ms.
[2023-03-21 23:34:01] [INFO ] [Real]Absence check using 2673 positive place invariants in 819 ms returned sat
[2023-03-21 23:34:02] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 581 ms returned sat
[2023-03-21 23:34:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:34:15] [INFO ] [Real]Absence check using state equation in 13176 ms returned sat
[2023-03-21 23:34:15] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:34:17] [INFO ] [Nat]Absence check using 2673 positive place invariants in 807 ms returned sat
[2023-03-21 23:34:17] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 585 ms returned sat
[2023-03-21 23:34:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:34:31] [INFO ] [Nat]Absence check using state equation in 13584 ms returned sat
[2023-03-21 23:34:33] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 945 ms.
[2023-03-21 23:34:34] [INFO ] [Real]Absence check using 2673 positive place invariants in 823 ms returned sat
[2023-03-21 23:34:35] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 589 ms returned sat
[2023-03-21 23:34:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:34:48] [INFO ] [Real]Absence check using state equation in 13332 ms returned sat
[2023-03-21 23:34:48] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:34:50] [INFO ] [Nat]Absence check using 2673 positive place invariants in 815 ms returned sat
[2023-03-21 23:34:50] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 589 ms returned sat
[2023-03-21 23:34:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:35:06] [INFO ] [Nat]Absence check using state equation in 15162 ms returned sat
[2023-03-21 23:35:07] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 964 ms.
[2023-03-21 23:35:09] [INFO ] [Real]Absence check using 2673 positive place invariants in 822 ms returned sat
[2023-03-21 23:35:09] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 582 ms returned sat
[2023-03-21 23:35:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:35:22] [INFO ] [Real]Absence check using state equation in 13080 ms returned sat
[2023-03-21 23:35:23] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:35:24] [INFO ] [Nat]Absence check using 2673 positive place invariants in 819 ms returned sat
[2023-03-21 23:35:25] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 583 ms returned sat
[2023-03-21 23:35:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:35:40] [INFO ] [Nat]Absence check using state equation in 14869 ms returned sat
[2023-03-21 23:35:41] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 946 ms.
[2023-03-21 23:35:43] [INFO ] [Real]Absence check using 2673 positive place invariants in 811 ms returned sat
[2023-03-21 23:35:43] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 582 ms returned sat
[2023-03-21 23:35:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:35:57] [INFO ] [Real]Absence check using state equation in 13435 ms returned sat
[2023-03-21 23:35:57] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:35:59] [INFO ] [Nat]Absence check using 2673 positive place invariants in 801 ms returned sat
[2023-03-21 23:35:59] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 580 ms returned sat
[2023-03-21 23:35:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:36:12] [INFO ] [Nat]Absence check using state equation in 13120 ms returned sat
[2023-03-21 23:36:14] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 957 ms.
[2023-03-21 23:36:15] [INFO ] [Real]Absence check using 2673 positive place invariants in 829 ms returned sat
[2023-03-21 23:36:16] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 587 ms returned sat
[2023-03-21 23:36:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:36:29] [INFO ] [Real]Absence check using state equation in 13119 ms returned sat
[2023-03-21 23:36:30] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:36:31] [INFO ] [Nat]Absence check using 2673 positive place invariants in 782 ms returned sat
[2023-03-21 23:36:32] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 585 ms returned sat
[2023-03-21 23:36:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:36:45] [INFO ] [Nat]Absence check using state equation in 12999 ms returned sat
[2023-03-21 23:36:46] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 987 ms.
Current structural bounds on expressions (after SMT) : [30, 30, 30, 30, 30, 30, 30] Max seen :[13, 9, 10, 5, 6, 8, 7]
Support contains 7 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1106 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1106 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1130 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:36:49] [INFO ] Invariant cache hit.
[2023-03-21 23:36:54] [INFO ] Implicit Places using invariants in 5654 ms returned []
Implicit Place search using SMT only with invariants took 5655 ms to find 0 implicit places.
[2023-03-21 23:36:54] [INFO ] Invariant cache hit.
[2023-03-21 23:37:10] [INFO ] Dead Transitions using invariants and state equation in 15909 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 22697 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-02
[2023-03-21 23:37:10] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 7177 ms. (steps per millisecond=1 ) properties (out of 1) seen :2
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 560 ms. (steps per millisecond=17 ) properties (out of 1) seen :2
[2023-03-21 23:37:18] [INFO ] Invariant cache hit.
[2023-03-21 23:37:19] [INFO ] [Real]Absence check using 2673 positive place invariants in 808 ms returned sat
[2023-03-21 23:37:20] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 596 ms returned sat
[2023-03-21 23:37:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:37:23] [INFO ] [Real]Absence check using state equation in 3030 ms returned unknown
Current structural bounds on expressions (after SMT) : [30] Max seen :[2]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1106 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1107 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:37:24] [INFO ] Invariant cache hit.
Finished random walk after 42847 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 91590 steps, including 0 resets, run visited all 1 properties in 5003 ms. (steps per millisecond=18 )
[2023-03-21 23:37:59] [INFO ] Invariant cache hit.
[2023-03-21 23:38:00] [INFO ] [Real]Absence check using 2673 positive place invariants in 821 ms returned sat
[2023-03-21 23:38:01] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 587 ms returned sat
[2023-03-21 23:38:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:38:14] [INFO ] [Real]Absence check using state equation in 13377 ms returned sat
[2023-03-21 23:38:15] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:38:16] [INFO ] [Nat]Absence check using 2673 positive place invariants in 878 ms returned sat
[2023-03-21 23:38:17] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 591 ms returned sat
[2023-03-21 23:38:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:38:31] [INFO ] [Nat]Absence check using state equation in 13889 ms returned sat
[2023-03-21 23:38:33] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 916 ms.
Current structural bounds on expressions (after SMT) : [30] Max seen :[6]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1101 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1101 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1111 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:38:35] [INFO ] Invariant cache hit.
[2023-03-21 23:38:41] [INFO ] Implicit Places using invariants in 6073 ms returned []
Implicit Place search using SMT only with invariants took 6074 ms to find 0 implicit places.
[2023-03-21 23:38:41] [INFO ] Invariant cache hit.
[2023-03-21 23:38:57] [INFO ] Dead Transitions using invariants and state equation in 16070 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 23257 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:38:57] [INFO ] Invariant cache hit.
Finished random walk after 43021 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 91846 steps, including 0 resets, run visited all 1 properties in 5021 ms. (steps per millisecond=18 )
[2023-03-21 23:39:32] [INFO ] Invariant cache hit.
[2023-03-21 23:39:33] [INFO ] [Real]Absence check using 2673 positive place invariants in 822 ms returned sat
[2023-03-21 23:39:34] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 584 ms returned sat
[2023-03-21 23:39:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:39:47] [INFO ] [Real]Absence check using state equation in 13197 ms returned sat
[2023-03-21 23:39:48] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:39:49] [INFO ] [Nat]Absence check using 2673 positive place invariants in 798 ms returned sat
[2023-03-21 23:39:50] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 584 ms returned sat
[2023-03-21 23:39:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:40:03] [INFO ] [Nat]Absence check using state equation in 12875 ms returned sat
[2023-03-21 23:40:04] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 940 ms.
Current structural bounds on expressions (after SMT) : [30] Max seen :[6]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1140 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1140 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1116 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:40:06] [INFO ] Invariant cache hit.
[2023-03-21 23:40:12] [INFO ] Implicit Places using invariants in 5742 ms returned []
Implicit Place search using SMT only with invariants took 5743 ms to find 0 implicit places.
[2023-03-21 23:40:12] [INFO ] Invariant cache hit.
[2023-03-21 23:40:29] [INFO ] Dead Transitions using invariants and state equation in 16418 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 23280 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Ending property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-02 in 198508 ms.
Starting property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-03
[2023-03-21 23:40:29] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 7113 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 553 ms. (steps per millisecond=18 ) properties (out of 1) seen :2
[2023-03-21 23:40:36] [INFO ] Invariant cache hit.
[2023-03-21 23:40:38] [INFO ] [Real]Absence check using 2673 positive place invariants in 865 ms returned sat
[2023-03-21 23:40:38] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 598 ms returned sat
[2023-03-21 23:40:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:40:41] [INFO ] [Real]Absence check using state equation in 2965 ms returned unknown
Current structural bounds on expressions (after SMT) : [30] Max seen :[4]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1081 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1082 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:40:42] [INFO ] Invariant cache hit.
Finished random walk after 43585 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 93077 steps, including 0 resets, run visited all 1 properties in 5036 ms. (steps per millisecond=18 )
[2023-03-21 23:41:17] [INFO ] Invariant cache hit.
[2023-03-21 23:41:19] [INFO ] [Real]Absence check using 2673 positive place invariants in 822 ms returned sat
[2023-03-21 23:41:20] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 601 ms returned sat
[2023-03-21 23:41:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:41:32] [INFO ] [Real]Absence check using state equation in 12472 ms returned sat
[2023-03-21 23:41:33] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:41:34] [INFO ] [Nat]Absence check using 2673 positive place invariants in 800 ms returned sat
[2023-03-21 23:41:35] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 581 ms returned sat
[2023-03-21 23:41:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:41:48] [INFO ] [Nat]Absence check using state equation in 13623 ms returned sat
[2023-03-21 23:41:50] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 943 ms.
Current structural bounds on expressions (after SMT) : [30] Max seen :[4]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1084 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1084 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1087 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:41:52] [INFO ] Invariant cache hit.
[2023-03-21 23:41:58] [INFO ] Implicit Places using invariants in 5977 ms returned []
Implicit Place search using SMT only with invariants took 5978 ms to find 0 implicit places.
[2023-03-21 23:41:58] [INFO ] Invariant cache hit.
[2023-03-21 23:42:14] [INFO ] Dead Transitions using invariants and state equation in 16325 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 23393 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Ending property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-03 in 105667 ms.
Starting property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-04
[2023-03-21 23:42:14] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 7051 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 603 ms. (steps per millisecond=16 ) properties (out of 1) seen :2
[2023-03-21 23:42:22] [INFO ] Invariant cache hit.
[2023-03-21 23:42:23] [INFO ] [Real]Absence check using 2673 positive place invariants in 823 ms returned sat
[2023-03-21 23:42:24] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 577 ms returned sat
[2023-03-21 23:42:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:42:27] [INFO ] [Real]Absence check using state equation in 2939 ms returned unknown
Current structural bounds on expressions (after SMT) : [30] Max seen :[5]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1131 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1133 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:42:28] [INFO ] Invariant cache hit.
Finished random walk after 42964 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 93061 steps, including 0 resets, run visited all 1 properties in 5032 ms. (steps per millisecond=18 )
[2023-03-21 23:43:03] [INFO ] Invariant cache hit.
[2023-03-21 23:43:05] [INFO ] [Real]Absence check using 2673 positive place invariants in 843 ms returned sat
[2023-03-21 23:43:05] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 619 ms returned sat
[2023-03-21 23:43:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:43:18] [INFO ] [Real]Absence check using state equation in 12832 ms returned sat
[2023-03-21 23:43:19] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:43:20] [INFO ] [Nat]Absence check using 2673 positive place invariants in 824 ms returned sat
[2023-03-21 23:43:21] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 589 ms returned sat
[2023-03-21 23:43:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:43:34] [INFO ] [Nat]Absence check using state equation in 13672 ms returned sat
[2023-03-21 23:43:36] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 938 ms.
Current structural bounds on expressions (after SMT) : [30] Max seen :[5]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1137 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1137 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1131 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:43:38] [INFO ] Invariant cache hit.
[2023-03-21 23:43:44] [INFO ] Implicit Places using invariants in 6034 ms returned []
Implicit Place search using SMT only with invariants took 6034 ms to find 0 implicit places.
[2023-03-21 23:43:44] [INFO ] Invariant cache hit.
[2023-03-21 23:44:00] [INFO ] Dead Transitions using invariants and state equation in 15803 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 22972 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Ending property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-04 in 105765 ms.
Starting property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-08
[2023-03-21 23:44:00] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 7117 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 540 ms. (steps per millisecond=18 ) properties (out of 1) seen :2
[2023-03-21 23:44:08] [INFO ] Invariant cache hit.
[2023-03-21 23:44:09] [INFO ] [Real]Absence check using 2673 positive place invariants in 836 ms returned sat
[2023-03-21 23:44:10] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 580 ms returned sat
[2023-03-21 23:44:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:44:13] [INFO ] [Real]Absence check using state equation in 3004 ms returned unknown
Current structural bounds on expressions (after SMT) : [30] Max seen :[3]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1080 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1081 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:44:14] [INFO ] Invariant cache hit.
Finished random walk after 42608 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 92965 steps, including 0 resets, run visited all 1 properties in 5048 ms. (steps per millisecond=18 )
[2023-03-21 23:44:49] [INFO ] Invariant cache hit.
[2023-03-21 23:44:50] [INFO ] [Real]Absence check using 2673 positive place invariants in 818 ms returned sat
[2023-03-21 23:44:51] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 587 ms returned sat
[2023-03-21 23:44:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:45:04] [INFO ] [Real]Absence check using state equation in 13516 ms returned sat
[2023-03-21 23:45:05] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:45:06] [INFO ] [Nat]Absence check using 2673 positive place invariants in 814 ms returned sat
[2023-03-21 23:45:07] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 583 ms returned sat
[2023-03-21 23:45:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:45:21] [INFO ] [Nat]Absence check using state equation in 13838 ms returned sat
[2023-03-21 23:45:22] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 919 ms.
Current structural bounds on expressions (after SMT) : [30] Max seen :[3]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1147 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1147 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1125 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:45:25] [INFO ] Invariant cache hit.
[2023-03-21 23:45:31] [INFO ] Implicit Places using invariants in 6038 ms returned []
Implicit Place search using SMT only with invariants took 6038 ms to find 0 implicit places.
[2023-03-21 23:45:31] [INFO ] Invariant cache hit.
[2023-03-21 23:45:47] [INFO ] Dead Transitions using invariants and state equation in 16168 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 23334 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Ending property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-08 in 106867 ms.
Starting property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-13
[2023-03-21 23:45:47] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 7134 ms. (steps per millisecond=1 ) properties (out of 1) seen :2
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 566 ms. (steps per millisecond=17 ) properties (out of 1) seen :2
[2023-03-21 23:45:55] [INFO ] Invariant cache hit.
[2023-03-21 23:45:56] [INFO ] [Real]Absence check using 2673 positive place invariants in 830 ms returned sat
[2023-03-21 23:45:57] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 598 ms returned sat
[2023-03-21 23:45:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:46:00] [INFO ] [Real]Absence check using state equation in 2973 ms returned unknown
Current structural bounds on expressions (after SMT) : [30] Max seen :[2]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1169 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1169 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:46:01] [INFO ] Invariant cache hit.
Finished random walk after 42905 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 92949 steps, including 0 resets, run visited all 1 properties in 5043 ms. (steps per millisecond=18 )
[2023-03-21 23:46:36] [INFO ] Invariant cache hit.
[2023-03-21 23:46:37] [INFO ] [Real]Absence check using 2673 positive place invariants in 823 ms returned sat
[2023-03-21 23:46:38] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 592 ms returned sat
[2023-03-21 23:46:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:46:51] [INFO ] [Real]Absence check using state equation in 12801 ms returned sat
[2023-03-21 23:46:51] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:46:53] [INFO ] [Nat]Absence check using 2673 positive place invariants in 825 ms returned sat
[2023-03-21 23:46:53] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 587 ms returned sat
[2023-03-21 23:46:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:47:07] [INFO ] [Nat]Absence check using state equation in 13723 ms returned sat
[2023-03-21 23:47:09] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 911 ms.
Current structural bounds on expressions (after SMT) : [30] Max seen :[3]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1128 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1128 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1138 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:47:11] [INFO ] Invariant cache hit.
[2023-03-21 23:47:17] [INFO ] Implicit Places using invariants in 6073 ms returned []
Implicit Place search using SMT only with invariants took 6074 ms to find 0 implicit places.
[2023-03-21 23:47:17] [INFO ] Invariant cache hit.
[2023-03-21 23:47:32] [INFO ] Dead Transitions using invariants and state equation in 15140 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 22359 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:47:32] [INFO ] Invariant cache hit.
Finished random walk after 43261 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 92789 steps, including 0 resets, run visited all 1 properties in 5039 ms. (steps per millisecond=18 )
[2023-03-21 23:48:07] [INFO ] Invariant cache hit.
[2023-03-21 23:48:09] [INFO ] [Real]Absence check using 2673 positive place invariants in 824 ms returned sat
[2023-03-21 23:48:09] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 608 ms returned sat
[2023-03-21 23:48:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:48:22] [INFO ] [Real]Absence check using state equation in 12791 ms returned sat
[2023-03-21 23:48:23] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:48:24] [INFO ] [Nat]Absence check using 2673 positive place invariants in 802 ms returned sat
[2023-03-21 23:48:25] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 588 ms returned sat
[2023-03-21 23:48:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:48:38] [INFO ] [Nat]Absence check using state equation in 13229 ms returned sat
[2023-03-21 23:48:39] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 972 ms.
Current structural bounds on expressions (after SMT) : [30] Max seen :[3]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1154 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1154 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1143 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:48:42] [INFO ] Invariant cache hit.
[2023-03-21 23:48:48] [INFO ] Implicit Places using invariants in 5732 ms returned []
Implicit Place search using SMT only with invariants took 5733 ms to find 0 implicit places.
[2023-03-21 23:48:48] [INFO ] Invariant cache hit.
[2023-03-21 23:49:03] [INFO ] Dead Transitions using invariants and state equation in 15961 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 22841 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Ending property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-13 in 196605 ms.
Starting property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-14
[2023-03-21 23:49:04] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 7085 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 554 ms. (steps per millisecond=18 ) properties (out of 1) seen :2
[2023-03-21 23:49:11] [INFO ] Invariant cache hit.
[2023-03-21 23:49:13] [INFO ] [Real]Absence check using 2673 positive place invariants in 823 ms returned sat
[2023-03-21 23:49:13] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 611 ms returned sat
[2023-03-21 23:49:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:49:16] [INFO ] [Real]Absence check using state equation in 2989 ms returned unknown
Current structural bounds on expressions (after SMT) : [30] Max seen :[3]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1096 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1097 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:49:17] [INFO ] Invariant cache hit.
Finished random walk after 43494 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 92268 steps, including 0 resets, run visited all 1 properties in 5032 ms. (steps per millisecond=18 )
[2023-03-21 23:49:52] [INFO ] Invariant cache hit.
[2023-03-21 23:49:54] [INFO ] [Real]Absence check using 2673 positive place invariants in 824 ms returned sat
[2023-03-21 23:49:54] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 615 ms returned sat
[2023-03-21 23:49:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:50:08] [INFO ] [Real]Absence check using state equation in 13232 ms returned sat
[2023-03-21 23:50:08] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:50:10] [INFO ] [Nat]Absence check using 2673 positive place invariants in 811 ms returned sat
[2023-03-21 23:50:10] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 580 ms returned sat
[2023-03-21 23:50:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:50:23] [INFO ] [Nat]Absence check using state equation in 13300 ms returned sat
[2023-03-21 23:50:25] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 941 ms.
Current structural bounds on expressions (after SMT) : [30] Max seen :[3]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1106 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1107 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1102 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:50:27] [INFO ] Invariant cache hit.
[2023-03-21 23:50:33] [INFO ] Implicit Places using invariants in 5888 ms returned []
Implicit Place search using SMT only with invariants took 5888 ms to find 0 implicit places.
[2023-03-21 23:50:33] [INFO ] Invariant cache hit.
[2023-03-21 23:50:49] [INFO ] Dead Transitions using invariants and state equation in 15653 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 22647 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Ending property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-14 in 105345 ms.
Starting property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-15
[2023-03-21 23:50:49] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 7101 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 554 ms. (steps per millisecond=18 ) properties (out of 1) seen :2
[2023-03-21 23:50:57] [INFO ] Invariant cache hit.
[2023-03-21 23:50:58] [INFO ] [Real]Absence check using 2673 positive place invariants in 823 ms returned sat
[2023-03-21 23:50:59] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 616 ms returned sat
[2023-03-21 23:50:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:51:02] [INFO ] [Real]Absence check using state equation in 2959 ms returned unknown
Current structural bounds on expressions (after SMT) : [30] Max seen :[4]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1092 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1092 ms. Remains : 7533/7533 places, 24300/24300 transitions.
[2023-03-21 23:51:03] [INFO ] Invariant cache hit.
Finished random walk after 43408 steps, including 0 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=1 )
Finished Best-First random walk after 93189 steps, including 0 resets, run visited all 1 properties in 5047 ms. (steps per millisecond=18 )
[2023-03-21 23:51:38] [INFO ] Invariant cache hit.
[2023-03-21 23:51:39] [INFO ] [Real]Absence check using 2673 positive place invariants in 818 ms returned sat
[2023-03-21 23:51:40] [INFO ] [Real]Absence check using 2673 positive and 1 generalized place invariants in 583 ms returned sat
[2023-03-21 23:51:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-21 23:51:52] [INFO ] [Real]Absence check using state equation in 12620 ms returned sat
[2023-03-21 23:51:53] [INFO ] Solution in real domain found non-integer solution.
[2023-03-21 23:51:54] [INFO ] [Nat]Absence check using 2673 positive place invariants in 822 ms returned sat
[2023-03-21 23:51:55] [INFO ] [Nat]Absence check using 2673 positive and 1 generalized place invariants in 589 ms returned sat
[2023-03-21 23:51:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-21 23:52:09] [INFO ] [Nat]Absence check using state equation in 13703 ms returned sat
[2023-03-21 23:52:10] [INFO ] Computed and/alt/rep : 21870/21870/21870 causal constraints (skipped 0 transitions) in 937 ms.
Current structural bounds on expressions (after SMT) : [30] Max seen :[4]
Support contains 1 out of 7533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1149 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1151 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7533/7533 places, 24300/24300 transitions.
Applied a total of 0 rules in 1154 ms. Remains 7533 /7533 variables (removed 0) and now considering 24300/24300 (removed 0) transitions.
[2023-03-21 23:52:13] [INFO ] Invariant cache hit.
[2023-03-21 23:52:19] [INFO ] Implicit Places using invariants in 6080 ms returned []
Implicit Place search using SMT only with invariants took 6080 ms to find 0 implicit places.
[2023-03-21 23:52:19] [INFO ] Invariant cache hit.
[2023-03-21 23:52:34] [INFO ] Dead Transitions using invariants and state equation in 15620 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 22856 ms. Remains : 7533/7533 places, 24300/24300 transitions.
Ending property specific reduction for HypertorusGrid-PT-d5k3p2b10-UpperBounds-15 in 105378 ms.
[2023-03-21 23:52:36] [INFO ] Flatten gal took : 1056 ms
[2023-03-21 23:52:36] [INFO ] Applying decomposition
[2023-03-21 23:52:37] [INFO ] Flatten gal took : 699 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph11483777672444897875.txt' '-o' '/tmp/graph11483777672444897875.bin' '-w' '/tmp/graph11483777672444897875.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph11483777672444897875.bin' '-l' '-1' '-v' '-w' '/tmp/graph11483777672444897875.weights' '-q' '0' '-e' '0.001'
[2023-03-21 23:52:39] [INFO ] Decomposing Gal with order
[2023-03-21 23:52:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 23:52:47] [INFO ] Removed a total of 38880 redundant transitions.
[2023-03-21 23:52:47] [INFO ] Flatten gal took : 1391 ms
[2023-03-21 23:52:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 112 ms.
[2023-03-21 23:52:48] [INFO ] Time to serialize gal into /tmp/UpperBounds9653260832175987916.gal : 164 ms
[2023-03-21 23:52:48] [INFO ] Time to serialize properties into /tmp/UpperBounds1382753155555458979.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/UpperBounds9653260832175987916.gal' '-t' 'CGAL' '-reachable-file' '/tmp/UpperBounds1382753155555458979.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...283
Loading property file /tmp/UpperBounds1382753155555458979.prop.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11954692 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16077332 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ 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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypertorusGrid-PT-d5k3p2b10"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool itstools"
echo " Input is HypertorusGrid-PT-d5k3p2b10, 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 r229-tall-167856412700069"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypertorusGrid-PT-d5k3p2b10.tgz
mv HypertorusGrid-PT-d5k3p2b10 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 ;