About the Execution of LTSMin+red for HypercubeGrid-PT-C4K3P3B12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8337.199 | 3600000.00 | 3842160.00 | 12878.00 | 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/mcc2024-input.r500-smll-171649587800269.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool ltsminxred
Input is HypercubeGrid-PT-C4K3P3B12, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r500-smll-171649587800269
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 9.1K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K May 19 07:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 19 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 19 07:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 18:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Apr 11 21:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 63K Apr 11 21:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Apr 11 19:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Apr 11 19:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 19 07:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 19 15:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 10 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rwxr-xr-x 1 mcc users 3.0M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-00
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-01
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-02
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-03
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-04
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-05
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-06
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-07
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-08
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-09
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-10
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-11
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-12
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-13
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-14
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1717268137038
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypercubeGrid-PT-C4K3P3B12
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 18:55:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -timeout, 360, -rebuildPNML]
[2024-06-01 18:55:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 18:55:40] [INFO ] Load time of PNML (sax parser for PT used): 737 ms
[2024-06-01 18:55:40] [INFO ] Transformed 2457 places.
[2024-06-01 18:55:40] [INFO ] Transformed 5400 transitions.
[2024-06-01 18:55:40] [INFO ] Parsed PT model containing 2457 places and 5400 transitions and 21600 arcs in 1158 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 27 ms.
Current structural bounds on expressions (Initially) : Max Seen:[0, 3, 1, 3, 0, 3, 0, 3, 3, 3, 1, 3, 0, 1, 3, 3] Max Struct:[+inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf]
Current structural bounds on expressions (Before main loop) : Max Seen:[0, 3, 1, 3, 0, 3, 0, 3, 3, 3, 1, 3, 0, 1, 3, 3] Max Struct:[+inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf]
// Phase 1: matrix 5400 rows 2457 cols
[2024-06-01 18:55:41] [INFO ] Computed 946 invariants in 334 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 3, 1, 3, 0, 3, 0, 3, 3, 3, 1, 3, 0, 1, 3, 3] Max Struct:[1, 36, 1, 36, 1, 36, 1, 36, 36, 36, 1, 36, 1, 1, 36, 36]
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-13 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-02 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
RANDOM walk for 10000 steps (2 resets) in 2465 ms. (4 steps per ms)
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-12 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-06 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-04 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-00 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 90009 steps (18 resets) in 3786 ms. (23 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[4, 4, 6, 7, 4, 4, 3, 6, 4] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
[2024-06-01 18:55:47] [INFO ] Invariant cache hit.
[2024-06-01 18:55:49] [INFO ] [Real]Absence check using 945 positive place invariants in 529 ms returned sat
[2024-06-01 18:55:49] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 195 ms returned sat
[2024-06-01 18:55:52] [INFO ] [Real]Absence check using state equation in 3234 ms returned sat
[2024-06-01 18:55:52] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 18:55:53] [INFO ] [Nat]Absence check using 945 positive place invariants in 458 ms returned sat
[2024-06-01 18:55:53] [INFO ] [Nat]Absence check using 945 positive and 1 generalized place invariants in 202 ms returned sat
[2024-06-01 18:55:56] [INFO ] [Nat]Absence check using state equation in 2600 ms returned sat
[2024-06-01 18:55:57] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 649 ms.
Maximisation of solution failed !
Minimization took 1 ms.
[2024-06-01 18:55:58] [INFO ] [Real]Absence check using 945 positive place invariants in 432 ms returned sat
[2024-06-01 18:55:58] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 172 ms returned sat
[2024-06-01 18:56:01] [INFO ] [Real]Absence check using state equation in 2748 ms returned sat
[2024-06-01 18:56:02] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 606 ms.
[2024-06-01 18:56:02] [INFO ] Added : 0 causal constraints over 0 iterations in 616 ms. Result :unknown
[2024-06-01 18:56:03] [INFO ] [Real]Absence check using 945 positive place invariants in 313 ms returned sat
[2024-06-01 18:56:03] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 117 ms returned sat
[2024-06-01 18:56:06] [INFO ] [Real]Absence check using state equation in 2388 ms returned sat
[2024-06-01 18:56:06] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 369 ms.
[2024-06-01 18:56:07] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 18:56:08] [INFO ] [Nat]Absence check using 945 positive place invariants in 391 ms returned sat
[2024-06-01 18:56:08] [INFO ] [Nat]Absence check using 945 positive and 1 generalized place invariants in 195 ms returned sat
[2024-06-01 18:56:11] [INFO ] [Nat]Absence check using state equation in 2617 ms returned sat
[2024-06-01 18:56:12] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 535 ms.
Maximisation of solution failed !
Minimization took 0 ms.
[2024-06-01 18:56:13] [INFO ] [Real]Absence check using 945 positive place invariants in 444 ms returned sat
[2024-06-01 18:56:14] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 168 ms returned sat
[2024-06-01 18:56:16] [INFO ] [Real]Absence check using state equation in 2393 ms returned sat
[2024-06-01 18:56:17] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 528 ms.
[2024-06-01 18:56:17] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 3
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:299)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithCausalOrder(DeadlockTester.java:1137)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:875)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2249)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:910)
at fr.lip6.move.gal.application.Application.start(Application.java:189)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:651)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:588)
at org.eclipse.equinox.launcher.Main.run(Main.java:1459)
at org.eclipse.equinox.launcher.Main.main(Main.java:1432)
[2024-06-01 18:56:18] [INFO ] [Real]Absence check using 945 positive place invariants in 449 ms returned sat
[2024-06-01 18:56:18] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 186 ms returned sat
[2024-06-01 18:56:21] [INFO ] [Real]Absence check using state equation in 2761 ms returned sat
[2024-06-01 18:56:22] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 444 ms.
[2024-06-01 18:56:22] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 18:56:23] [INFO ] [Nat]Absence check using 945 positive place invariants in 462 ms returned sat
[2024-06-01 18:56:24] [INFO ] [Nat]Absence check using 945 positive and 1 generalized place invariants in 179 ms returned sat
[2024-06-01 18:56:26] [INFO ] [Nat]Absence check using state equation in 2467 ms returned sat
[2024-06-01 18:56:27] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 391 ms.
Maximisation of solution failed !
Minimization took 3 ms.
[2024-06-01 18:56:29] [INFO ] [Real]Absence check using 945 positive place invariants in 465 ms returned sat
[2024-06-01 18:56:29] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 173 ms returned sat
[2024-06-01 18:56:31] [INFO ] [Real]Absence check using state equation in 2484 ms returned sat
[2024-06-01 18:56:32] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 527 ms.
[2024-06-01 18:56:33] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 5
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:299)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithCausalOrder(DeadlockTester.java:1137)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:875)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2249)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:910)
at fr.lip6.move.gal.application.Application.start(Application.java:189)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:651)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:588)
at org.eclipse.equinox.launcher.Main.run(Main.java:1459)
at org.eclipse.equinox.launcher.Main.main(Main.java:1432)
[2024-06-01 18:56:34] [INFO ] [Real]Absence check using 945 positive place invariants in 334 ms returned sat
[2024-06-01 18:56:34] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 111 ms returned sat
[2024-06-01 18:56:36] [INFO ] [Real]Absence check using state equation in 2692 ms returned sat
[2024-06-01 18:56:37] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 590 ms.
[2024-06-01 18:56:38] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 6
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:299)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithCausalOrder(DeadlockTester.java:1137)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:875)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2249)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:910)
at fr.lip6.move.gal.application.Application.start(Application.java:189)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:651)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:588)
at org.eclipse.equinox.launcher.Main.run(Main.java:1459)
at org.eclipse.equinox.launcher.Main.main(Main.java:1432)
[2024-06-01 18:56:39] [INFO ] [Real]Absence check using 945 positive place invariants in 285 ms returned sat
[2024-06-01 18:56:39] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 113 ms returned sat
[2024-06-01 18:56:41] [INFO ] [Real]Absence check using state equation in 2461 ms returned sat
[2024-06-01 18:56:42] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 370 ms.
[2024-06-01 18:56:43] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 7
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:299)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithCausalOrder(DeadlockTester.java:1137)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:875)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2249)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:910)
at fr.lip6.move.gal.application.Application.start(Application.java:189)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:651)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:588)
at org.eclipse.equinox.launcher.Main.run(Main.java:1459)
at org.eclipse.equinox.launcher.Main.main(Main.java:1432)
[2024-06-01 18:56:44] [INFO ] [Real]Absence check using 945 positive place invariants in 301 ms returned sat
[2024-06-01 18:56:44] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 119 ms returned sat
[2024-06-01 18:56:46] [INFO ] [Real]Absence check using state equation in 2329 ms returned sat
[2024-06-01 18:56:47] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 373 ms.
[2024-06-01 18:56:48] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 18:56:49] [INFO ] [Nat]Absence check using 945 positive place invariants in 293 ms returned sat
[2024-06-01 18:56:49] [INFO ] [Nat]Absence check using 945 positive and 1 generalized place invariants in 117 ms returned sat
[2024-06-01 18:56:51] [INFO ] [Nat]Absence check using state equation in 2366 ms returned sat
[2024-06-01 18:56:52] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 558 ms.
[2024-06-01 18:56:53] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 8
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:299)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithCausalOrder(DeadlockTester.java:1137)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:875)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2251)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:910)
at fr.lip6.move.gal.application.Application.start(Application.java:189)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:651)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:588)
at org.eclipse.equinox.launcher.Main.run(Main.java:1459)
at org.eclipse.equinox.launcher.Main.main(Main.java:1432)
Current structural bounds on expressions (after SMT) : Max Seen:[4, 4, 6, 7, 4, 4, 3, 6, 4] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[11, 6, 6, 7, 6, 7, 6, 7, 4] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Support contains 9 out of 2457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 516 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 533 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-06-01 18:57:24] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[11, 6, 6, 7, 6, 7, 6, 7, 4] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 183783 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1277753 steps (0 resets) in 45168 ms. (28 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[11, 11, 14, 14, 10, 8, 6, 11, 14] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
[2024-06-01 18:58:39] [INFO ] Invariant cache hit.
[2024-06-01 18:58:40] [INFO ] [Real]Absence check using 945 positive place invariants in 313 ms returned sat
[2024-06-01 18:58:40] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 127 ms returned sat
[2024-06-01 18:58:42] [INFO ] [Real]Absence check using state equation in 2237 ms returned sat
[2024-06-01 18:58:43] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 375 ms.
[2024-06-01 18:59:02] [INFO ] Added : 180 causal constraints over 36 iterations in 20100 ms.(timeout) Result :sat
Minimization took 4754 ms.
[2024-06-01 18:59:08] [INFO ] [Real]Absence check using 945 positive place invariants in 398 ms returned sat
[2024-06-01 18:59:09] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 113 ms returned sat
[2024-06-01 18:59:11] [INFO ] [Real]Absence check using state equation in 2504 ms returned sat
[2024-06-01 18:59:12] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 566 ms.
[2024-06-01 18:59:31] [INFO ] Added : 175 causal constraints over 35 iterations in 20100 ms.(timeout) Result :sat
Minimization took 4740 ms.
[2024-06-01 18:59:37] [INFO ] [Real]Absence check using 945 positive place invariants in 448 ms returned sat
[2024-06-01 18:59:38] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 186 ms returned sat
[2024-06-01 18:59:40] [INFO ] [Real]Absence check using state equation in 2534 ms returned sat
[2024-06-01 18:59:41] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 539 ms.
[2024-06-01 19:00:01] [INFO ] Added : 175 causal constraints over 35 iterations in 20221 ms.(timeout) Result :sat
Minimization took 4746 ms.
[2024-06-01 19:00:07] [INFO ] [Real]Absence check using 945 positive place invariants in 472 ms returned sat
[2024-06-01 19:00:07] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 181 ms returned sat
[2024-06-01 19:00:10] [INFO ] [Real]Absence check using state equation in 2768 ms returned sat
[2024-06-01 19:00:10] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 414 ms.
[2024-06-01 19:00:30] [INFO ] Added : 175 causal constraints over 35 iterations in 20164 ms.(timeout) Result :sat
Minimization took 4739 ms.
[2024-06-01 19:00:36] [INFO ] [Real]Absence check using 945 positive place invariants in 281 ms returned sat
[2024-06-01 19:00:36] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 122 ms returned sat
[2024-06-01 19:00:39] [INFO ] [Real]Absence check using state equation in 2600 ms returned sat
[2024-06-01 19:00:39] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 346 ms.
[2024-06-01 19:01:00] [INFO ] Added : 190 causal constraints over 38 iterations in 20540 ms.(timeout) Result :sat
Minimization took 4752 ms.
[2024-06-01 19:01:05] [INFO ] [Real]Absence check using 945 positive place invariants in 279 ms returned sat
[2024-06-01 19:01:05] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 121 ms returned sat
[2024-06-01 19:01:08] [INFO ] [Real]Absence check using state equation in 2332 ms returned sat
[2024-06-01 19:01:08] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 401 ms.
[2024-06-01 19:01:28] [INFO ] Added : 225 causal constraints over 45 iterations in 20089 ms.(timeout) Result :sat
Minimization took 4737 ms.
[2024-06-01 19:01:34] [INFO ] [Real]Absence check using 945 positive place invariants in 405 ms returned sat
[2024-06-01 19:01:34] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 159 ms returned sat
[2024-06-01 19:01:37] [INFO ] [Real]Absence check using state equation in 2283 ms returned sat
[2024-06-01 19:01:38] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 561 ms.
[2024-06-01 19:01:57] [INFO ] Added : 175 causal constraints over 35 iterations in 20533 ms.(timeout) Result :sat
Minimization took 4738 ms.
[2024-06-01 19:02:03] [INFO ] [Real]Absence check using 945 positive place invariants in 247 ms returned sat
[2024-06-01 19:02:03] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 119 ms returned sat
[2024-06-01 19:02:06] [INFO ] [Real]Absence check using state equation in 2307 ms returned sat
[2024-06-01 19:02:06] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 358 ms.
[2024-06-01 19:02:26] [INFO ] Added : 195 causal constraints over 39 iterations in 20525 ms.(timeout) Result :sat
Minimization took 4738 ms.
[2024-06-01 19:02:32] [INFO ] [Real]Absence check using 945 positive place invariants in 276 ms returned sat
[2024-06-01 19:02:32] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 123 ms returned sat
[2024-06-01 19:02:35] [INFO ] [Real]Absence check using state equation in 2217 ms returned sat
[2024-06-01 19:02:36] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 560 ms.
[2024-06-01 19:02:55] [INFO ] Added : 180 causal constraints over 36 iterations in 20220 ms.(timeout) Result :sat
Minimization took 4749 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[11, 11, 14, 14, 10, 8, 6, 11, 14] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[11, 11, 14, 14, 10, 8, 6, 11, 14] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Support contains 9 out of 2457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 253 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 254 ms. Remains : 2457/2457 places, 5400/5400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 372 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-06-01 19:03:01] [INFO ] Invariant cache hit.
[2024-06-01 19:03:07] [INFO ] Implicit Places using invariants in 5566 ms returned []
[2024-06-01 19:03:07] [INFO ] Invariant cache hit.
[2024-06-01 19:03:15] [INFO ] Implicit Places using invariants and state equation in 8887 ms returned []
Implicit Place search using SMT with State Equation took 14455 ms to find 0 implicit places.
[2024-06-01 19:03:16] [INFO ] Redundant transitions in 772 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-06-01 19:03:16] [INFO ] Invariant cache hit.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30258 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 4752/4752 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4752 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30170 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 0/4752 constraints, Known Traps: 0/0 constraints]
After SMT, in 69991ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 70163ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 85841 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-06-01 19:04:26] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[11, 11, 14, 14, 10, 8, 6, 11, 14] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 195714 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1375274 steps (0 resets) in 45171 ms. (30 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[11, 11, 14, 14, 10, 8, 8, 11, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
[2024-06-01 19:05:42] [INFO ] Invariant cache hit.
[2024-06-01 19:05:43] [INFO ] [Real]Absence check using 945 positive place invariants in 328 ms returned sat
[2024-06-01 19:05:43] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 133 ms returned sat
[2024-06-01 19:05:45] [INFO ] [Real]Absence check using state equation in 2706 ms returned sat
[2024-06-01 19:05:46] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 562 ms.
[2024-06-01 19:06:06] [INFO ] Added : 175 causal constraints over 35 iterations in 20014 ms.(timeout) Result :sat
Minimization took 4753 ms.
[2024-06-01 19:06:12] [INFO ] [Real]Absence check using 945 positive place invariants in 398 ms returned sat
[2024-06-01 19:06:12] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 143 ms returned sat
[2024-06-01 19:06:14] [INFO ] [Real]Absence check using state equation in 2468 ms returned sat
[2024-06-01 19:06:15] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 409 ms.
[2024-06-01 19:06:35] [INFO ] Added : 180 causal constraints over 36 iterations in 20418 ms.(timeout) Result :sat
Minimization took 4797 ms.
[2024-06-01 19:06:41] [INFO ] [Real]Absence check using 945 positive place invariants in 415 ms returned sat
[2024-06-01 19:06:42] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 117 ms returned sat
[2024-06-01 19:06:44] [INFO ] [Real]Absence check using state equation in 2553 ms returned sat
[2024-06-01 19:06:45] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 520 ms.
[2024-06-01 19:07:05] [INFO ] Added : 220 causal constraints over 44 iterations in 20263 ms.(timeout) Result :sat
Minimization took 4763 ms.
[2024-06-01 19:07:11] [INFO ] [Real]Absence check using 945 positive place invariants in 459 ms returned sat
[2024-06-01 19:07:11] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 206 ms returned sat
[2024-06-01 19:07:14] [INFO ] [Real]Absence check using state equation in 3056 ms returned sat
[2024-06-01 19:07:15] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 613 ms.
[2024-06-01 19:07:35] [INFO ] Added : 170 causal constraints over 34 iterations in 20347 ms.(timeout) Result :sat
Minimization took 4785 ms.
[2024-06-01 19:07:41] [INFO ] [Real]Absence check using 945 positive place invariants in 478 ms returned sat
[2024-06-01 19:07:41] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 182 ms returned sat
[2024-06-01 19:07:44] [INFO ] [Real]Absence check using state equation in 2356 ms returned sat
[2024-06-01 19:07:44] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 349 ms.
[2024-06-01 19:08:04] [INFO ] Added : 180 causal constraints over 36 iterations in 20178 ms.(timeout) Result :sat
Minimization took 4853 ms.
[2024-06-01 19:08:10] [INFO ] [Real]Absence check using 945 positive place invariants in 464 ms returned sat
[2024-06-01 19:08:10] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 202 ms returned sat
[2024-06-01 19:08:13] [INFO ] [Real]Absence check using state equation in 2712 ms returned sat
[2024-06-01 19:08:14] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 500 ms.
[2024-06-01 19:08:34] [INFO ] Added : 195 causal constraints over 39 iterations in 20233 ms.(timeout) Result :sat
Minimization took 4764 ms.
[2024-06-01 19:08:40] [INFO ] [Real]Absence check using 945 positive place invariants in 424 ms returned sat
[2024-06-01 19:08:40] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 182 ms returned sat
[2024-06-01 19:08:42] [INFO ] [Real]Absence check using state equation in 2611 ms returned sat
[2024-06-01 19:08:43] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 565 ms.
[2024-06-01 19:09:03] [INFO ] Added : 245 causal constraints over 49 iterations in 20433 ms.(timeout) Result :sat
Minimization took 4750 ms.
[2024-06-01 19:09:09] [INFO ] [Real]Absence check using 945 positive place invariants in 267 ms returned sat
[2024-06-01 19:09:09] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 125 ms returned sat
[2024-06-01 19:09:11] [INFO ] [Real]Absence check using state equation in 2354 ms returned sat
[2024-06-01 19:09:12] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 564 ms.
[2024-06-01 19:09:32] [INFO ] Added : 230 causal constraints over 46 iterations in 20038 ms.(timeout) Result :sat
Minimization took 4743 ms.
[2024-06-01 19:09:38] [INFO ] [Real]Absence check using 945 positive place invariants in 418 ms returned sat
[2024-06-01 19:09:38] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 196 ms returned sat
[2024-06-01 19:09:41] [INFO ] [Real]Absence check using state equation in 2669 ms returned sat
[2024-06-01 19:09:41] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 526 ms.
[2024-06-01 19:10:01] [INFO ] Added : 190 causal constraints over 38 iterations in 20042 ms.(timeout) Result :sat
Minimization took 4748 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[11, 11, 14, 14, 10, 8, 8, 11, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[11, 11, 14, 14, 10, 8, 8, 11, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Support contains 9 out of 2457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 223 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 227 ms. Remains : 2457/2457 places, 5400/5400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 256 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-06-01 19:10:07] [INFO ] Invariant cache hit.
[2024-06-01 19:10:11] [INFO ] Implicit Places using invariants in 4713 ms returned []
[2024-06-01 19:10:11] [INFO ] Invariant cache hit.
[2024-06-01 19:10:20] [INFO ] Implicit Places using invariants and state equation in 8603 ms returned []
Implicit Place search using SMT with State Equation took 13320 ms to find 0 implicit places.
[2024-06-01 19:10:21] [INFO ] Redundant transitions in 682 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-06-01 19:10:21] [INFO ] Invariant cache hit.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30133 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 4752/4752 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4752 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30147 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 0/4752 constraints, Known Traps: 0/0 constraints]
After SMT, in 67902ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 67997ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 82280 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-06-01 19:11:29] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[11, 11, 14, 14, 10, 8, 8, 11, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 189314 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1369102 steps (0 resets) in 45136 ms. (30 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[11, 11, 14, 14, 18, 12, 8, 13, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
[2024-06-01 19:12:44] [INFO ] Invariant cache hit.
[2024-06-01 19:12:45] [INFO ] [Real]Absence check using 945 positive place invariants in 432 ms returned sat
[2024-06-01 19:12:45] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 182 ms returned sat
[2024-06-01 19:12:48] [INFO ] [Real]Absence check using state equation in 2923 ms returned sat
[2024-06-01 19:12:49] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 577 ms.
[2024-06-01 19:13:09] [INFO ] Added : 245 causal constraints over 49 iterations in 20595 ms.(timeout) Result :sat
Minimization took 4749 ms.
[2024-06-01 19:13:14] [INFO ] [Real]Absence check using 945 positive place invariants in 304 ms returned sat
[2024-06-01 19:13:15] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 119 ms returned sat
[2024-06-01 19:13:17] [INFO ] [Real]Absence check using state equation in 2657 ms returned sat
[2024-06-01 19:13:18] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 532 ms.
[2024-06-01 19:13:38] [INFO ] Added : 250 causal constraints over 50 iterations in 20196 ms.(timeout) Result :sat
Minimization took 4745 ms.
[2024-06-01 19:13:43] [INFO ] [Real]Absence check using 945 positive place invariants in 287 ms returned sat
[2024-06-01 19:13:44] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 112 ms returned sat
[2024-06-01 19:13:46] [INFO ] [Real]Absence check using state equation in 2801 ms returned sat
[2024-06-01 19:13:47] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 363 ms.
[2024-06-01 19:14:07] [INFO ] Added : 280 causal constraints over 56 iterations in 20557 ms.(timeout) Result :sat
Minimization took 4742 ms.
[2024-06-01 19:14:13] [INFO ] [Real]Absence check using 945 positive place invariants in 269 ms returned sat
[2024-06-01 19:14:13] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 127 ms returned sat
[2024-06-01 19:14:15] [INFO ] [Real]Absence check using state equation in 2266 ms returned sat
[2024-06-01 19:14:16] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 367 ms.
[2024-06-01 19:14:36] [INFO ] Added : 295 causal constraints over 59 iterations in 20120 ms.(timeout) Result :sat
Minimization took 4762 ms.
[2024-06-01 19:14:41] [INFO ] [Real]Absence check using 945 positive place invariants in 314 ms returned sat
[2024-06-01 19:14:41] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 116 ms returned sat
[2024-06-01 19:14:44] [INFO ] [Real]Absence check using state equation in 2353 ms returned sat
[2024-06-01 19:14:45] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 416 ms.
[2024-06-01 19:15:04] [INFO ] Added : 265 causal constraints over 53 iterations in 20153 ms.(timeout) Result :sat
Minimization took 4761 ms.
[2024-06-01 19:15:10] [INFO ] [Real]Absence check using 945 positive place invariants in 531 ms returned sat
[2024-06-01 19:15:11] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 210 ms returned sat
[2024-06-01 19:15:13] [INFO ] [Real]Absence check using state equation in 2827 ms returned sat
[2024-06-01 19:15:14] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 483 ms.
[2024-06-01 19:15:34] [INFO ] Added : 175 causal constraints over 35 iterations in 20170 ms.(timeout) Result :sat
Minimization took 4736 ms.
[2024-06-01 19:15:40] [INFO ] [Real]Absence check using 945 positive place invariants in 282 ms returned sat
[2024-06-01 19:15:40] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 115 ms returned sat
[2024-06-01 19:15:42] [INFO ] [Real]Absence check using state equation in 2474 ms returned sat
[2024-06-01 19:15:43] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 363 ms.
[2024-06-01 19:16:03] [INFO ] Added : 185 causal constraints over 37 iterations in 20079 ms.(timeout) Result :sat
Minimization took 4745 ms.
[2024-06-01 19:16:08] [INFO ] [Real]Absence check using 945 positive place invariants in 277 ms returned sat
[2024-06-01 19:16:09] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 117 ms returned sat
[2024-06-01 19:16:11] [INFO ] [Real]Absence check using state equation in 2158 ms returned sat
[2024-06-01 19:16:11] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 357 ms.
[2024-06-01 19:16:31] [INFO ] Added : 270 causal constraints over 54 iterations in 20283 ms.(timeout) Result :sat
Minimization took 4741 ms.
[2024-06-01 19:16:37] [INFO ] [Real]Absence check using 945 positive place invariants in 337 ms returned sat
[2024-06-01 19:16:37] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 142 ms returned sat
[2024-06-01 19:16:39] [INFO ] [Real]Absence check using state equation in 2173 ms returned sat
[2024-06-01 19:16:40] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 353 ms.
[2024-06-01 19:17:00] [INFO ] Added : 315 causal constraints over 63 iterations in 20191 ms.(timeout) Result :sat
Minimization took 4756 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[11, 11, 14, 14, 18, 12, 8, 13, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[11, 11, 14, 14, 18, 12, 8, 13, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Support contains 9 out of 2457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 189 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 190 ms. Remains : 2457/2457 places, 5400/5400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 162 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-06-01 19:17:05] [INFO ] Invariant cache hit.
[2024-06-01 19:17:09] [INFO ] Implicit Places using invariants in 3814 ms returned []
[2024-06-01 19:17:09] [INFO ] Invariant cache hit.
[2024-06-01 19:17:18] [INFO ] Implicit Places using invariants and state equation in 8785 ms returned []
Implicit Place search using SMT with State Equation took 12601 ms to find 0 implicit places.
[2024-06-01 19:17:18] [INFO ] Redundant transitions in 497 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-06-01 19:17:18] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30136 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 4752/4752 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4752 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Error getting values : (error "ParserException while parsing response: ((s648 1)
(s649 1)
(s650 1)
(s651 1)
(s652 1)
(s653 1)
(s654 1)
(s655 1)
(s656 1)
(s657 1)
(s658 1)
(s659 1)
(s660 1)
(s661 1)
(s662 1)
(s663 1)
(s664 1)
(s665 1)
(s666 1)
(s667 1)
(s668 1)
(s669 1)
(s670 1)
(s671 1)
(s672 1)
(s673 1)
(s674 1)
(s675 1)
(s676 1)
(s677 1)
(s678 1)
(s679 1)
(s680 1)
(s681 1)
(s682 1)
(s683 1)
(s684 1)
(s685 1)
(s686 1)
(s687 1)
(s688 1)
(s689 1)
(s690 1)
(s691 1)
(s692 1)
(s693 1)
(s694 1)
(s695 1)
(s696 1)
(s697 1)
(s698 1)
(s699 1)
(s700 1)
(s701 1)
(s702 1)
(s703 1)
(s704 1)
(s705 1)
(s706 1)
(s707 1)
(s708 1)
(s709 1)
(s710 1)
(s711 1)
(s712 1)
(s713 1)
(s714 1)
(s715 1)
(s716 1)
(s717 1)
(s718 1)
(s719 1)
(s720 1)
(s721 1)
(s722 1)
(s723 1)
(s724 1)
(s725 1)
(s726 1)
(s727 1)
(s728 1)
(s729 1)
(s730 1)
(s731 1)
(s732 1)
(s733 1)
(s734 1)
(s735 1)
(s736 1)
(s737 1)
(s738 1)
(s739 1)
(s740 1)
(s741 1)
(s742 1)
(s743 1)
(s744 1)
(s745 1)
(s746 1)
(s747 1)
(s748 1)
(s749 1)
(s750 1)
(s751 1)
(s752 1)
(s753 1)
(s754 1)
(s755 1)
(s756 1)
(s757 1)
(s758 1)
(s759 1)
(s760 1)
(s761 1)
(s762 1)
(s763 1)
(s764 1)
(s765 1)
(s766 1)
(s767 1)
(s768 1)
(s769 1)
(s770 1)
(s771 1)
(s772 1)
(s773 1)
(s774 1)
(s775 1)
(s776 1)
(s777 1)
(s778 1)
(s779 1)
(s780 1)
(s781 1)
(s782 1)
(s783 1)
(s784 1)
(s785 1)
(s786 1)
(s787 1)
(s788 1)
(s789 1)
(s790 1)
(s791 1)
(s792 1)
(s793 1)
(s794 1)
(s795 1)
(s796 1)
(s797 1)
(s798 1)
(s799 1)
(s800 1)
(s801 1)
(s802 1)
(s803 1)
(s804 1)
(s805 1)
(s806 1)
(s807 1)
(s808 1)
(s809 1)
(s810 1)
(s811 1)
(s812 1)
(s813 1)
(s814 1)
(s815 1)
(s816 1)
(s817 1)
(s818 1)
(s819 1)
(s820 1)
(s821 1)
(s822 1)
(s823 1)
(s824 1)
(s825 1)
(s826 1)
(s827 1)
(s828 1)
(s829 1)
(s830 1)
(s831 1)
(s832 1)
(s833 1)
(s834 1)
(s835 1)
(s836 1)
(s837 0)
(s838 0)
(s839 0)
(s840 0)
(s841 0)
(s842 0)
(s843 0)
(s844 0)
(s845 0)
(s846 1)
(s847 1)
(s848 1)
(s849 1)
(s850 1)
(s851 1)
(s852 1)
(s853 1)
(s854 1)
(s855 1)
(s856 1)
(s857 1)
(s858 1)
(s859 1)
(s860 1)
(s861 1)
(s862 1)
(s863 1)
(s864 1)
(s865 1)
(s866 1)
(s867 1)
(s868 1)
(s869 1)
(s870 1)
(s871 1)
(s872 1)
(s873 0)
(s874 0)
(s875 0)
(s876 0)
(s877 0)
(s878 0)
(s879 0)
(s880 0)
(s881 0)
(s882 1)
(s883 1)
(s884 1)
(s885 1)
(s886 1)
(s887 1)
(s888 1)
(s889 1)
(s890 1)
(s891 1)
(s892 1)
(s893 1)
(s894 1)
(s895 1)
(s896 1)
(s897 1)
(s898 1)
(s899 1)
(s900 1)
(s901 1)
(s902 1)
(s903 1)
(s904 1)
(s905 1)
(s906 1)
(s907 1)
(s908 1)
(s909 0)
(s910 0)
(s911 0)
(s912 0)
(s913 0)
(s914 0)
(s915 0)
(s916 0)
(s917 0)
(s918 1)
(s919 1)
(s920 1)
(s921 1)
(s922 1)
(s923 1)
(s924 1)
(s925 1)
(s926 1)
(s927 1)
(s928 1)
(s929 1)
(s930 1)
(s931 1)
(s932 1)
(s933 1)
(s934 1)
(s935 1)
(s936 1)
(s937 1)
(s938 1)
(s939 1)
(s940 1)
(s941 1)
(s942 1)
(s943 1)
(s944 1)
(s945 0)
(s946 0)
(s947 0)
(s948 1)
(s949 1)
(s950 1)
(s951 1)
(s952 1)
(s953 1)
(s954 1)
(s955 1)
(s956 1)
(s957 0)
(s958 0)
(s959 0)
(s960 1)
(s961 1)
(s962 1)
(s963 1)
(s964 1)
(s965 1)
(s966 1)
(s967 1)
(s968 1)
(s969 0)
(s970 0)
(s971 0)
(s972 1)
(s973 1)
(s974 1)
(s975 1)
(s976 1)
(s977 1)
(s978 1)
(s979 1)
(s980 1)
(s981 0)
(s982 0)
(s983 0)
(s984 1)
(s985 1)
(s986 1)
(s987 1)
(s988 1)
(s989 1)
(s990 1)
(s991 1)
(s992 1)
(s993 0)
(s994 0)
(s995 0)
(s996 1)
(s997 1)
(s998 1)
(s999 1)
(s1000 1)
(s1001 1)
(s1002 1)
(s1003 1)
(s1004 1)
(s1005 0)
(s1006 0)
(s1007 0)
(s1008 1)
(s1009 1)
(s1010 1)
(s1011 1)
(s1012 1)
(s1013 1)
(s1014 1)
(s1015 1)
(s1016 1)
(s1017 0)
(s1018 0)
(s1019 0)
(s1020 1)
(s1021 1)
(s1022 1)
(s1023 1)
(s1024 1)
(s1025 1)
(s1026 1)
(s1027 1)
(s1028 1)
(s1029 0)
(s1030 0)
(s1031 0)
(s1032 1)
(s1033 1)
(s1034 1)
(s1035 1)
(s1036 1)
(s1037 1)
(s1038 1)
(s1039 1)
(s1040 1)
(s1041 0)
(s1042 0)
(s1043 0)
(s1044 1)
(s1045 1)
(s1046 1)
(s1047 1)
(s1048 1)
(s1049 1)
(s1050 1)
(s1051 1)
(s1052 1)
(s1053 0)
(s1054 1)
(s1055 1)
(s1056 1)
(s1057 0)
(s1058 1)
(s1059 1)
(s1060 1)
(s1061 0)
(s1062 1)
(s1063 1)
(s1064 1)
(s1065 0)
(s1066 1)
(s1067 1)
(s1068 1)
(s1069 0)
(s1070 1)
(s1071 1)
(s1072 1)
(s1073 0)
(s1074 1)
(s1075 1)
(s1076 1)
(s1077 0)
(s1078 1)
(s1079 1)
(s1080 1)
(s1081 0)
(s1082 1)
(s1083 1)
(s1084 1)
(s1085 0)
(s1086 1)
(s1087 1)
(s1088 1)
(s1089 0)
(s1090 1)
(s1091 1)
(s1092 1)
(s1093 0)
(s1094 1)
(s1095 1)
(s1096 1)
(s1097 0)
(s1098 1)
(s1099 1)
(s1100 1)
(s1101 0)
(s1102 1)
(s1103 1)
(s1104 1)
(s1105 0)
(s1106 1)
(s1107 1)
(s1108 1)
(s1109 0)
(s1110 1)
(s1111 1)
(s1112 1)
(s1113 0)
(s1114 1)
(s1115 1)
(s1116 1)
(s1117 0)
(s1118 1)
(s1119 1)
(s1120 1)
(s1121 0)
(s1122 1)
(s1123 1)
(s1124 1)
(s1125 0)
(s1126 1)
(s1127 1)
(s1128 1)
(s1129 0)
(s1130 1)
(s1131 1)
(s1132 1)
(s1133 0)
(s1134 1)
(s1135 1)
(s1136 1)
(s1137 0)
(s1138 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30137 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 0/4752 constraints, Known Traps: 0/0 constraints]
After SMT, in 67875ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 67927ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 81205 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-06-01 19:18:26] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[11, 11, 14, 14, 18, 12, 8, 13, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 190428 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1344885 steps (0 resets) in 45179 ms. (29 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[11, 11, 14, 14, 18, 12, 8, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
[2024-06-01 19:19:42] [INFO ] Invariant cache hit.
[2024-06-01 19:19:42] [INFO ] [Real]Absence check using 945 positive place invariants in 464 ms returned sat
[2024-06-01 19:19:43] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 200 ms returned sat
[2024-06-01 19:19:45] [INFO ] [Real]Absence check using state equation in 2563 ms returned sat
[2024-06-01 19:19:46] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 387 ms.
[2024-06-01 19:20:06] [INFO ] Added : 175 causal constraints over 35 iterations in 20294 ms.(timeout) Result :sat
Minimization took 4745 ms.
[2024-06-01 19:20:12] [INFO ] [Real]Absence check using 945 positive place invariants in 469 ms returned sat
[2024-06-01 19:20:12] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 182 ms returned sat
[2024-06-01 19:20:15] [INFO ] [Real]Absence check using state equation in 2602 ms returned sat
[2024-06-01 19:20:15] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 395 ms.
[2024-06-01 19:20:35] [INFO ] Added : 175 causal constraints over 35 iterations in 20264 ms.(timeout) Result :sat
Minimization took 4747 ms.
[2024-06-01 19:20:41] [INFO ] [Real]Absence check using 945 positive place invariants in 304 ms returned sat
[2024-06-01 19:20:41] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 140 ms returned sat
[2024-06-01 19:20:43] [INFO ] [Real]Absence check using state equation in 2382 ms returned sat
[2024-06-01 19:20:44] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 542 ms.
[2024-06-01 19:21:04] [INFO ] Added : 175 causal constraints over 35 iterations in 20264 ms.(timeout) Result :sat
Minimization took 4743 ms.
[2024-06-01 19:21:10] [INFO ] [Real]Absence check using 945 positive place invariants in 479 ms returned sat
[2024-06-01 19:21:10] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 187 ms returned sat
[2024-06-01 19:21:13] [INFO ] [Real]Absence check using state equation in 2658 ms returned sat
[2024-06-01 19:21:14] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 524 ms.
[2024-06-01 19:21:34] [INFO ] Added : 170 causal constraints over 34 iterations in 20193 ms.(timeout) Result :sat
Minimization took 4743 ms.
[2024-06-01 19:21:39] [INFO ] [Real]Absence check using 945 positive place invariants in 292 ms returned sat
[2024-06-01 19:21:39] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 126 ms returned sat
[2024-06-01 19:21:42] [INFO ] [Real]Absence check using state equation in 2417 ms returned sat
[2024-06-01 19:21:43] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 356 ms.
[2024-06-01 19:22:02] [INFO ] Added : 185 causal constraints over 37 iterations in 20181 ms.(timeout) Result :sat
Minimization took 4749 ms.
[2024-06-01 19:22:08] [INFO ] [Real]Absence check using 945 positive place invariants in 289 ms returned sat
[2024-06-01 19:22:08] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 117 ms returned sat
[2024-06-01 19:22:11] [INFO ] [Real]Absence check using state equation in 2536 ms returned sat
[2024-06-01 19:22:11] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 337 ms.
[2024-06-01 19:22:32] [INFO ] Added : 185 causal constraints over 37 iterations in 20795 ms.(timeout) Result :sat
Minimization took 4739 ms.
[2024-06-01 19:22:38] [INFO ] [Real]Absence check using 945 positive place invariants in 421 ms returned sat
[2024-06-01 19:22:38] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 162 ms returned sat
[2024-06-01 19:22:40] [INFO ] [Real]Absence check using state equation in 2186 ms returned sat
[2024-06-01 19:22:41] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 429 ms.
[2024-06-01 19:23:00] [INFO ] Added : 180 causal constraints over 36 iterations in 20021 ms.(timeout) Result :sat
Minimization took 4743 ms.
[2024-06-01 19:23:06] [INFO ] [Real]Absence check using 945 positive place invariants in 371 ms returned sat
[2024-06-01 19:23:06] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 184 ms returned sat
[2024-06-01 19:23:09] [INFO ] [Real]Absence check using state equation in 2386 ms returned sat
[2024-06-01 19:23:09] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 349 ms.
[2024-06-01 19:23:29] [INFO ] Added : 205 causal constraints over 41 iterations in 20011 ms.(timeout) Result :sat
Minimization took 4743 ms.
[2024-06-01 19:23:35] [INFO ] [Real]Absence check using 945 positive place invariants in 374 ms returned sat
[2024-06-01 19:23:35] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 122 ms returned sat
[2024-06-01 19:23:38] [INFO ] [Real]Absence check using state equation in 2558 ms returned sat
[2024-06-01 19:23:38] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 391 ms.
[2024-06-01 19:23:58] [INFO ] Added : 265 causal constraints over 53 iterations in 20560 ms.(timeout) Result :sat
Minimization took 4747 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[11, 11, 14, 14, 18, 12, 8, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[11, 11, 14, 14, 18, 12, 8, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Support contains 9 out of 2457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 162 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 163 ms. Remains : 2457/2457 places, 5400/5400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 243 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-06-01 19:24:04] [INFO ] Invariant cache hit.
[2024-06-01 19:24:07] [INFO ] Implicit Places using invariants in 3478 ms returned []
[2024-06-01 19:24:07] [INFO ] Invariant cache hit.
[2024-06-01 19:24:18] [INFO ] Implicit Places using invariants and state equation in 10937 ms returned []
Implicit Place search using SMT with State Equation took 14416 ms to find 0 implicit places.
[2024-06-01 19:24:19] [INFO ] Redundant transitions in 897 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-06-01 19:24:19] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30103 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 4752/4752 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4752 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30117 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 0/4752 constraints, Known Traps: 0/0 constraints]
After SMT, in 67600ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 67651ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 83224 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-06-01 19:25:27] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[11, 11, 14, 14, 18, 12, 8, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 185483 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1350242 steps (0 resets) in 45211 ms. (29 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[11, 13, 14, 14, 18, 12, 8, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
[2024-06-01 19:26:42] [INFO ] Invariant cache hit.
[2024-06-01 19:26:43] [INFO ] [Real]Absence check using 945 positive place invariants in 344 ms returned sat
[2024-06-01 19:26:43] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 140 ms returned sat
[2024-06-01 19:26:46] [INFO ] [Real]Absence check using state equation in 2877 ms returned sat
[2024-06-01 19:26:47] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 525 ms.
[2024-06-01 19:27:06] [INFO ] Added : 270 causal constraints over 54 iterations in 20114 ms.(timeout) Result :sat
Minimization took 4753 ms.
[2024-06-01 19:27:12] [INFO ] [Real]Absence check using 945 positive place invariants in 315 ms returned sat
[2024-06-01 19:27:12] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 120 ms returned sat
[2024-06-01 19:27:15] [INFO ] [Real]Absence check using state equation in 2460 ms returned sat
[2024-06-01 19:27:15] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 396 ms.
[2024-06-01 19:27:35] [INFO ] Added : 245 causal constraints over 49 iterations in 20015 ms.(timeout) Result :sat
Minimization took 4751 ms.
[2024-06-01 19:27:41] [INFO ] [Real]Absence check using 945 positive place invariants in 286 ms returned sat
[2024-06-01 19:27:41] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 115 ms returned sat
[2024-06-01 19:27:43] [INFO ] [Real]Absence check using state equation in 2567 ms returned sat
[2024-06-01 19:27:44] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 470 ms.
[2024-06-01 19:28:04] [INFO ] Added : 250 causal constraints over 50 iterations in 20113 ms.(timeout) Result :sat
Minimization took 4751 ms.
[2024-06-01 19:28:10] [INFO ] [Real]Absence check using 945 positive place invariants in 429 ms returned sat
[2024-06-01 19:28:10] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 197 ms returned sat
[2024-06-01 19:28:12] [INFO ] [Real]Absence check using state equation in 2624 ms returned sat
[2024-06-01 19:28:13] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 517 ms.
[2024-06-01 19:28:33] [INFO ] Added : 280 causal constraints over 56 iterations in 20020 ms.(timeout) Result :sat
Minimization took 4756 ms.
[2024-06-01 19:28:39] [INFO ] [Real]Absence check using 945 positive place invariants in 289 ms returned sat
[2024-06-01 19:28:39] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 123 ms returned sat
[2024-06-01 19:28:41] [INFO ] [Real]Absence check using state equation in 2579 ms returned sat
[2024-06-01 19:28:42] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 405 ms.
[2024-06-01 19:29:02] [INFO ] Added : 245 causal constraints over 49 iterations in 20348 ms.(timeout) Result :sat
Minimization took 4755 ms.
[2024-06-01 19:29:08] [INFO ] [Real]Absence check using 945 positive place invariants in 319 ms returned sat
[2024-06-01 19:29:08] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 123 ms returned sat
[2024-06-01 19:29:11] [INFO ] [Real]Absence check using state equation in 2856 ms returned sat
[2024-06-01 19:29:11] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 372 ms.
[2024-06-01 19:29:31] [INFO ] Added : 270 causal constraints over 54 iterations in 20465 ms.(timeout) Result :sat
Minimization took 4759 ms.
[2024-06-01 19:29:37] [INFO ] [Real]Absence check using 945 positive place invariants in 277 ms returned sat
[2024-06-01 19:29:37] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 114 ms returned sat
[2024-06-01 19:29:40] [INFO ] [Real]Absence check using state equation in 2433 ms returned sat
[2024-06-01 19:29:40] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 444 ms.
[2024-06-01 19:30:00] [INFO ] Added : 215 causal constraints over 43 iterations in 20111 ms.(timeout) Result :sat
Minimization took 4751 ms.
[2024-06-01 19:30:06] [INFO ] [Real]Absence check using 945 positive place invariants in 303 ms returned sat
[2024-06-01 19:30:06] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 122 ms returned sat
[2024-06-01 19:30:08] [INFO ] [Real]Absence check using state equation in 2205 ms returned sat
[2024-06-01 19:30:09] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 357 ms.
[2024-06-01 19:30:28] [INFO ] Added : 300 causal constraints over 60 iterations in 20050 ms.(timeout) Result :sat
Minimization took 4796 ms.
[2024-06-01 19:30:34] [INFO ] [Real]Absence check using 945 positive place invariants in 307 ms returned sat
[2024-06-01 19:30:34] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 137 ms returned sat
[2024-06-01 19:30:37] [INFO ] [Real]Absence check using state equation in 2265 ms returned sat
[2024-06-01 19:30:38] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 444 ms.
[2024-06-01 19:30:57] [INFO ] Added : 220 causal constraints over 44 iterations in 20185 ms.(timeout) Result :sat
Minimization took 4793 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[11, 13, 14, 14, 18, 12, 8, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[11, 13, 14, 14, 18, 12, 8, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Support contains 9 out of 2457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 171 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 172 ms. Remains : 2457/2457 places, 5400/5400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 170 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-06-01 19:31:03] [INFO ] Invariant cache hit.
[2024-06-01 19:31:07] [INFO ] Implicit Places using invariants in 4412 ms returned []
[2024-06-01 19:31:07] [INFO ] Invariant cache hit.
[2024-06-01 19:31:16] [INFO ] Implicit Places using invariants and state equation in 8434 ms returned []
Implicit Place search using SMT with State Equation took 12853 ms to find 0 implicit places.
[2024-06-01 19:31:16] [INFO ] Redundant transitions in 399 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-06-01 19:31:16] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30088 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 4752/4752 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4752 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30073 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 0/4752 constraints, Known Traps: 0/0 constraints]
After SMT, in 67841ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 67895ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 81334 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-06-01 19:32:24] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[11, 13, 14, 14, 18, 12, 8, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 202987 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1334203 steps (0 resets) in 45172 ms. (29 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[11, 13, 14, 14, 18, 12, 10, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
[2024-06-01 19:33:39] [INFO ] Invariant cache hit.
[2024-06-01 19:33:40] [INFO ] [Real]Absence check using 945 positive place invariants in 306 ms returned sat
[2024-06-01 19:33:40] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 143 ms returned sat
[2024-06-01 19:33:42] [INFO ] [Real]Absence check using state equation in 2514 ms returned sat
[2024-06-01 19:33:43] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 372 ms.
[2024-06-01 19:34:03] [INFO ] Added : 295 causal constraints over 59 iterations in 20576 ms.(timeout) Result :sat
Minimization took 4756 ms.
[2024-06-01 19:34:09] [INFO ] [Real]Absence check using 945 positive place invariants in 297 ms returned sat
[2024-06-01 19:34:09] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 118 ms returned sat
[2024-06-01 19:34:12] [INFO ] [Real]Absence check using state equation in 2484 ms returned sat
[2024-06-01 19:34:12] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 368 ms.
[2024-06-01 19:34:32] [INFO ] Added : 315 causal constraints over 63 iterations in 20180 ms.(timeout) Result :sat
Minimization took 4793 ms.
[2024-06-01 19:34:38] [INFO ] [Real]Absence check using 945 positive place invariants in 314 ms returned sat
[2024-06-01 19:34:38] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 135 ms returned sat
[2024-06-01 19:34:41] [INFO ] [Real]Absence check using state equation in 2579 ms returned sat
[2024-06-01 19:34:41] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 383 ms.
[2024-06-01 19:35:02] [INFO ] Added : 305 causal constraints over 61 iterations in 20554 ms.(timeout) Result :sat
Minimization took 4791 ms.
[2024-06-01 19:35:07] [INFO ] [Real]Absence check using 945 positive place invariants in 288 ms returned sat
[2024-06-01 19:35:07] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 118 ms returned sat
[2024-06-01 19:35:10] [INFO ] [Real]Absence check using state equation in 2368 ms returned sat
[2024-06-01 19:35:10] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 384 ms.
[2024-06-01 19:35:30] [INFO ] Added : 290 causal constraints over 58 iterations in 20106 ms.(timeout) Result :sat
Minimization took 4765 ms.
[2024-06-01 19:35:36] [INFO ] [Real]Absence check using 945 positive place invariants in 299 ms returned sat
[2024-06-01 19:35:36] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 124 ms returned sat
[2024-06-01 19:35:38] [INFO ] [Real]Absence check using state equation in 2362 ms returned sat
[2024-06-01 19:35:39] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 371 ms.
[2024-06-01 19:35:59] [INFO ] Added : 240 causal constraints over 48 iterations in 20040 ms.(timeout) Result :sat
Minimization took 4758 ms.
[2024-06-01 19:36:05] [INFO ] [Real]Absence check using 945 positive place invariants in 297 ms returned sat
[2024-06-01 19:36:05] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 121 ms returned sat
[2024-06-01 19:36:07] [INFO ] [Real]Absence check using state equation in 2522 ms returned sat
[2024-06-01 19:36:08] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 370 ms.
[2024-06-01 19:36:28] [INFO ] Added : 290 causal constraints over 58 iterations in 20282 ms.(timeout) Result :sat
Minimization took 4789 ms.
[2024-06-01 19:36:34] [INFO ] [Real]Absence check using 945 positive place invariants in 311 ms returned sat
[2024-06-01 19:36:34] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 119 ms returned sat
[2024-06-01 19:36:36] [INFO ] [Real]Absence check using state equation in 2512 ms returned sat
[2024-06-01 19:36:37] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 376 ms.
[2024-06-01 19:36:57] [INFO ] Added : 290 causal constraints over 58 iterations in 20018 ms.(timeout) Result :sat
Minimization took 4789 ms.
[2024-06-01 19:37:02] [INFO ] [Real]Absence check using 945 positive place invariants in 317 ms returned sat
[2024-06-01 19:37:02] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 138 ms returned sat
[2024-06-01 19:37:05] [INFO ] [Real]Absence check using state equation in 2347 ms returned sat
[2024-06-01 19:37:05] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 386 ms.
[2024-06-01 19:37:25] [INFO ] Added : 295 causal constraints over 59 iterations in 20127 ms.(timeout) Result :sat
Minimization took 4762 ms.
[2024-06-01 19:37:31] [INFO ] [Real]Absence check using 945 positive place invariants in 299 ms returned sat
[2024-06-01 19:37:31] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 123 ms returned sat
[2024-06-01 19:37:34] [INFO ] [Real]Absence check using state equation in 2516 ms returned sat
[2024-06-01 19:37:35] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 544 ms.
[2024-06-01 19:37:54] [INFO ] Added : 250 causal constraints over 50 iterations in 20260 ms.(timeout) Result :sat
Minimization took 4765 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[11, 13, 14, 14, 18, 12, 10, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[11, 13, 14, 14, 18, 12, 10, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Support contains 9 out of 2457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 163 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 164 ms. Remains : 2457/2457 places, 5400/5400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 151 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-06-01 19:38:00] [INFO ] Invariant cache hit.
[2024-06-01 19:38:04] [INFO ] Implicit Places using invariants in 4084 ms returned []
[2024-06-01 19:38:04] [INFO ] Invariant cache hit.
[2024-06-01 19:38:14] [INFO ] Implicit Places using invariants and state equation in 9699 ms returned []
Implicit Place search using SMT with State Equation took 13785 ms to find 0 implicit places.
[2024-06-01 19:38:14] [INFO ] Redundant transitions in 403 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-06-01 19:38:14] [INFO ] Invariant cache hit.
Error getting values : (error "ParserException while parsing response: ((s648 1.0)
(s649 1.0)
(s650 1.0)
(s651 1.0)
(s652 1.0)
(s653 1.0)
(s654 1.0)
(s655 1.0)
(s656 1.0)
(s657 1.0)
(s658 1.0)
(s659 1.0)
(s660 1.0)
(s661 1.0)
(s662 1.0)
(s663 1.0)
(s664 1.0)
(s665 1.0)
(s666 1.0)
(s667 1.0)
(s668 1.0)
(s669 1.0)
(s670 1.0)
(s671 1.0)
(s672 1.0)
(s673 1.0)
(s674 1.0)
(s675 1.0)
(s676 1.0)
(s677 1.0)
(s678 1.0)
(s679 1.0)
(s680 1.0)
(s681 1.0)
(s682 1.0)
(s683 1.0)
(s684 1.0)
(s685 1.0)
(s686 1.0)
(s687 1.0)
(s688 1.0)
(s689 1.0)
(s690 1.0)
(s691 1.0)
(s692 1.0)
(s693 1.0)
(s694 1.0)
(s695 1.0)
(s696 1.0)
(s697 1.0)
(s698 1.0)
(s699 1.0)
(s700 1.0)
(s701 1.0)
(s702 1.0)
(s703 1.0)
(s704 1.0)
(s705 1.0)
(s706 1.0)
(s707 1.0)
(s708 1.0)
(s709 1.0)
(s710 1.0)
(s711 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30082 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 4752/4752 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4752 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30073 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 0/4752 constraints, Known Traps: 0/0 constraints]
After SMT, in 67688ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 67743ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 82099 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-06-01 19:39:22] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[11, 13, 14, 14, 18, 12, 10, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 188799 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1350859 steps (0 resets) in 45082 ms. (29 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[11, 13, 15, 20, 19, 12, 10, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
[2024-06-01 19:40:37] [INFO ] Invariant cache hit.
[2024-06-01 19:40:37] [INFO ] [Real]Absence check using 945 positive place invariants in 293 ms returned sat
[2024-06-01 19:40:38] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 132 ms returned sat
[2024-06-01 19:40:40] [INFO ] [Real]Absence check using state equation in 2380 ms returned sat
[2024-06-01 19:40:41] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 359 ms.
[2024-06-01 19:41:00] [INFO ] Added : 305 causal constraints over 61 iterations in 20195 ms.(timeout) Result :sat
Minimization took 4783 ms.
[2024-06-01 19:41:06] [INFO ] [Real]Absence check using 945 positive place invariants in 302 ms returned sat
[2024-06-01 19:41:06] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 119 ms returned sat
[2024-06-01 19:41:09] [INFO ] [Real]Absence check using state equation in 2354 ms returned sat
[2024-06-01 19:41:09] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 368 ms.
[2024-06-01 19:41:29] [INFO ] Added : 280 causal constraints over 56 iterations in 20105 ms.(timeout) Result :sat
Minimization took 4793 ms.
[2024-06-01 19:41:35] [INFO ] [Real]Absence check using 945 positive place invariants in 310 ms returned sat
[2024-06-01 19:41:35] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 120 ms returned sat
[2024-06-01 19:41:37] [INFO ] [Real]Absence check using state equation in 2586 ms returned sat
[2024-06-01 19:41:38] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 372 ms.
[2024-06-01 19:41:58] [INFO ] Added : 295 causal constraints over 59 iterations in 20061 ms.(timeout) Result :sat
Minimization took 4787 ms.
[2024-06-01 19:42:04] [INFO ] [Real]Absence check using 945 positive place invariants in 288 ms returned sat
[2024-06-01 19:42:04] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 119 ms returned sat
[2024-06-01 19:42:06] [INFO ] [Real]Absence check using state equation in 2258 ms returned sat
[2024-06-01 19:42:07] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 358 ms.
[2024-06-01 19:42:27] [INFO ] Added : 315 causal constraints over 63 iterations in 20294 ms.(timeout) Result :sat
Minimization took 4790 ms.
[2024-06-01 19:42:32] [INFO ] [Real]Absence check using 945 positive place invariants in 291 ms returned sat
[2024-06-01 19:42:32] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 124 ms returned sat
[2024-06-01 19:42:35] [INFO ] [Real]Absence check using state equation in 2381 ms returned sat
[2024-06-01 19:42:35] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 349 ms.
[2024-06-01 19:42:55] [INFO ] Added : 305 causal constraints over 61 iterations in 20202 ms.(timeout) Result :sat
Minimization took 4784 ms.
[2024-06-01 19:43:01] [INFO ] [Real]Absence check using 945 positive place invariants in 304 ms returned sat
[2024-06-01 19:43:01] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 121 ms returned sat
[2024-06-01 19:43:03] [INFO ] [Real]Absence check using state equation in 2406 ms returned sat
[2024-06-01 19:43:04] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 363 ms.
[2024-06-01 19:43:24] [INFO ] Added : 315 causal constraints over 63 iterations in 20380 ms.(timeout) Result :sat
Minimization took 4793 ms.
[2024-06-01 19:43:30] [INFO ] [Real]Absence check using 945 positive place invariants in 326 ms returned sat
[2024-06-01 19:43:30] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 119 ms returned sat
[2024-06-01 19:43:33] [INFO ] [Real]Absence check using state equation in 2546 ms returned sat
[2024-06-01 19:43:33] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 378 ms.
[2024-06-01 19:43:53] [INFO ] Added : 290 causal constraints over 58 iterations in 20198 ms.(timeout) Result :sat
Minimization took 4762 ms.
[2024-06-01 19:43:59] [INFO ] [Real]Absence check using 945 positive place invariants in 313 ms returned sat
[2024-06-01 19:43:59] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 128 ms returned sat
[2024-06-01 19:44:01] [INFO ] [Real]Absence check using state equation in 2394 ms returned sat
[2024-06-01 19:44:02] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 370 ms.
[2024-06-01 19:44:22] [INFO ] Added : 300 causal constraints over 60 iterations in 20413 ms.(timeout) Result :sat
Minimization took 4786 ms.
[2024-06-01 19:44:28] [INFO ] [Real]Absence check using 945 positive place invariants in 301 ms returned sat
[2024-06-01 19:44:28] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 135 ms returned sat
[2024-06-01 19:44:30] [INFO ] [Real]Absence check using state equation in 2315 ms returned sat
[2024-06-01 19:44:31] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 363 ms.
[2024-06-01 19:44:51] [INFO ] Added : 315 causal constraints over 63 iterations in 20489 ms.(timeout) Result :sat
Minimization took 4788 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[11, 13, 15, 20, 19, 12, 10, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[11, 13, 15, 20, 19, 12, 10, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Support contains 9 out of 2457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 158 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 158 ms. Remains : 2457/2457 places, 5400/5400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 153 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-06-01 19:44:56] [INFO ] Invariant cache hit.
[2024-06-01 19:45:00] [INFO ] Implicit Places using invariants in 3980 ms returned []
[2024-06-01 19:45:00] [INFO ] Invariant cache hit.
[2024-06-01 19:45:11] [INFO ] Implicit Places using invariants and state equation in 10648 ms returned []
Implicit Place search using SMT with State Equation took 14633 ms to find 0 implicit places.
[2024-06-01 19:45:11] [INFO ] Redundant transitions in 400 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-06-01 19:45:12] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30118 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 4752/4752 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4752 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30072 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 0/4752 constraints, Known Traps: 0/0 constraints]
After SMT, in 67907ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 67962ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 83169 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-06-01 19:46:19] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[11, 13, 15, 20, 19, 12, 10, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 190371 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1365703 steps (0 resets) in 45121 ms. (30 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[11, 13, 15, 20, 19, 12, 10, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
[2024-06-01 19:47:35] [INFO ] Invariant cache hit.
[2024-06-01 19:47:35] [INFO ] [Real]Absence check using 945 positive place invariants in 304 ms returned sat
[2024-06-01 19:47:35] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 136 ms returned sat
[2024-06-01 19:47:38] [INFO ] [Real]Absence check using state equation in 2518 ms returned sat
[2024-06-01 19:47:39] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 376 ms.
[2024-06-01 19:47:58] [INFO ] Added : 320 causal constraints over 64 iterations in 20018 ms.(timeout) Result :sat
Minimization took 4746 ms.
[2024-06-01 19:48:04] [INFO ] [Real]Absence check using 945 positive place invariants in 298 ms returned sat
[2024-06-01 19:48:04] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 117 ms returned sat
[2024-06-01 19:48:07] [INFO ] [Real]Absence check using state equation in 2511 ms returned sat
[2024-06-01 19:48:07] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 371 ms.
[2024-06-01 19:48:27] [INFO ] Added : 305 causal constraints over 61 iterations in 20043 ms.(timeout) Result :sat
Minimization took 4748 ms.
[2024-06-01 19:48:33] [INFO ] [Real]Absence check using 945 positive place invariants in 295 ms returned sat
[2024-06-01 19:48:33] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 118 ms returned sat
[2024-06-01 19:48:35] [INFO ] [Real]Absence check using state equation in 2558 ms returned sat
[2024-06-01 19:48:36] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 377 ms.
[2024-06-01 19:48:56] [INFO ] Added : 315 causal constraints over 63 iterations in 20190 ms.(timeout) Result :sat
Minimization took 4745 ms.
[2024-06-01 19:49:01] [INFO ] [Real]Absence check using 945 positive place invariants in 306 ms returned sat
[2024-06-01 19:49:02] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 134 ms returned sat
[2024-06-01 19:49:04] [INFO ] [Real]Absence check using state equation in 2390 ms returned sat
[2024-06-01 19:49:05] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 383 ms.
[2024-06-01 19:49:24] [INFO ] Added : 295 causal constraints over 59 iterations in 20160 ms.(timeout) Result :sat
Minimization took 4755 ms.
[2024-06-01 19:49:30] [INFO ] [Real]Absence check using 945 positive place invariants in 282 ms returned sat
[2024-06-01 19:49:30] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 120 ms returned sat
[2024-06-01 19:49:33] [INFO ] [Real]Absence check using state equation in 2795 ms returned sat
[2024-06-01 19:49:34] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 376 ms.
[2024-06-01 19:49:53] [INFO ] Added : 285 causal constraints over 57 iterations in 20155 ms.(timeout) Result :sat
Minimization took 4752 ms.
[2024-06-01 19:49:59] [INFO ] [Real]Absence check using 945 positive place invariants in 318 ms returned sat
[2024-06-01 19:49:59] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 124 ms returned sat
[2024-06-01 19:50:01] [INFO ] [Real]Absence check using state equation in 2205 ms returned sat
[2024-06-01 19:50:02] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 362 ms.
[2024-06-01 19:50:22] [INFO ] Added : 230 causal constraints over 46 iterations in 20082 ms.(timeout) Result :sat
Minimization took 4749 ms.
[2024-06-01 19:50:28] [INFO ] [Real]Absence check using 945 positive place invariants in 305 ms returned sat
[2024-06-01 19:50:28] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 125 ms returned sat
[2024-06-01 19:50:30] [INFO ] [Real]Absence check using state equation in 2361 ms returned sat
[2024-06-01 19:50:31] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 387 ms.
[2024-06-01 19:50:51] [INFO ] Added : 315 causal constraints over 63 iterations in 20224 ms.(timeout) Result :sat
Minimization took 4751 ms.
[2024-06-01 19:50:56] [INFO ] [Real]Absence check using 945 positive place invariants in 307 ms returned sat
[2024-06-01 19:50:56] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 131 ms returned sat
[2024-06-01 19:50:59] [INFO ] [Real]Absence check using state equation in 2439 ms returned sat
[2024-06-01 19:51:00] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 374 ms.
[2024-06-01 19:51:20] [INFO ] Added : 315 causal constraints over 63 iterations in 20374 ms.(timeout) Result :sat
Minimization took 4752 ms.
[2024-06-01 19:51:25] [INFO ] [Real]Absence check using 945 positive place invariants in 323 ms returned sat
[2024-06-01 19:51:25] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 128 ms returned sat
[2024-06-01 19:51:28] [INFO ] [Real]Absence check using state equation in 2381 ms returned sat
[2024-06-01 19:51:28] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 369 ms.
[2024-06-01 19:51:48] [INFO ] Added : 305 causal constraints over 61 iterations in 20361 ms.(timeout) Result :sat
Minimization took 4766 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[11, 13, 15, 20, 19, 12, 10, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[11, 13, 15, 20, 19, 12, 10, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Support contains 9 out of 2457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 151 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 151 ms. Remains : 2457/2457 places, 5400/5400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 147 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-06-01 19:51:54] [INFO ] Invariant cache hit.
[2024-06-01 19:51:58] [INFO ] Implicit Places using invariants in 4025 ms returned []
[2024-06-01 19:51:58] [INFO ] Invariant cache hit.
[2024-06-01 19:52:07] [INFO ] Implicit Places using invariants and state equation in 9147 ms returned []
Implicit Place search using SMT with State Equation took 13175 ms to find 0 implicit places.
[2024-06-01 19:52:07] [INFO ] Redundant transitions in 409 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-06-01 19:52:07] [INFO ] Invariant cache hit.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30084 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 4752/4752 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4752 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1161 variables, 216/216 constraints. Problems are: Problem set: 0 solved, 4752 unsolved
Error getting values : (error "ParserException while parsing response: ((s648 1)
(s649 1)
(s650 1)
(s651 1)
(s652 1)
(s653 1)
(s654 1)
(s655 1)
(s656 1)
(s657 1)
(s658 1)
(s659 1)
(s660 1)
(s661 1)
(s662 1)
(s663 1)
(s664 1)
(s665 1)
(s666 1)
(s667 1)
(s668 1)
(s669 1)
(s670 1)
(s671 1)
(s672 1)
(s673 1)
(s674 1)
(s675 1)
(s676 1)
(s677 1)
(s678 1)
(s679 1)
(s680 1)
(s681 1)
(s682 1)
(s683 1)
(s684 1)
(s685 1)
(s686 1)
(s687 1)
(s688 1)
(s689 1)
(s690 1)
(s691 1)
(s692 1)
(s693 1)
(s694 1)
(s695 1)
(s696 1)
(s697 1)
(s698 1)
(s699 1)
(s700 1)
(s701 1)
(s702 1)
(s703 1)
(s704 1)
(s705 1)
(s706 1)
(s707 1)
(s708 1)
(s709 1)
(s710 1)
(s711 1)
(s712 1)
(s713 1)
(s714 1)
(s715 1)
(s716 1)
(s717 1)
(s718 1)
(s719 1)
(s720 1)
(s721 1)
(s722 1)
(s723 1)
(s724 1)
(s725 1)
(s726 1)
(s727 1)
(s728 1)
(s729 1)
(s730 1)
(s731 1)
(s732 1)
(s733 1)
(s734 1)
(s735 1)
(s736 1)
(s737 1)
(s738 1)
(s739 1)
(s740 1)
(s741 1)
(s742 1)
(s743 1)
(s744 1)
(s745 1)
(s746 1)
(s747 1)
(s748 1)
(s749 1)
(s750 1)
(s751 1)
(s752 1)
(s753 1)
(s754 1)
(s755 1)
(s756 1)
(s757 1)
(s758 1)
(s759 1)
(s760 1)
(s761 1)
(s762 1)
(s763 1)
(s764 1)
(s765 1)
(s766 1)
(s767 1)
(s768 1)
(s769 1)
(s770 1)
(s771 1)
(s772 1)
(s773 1)
(s774 1)
(s775 1)
(s776 1)
(s777 1)
(s778 1)
(s779 1)
(s780 1)
(s781 1)
(s782 1)
(s783 1)
(s784 1)
(s785 1)
(s786 1)
(s787 1)
(s788 1)
(s789 1)
(s790 1)
(s791 1)
(s792 1)
(s793 1)
(s794 1)
(s795 1)
(s796 1)
(s797 1)
(s798 1)
(s799 1)
(s800 1)
(s801 1)
(s802 1)
(s803 1)
(s804 1)
(s805 1)
(s806 1)
(s807 1)
(s808 1)
(s809 1)
(s810 1)
(s811 1)
(s812 1)
(s813 1)
(s814 1)
(s815 1)
(s816 1)
(s817 1)
(s818 1)
(s819 1)
(s820 1)
(s821 1)
(s822 1)
(s823 1)
(s824 1)
(s825 1)
(s826 1)
(s827 1)
(s828 1)
(s829 1)
(s830 1)
(s831 1)
(s832 1)
(s833 1)
(s834 1)
(s835 1)
(s836 1)
(s837 0)
(s838 0)
(s839 0)
(s840 0)
(s841 0)
(s842 0)
(s843 0)
(s844 0)
(s845 0)
(s846 1)
(s847 1)
(s848 1)
(s849 1)
(s850 1)
(s851 1)
(s852 1)
(s853 1)
(s854 1)
(s855 1)
(s856 1)
(s857 1)
(s858 1)
(s859 1)
(s860 1)
(s861 1)
(s862 1)
(s863 1)
(s864 1)
(s865 1)
(s866 1)
(s867 1)
(s868 1)
(s869 1)
(s870 1)
(s871 1)
(s872 1)
(s873 0)
(s874 0)
(s875 0)
(s876 0)
(s877 0)
(s878 0)
(s879 0)
(s880 0)
(s881 0)
(s882 1)
(s883 1)
(s884 1)
(s885 1)
(s886 1)
(s887 1)
(s888 1)
(s889 1)
(s890 1)
(s891 1)
(s892 1)
(s893 1)
(s894 1)
(s895 1)
(s896 1)
(s897 1)
(s898 1)
(s899 1)
(s900 1)
(s901 1)
(s902 1)
(s903 1)
(s904 1)
(s905 1)
(s906 1)
(s907 1)
(s908 1)
(s909 0)
(s910 0)
(s911 0)
(s912 0)
(s913 0)
(s914 0)
(s915 0)
(s916 0)
(s917 0)
(s918 1)
(s919 1)
(s920 1)
(s921 1)
(s922 1)
(s923 1)
(s924 1)
(s925 1)
(s926 1)
(s927 1)
(s928 1)
(s929 1)
(s930 1)
(s931 1)
(s932 1)
(s933 1)
(s934 1)
(s935 1)
(s936 1)
(s937 1)
(s938 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1161/7857 variables, and 216 constraints, problems are : Problem set: 0 solved, 4752 unsolved in 30072 ms.
Refiners :[Positive P Invariants (semi-flows): 216/945 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 0/4752 constraints, Known Traps: 0/0 constraints]
After SMT, in 68102ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 68156ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 81903 ms. Remains : 2457/2457 places, 5400/5400 transitions.
RANDOM walk for 40000 steps (8 resets) in 10353 ms. (3 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 200 ms. (19 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 236 ms. (16 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 230 ms. (17 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 211 ms. (18 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 195 ms. (20 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 196 ms. (20 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 191 ms. (20 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 487 ms. (8 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 148 ms. (26 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 146 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 146 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 147 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 145 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 146 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 143 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 143 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 144 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 148 ms. (26 steps per ms) remains 18/18 properties
Interrupted probabilistic random walk after 126059 steps, run timeout after 9011 ms. (steps per millisecond=13 ) properties seen :0 out of 18
Probabilistic random walk after 126059 steps, saw 125877 distinct states, run finished after 9020 ms. (steps per millisecond=13 ) properties seen :0
[2024-06-01 19:53:28] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/9 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 1 (OVERLAPS) 72/81 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/81 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 3 (OVERLAPS) 936/1017 variables, 1/10 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1017 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 5 (OVERLAPS) 1432/2449 variables, 935/945 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2449 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 7 (OVERLAPS) 8/2457 variables, 1/946 constraints. Problems are: Problem set: 0 solved, 18 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2457/7857 variables, and 946 constraints, problems are : Problem set: 0 solved, 18 unsolved in 5010 ms.
Refiners :[Positive P Invariants (semi-flows): 945/945 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 18/18 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 18 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/9 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 1 (OVERLAPS) 72/81 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/81 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 3 (OVERLAPS) 936/1017 variables, 1/10 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1017 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 5 (OVERLAPS) 1432/2449 variables, 935/945 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2449 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 7 (OVERLAPS) 8/2457 variables, 1/946 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2457 variables, 0/946 constraints. Problems are: Problem set: 0 solved, 18 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 7857/7857 variables, and 3403 constraints, problems are : Problem set: 0 solved, 18 unsolved in 5010 ms.
Refiners :[Positive P Invariants (semi-flows): 945/945 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 2457/2457 constraints, PredecessorRefiner: 0/18 constraints, Known Traps: 0/0 constraints]
After SMT, in 10066ms problems are : Problem set: 0 solved, 18 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 9 out of 2457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 156 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 158 ms. Remains : 2457/2457 places, 5400/5400 transitions.
RANDOM walk for 40000 steps (8 resets) in 10059 ms. (3 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 140 ms. (28 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 143 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 143 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 143 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 155 ms. (25 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 166 ms. (23 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 164 ms. (24 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 164 ms. (24 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 164 ms. (24 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 164 ms. (24 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 164 ms. (24 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 164 ms. (24 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 165 ms. (24 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 153 ms. (26 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 143 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 145 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 143 ms. (27 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (4 resets) in 150 ms. (26 steps per ms) remains 18/18 properties
Interrupted probabilistic random walk after 117754 steps, run timeout after 9052 ms. (steps per millisecond=13 ) properties seen :0 out of 18
Probabilistic random walk after 117754 steps, saw 117587 distinct states, run finished after 9056 ms. (steps per millisecond=13 ) properties seen :0
[2024-06-01 19:53:51] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/9 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 1 (OVERLAPS) 72/81 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/81 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 3 (OVERLAPS) 936/1017 variables, 1/10 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1017 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 5 (OVERLAPS) 1432/2449 variables, 935/945 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2449 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 7 (OVERLAPS) 8/2457 variables, 1/946 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2457 variables, 0/946 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 9 (OVERLAPS) 5400/7857 variables, 2457/3403 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/7857 variables, 0/3403 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 11 (OVERLAPS) 0/7857 variables, 0/3403 constraints. Problems are: Problem set: 0 solved, 18 unsolved
No progress, stopping.
After SMT solving in domain Real declared 7857/7857 variables, and 3403 constraints, problems are : Problem set: 0 solved, 18 unsolved in 23165 ms.
Refiners :[Positive P Invariants (semi-flows): 945/945 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 2457/2457 constraints, PredecessorRefiner: 18/18 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 18 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/9 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 1 (OVERLAPS) 72/81 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/81 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 3 (OVERLAPS) 936/1017 variables, 1/10 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1017 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 5 (OVERLAPS) 1432/2449 variables, 935/945 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2449 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 7 (OVERLAPS) 8/2457 variables, 1/946 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2457 variables, 0/946 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 9 (OVERLAPS) 5400/7857 variables, 2457/3403 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/7857 variables, 18/3421 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/7857 variables, 0/3421 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 12 (OVERLAPS) 0/7857 variables, 0/3421 constraints. Problems are: Problem set: 0 solved, 18 unsolved
No progress, stopping.
After SMT solving in domain Int declared 7857/7857 variables, and 3421 constraints, problems are : Problem set: 0 solved, 18 unsolved in 21267 ms.
Refiners :[Positive P Invariants (semi-flows): 945/945 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 2457/2457 constraints, PredecessorRefiner: 18/18 constraints, Known Traps: 0/0 constraints]
After SMT, in 44469ms problems are : Problem set: 0 solved, 18 unsolved
Fused 18 Parikh solutions to 16 different solutions.
Parikh walk visited 9 properties in 35005 ms.
Support contains 9 out of 2457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 175 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 176 ms. Remains : 2457/2457 places, 5400/5400 transitions.
Current structural bounds on expressions (After reachability solving 0 queries.) : Max Seen:[11, 13, 15, 20, 19, 12, 10, 25, 25] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
Starting property specific reduction for HypercubeGrid-PT-C4K3P3B12-UpperBounds-01
Current structural bounds on expressions (Initially) : Max Seen:[3] Max Struct:[+inf]
Current structural bounds on expressions (Adding known information on max bounds.) : Max Seen:[3] Max Struct:[36]
Current structural bounds on expressions (Before main loop) : Max Seen:[3] Max Struct:[36]
[2024-06-01 19:55:11] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[3] Max Struct:[36]
RANDOM walk for 10000 steps (2 resets) in 2310 ms. (4 steps per ms)
BEST_FIRST walk for 10001 steps (2 resets) in 352 ms. (28 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[6] Max Struct:[36]
[2024-06-01 19:55:13] [INFO ] Invariant cache hit.
[2024-06-01 19:55:14] [INFO ] [Real]Absence check using 945 positive place invariants in 323 ms returned sat
[2024-06-01 19:55:14] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 141 ms returned sat
[2024-06-01 19:55:17] [INFO ] [Real]Absence check using state equation in 2472 ms returned sat
[2024-06-01 19:55:17] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 401 ms.
[2024-06-01 19:55:18] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 19:55:19] [INFO ] [Nat]Absence check using 945 positive place invariants in 335 ms returned sat
[2024-06-01 19:55:19] [INFO ] [Nat]Absence check using 945 positive and 1 generalized place invariants in 121 ms returned sat
[2024-06-01 19:55:22] [INFO ] [Nat]Absence check using state equation in 2411 ms returned sat
[2024-06-01 19:55:22] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 393 ms.
[2024-06-01 19:55:23] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 0
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:299)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithCausalOrder(DeadlockTester.java:1137)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:875)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2251)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:929)
at fr.lip6.move.gal.application.Application.start(Application.java:189)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:651)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:588)
at org.eclipse.equinox.launcher.Main.run(Main.java:1459)
at org.eclipse.equinox.launcher.Main.main(Main.java:1432)
Current structural bounds on expressions (after SMT) : Max Seen:[6] Max Struct:[36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[6] Max Struct:[36]
Support contains 1 out of 2457 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2457/2457 places, 5400/5400 transitions.
Applied a total of 0 rules in 165 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 167 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-06-01 19:55:24] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[6] Max Struct:[36]
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -timeout 360 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypercubeGrid-PT-C4K3P3B12"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="ltsminxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool ltsminxred"
echo " Input is HypercubeGrid-PT-C4K3P3B12, 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 r500-smll-171649587800269"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C4K3P3B12.tgz
mv HypercubeGrid-PT-C4K3P3B12 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 ;