About the Execution of GreatSPN+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 |
| 11200.520 | 3600000.00 | 3911120.00 | 10459.50 | 1 36 1 36 1 ? 1 ? ? ? 1 ? 1 1 36 ? | 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.r201-smll-171649586900269.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 greatspnxred
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 r201-smll-171649586900269
=====================================================================
--------------------
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 1716752511011
Invoking MCC driver with
BK_TOOL=greatspnxred
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 greatspn
Invoking reducer
Running Version 202405141337
[2024-05-26 19:41:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -timeout, 360, -rebuildPNML]
[2024-05-26 19:41:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-26 19:41:53] [INFO ] Load time of PNML (sax parser for PT used): 651 ms
[2024-05-26 19:41:53] [INFO ] Transformed 2457 places.
[2024-05-26 19:41:54] [INFO ] Transformed 5400 transitions.
[2024-05-26 19:41:54] [INFO ] Parsed PT model containing 2457 places and 5400 transitions and 21600 arcs in 937 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 12 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-05-26 19:41:54] [INFO ] Computed 946 invariants in 280 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 2597 ms. (3 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 3480 ms. (25 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[8, 5, 4, 7, 6, 3, 3, 4, 5] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
[2024-05-26 19:42:00] [INFO ] Invariant cache hit.
[2024-05-26 19:42:01] [INFO ] [Real]Absence check using 945 positive place invariants in 384 ms returned sat
[2024-05-26 19:42:01] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 124 ms returned sat
[2024-05-26 19:42:04] [INFO ] [Real]Absence check using state equation in 2579 ms returned sat
[2024-05-26 19:42:05] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 582 ms.
[2024-05-26 19:42:05] [INFO ] Added : 0 causal constraints over 0 iterations in 590 ms. Result :unknown
[2024-05-26 19:42:06] [INFO ] [Real]Absence check using 945 positive place invariants in 369 ms returned sat
[2024-05-26 19:42:06] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 120 ms returned sat
[2024-05-26 19:42:09] [INFO ] [Real]Absence check using state equation in 2566 ms returned sat
[2024-05-26 19:42:10] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 530 ms.
[2024-05-26 19:42:10] [INFO ] Solution in real domain found non-integer solution.
[2024-05-26 19:42:11] [INFO ] [Nat]Absence check using 945 positive place invariants in 421 ms returned sat
[2024-05-26 19:42:11] [INFO ] [Nat]Absence check using 945 positive and 1 generalized place invariants in 128 ms returned sat
[2024-05-26 19:42:14] [INFO ] [Nat]Absence check using state equation in 2695 ms returned sat
[2024-05-26 19:42:15] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 496 ms.
Maximisation of solution failed !
Minimization took 1 ms.
[2024-05-26 19:42:16] [INFO ] [Real]Absence check using 945 positive place invariants in 282 ms returned sat
[2024-05-26 19:42:16] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 137 ms returned sat
[2024-05-26 19:42:19] [INFO ] [Real]Absence check using state equation in 2413 ms returned sat
[2024-05-26 19:42:19] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 454 ms.
[2024-05-26 19:42:20] [INFO ] Solution in real domain found non-integer solution.
[2024-05-26 19:42:21] [INFO ] [Nat]Absence check using 945 positive place invariants in 322 ms returned sat
[2024-05-26 19:42:21] [INFO ] [Nat]Absence check using 945 positive and 1 generalized place invariants in 111 ms returned sat
[2024-05-26 19:42:25] [INFO ] [Nat]Absence check using state equation in 3350 ms returned sat
[2024-05-26 19:42:25] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 609 ms.
[2024-05-26 19:42:26] [INFO ] Added : 0 causal constraints over 0 iterations in 626 ms. Result :unknown
[2024-05-26 19:42:26] [INFO ] [Real]Absence check using 945 positive place invariants in 298 ms returned sat
[2024-05-26 19:42:26] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 118 ms returned sat
[2024-05-26 19:42:29] [INFO ] [Real]Absence check using state equation in 2942 ms returned sat
[2024-05-26 19:42:30] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 592 ms.
[2024-05-26 19:42:31] [INFO ] Solution in real domain found non-integer solution.
[2024-05-26 19:42:31] [INFO ] [Nat]Absence check using 945 positive place invariants in 350 ms returned sat
[2024-05-26 19:42:32] [INFO ] [Nat]Absence check using 945 positive and 1 generalized place invariants in 120 ms returned sat
[2024-05-26 19:42:34] [INFO ] [Nat]Absence check using state equation in 2318 ms returned sat
[2024-05-26 19:42:35] [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-05-26 19:42:37] [INFO ] [Real]Absence check using 945 positive place invariants in 402 ms returned sat
[2024-05-26 19:42:37] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 156 ms returned sat
[2024-05-26 19:42:40] [INFO ] [Real]Absence check using state equation in 3110 ms returned sat
[2024-05-26 19:42:41] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 434 ms.
[2024-05-26 19:42:41] [INFO ] Added : 0 causal constraints over 0 iterations in 435 ms. Result :unknown
[2024-05-26 19:42:42] [INFO ] [Real]Absence check using 945 positive place invariants in 340 ms returned sat
[2024-05-26 19:42:42] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 120 ms returned sat
[2024-05-26 19:42:44] [INFO ] [Real]Absence check using state equation in 2626 ms returned sat
[2024-05-26 19:42:45] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 376 ms.
[2024-05-26 19:42:46] [INFO ] Solution in real domain found non-integer solution.
[2024-05-26 19:42:47] [INFO ] [Nat]Absence check using 945 positive place invariants in 343 ms returned sat
[2024-05-26 19:42:47] [INFO ] [Nat]Absence check using 945 positive and 1 generalized place invariants in 119 ms returned sat
[2024-05-26 19:42:49] [INFO ] [Nat]Absence check using state equation in 2515 ms returned sat
[2024-05-26 19:42:50] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 548 ms.
Maximisation of solution failed !
Minimization took 0 ms.
[2024-05-26 19:42:52] [INFO ] [Real]Absence check using 945 positive place invariants in 449 ms returned sat
[2024-05-26 19:42:52] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 181 ms returned sat
[2024-05-26 19:42:55] [INFO ] [Real]Absence check using state equation in 2557 ms returned sat
[2024-05-26 19:42:56] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 592 ms.
[2024-05-26 19:42:56] [INFO ] Solution in real domain found non-integer solution.
[2024-05-26 19:42:57] [INFO ] [Nat]Absence check using 945 positive place invariants in 344 ms returned sat
[2024-05-26 19:42:57] [INFO ] [Nat]Absence check using 945 positive and 1 generalized place invariants in 111 ms returned sat
[2024-05-26 19:43:00] [INFO ] [Nat]Absence check using state equation in 2687 ms returned sat
[2024-05-26 19:43:01] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 582 ms.
[2024-05-26 19:43:01] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: 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: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)
[2024-05-26 19:43:02] [INFO ] [Real]Absence check using 945 positive place invariants in 438 ms returned sat
[2024-05-26 19:43:02] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 113 ms returned sat
[2024-05-26 19:43:05] [INFO ] [Real]Absence check using state equation in 2444 ms returned sat
[2024-05-26 19:43:05] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 549 ms.
[2024-05-26 19:43:06] [INFO ] Solution in real domain found non-integer solution.
[2024-05-26 19:43:07] [INFO ] [Nat]Absence check using 945 positive place invariants in 463 ms returned sat
[2024-05-26 19:43:07] [INFO ] [Nat]Absence check using 945 positive and 1 generalized place invariants in 187 ms returned sat
[2024-05-26 19:43:10] [INFO ] [Nat]Absence check using state equation in 2642 ms returned sat
[2024-05-26 19:43:11] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 489 ms.
[2024-05-26 19:43:11] [INFO ] Added : 5 causal constraints over 1 iterations in 915 ms. Result :unknown
[2024-05-26 19:43:12] [INFO ] [Real]Absence check using 945 positive place invariants in 433 ms returned sat
[2024-05-26 19:43:12] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 201 ms returned sat
[2024-05-26 19:43:15] [INFO ] [Real]Absence check using state equation in 3025 ms returned sat
[2024-05-26 19:43:16] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 8
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:299)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithCausalOrder(DeadlockTester.java:954)
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)
Current structural bounds on expressions (after SMT) : Max Seen:[8, 5, 4, 7, 6, 3, 3, 4, 5] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36, 36]
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-14 36 TECHNIQUES TOPOLOGICAL PARIKH_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[12, 20, 5, 7, 7, 15, 15, 6] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Support contains 8 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 570 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 594 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-05-26 19:45:17] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[12, 20, 5, 7, 7, 15, 15, 6] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 190058 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1280353 steps (0 resets) in 40128 ms. (31 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[12, 20, 7, 13, 10, 15, 15, 8] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
[2024-05-26 19:46:27] [INFO ] Invariant cache hit.
[2024-05-26 19:46:28] [INFO ] [Real]Absence check using 945 positive place invariants in 372 ms returned sat
[2024-05-26 19:46:28] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 214 ms returned sat
[2024-05-26 19:46:31] [INFO ] [Real]Absence check using state equation in 2610 ms returned sat
[2024-05-26 19:46:31] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 392 ms.
[2024-05-26 19:46:51] [INFO ] Added : 230 causal constraints over 46 iterations in 20059 ms.(timeout) Result :sat
Minimization took 4847 ms.
[2024-05-26 19:46:57] [INFO ] [Real]Absence check using 945 positive place invariants in 343 ms returned sat
[2024-05-26 19:46:57] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 116 ms returned sat
[2024-05-26 19:47:00] [INFO ] [Real]Absence check using state equation in 2692 ms returned sat
[2024-05-26 19:47:01] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 580 ms.
[2024-05-26 19:47:21] [INFO ] Added : 215 causal constraints over 43 iterations in 20690 ms.(timeout) Result :sat
Minimization took 4750 ms.
[2024-05-26 19:47:27] [INFO ] [Real]Absence check using 945 positive place invariants in 356 ms returned sat
[2024-05-26 19:47:27] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 118 ms returned sat
[2024-05-26 19:47:30] [INFO ] [Real]Absence check using state equation in 2719 ms returned sat
[2024-05-26 19:47:30] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 316 ms.
[2024-05-26 19:47:51] [INFO ] Added : 195 causal constraints over 39 iterations in 20537 ms.(timeout) Result :sat
Minimization took 4733 ms.
[2024-05-26 19:47:57] [INFO ] [Real]Absence check using 945 positive place invariants in 384 ms returned sat
[2024-05-26 19:47:57] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 127 ms returned sat
[2024-05-26 19:48:00] [INFO ] [Real]Absence check using state equation in 2747 ms returned sat
[2024-05-26 19:48:01] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 556 ms.
[2024-05-26 19:48:20] [INFO ] Added : 190 causal constraints over 38 iterations in 20220 ms.(timeout) Result :sat
Minimization took 4743 ms.
[2024-05-26 19:48:26] [INFO ] [Real]Absence check using 945 positive place invariants in 465 ms returned sat
[2024-05-26 19:48:27] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 144 ms returned sat
[2024-05-26 19:48:29] [INFO ] [Real]Absence check using state equation in 2655 ms returned sat
[2024-05-26 19:48:30] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 408 ms.
[2024-05-26 19:48:50] [INFO ] Added : 240 causal constraints over 48 iterations in 20189 ms.(timeout) Result :sat
Minimization took 4738 ms.
[2024-05-26 19:48:56] [INFO ] [Real]Absence check using 945 positive place invariants in 332 ms returned sat
[2024-05-26 19:48:56] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 125 ms returned sat
[2024-05-26 19:48:58] [INFO ] [Real]Absence check using state equation in 2444 ms returned sat
[2024-05-26 19:48:59] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 364 ms.
[2024-05-26 19:49:19] [INFO ] Added : 230 causal constraints over 46 iterations in 20718 ms.(timeout) Result :sat
Minimization took 4753 ms.
[2024-05-26 19:49:26] [INFO ] [Real]Absence check using 945 positive place invariants in 445 ms returned sat
[2024-05-26 19:49:26] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 199 ms returned sat
[2024-05-26 19:49:29] [INFO ] [Real]Absence check using state equation in 2882 ms returned sat
[2024-05-26 19:49:30] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 518 ms.
[2024-05-26 19:49:49] [INFO ] Added : 180 causal constraints over 36 iterations in 20219 ms.(timeout) Result :sat
Minimization took 4747 ms.
[2024-05-26 19:49:55] [INFO ] [Real]Absence check using 945 positive place invariants in 388 ms returned sat
[2024-05-26 19:49:55] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 128 ms returned sat
[2024-05-26 19:49:58] [INFO ] [Real]Absence check using state equation in 2814 ms returned sat
[2024-05-26 19:49:59] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 562 ms.
[2024-05-26 19:50:19] [INFO ] Added : 175 causal constraints over 35 iterations in 20214 ms.(timeout) Result :sat
Minimization took 4737 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[12, 20, 7, 13, 10, 15, 15, 8] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[12, 20, 7, 13, 10, 15, 15, 8] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Support contains 8 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 312 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 312 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 226 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-05-26 19:50:24] [INFO ] Invariant cache hit.
[2024-05-26 19:50:29] [INFO ] Implicit Places using invariants in 4050 ms returned []
[2024-05-26 19:50:29] [INFO ] Invariant cache hit.
[2024-05-26 19:50:37] [INFO ] Implicit Places using invariants and state equation in 8598 ms returned []
Implicit Place search using SMT with State Equation took 12650 ms to find 0 implicit places.
[2024-05-26 19:50:38] [INFO ] Redundant transitions in 680 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-05-26 19:50:38] [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 30282 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 "Error writing to Z3 solver: java.io.IOException: Broken pipe")
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 30087 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 70005ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 70110ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 83722 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-05-26 19:51:48] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[12, 20, 7, 13, 10, 15, 15, 8] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 185012 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1309352 steps (0 resets) in 40177 ms. (32 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[12, 20, 17, 17, 14, 15, 15, 9] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
[2024-05-26 19:52:58] [INFO ] Invariant cache hit.
[2024-05-26 19:52:59] [INFO ] [Real]Absence check using 945 positive place invariants in 347 ms returned sat
[2024-05-26 19:52:59] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 166 ms returned sat
[2024-05-26 19:53:02] [INFO ] [Real]Absence check using state equation in 2761 ms returned sat
[2024-05-26 19:53:03] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 497 ms.
[2024-05-26 19:53:22] [INFO ] Added : 225 causal constraints over 45 iterations in 20249 ms.(timeout) Result :sat
Minimization took 4748 ms.
[2024-05-26 19:53:28] [INFO ] [Real]Absence check using 945 positive place invariants in 396 ms returned sat
[2024-05-26 19:53:28] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 113 ms returned sat
[2024-05-26 19:53:31] [INFO ] [Real]Absence check using state equation in 2656 ms returned sat
[2024-05-26 19:53:32] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 551 ms.
[2024-05-26 19:53:52] [INFO ] Added : 175 causal constraints over 35 iterations in 20230 ms.(timeout) Result :sat
Minimization took 4744 ms.
[2024-05-26 19:53:58] [INFO ] [Real]Absence check using 945 positive place invariants in 348 ms returned sat
[2024-05-26 19:53:58] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 124 ms returned sat
[2024-05-26 19:54:01] [INFO ] [Real]Absence check using state equation in 2793 ms returned sat
[2024-05-26 19:54:02] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 551 ms.
[2024-05-26 19:54:21] [INFO ] Added : 215 causal constraints over 43 iterations in 20357 ms.(timeout) Result :sat
Minimization took 4798 ms.
[2024-05-26 19:54:27] [INFO ] [Real]Absence check using 945 positive place invariants in 336 ms returned sat
[2024-05-26 19:54:27] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 121 ms returned sat
[2024-05-26 19:54:31] [INFO ] [Real]Absence check using state equation in 3030 ms returned sat
[2024-05-26 19:54:31] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 576 ms.
[2024-05-26 19:54:51] [INFO ] Added : 235 causal constraints over 47 iterations in 20375 ms.(timeout) Result :sat
Minimization took 4801 ms.
[2024-05-26 19:54:57] [INFO ] [Real]Absence check using 945 positive place invariants in 393 ms returned sat
[2024-05-26 19:54:58] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 183 ms returned sat
[2024-05-26 19:55:00] [INFO ] [Real]Absence check using state equation in 2740 ms returned sat
[2024-05-26 19:55:01] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 529 ms.
[2024-05-26 19:55:21] [INFO ] Added : 220 causal constraints over 44 iterations in 20078 ms.(timeout) Result :sat
Minimization took 4740 ms.
[2024-05-26 19:55:26] [INFO ] [Real]Absence check using 945 positive place invariants in 349 ms returned sat
[2024-05-26 19:55:27] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 123 ms returned sat
[2024-05-26 19:55:29] [INFO ] [Real]Absence check using state equation in 2836 ms returned sat
[2024-05-26 19:55:30] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 601 ms.
[2024-05-26 19:55:50] [INFO ] Added : 170 causal constraints over 34 iterations in 20141 ms.(timeout) Result :sat
Minimization took 4741 ms.
[2024-05-26 19:55:56] [INFO ] [Real]Absence check using 945 positive place invariants in 290 ms returned sat
[2024-05-26 19:55:56] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 145 ms returned sat
[2024-05-26 19:55:59] [INFO ] [Real]Absence check using state equation in 2779 ms returned sat
[2024-05-26 19:55:59] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 528 ms.
[2024-05-26 19:56:19] [INFO ] Added : 190 causal constraints over 38 iterations in 20299 ms.(timeout) Result :sat
Minimization took 4745 ms.
[2024-05-26 19:56:25] [INFO ] [Real]Absence check using 945 positive place invariants in 351 ms returned sat
[2024-05-26 19:56:25] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 120 ms returned sat
[2024-05-26 19:56:28] [INFO ] [Real]Absence check using state equation in 2563 ms returned sat
[2024-05-26 19:56:29] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 607 ms.
[2024-05-26 19:56:48] [INFO ] Added : 170 causal constraints over 34 iterations in 20179 ms.(timeout) Result :sat
Minimization took 4748 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[12, 20, 17, 17, 14, 15, 15, 9] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[12, 20, 17, 17, 14, 15, 15, 9] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Support contains 8 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 203 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 203 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 198 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-05-26 19:56:54] [INFO ] Invariant cache hit.
[2024-05-26 19:56:59] [INFO ] Implicit Places using invariants in 4497 ms returned []
[2024-05-26 19:56:59] [INFO ] Invariant cache hit.
[2024-05-26 19:57:09] [INFO ] Implicit Places using invariants and state equation in 10403 ms returned []
Implicit Place search using SMT with State Equation took 14912 ms to find 0 implicit places.
[2024-05-26 19:57:10] [INFO ] Redundant transitions in 542 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-05-26 19:57:10] [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 1.0)
(s712 1.0)
(s713 1.0)
(s714 1.0)
(s715 1.0)
(s716 1.0)
(s717 1.0)
(s718 1.0)
(s719 1.0)
(s720 1.0)
(s721 1.0)
(s722 1.0)
(s723 1.0)
(s724 1.0)
(s725 1.0)
(s726 1.0)
(s727 1.0)
(s728 1.0)
(s729 1.0)
(s730 1.0)
(s731 1.0)
(s732 1.0)
(s733 1.0)
(s734 1.0)
(s735 1.0)
(s736 1.0)
(s737 1.0)
(s738 1.0)
(s739 1.0)
(s740 1.0)
(s741 1.0)
(s742 1.0)
(s743 1.0)
(s744 1.0)
(s745 1.0)
(s746 1.0)
(s747 1.0)
(s748 1.0)
(s749 1.0)
(s750 1.0)
(s751 1.0)
(s752 1.0)
(s753 1.0)
(s754 1.0)
(s755 1.0)
(s756 1.0)
(s757 1.0)
(s758 1.0)
(s759 1.0)
(s760 1.0)
(s761 1.0)
(s762 1.0)
(s763 1.0)
(s764 1.0)
(s765 1.0)
(s766 1.0)
(s767 1.0)
(s768 1.0)
(s769 1.0)
(s770 1.0)
(s771 1.0)
(s772 1.0)
(s773 1.0)
(s774 1.0)
(s775 1.0)
(s776 1.0)
(s777 1.0)
(s778 1.0)
(s779 1.0)
(s780 1.0)
(s781 1.0)
(s782 1.0)
(s783 1.0)
(s784 1.0)
(s785 1.0)
(s786 1.0)
(s787 1.0)
(s788 1.0)
(s789 1.0)
(s790 1.0)
(s791 1.0)
(s792 1.0)
(s793 1.0)
(s794 1.0)
(s795 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 30125 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 30156 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 68876ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 68936ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 84615 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-05-26 19:58:18] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[12, 20, 17, 17, 14, 15, 15, 9] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 186450 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1272977 steps (0 resets) in 40074 ms. (31 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[12, 20, 17, 17, 20, 15, 15, 9] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
[2024-05-26 19:59:29] [INFO ] Invariant cache hit.
[2024-05-26 19:59:29] [INFO ] [Real]Absence check using 945 positive place invariants in 297 ms returned sat
[2024-05-26 19:59:29] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 135 ms returned sat
[2024-05-26 19:59:32] [INFO ] [Real]Absence check using state equation in 2366 ms returned sat
[2024-05-26 19:59:33] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 495 ms.
[2024-05-26 19:59:52] [INFO ] Added : 240 causal constraints over 48 iterations in 20121 ms.(timeout) Result :sat
Minimization took 4795 ms.
[2024-05-26 19:59:58] [INFO ] [Real]Absence check using 945 positive place invariants in 322 ms returned sat
[2024-05-26 19:59:58] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 119 ms returned sat
[2024-05-26 20:00:01] [INFO ] [Real]Absence check using state equation in 2625 ms returned sat
[2024-05-26 20:00:02] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 579 ms.
[2024-05-26 20:00:22] [INFO ] Added : 210 causal constraints over 42 iterations in 20513 ms.(timeout) Result :sat
Minimization took 4794 ms.
[2024-05-26 20:00:28] [INFO ] [Real]Absence check using 945 positive place invariants in 459 ms returned sat
[2024-05-26 20:00:28] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 123 ms returned sat
[2024-05-26 20:00:31] [INFO ] [Real]Absence check using state equation in 2973 ms returned sat
[2024-05-26 20:00:32] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 412 ms.
[2024-05-26 20:00:52] [INFO ] Added : 185 causal constraints over 37 iterations in 20234 ms.(timeout) Result :sat
Minimization took 4762 ms.
[2024-05-26 20:00:58] [INFO ] [Real]Absence check using 945 positive place invariants in 315 ms returned sat
[2024-05-26 20:00:58] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 125 ms returned sat
[2024-05-26 20:01:00] [INFO ] [Real]Absence check using state equation in 2536 ms returned sat
[2024-05-26 20:01:01] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 381 ms.
[2024-05-26 20:01:21] [INFO ] Added : 295 causal constraints over 59 iterations in 20250 ms.(timeout) Result :sat
Minimization took 4758 ms.
[2024-05-26 20:01:27] [INFO ] [Real]Absence check using 945 positive place invariants in 317 ms returned sat
[2024-05-26 20:01:27] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 121 ms returned sat
[2024-05-26 20:01:29] [INFO ] [Real]Absence check using state equation in 2326 ms returned sat
[2024-05-26 20:01:30] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 392 ms.
[2024-05-26 20:01:49] [INFO ] Added : 290 causal constraints over 58 iterations in 20099 ms.(timeout) Result :sat
Minimization took 4799 ms.
[2024-05-26 20:01:55] [INFO ] [Real]Absence check using 945 positive place invariants in 314 ms returned sat
[2024-05-26 20:01:55] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 131 ms returned sat
[2024-05-26 20:01:58] [INFO ] [Real]Absence check using state equation in 2322 ms returned sat
[2024-05-26 20:01:58] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 387 ms.
[2024-05-26 20:02:18] [INFO ] Added : 285 causal constraints over 57 iterations in 20199 ms.(timeout) Result :sat
Minimization took 4759 ms.
[2024-05-26 20:02:24] [INFO ] [Real]Absence check using 945 positive place invariants in 281 ms returned sat
[2024-05-26 20:02:24] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 117 ms returned sat
[2024-05-26 20:02:26] [INFO ] [Real]Absence check using state equation in 2290 ms returned sat
[2024-05-26 20:02:27] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 390 ms.
[2024-05-26 20:02:47] [INFO ] Added : 285 causal constraints over 57 iterations in 20168 ms.(timeout) Result :sat
Minimization took 4804 ms.
[2024-05-26 20:02:53] [INFO ] [Real]Absence check using 945 positive place invariants in 315 ms returned sat
[2024-05-26 20:02:53] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 134 ms returned sat
[2024-05-26 20:02:55] [INFO ] [Real]Absence check using state equation in 2393 ms returned sat
[2024-05-26 20:02:56] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 388 ms.
[2024-05-26 20:03:15] [INFO ] Added : 280 causal constraints over 56 iterations in 20074 ms.(timeout) Result :sat
Minimization took 4799 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[12, 20, 17, 17, 20, 15, 15, 9] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[12, 20, 17, 17, 20, 15, 15, 9] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Support contains 8 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 177 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 179 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 166 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-05-26 20:03:21] [INFO ] Invariant cache hit.
[2024-05-26 20:03:25] [INFO ] Implicit Places using invariants in 4172 ms returned []
[2024-05-26 20:03:25] [INFO ] Invariant cache hit.
[2024-05-26 20:03:34] [INFO ] Implicit Places using invariants and state equation in 9186 ms returned []
Implicit Place search using SMT with State Equation took 13376 ms to find 0 implicit places.
[2024-05-26 20:03:35] [INFO ] Redundant transitions in 689 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-05-26 20:03:35] [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 1.0)
(s712 1.0)
(s713 1.0)
(s714 1.0)
(s715 1.0)
(s716 1.0)
(s717 1.0)
(s718 1.0)
(s719 1.0)
(s720 1.0)
(s721 1.0)
(s722 1.0)
(s723 1.0)
(s724 1.0)
(s725 1.0)
(s726 1.0)
(s727 1.0)
(s728 1.0)
(s729 1.0)
(s730 1.0)
(s731 1.0)
(s732 1.0)
(s733 1.0)
(s734 1.0)
(s735 1.0)
(s736 1.0)
(s737 1.0)
(s738 1.0)
(s739 1.0)
(s740 1.0)
(s741 1.0)
(s742 1.0)
(s743 1.0)
(s744 1.0)
(s745 1.0)
(s746 1.0)
(s747 1.0)
(s748 1.0)
(s749 1.0)
(s750 1.0)
(s751 1.0)
(s752 1.0)
(s753 1.0)
(s754 1.0)
(s755 1.0)
(s756 1.0)
(s757 1.0)
(s758 1.0)
(s759 1.0)
(s760 1.0)
(s761 1.0)
(s762 1.0)
(s763 1.0)
(s764 1.0)
(s765 1.0)
(s766 1.0)
(s767 1.0)
(s768 1.0)
(s769 1.0)
(s770 1.0)
(s771 1.0)
(s772 1.0)
(s773 1.0)
(s774 1.0)
(s775 1.0)
(s776 1.0)
(s777 1.0)
(s778 1.0)
(s779 1.0)
(s780 1.0)
(s781 1.0)
(s782 1.0)
(s783 1.0)
(s784 1.0)
(s785 1.0)
(s786 1.0)
(s787 1.0)
(s788 1.0)
(s789 1.0)
(s790 1.0)
(s791 1.0)
(s792 1.0)
(s793 1.0)
(s794 1.0)
(s795 1.0)
(s796 1.0)
(s797 1.0)
(s798 1.0)
(s799 1.0)
(s800 1.0)
(s801 1.0)
(s802 1.0)
(s803 1.0)
(s804 1.0)
(s805 1.0)
(s806 1.0)
(s807 1.0)
(s808 1.0)
(s809 1.0)
(s810 1.0)
(s811 1.0)
(s812 1.0)
(s813 1.0)
(s814 1.0)
(s815 1.0)
(s816 1.0)
(s817 1.0)
(s818 1.0)
(s819 1.0)
(s820 1.0)
(s821 1.0)
(s822 1.0)
(s823 1.0)
(s824 1.0)
(s825 1.0)
(s826 1.0)
(s827 1.0)
(s828 1.0)
(s829 1.0)
(s830 1.0)
(s831 1.0)
(s832 1.0)
(s833 1.0)
(s834 1.0)
(s835 1.0)
(s836 1.0)
(s837 0.0)
(s838 0.0)
(s839 0.0)
(s840 0.0)
(s841 0.0)
(s842 0.0)
(s843 0.0)
(s844 0.0)
(s845 0.0)
(s846 1.0)
(s847 1.0)
(s848 1.0)
(s849 1.0)
(s850 1.0)
(s851 1.0)
(s852 1.0)
(s853 1.0)
(s854 1.0)
(s855 1.0)
(s856 1.0)
(s857 1.0)
(s858 1.0)
(s859 1.0)
(s860 1.0)
(s861 1.0)
(s862 1.0)
(s863 1.0)
(s864 1.0)
(s865 1.0)
(s866 1.0)
(s867 1.0)
(s868 1.0)
(s869 1.0)
(s870 1.0)
(s871 1.0)
(s872 1.0)
(s873 0.0)
(s874 0.0)
(s875 0.0)
(s876 0.0)
(s877 0.0)
(s878 0.0)
(s879 0.0)
(s880 0.0)
(s881 0.0)
(s882 1.0)
(s883 1.0)
(s884 1.0)
(s885 1.0)
(s886 1.0)
(s887 1.0)
(s888 1.0)
(s889 1.0)
(s890 1.0)
(s891 1.0)
(s892 1.0)
(s893 1.0)
(s894 1.0)
(s895 1.0)
(s896 1.0)
(s897 1.0)
(s898 1.0)
(s899 1.0)
(s900 1.0)
(s901 1.0)
(s902 1.0)
(s903 1.0)
(s904 1.0)
(s905 1.0)
(s906 1.0)
(s907 1.0)
(s908 1.0)
(s909 0.0)
(s910 0.0)
(s911 0.0)
(s912 0.0)
(s913 0.0)
(s914 0.0)
(s915 0.0)
(s916 0.0)
(s917 0.0)
(s918 1.0)
(s919 1.0)
(s920 1.0)
(s921 1.0)
(s922 1.0)
(s923 1.0)
(s924 1.0)
(s925 1.0)
(s926 1.0)
(s927 1.0)
(s928 1.0)
(s929 1.0)
(s930 1.0)
(s931 1.0)
(s932 1.0)
(s933 1.0)
(s934 1.0)
(s935 1.0)
(s936 1.0)
(s937 1.0)
(s938 1.0)
(s939 1.0)
(s940 1.0)
(s941 1.0)
(s942 1.0)
(s943 1.0)
(s944 1.0)
(s945 0.0)
(s946 0.0)
(s947 0.0)
(s948 1.0)
(s949 1.0)
(s950 1.0)
(s951 1.0)
(s952 1.0)
(s953 1.0)
(s954 1.0)
(s955 1.0)
(s956 1.0)
(s957 0.0)
(s958 0.0)
(s959 0.0)
(s960 1.0)
(s961 1.0)
(s962 1.0)
(s963 1.0)
(s964 1.0)
(s965 1.0)
(s966 1.0)
(s967 1.0)
(s968 1.0)
(s969 0.0)
(s970 0.0)
(s971 0.0)
(s972 1.0)
(s973 1.0)
(s974 1.0)
(s975 1.0)
(s976 1.0)
(s977 1.0)
(s978 1.0)
(s979 1.0)
(s980 1.0)
(s981 0.0)
(s982 0.0)
(s983 0.0)
(s984 1.0)
(s985 1.0)
(s986 1.0)
(s987 1.0)
(s988 1.0)
(s989 1.0)
(s990 1.0)
(s991 1.0)
(s992 1.0)
(s993 0.0)
(s994 0.0)
(s995 0.0)
(s996 1.0)
(s997 1.0)
(s998 1.0)
(s999 1.0)
(s1000 1.0)
(s1001 1.0)
(s1002 1.0)
(s1003 1.0)
(s1004 1.0)
(s1005 0.0)
(s1006 0.0)
(s1007 0.0)
(s1008 1.0)
(s1009 1.0)
(s1010 1.0)
(s1011 1.0)
(s1012 1.0)
(s1013 1.0)
(s1014 1.0)
(s1015 1.0)
(s1016 1.0)
(s1017 0.0)
(s1018 0.0)
(s1019 0.0)
(s1020 1.0)
(s1021 1.0)
(s1022 1.0)
(s1023 1.0)
(s1024 1.0)
(s1025 1.0)
(s1026 1.0)
(s1027 1.0)
(s1028 1.0)
(s1029 0.0)
(s1030 0.0)
(s1031 0.0)
(s1032 1.0)
(s1033 1.0)
(s1034 1.0)
(s1035 1.0)
(s1036 1.0)
(s1037 1.0)
(s1038 1.0)
(s1039 1.0)
(s1040 1.0)
(s1041 0.0)
(s1042 0.0)
(s1043 0.0)
(s1044 1.0)
(s1045 1.0)
(s1046 1.0)
(s1047 1.0)
(s1048 1.0)
(s1049 1.0)
(s1050 1.0)
(s1051 1.0)
(s1052 1.0)
(s1053 0.0)
(s1054 1.0)
(s1055 1.0)
(s1056 1.0)
(s1057 0.0)
(s1058 1.0)
(s1059 1.0)
(s1060 1.0)
(s1061 0.0)
(s1062 1.0)
(s1063 1.0)
(s1064 1.0)
(s1065 0.0)
(s1066 1.0)
(s1067 1.0)
(s1068 1.0)
(s1069 0.0)
(s1070 1.0)
(s1071 1.0)
(s1072 1.0)
(s1073 0.0)
(s1074 1.0)
(s1075 1.0)
(s1076 1.0)
(s1077 0.0)
(s1078 1.0)
(s1079 1.0)
(s1080 1.0)
(s1081 0.0)
(s1082 1.0)
(s1083 1.0)
(s1084 1.0)
(s1085 0.0)
(s1086 1.0)
(s1087 1.0)
(s1088 1.0)
(s1089 0.0)
(s1090 1.0)
(s1091 1.0)
(s1092 1.0)
(s1093 0.0)
(s1094 1.0)
(s1095 1.0)
(s1096 1.0)
(s1097 0.0)
(s1098 1.0)
(s1099 1.0)
(s1100 1.0)
(s1101 0.0)
(s1102 1.0)
(s1103 1.0)
(s1104 1.0)
(s1105 0.0)
(s1106 1.0)
(s1107 1.0)
(s1108 1.0)
(s1109 0.0)
(s1110 1.0)
(s1111 1.0)
(s1112 1.0)
(s1113 0.0)
(s1114 1.0)
(s1115 1.0)
(s1116 1.0)
(s1117 0.0)
(s1118 1.0)
(s1119 1.0)
(s1120 1.0)
(s1121 0.0)
(s1122 1.0)
(s1123 1.0)
(s1124 1.0)
(s1125 0.0)
(s1126 1.0)
(s1127 1.0)
(s1128 1.0)
(s1129 0.0)
(s1130 1.0)
(s1131 1.0)
(s1132 1.0)
(s1133 0.0)
(s1134 1.0)
(s1135 1.0)
(s1136 1.0)
(s1137 0.0)
(s1138 1.0)
(s1139 1.0)
(s1140 1.0)
(s1141 0.0)
(s1142 1.0)
(s1143 1.0)
(s1144 1.0)
(s1145 0.0)
(s1146 1.0)
(s1147 1.0)
(s1148 1.0)
(s1149 0.0)
(s1150 1.0)
(s1151 1.0)
(s1152 1.0)
(s1153 0.0)
(s1154 1.0)
(s1155 1.0)
(s1156 1.0)
(s1157 0.0)
(s1158 1.0)
(s1159 1.0)
(s1160 1.0)
(s1161 0.0)
(s1162 0.0)
(s1163 0.0)
(s1164 0.0)
(s1165 0.0)
(s1166 0.0)
(s1167 0.0)
(s1168 0.0)
(s1169 0.0)
(s1170 0.0)
(s1171 0.0)
(s1172 0.0)
(s1173 0.0)
(s1174 0.0)
(s1175 0.0)
(s1176 0.0)
(s1177 0.0)
(s1178 0.0)
(s1179 0.0)
(s1180 0.0)
(s1181 0.0)
(s1182 0.0)
(s1183 0.0)
(s1184 0.0)
(s1185 0.0)
(s1186 0.0)
(s1187 0.0)
(s1269 1.0)
(s1270 1.0)
(s1271 1.0)
(s1272 1.0)
(s1273 1.0)
(s1274 1.0)
(s1275 1.0)
(s1276 1.0)
(s1277 1.0)
(s1305 1.0)
(s1306 1.0)
(s1307 1.0)
(s1308 1.0)
(s1309 1.0)
(s1310 1.0)
(s1311 1.0)
(s1312 1.0)
(s1313 1.0)
(s1341 1.0)
(s1342 1.0)
(s1343 1.0)
(s1344 1.0)
(s1345 1.0)
(s1346 1.0)
(s1347 1.0)
(s1348 1.0)
(s1349 1.0)
(s1377 1.0)
(s1378 1.0)
(s1379 1.0)
(s1389 1.0)
(s1390 1.0)
(s1391 1.0)
(s1401 1.0)
(s1402 1.0)
(s1403 1.0)
(s1413 1.0)
(s1414 1.0)
(s1415 1.0)
(s1425 1.0)
(s1426 1.0)
(s1427 1.0)
(s1437 1.0)
(s1438 1.0)
(s1439 1.0)
(s1449 1.0)
(s1450 1.0)
(s1451 1.0)
(s1461 1.0)
(s1462 1.0)
(s1463 1.0)
(s1473 1.0)
(s1474 1.0)
(s1475 1.0)
(s1485 1.0)
(s1489 1.0)
(s1493 1.0)
(s1497 1.0)
(s1501 1.0)
(s1505 1.0)
(s1509 1.0)
(s1513 1.0)
(s1517 1.0)
(s1521 1.0)
(s1525 1.0)
(s1529 1.0)
(s1533 1.0)
(s1537 1.0)
(s1541 1.0)
(s1545 1.0)
(s1549 1.0)
(s1553 1.0)
(s1557 1.0)
(s1561 1.0)
(s1565 1.0)
(s1569 1.0)
(s1573 1.0)
(s1577 1.0)
(s1581 1.0)
(s1585 1.0)
(s1589 1.0)
(s1593 1.0)
(s1594 1.0)
(s1595 1.0)
(s1596 1.0)
(s1597 1.0)
(s1598 1.0)
(s1599 1.0)
(s1600 1.0)
(s1601 1.0)
(s1602 1.0)
(s1603 1.0)
(s1604 1.0)
(s1605 1.0)
(s1606 1.0)
(s1607 1.0)
(s1608 1.0)
(s1609 1.0)
(s1610 1.0)
(s1611 1.0)
(s1612 1.0)
(s1613 1.0)
(s1614 1.0)
(s1615 1.0)
(s1616 1.0)
(s1617 1.0)
(s1618 1.0)
(s1619 1.0)
(s1620 1.0)
(s1621 1.0)
(s1622 1.0)
(s1623 1.0)
(s1624 1.0)
(s1625 1.0)
(s1626 1.0)
(s1627 1.0)
(s1628 1.0)
(s1629 1.0)
(s1630 1.0)
(s1631 1.0)
(s1632 1.0)
(s1633 1.0)
(s1634 1.0)
(s1635 1.0)
(s1636 1.0)
(s1637 1.0)
(s1638 1.0)
(s1639 1.0)
(s1640 1.0)
(s1641 1.0)
(s1642 1.0)
(s1643 1.0)
(s1644 1.0)
(s1645 1.0)
(s1646 1.0)
(s1647 1.0)
(s1648 1.0)
(s1649 1.0)
(s1650 1.0)
(s1651 1.0)
(s1652 1.0)
(s1653 1.0)
(s1654 1.0)
(s1655 1.0)
(s1656 1.0)
(s1657 1.0)
(s1658 1.0)
(s1659 1.0)
(s1660 1.0)
(s1661 1.0)
(s1662 1.0)
(s1663 1.0)
(s1664 1.0)
(s1665 1.0)
(s1666 1.0)
(s1667 1.0)
(s1668 1.0)
(s1669 1.0)
(s1670 1.0)
(s1671 1.0)
(s1672 1.0)
(s1673 1.0)
(s1674 1.0)
(s1675 1.0)
(s1676 1.0)
(s1677 1.0)
(s1678 1.0)
(s1679 1.0)
(s1680 1.0)
(s1681 1.0)
(s1682 1.0)
(s1683 1.0)
(s1684 1.0)
(s1685 1.0)
(s1686 1.0)
(s1687 1.0)
(s1688 1.0)
(s1689 1.0)
(s1690 1.0)
(s1691 1.0)
(s1692 1.0)
(s1693 1.0)
(s1694 1.0)
(s1695 1.0)
(s1696 1.0)
(s1697 1.0)
(s1698 1.0)
(s1699 1.0)
(s1700 1.0)
(s1701 1.0)
(s1702 1.0)
(s1703 1.0)
(s1704 1.0)
(s1705 1.0)
(s1706 1.0)
(s1707 1.0)
(s1708 1.0)
(s1709 1.0)
(s1710 1.0)
(s1711 1.0)
(s1712 1.0)
(s1713 1.0)
(s1714 1.0)
(s1715 1.0)
(s1716 1.0)
(s1717 1.0)
(s1718 1.0)
(s1719 1.0)
(s1720 1.0)
(s1721 1.0)
(s1722 1.0)
(s1723 1.0)
(s1724 1.0)
(s1725 1.0)
(s1726 1.0)
(s1727 1.0)
(s1728 0.0)
(s1729 0.0)
(s1730 0.0)
(s1731 0.0)
(s1732 0.0)
(s1733 0.0)
(s1734 0.0)
(s1735 0.0)
(s1736 0.0)
(s1737 1.0)
(s1738 1.0)
(s1739 1.0)
(s1740 1.0)
(s1741 1.0)
(s1742 1.0)
(s1743 1.0)
(s1744 1.0)
(s1745 1.0)
(s1746 1.0)
(s1747 1.0)
(s1748 1.0)
(s1749 1.0)
(s1750 1.0)
(s1751 1.0)
(s1752 1.0)
(s1753 1.0)
(s1754 1.0)
(s1755 1.0)
(s1756 1.0)
(s1757 1.0)
(s1758 1.0)
(s1759 1.0)
(s1760 1.0)
(s1761 1.0)
(s1762 1.0)
(s1763 1.0)
(s1764 0.0)
(s1765 0.0)
(s1766 0.0)
(s1767 0.0)
(s1768 0.0)
(s1769 0.0)
(s1770 0.0)
(s1771 0.0)
(s1772 0.0)
(s1773 1.0)
(s1774 1.0)
(s1775 1.0)
(s1776 1.0)
(s1777 1.0)
(s1778 1.0)
(s1779 1.0)
(s1780 1.0)
(s1781 1.0)
(s1782 1.0)
(s1783 1.0)
(s1784 1.0)
(s1785 1.0)
(s1786 1.0)
(s1787 1.0)
(s1788 1.0)
(s1789 1.0)
(s1790 1.0)
(s1791 1.0)
(s1792 1.0)
(s1793 1.0)
(s1794 1.0)
(s1795 1.0)
(s1796 1.0)
(s1797 1.0)
(s1798 1.0)
(s1799 1.0)
(s1800 0.0)
(s1801 0.0)
(s1802 0.0)
(s1803 0.0)
(s1804 0.0)
(s1805 0.0)
(s1806 0.0)
(s1807 0.0)
(s1808 0.0)
(s1809 1.0)
(s1810 1.0)
(s1811 1.0)
(s1812 1.0)
(s1813 1.0)
(s1814 1.0)
(s1815 1.0)
(s1816 1.0)
(s1817 1.0)
(s1818 0.0)
(s1819 0.0)
(s1820 0.0)
(s1821 1.0)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 30094 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 30081 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 68040ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 68092ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 82341 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-05-26 20:04:43] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[12, 20, 17, 17, 20, 15, 15, 9] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 191096 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1255860 steps (0 resets) in 40056 ms. (31 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[12, 20, 17, 17, 20, 32, 15, 9] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
[2024-05-26 20:05:53] [INFO ] Invariant cache hit.
[2024-05-26 20:05:54] [INFO ] [Real]Absence check using 945 positive place invariants in 299 ms returned sat
[2024-05-26 20:05:54] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 140 ms returned sat
[2024-05-26 20:05:56] [INFO ] [Real]Absence check using state equation in 2410 ms returned sat
[2024-05-26 20:05:57] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 389 ms.
[2024-05-26 20:06:17] [INFO ] Added : 290 causal constraints over 58 iterations in 20283 ms.(timeout) Result :sat
Minimization took 4800 ms.
[2024-05-26 20:06:23] [INFO ] [Real]Absence check using 945 positive place invariants in 302 ms returned sat
[2024-05-26 20:06:23] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 126 ms returned sat
[2024-05-26 20:06:25] [INFO ] [Real]Absence check using state equation in 2289 ms returned sat
[2024-05-26 20:06:26] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 376 ms.
[2024-05-26 20:06:46] [INFO ] Added : 295 causal constraints over 59 iterations in 20218 ms.(timeout) Result :sat
Minimization took 4786 ms.
[2024-05-26 20:06:52] [INFO ] [Real]Absence check using 945 positive place invariants in 287 ms returned sat
[2024-05-26 20:06:52] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 120 ms returned sat
[2024-05-26 20:06:54] [INFO ] [Real]Absence check using state equation in 2541 ms returned sat
[2024-05-26 20:06:55] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 381 ms.
[2024-05-26 20:07:15] [INFO ] Added : 310 causal constraints over 62 iterations in 20506 ms.(timeout) Result :sat
Minimization took 4792 ms.
[2024-05-26 20:07:21] [INFO ] [Real]Absence check using 945 positive place invariants in 298 ms returned sat
[2024-05-26 20:07:21] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 126 ms returned sat
[2024-05-26 20:07:23] [INFO ] [Real]Absence check using state equation in 2348 ms returned sat
[2024-05-26 20:07:24] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 376 ms.
[2024-05-26 20:07:44] [INFO ] Added : 300 causal constraints over 60 iterations in 20254 ms.(timeout) Result :sat
Minimization took 4794 ms.
[2024-05-26 20:07:50] [INFO ] [Real]Absence check using 945 positive place invariants in 294 ms returned sat
[2024-05-26 20:07:50] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 118 ms returned sat
[2024-05-26 20:07:52] [INFO ] [Real]Absence check using state equation in 2433 ms returned sat
[2024-05-26 20:07:53] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 378 ms.
[2024-05-26 20:08:13] [INFO ] Added : 290 causal constraints over 58 iterations in 20312 ms.(timeout) Result :sat
Minimization took 4784 ms.
[2024-05-26 20:08:18] [INFO ] [Real]Absence check using 945 positive place invariants in 289 ms returned sat
[2024-05-26 20:08:19] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 133 ms returned sat
[2024-05-26 20:08:21] [INFO ] [Real]Absence check using state equation in 2291 ms returned sat
[2024-05-26 20:08:22] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 375 ms.
[2024-05-26 20:08:41] [INFO ] Added : 295 causal constraints over 59 iterations in 20273 ms.(timeout) Result :sat
Minimization took 4751 ms.
[2024-05-26 20:08:47] [INFO ] [Real]Absence check using 945 positive place invariants in 303 ms returned sat
[2024-05-26 20:08:47] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 119 ms returned sat
[2024-05-26 20:08:50] [INFO ] [Real]Absence check using state equation in 2394 ms returned sat
[2024-05-26 20:08:50] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 394 ms.
[2024-05-26 20:09:10] [INFO ] Added : 290 causal constraints over 58 iterations in 20159 ms.(timeout) Result :sat
Minimization took 4753 ms.
[2024-05-26 20:09:16] [INFO ] [Real]Absence check using 945 positive place invariants in 285 ms returned sat
[2024-05-26 20:09:16] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 121 ms returned sat
[2024-05-26 20:09:18] [INFO ] [Real]Absence check using state equation in 2346 ms returned sat
[2024-05-26 20:09:19] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 382 ms.
[2024-05-26 20:09:39] [INFO ] Added : 295 causal constraints over 59 iterations in 20020 ms.(timeout) Result :sat
Minimization took 4750 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[12, 20, 17, 17, 20, 32, 15, 9] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[12, 20, 17, 17, 20, 32, 15, 9] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Support contains 8 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 191 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 192 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 194 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-05-26 20:09:44] [INFO ] Invariant cache hit.
[2024-05-26 20:09:48] [INFO ] Implicit Places using invariants in 3457 ms returned []
[2024-05-26 20:09:48] [INFO ] Invariant cache hit.
[2024-05-26 20:09:56] [INFO ] Implicit Places using invariants and state equation in 8564 ms returned []
Implicit Place search using SMT with State Equation took 12037 ms to find 0 implicit places.
[2024-05-26 20:09:57] [INFO ] Redundant transitions in 396 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-05-26 20:09:57] [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 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 "Error writing to Z3 solver: java.io.IOException: Broken pipe")
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 30084 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 68117ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 68170ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 80825 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-05-26 20:11:05] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[12, 20, 17, 17, 20, 32, 15, 9] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 195643 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1268657 steps (0 resets) in 40058 ms. (31 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[12, 20, 17, 17, 20, 32, 15, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
[2024-05-26 20:12:15] [INFO ] Invariant cache hit.
[2024-05-26 20:12:16] [INFO ] [Real]Absence check using 945 positive place invariants in 296 ms returned sat
[2024-05-26 20:12:16] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 142 ms returned sat
[2024-05-26 20:12:18] [INFO ] [Real]Absence check using state equation in 2423 ms returned sat
[2024-05-26 20:12:19] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 384 ms.
[2024-05-26 20:12:39] [INFO ] Added : 295 causal constraints over 59 iterations in 20545 ms.(timeout) Result :sat
Minimization took 4758 ms.
[2024-05-26 20:12:45] [INFO ] [Real]Absence check using 945 positive place invariants in 289 ms returned sat
[2024-05-26 20:12:45] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 132 ms returned sat
[2024-05-26 20:12:47] [INFO ] [Real]Absence check using state equation in 2455 ms returned sat
[2024-05-26 20:12:48] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 353 ms.
[2024-05-26 20:13:08] [INFO ] Added : 290 causal constraints over 58 iterations in 20087 ms.(timeout) Result :sat
Minimization took 4758 ms.
[2024-05-26 20:13:13] [INFO ] [Real]Absence check using 945 positive place invariants in 290 ms returned sat
[2024-05-26 20:13:14] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 121 ms returned sat
[2024-05-26 20:13:16] [INFO ] [Real]Absence check using state equation in 2550 ms returned sat
[2024-05-26 20:13:17] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 382 ms.
[2024-05-26 20:13:37] [INFO ] Added : 295 causal constraints over 59 iterations in 20293 ms.(timeout) Result :sat
Minimization took 4753 ms.
[2024-05-26 20:13:42] [INFO ] [Real]Absence check using 945 positive place invariants in 287 ms returned sat
[2024-05-26 20:13:43] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 124 ms returned sat
[2024-05-26 20:13:45] [INFO ] [Real]Absence check using state equation in 2378 ms returned sat
[2024-05-26 20:13:46] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 443 ms.
[2024-05-26 20:14:05] [INFO ] Added : 295 causal constraints over 59 iterations in 20173 ms.(timeout) Result :sat
Minimization took 4757 ms.
[2024-05-26 20:14:11] [INFO ] [Real]Absence check using 945 positive place invariants in 290 ms returned sat
[2024-05-26 20:14:11] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 119 ms returned sat
[2024-05-26 20:14:14] [INFO ] [Real]Absence check using state equation in 2411 ms returned sat
[2024-05-26 20:14:14] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 383 ms.
[2024-05-26 20:14:34] [INFO ] Added : 295 causal constraints over 59 iterations in 20179 ms.(timeout) Result :sat
Minimization took 4751 ms.
[2024-05-26 20:14:40] [INFO ] [Real]Absence check using 945 positive place invariants in 288 ms returned sat
[2024-05-26 20:14:40] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 126 ms returned sat
[2024-05-26 20:14:42] [INFO ] [Real]Absence check using state equation in 2274 ms returned sat
[2024-05-26 20:14:43] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 373 ms.
[2024-05-26 20:15:03] [INFO ] Added : 300 causal constraints over 60 iterations in 20359 ms.(timeout) Result :sat
Minimization took 4753 ms.
[2024-05-26 20:15:09] [INFO ] [Real]Absence check using 945 positive place invariants in 287 ms returned sat
[2024-05-26 20:15:09] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 136 ms returned sat
[2024-05-26 20:15:11] [INFO ] [Real]Absence check using state equation in 2377 ms returned sat
[2024-05-26 20:15:12] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 367 ms.
[2024-05-26 20:15:31] [INFO ] Added : 290 causal constraints over 58 iterations in 20091 ms.(timeout) Result :sat
Minimization took 4750 ms.
[2024-05-26 20:15:37] [INFO ] [Real]Absence check using 945 positive place invariants in 284 ms returned sat
[2024-05-26 20:15:37] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 131 ms returned sat
[2024-05-26 20:15:40] [INFO ] [Real]Absence check using state equation in 2412 ms returned sat
[2024-05-26 20:15:40] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 382 ms.
[2024-05-26 20:16:00] [INFO ] Added : 305 causal constraints over 61 iterations in 20401 ms.(timeout) Result :sat
Minimization took 4751 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[12, 20, 17, 17, 20, 32, 15, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[12, 20, 17, 17, 20, 32, 15, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Support contains 8 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 180 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 180 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 159 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-05-26 20:16:06] [INFO ] Invariant cache hit.
[2024-05-26 20:16:09] [INFO ] Implicit Places using invariants in 3282 ms returned []
[2024-05-26 20:16:09] [INFO ] Invariant cache hit.
[2024-05-26 20:16:17] [INFO ] Implicit Places using invariants and state equation in 8297 ms returned []
Implicit Place search using SMT with State Equation took 11607 ms to find 0 implicit places.
[2024-05-26 20:16:18] [INFO ] Redundant transitions in 396 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-05-26 20:16:18] [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 1.0)
(s712 1.0)
(s713 1.0)
(s714 1.0)
(s715 1.0)
(s716 1.0)
(s717 1.0)
(s718 1.0)
(s719 1.0)
(s720 1.0)
(s721 1.0)
(s722 1.0)
(s723 1.0)
(s724 1.0)
(s725 1.0)
(s726 1.0)
(s727 1.0)
(s728 1.0)
(s729 1.0)
(s730 1.0)
(s731 1.0)
(s732 1.0)
(s733 1.0)
(s734 1.0)
(s735 1.0)
(s736 1.0)
(s737 1.0)
(s738 1.0)
(s739 1.0)
(s740 1.0)
(s741 1.0)
(s742 1.0)
(s743 1.0)
(s744 1.0)
(s745 1.0)
(s746 1.0)
(s747 1.0)
(s748 1.0)
(s749 1.0)
(s750 1.0)
(s751 1.0)
(s752 1.0)
(s753 1.0)
(s754 1.0)
(s755 1.0)
(s756 1.0)
(s757 1.0)
(s758 1.0)
(s759 1.0)
(s760 1.0)
(s761 1.0)
(s762 1.0)
(s763 1.0)
(s764 1.0)
(s765 1.0)
(s766 1.0)
(s767 1.0)
(s768 1.0)
(s769 1.0)
(s770 1.0)
(s771 1.0)
(s772 1.0)
(s773 1.0)
(s774 1.0)
(s775 1.0)
(s776 1.0)
(s777 1.0)
(s778 1.0)
(s779 1.0)
(s780 1.0)
(s781 1.0)
(s782 1.0)
(s783 1.0)
(s784 1.0)
(s785 1.0)
(s786 1.0)
(s787 1.0)
(s788 1.0)
(s789 1.0)
(s790 1.0)
(s791 1.0)
(s792 1.0)
(s793 1.0)
(s794 1.0)
(s795 1.0)
(s796 1.0)
(s797 1.0)
(s798 1.0)
(s799 1.0)
(s800 1.0)
(s801 1.0)
(s802 1.0)
(s803 1.0)
(s804 1.0)
(s805 1.0)
(s806 1.0)
(s807 1.0)
(s808 1.0)
(s809 1.0)
(s810 1.0)
(s811 1.0)
(s812 1.0)
(s813 1.0)
(s814 1.0)
(s815 1.0)
(s816 1.0)
(s817 1.0)
(s818 1.0)
(s819 1.0)
(s820 1.0)
(s821 1.0)
(s822 1.0)
(s823 1.0)
(s824 1.0)
(s825 1.0)
(s826 1.0)
(s827 1.0)
(s828 1.0)
(s829 1.0)
(s830 1.0)
(s831 1.0)
(s832 1.0)
(s833 1.0)
(s834 1.0)
(s835 1.0)
(s836 1.0)
(s837 1.0)
(s838 1.0)
(s839 1.0)
(s840 1.0)
(s841 1.0)
(s842 1.0)
(s843 1.0)
(s844 1.0)
(s845 1.0)
(s846 1.0)
(s847 1.0)
(s848 1.0)
(s849 1.0)
(s850 1.0)
(s851 1.0)
(s852 1.0)
(s853 1.0)
(s854 1.0)
(s855 1.0)
(s856 1.0)
(s857 1.0)
(s858 1.0)
(s859 1.0)
(s860 1.0)
(s861 1.0)
(s862 1.0)
(s863 1.0)
(s864 1.0)
(s865 1.0)
(s866 1.0)
(s867 1.0)
(s868 1.0)
(s869 1.0)
(s870 1.0)
(s871 1.0)
(s872 1.0)
(s873 1.0)
(s874 1.0)
(s875 1.0)
(s876 1.0)
(s877 1.0)
(s878 1.0)
(s879 1.0)
(s880 1.0)
(s881 1.0)
(s882 1.0)
(s883 1.0)
(s884 1.0)
(s885 1.0)
(s886 1.0)
(s887 1.0)
(s888 1.0)
(s889 1.0)
(s890 1.0)
(s891 1.0)
(s892 1.0)
(s893 1.0)
(s894 1.0)
(s895 1.0)
(s896 1.0)
(s897 1.0)
(s898 1.0)
(s899 1.0)
(s900 1.0)
(s901 1.0)
(s902 1.0)
(s903 1.0)
(s904 1.0)
(s905 1.0)
(s906 1.0)
(s907 1.0)
(s908 1.0)
(s909 0.0)
(s910 0.0)
(s911 0.0)
(s912 0.0)
(s913 0.0)
(s914 0.0)
(s915 0.0)
(s916 0.0)
(s917 0.0)
(s918 1.0)
(s919 1.0)
(s920 1.0)
(s921 1.0)
(s922 1.0)
(s923 1.0)
(s924 1.0)
(s925 1.0)
(s926 1.0)
(s927 1.0)
(s928 1.0)
(s929 1.0)
(s930 1.0)
(s931 1.0)
(s932 1.0)
(s933 1.0)
(s934 1.0)
(s935 1.0)
(s936 1.0)
(s937 1.0)
(s938 1.0)
(s939 1.0)
(s940 1.0)
(s941 1.0)
(s942 1.0)
(s943 1.0)
(s944 1.0)
(s945 0.0)
(s946 0.0)
(s947 0.0)
(s948 1.0)
(s949 1.0)
(s950 1.0)
(s951 1.0)
(s952 1.0)
(s953 1.0)
(s954 1.0)
(s955 1.0)
(s956 1.0)
(s957 0.0)
(s958 0.0)
(s959 0.0)
(s960 1.0)
(s961 1.0)
(s962 1.0)
(s963 1.0)
(s964 1.0)
(s965 1.0)
(s966 1.0)
(s967 1.0)
(s968 1.0)
(s969 0.0)
(s970 0.0)
(s971 0.0)
(s972 1.0)
(s973 1.0)
(s974 1.0)
(s975 1.0)
(s976 1.0)
(s977 1.0)
(s978 1.0)
(s979 1.0)
(s980 1.0)
(s981 0.0)
(s982 0.0)
(s983 0.0)
(s984 1.0)
(s985 1.0)
(s986 1.0)
(s987 1.0)
(s988 1.0)
(s989 1.0)
(s990 1.0)
(s991 1.0)
(s992 1.0)
(s993 0.0)
(s994 0.0)
(s995 0.0)
(s996 1.0)
(s997 1.0)
(s998 1.0)
(s999 1.0)
(s1000 1.0)
(s1001 1.0)
(s1002 1.0)
(s1003 1.0)
(s1004 1.0)
(s1005 0.0)
(s1006 0.0)
(s1007 0.0)
(s1008 1.0)
(s1009 1.0)
(s1010 1.0)
(s1011 1.0)
(s1012 1.0)
(s1013 1.0)
(s1014 1.0)
(s1015 1.0)
(s1016 1.0)
(s1017 0.0)
(s1018 0.0)
(s1019 0.0)
(s1020 1.0)
(s1021 1.0)
(s1022 1.0)
(s1023 1.0)
(s1024 1.0)
(s1025 1.0)
(s1026 1.0)
(s1027 1.0)
(s1028 1.0)
(s1029 0.0)
(s1030 0.0)
(s1031 0.0)
(s1032 1.0)
(s1033 1.0)
(s1034 1.0)
(s1035 1.0)
(s1036 1.0)
(s1037 1.0)
(s1038 1.0)
(s1039 1.0)
(s1040 1.0)
(s1041 0.0)
(s1042 0.0)
(s1043 0.0)
(s1044 1.0)
(s1045 1.0)
(s1046 1.0)
(s1047 1.0)
(s1048 1.0)
(s1049 1.0)
(s1050 1.0)
(s1051 1.0)
(s1052 1.0)
(s1053 0.0)
(s1054 1.0)
(s1055 1.0)
(s1056 1.0)
(s1057 0.0)
(s1058 1.0)
(s1059 1.0)
(s1060 1.0)
(s1061 0.0)
(s1062 1.0)
(s1063 1.0)
(s1064 1.0)
(s1065 0.0)
(s1066 1.0)
(s1067 1.0)
(s1068 1.0)
(s1069 0.0)
(s1070 1.0)
(s1071 1.0)
(s1072 1.0)
(s1073 0.0)
(s1074 1.0)
(s1075 1.0)
(s1076 1.0)
(s1077 0.0)
(s1078 1.0)
(s1079 1.0)
(s1080 1.0)
(s1081 0.0)
(s1082 1.0)
(s1083 1.0)
(s1084 1.0)
(s1085 0.0)
(s1086 1.0)
(s1087 1.0)
(s1088 1.0)
(s1089 0.0)
(s1090 1.0)
(s1091 1.0)
(s1092 1.0)
(s1093 0.0)
(s1094 1.0)
(s1095 1.0)
(s1096 1.0)
(s1097 0.0)
(s1098 1.0)
(s1099 1.0)
(s1100 1.0)
(s1101 0.0)
(s1102 1.0)
(s1103 1.0)
(s1104 1.0)
(s1105 0.0)
(s1106 1.0)
(s1107 1.0)
(s1108 1.0)
(s1109 0.0)
(s1110 1.0)
(s1111 1.0)
(s1112 1.0)
(s1113 0.0)
(s1114 1.0)
(s1115 1.0)
(s1116 1.0)
(s1117 0.0)
(s1118 1.0)
(s1119 1.0)
(s1120 1.0)
(s1121 0.0)
(s1122 1.0)
(s1123 1.0)
(s1124 1.0)
(s1125 0.0)
(s1126 1.0)
(s1127 1.0)
(s1128 1.0)
(s1129 0.0)
(s1130 1.0)
(s1131 1.0)
(s1132 1.0)
(s1133 0.0)
(s1134 1.0)
(s1135 1.0)
(s1136 1.0)
(s1137 0.0)
(s1138 1.0)
(s1139 1.0)
(s1140 1.0)
(s1141 0.0)
(s1142 1.0)
(s1143 1.0)
(s1144 1.0)
(s1145 0.0)
(s1146 1.0)
(s1147 1.0)
(s1148 1.0)
(s1149 0.0)
(s1150 1.0)
(s1151 1.0)
(s1152 1.0)
(s1153 0.0)
(s1154 1.0)
(s1155 1.0)
(s1156 1.0)
(s1157 0.0)
(s1158 1.0)
(s1159 1.0)
(s1160 1.0)
(s1161 0.0)
(s1162 0.0)
(s1163 0.0)
(s1164 0.0)
(s1165 0.0)
(s1166 0.0)
(s1167 0.0)
(s1168 0.0)
(s1169 0.0)
(s1170 0.0)
(s1171 0.0)
(s1172 0.0)
(s1173 0.0)
(s1174 0.0)
(s1175 0.0)
(s1176 0.0)
(s1177 0.0)
(s1178 0.0)
(s1179 0.0)
(s1180 0.0)
(s1181 0.0)
(s1182 0.0)
(s1183 0.0)
(s1184 0.0)
(s1185 0.0)
(s1186 0.0)
(s1187 0.0)
(s1269 0.0)
(s1270 0.0)
(s1271 0.0)
(s1272 0.0)
(s1273 0.0)
(s1274 0.0)
(s1275 0.0)
(s1276 0.0)
(s1277 0.0)
(s1305 0.0)
(s1306 0.0)
(s1307 0.0)
(s1308 0.0)
(s1309 0.0)
(s1310 0.0)
(s1311 0.0)
(s1312 0.0)
(s1313 0.0)
(s1341 1.0)
(s1342 1.0)
(s1343 1.0)
(s1344 1.0)
(s1345 1.0)
(s1346 1.0)
(s1347 1.0)
(s1348 1.0)
(s1349 1.0)
(s1377 1.0)
(s1378 1.0)
(s1379 1.0)
(s1389 1.0)
(s1390 1.0)
(s1391 1.0)
(s1401 1.0)
(s1402 1.0)
(s1403 1.0)
(s1413 1.0)
(s1414 1.0)
(s1415 1.0)
(s1425 1.0)
(s1426 1.0)
(s1427 1.0)
(s1437 1.0)
(s1438 1.0)
(s1439 1.0)
(s1449 1.0)
(s1450 1.0)
(s1451 1.0)
(s1461 1.0)
(s1462 1.0)
(s1463 1.0)
(s1473 1.0)
(s1474 1.0)
(s1475 1.0)
(s1485 1.0)
(s1489 1.0)
(s1493 1.0)
(s1497 1.0)
(s1501 1.0)
(s1505 1.0)
(s1509 1.0)
(s1513 1.0)
(s1517 1.0)
(s1521 1.0)
(s1525 1.0)
(s1529 1.0)
(s1533 1.0)
(s1537 1.0)
(s1541 1.0)
(s1545 1.0)
(s1549 1.0)
(s1553 1.0)
(s1557 1.0)
(s1561 1.0)
(s1565 1.0)
(s1569 1.0)
(s1573 1.0)
(s1577 1.0)
(s1581 1.0)
(s1585 1.0)
(s1589 1.0)
(s1593 1.0)
(s1594 1.0)
(s1595 1.0)
(s1596 1.0)
(s1597 1.0)
(s1598 1.0)
(s1599 1.0)
(s1600 1.0)
(s1601 1.0)
(s1602 1.0)
(s1603 1.0)
(s1604 1.0)
(s1605 1.0)
(s1606 1.0)
(s1607 1.0)
(s1608 1.0)
(s1609 1.0)
(s1610 1.0)
(s1611 1.0)
(s1612 1.0)
(s1613 1.0)
(s1614 1.0)
(s1615 1.0)
(s1616 1.0)
(s1617 1.0)
(s1618 1.0)
(s1619 1.0)
(s1620 1.0)
(s1621 1.0)
(s1622 1.0)
(s1623 1.0)
(s1624 1.0)
(s1625 1.0)
(s1626 1.0)
(s1627 1.0)
(s1628 1.0)
(s1629 1.0)
(s1630 1.0)
(s1631 1.0)
(s1632 1.0)
(s1633 1.0)
(s1634 1.0)
(s1635 1.0)
(s1636 1.0)
(s1637 1.0)
(s1638 1.0)
(s1639 1.0)
(s1640 1.0)
(s1641 1.0)
(s1642 1.0)
(s1643 1.0)
(s1644 1.0)
(s1645 1.0)
(s1646 1.0)
(s1647 1.0)
(s1648 1.0)
(s1649 1.0)
(s1650 1.0)
(s1651 1.0)
(s1652 1.0)
(s1653 1.0)
(s1654 1.0)
(s1655 1.0)
(s1656 1.0)
(s1657 1.0)
(s1658 1.0)
(s1659 1.0)
(s1660 1.0)
(s1661 1.0)
(s1662 1.0)
(s1663 1.0)
(s1664 1.0)
(s1665 1.0)
(s1666 1.0)
(s1667 1.0)
(s1668 1.0)
(s1669 1.0)
(s1670 1.0)
(s1671 1.0)
(s1672 1.0)
(s1673 1.0)
(s1674 1.0)
(s1675 1.0)
(s1676 1.0)
(s1677 1.0)
(s1678 1.0)
(s1679 1.0)
(s1680 1.0)
(s1681 1.0)
(s1682 1.0)
(s1683 1.0)
(s1684 1.0)
(s1685 1.0)
(s1686 1.0)
(s1687 1.0)
(s1688 1.0)
(s1689 1.0)
(s1690 1.0)
(s1691 1.0)
(s1692 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 30081 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 30080 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 68035ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 68086ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 80268 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-05-26 20:17:26] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[12, 20, 17, 17, 20, 32, 15, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 188080 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1268694 steps (0 resets) in 40136 ms. (31 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[13, 20, 17, 17, 20, 32, 15, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
[2024-05-26 20:18:36] [INFO ] Invariant cache hit.
[2024-05-26 20:18:37] [INFO ] [Real]Absence check using 945 positive place invariants in 284 ms returned sat
[2024-05-26 20:18:37] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 123 ms returned sat
[2024-05-26 20:18:39] [INFO ] [Real]Absence check using state equation in 2328 ms returned sat
[2024-05-26 20:18:40] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 380 ms.
[2024-05-26 20:19:00] [INFO ] Added : 305 causal constraints over 61 iterations in 20331 ms.(timeout) Result :sat
Minimization took 4748 ms.
[2024-05-26 20:19:06] [INFO ] [Real]Absence check using 945 positive place invariants in 308 ms returned sat
[2024-05-26 20:19:06] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 133 ms returned sat
[2024-05-26 20:19:08] [INFO ] [Real]Absence check using state equation in 2481 ms returned sat
[2024-05-26 20:19:09] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 369 ms.
[2024-05-26 20:19:29] [INFO ] Added : 290 causal constraints over 58 iterations in 20151 ms.(timeout) Result :sat
Minimization took 4754 ms.
[2024-05-26 20:19:34] [INFO ] [Real]Absence check using 945 positive place invariants in 286 ms returned sat
[2024-05-26 20:19:35] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 120 ms returned sat
[2024-05-26 20:19:37] [INFO ] [Real]Absence check using state equation in 2463 ms returned sat
[2024-05-26 20:19:38] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 364 ms.
[2024-05-26 20:19:57] [INFO ] Added : 295 causal constraints over 59 iterations in 20042 ms.(timeout) Result :sat
Minimization took 4756 ms.
[2024-05-26 20:20:03] [INFO ] [Real]Absence check using 945 positive place invariants in 299 ms returned sat
[2024-05-26 20:20:03] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 126 ms returned sat
[2024-05-26 20:20:06] [INFO ] [Real]Absence check using state equation in 2408 ms returned sat
[2024-05-26 20:20:06] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 384 ms.
[2024-05-26 20:20:26] [INFO ] Added : 295 causal constraints over 59 iterations in 20171 ms.(timeout) Result :sat
Minimization took 4755 ms.
[2024-05-26 20:20:32] [INFO ] [Real]Absence check using 945 positive place invariants in 294 ms returned sat
[2024-05-26 20:20:32] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 118 ms returned sat
[2024-05-26 20:20:34] [INFO ] [Real]Absence check using state equation in 2433 ms returned sat
[2024-05-26 20:20:35] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 375 ms.
[2024-05-26 20:20:55] [INFO ] Added : 295 causal constraints over 59 iterations in 20060 ms.(timeout) Result :sat
Minimization took 4747 ms.
[2024-05-26 20:21:00] [INFO ] [Real]Absence check using 945 positive place invariants in 287 ms returned sat
[2024-05-26 20:21:01] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 138 ms returned sat
[2024-05-26 20:21:03] [INFO ] [Real]Absence check using state equation in 2361 ms returned sat
[2024-05-26 20:21:04] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 380 ms.
[2024-05-26 20:21:23] [INFO ] Added : 305 causal constraints over 61 iterations in 20121 ms.(timeout) Result :sat
Minimization took 4753 ms.
[2024-05-26 20:21:29] [INFO ] [Real]Absence check using 945 positive place invariants in 284 ms returned sat
[2024-05-26 20:21:29] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 119 ms returned sat
[2024-05-26 20:21:32] [INFO ] [Real]Absence check using state equation in 2387 ms returned sat
[2024-05-26 20:21:32] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 372 ms.
[2024-05-26 20:21:52] [INFO ] Added : 290 causal constraints over 58 iterations in 20084 ms.(timeout) Result :sat
Minimization took 4756 ms.
[2024-05-26 20:21:58] [INFO ] [Real]Absence check using 945 positive place invariants in 286 ms returned sat
[2024-05-26 20:21:58] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 125 ms returned sat
[2024-05-26 20:22:00] [INFO ] [Real]Absence check using state equation in 2401 ms returned sat
[2024-05-26 20:22:01] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 363 ms.
[2024-05-26 20:22:21] [INFO ] Added : 300 causal constraints over 60 iterations in 20169 ms.(timeout) Result :sat
Minimization took 4753 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[13, 20, 17, 17, 20, 32, 15, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[13, 20, 17, 17, 20, 32, 15, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Support contains 8 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 199 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 199 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 155 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-05-26 20:22:26] [INFO ] Invariant cache hit.
[2024-05-26 20:22:29] [INFO ] Implicit Places using invariants in 3280 ms returned []
[2024-05-26 20:22:29] [INFO ] Invariant cache hit.
[2024-05-26 20:22:38] [INFO ] Implicit Places using invariants and state equation in 8465 ms returned []
Implicit Place search using SMT with State Equation took 11771 ms to find 0 implicit places.
[2024-05-26 20:22:38] [INFO ] Redundant transitions in 397 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-05-26 20:22:38] [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 30085 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 30089 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 68151ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 68203ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 80542 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-05-26 20:23:46] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[13, 20, 17, 17, 20, 32, 15, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 186914 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1267420 steps (0 resets) in 40095 ms. (31 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[13, 20, 17, 17, 20, 32, 26, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
[2024-05-26 20:24:57] [INFO ] Invariant cache hit.
[2024-05-26 20:24:57] [INFO ] [Real]Absence check using 945 positive place invariants in 311 ms returned sat
[2024-05-26 20:24:57] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 143 ms returned sat
[2024-05-26 20:25:00] [INFO ] [Real]Absence check using state equation in 2293 ms returned sat
[2024-05-26 20:25:00] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 392 ms.
[2024-05-26 20:25:20] [INFO ] Added : 300 causal constraints over 60 iterations in 20211 ms.(timeout) Result :sat
Minimization took 4748 ms.
[2024-05-26 20:25:26] [INFO ] [Real]Absence check using 945 positive place invariants in 288 ms returned sat
[2024-05-26 20:25:26] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 123 ms returned sat
[2024-05-26 20:25:29] [INFO ] [Real]Absence check using state equation in 2547 ms returned sat
[2024-05-26 20:25:29] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 388 ms.
[2024-05-26 20:25:49] [INFO ] Added : 300 causal constraints over 60 iterations in 20226 ms.(timeout) Result :sat
Minimization took 4753 ms.
[2024-05-26 20:25:55] [INFO ] [Real]Absence check using 945 positive place invariants in 314 ms returned sat
[2024-05-26 20:25:55] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 117 ms returned sat
[2024-05-26 20:25:58] [INFO ] [Real]Absence check using state equation in 2594 ms returned sat
[2024-05-26 20:25:58] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 360 ms.
[2024-05-26 20:26:18] [INFO ] Added : 295 causal constraints over 59 iterations in 20129 ms.(timeout) Result :sat
Minimization took 4752 ms.
[2024-05-26 20:26:24] [INFO ] [Real]Absence check using 945 positive place invariants in 294 ms returned sat
[2024-05-26 20:26:24] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 133 ms returned sat
[2024-05-26 20:26:26] [INFO ] [Real]Absence check using state equation in 2390 ms returned sat
[2024-05-26 20:26:27] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 370 ms.
[2024-05-26 20:26:47] [INFO ] Added : 295 causal constraints over 59 iterations in 20028 ms.(timeout) Result :sat
Minimization took 4752 ms.
[2024-05-26 20:26:52] [INFO ] [Real]Absence check using 945 positive place invariants in 288 ms returned sat
[2024-05-26 20:26:52] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 127 ms returned sat
[2024-05-26 20:26:55] [INFO ] [Real]Absence check using state equation in 2464 ms returned sat
[2024-05-26 20:26:56] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 370 ms.
[2024-05-26 20:27:15] [INFO ] Added : 290 causal constraints over 58 iterations in 20162 ms.(timeout) Result :sat
Minimization took 4757 ms.
[2024-05-26 20:27:21] [INFO ] [Real]Absence check using 945 positive place invariants in 301 ms returned sat
[2024-05-26 20:27:21] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 125 ms returned sat
[2024-05-26 20:27:24] [INFO ] [Real]Absence check using state equation in 2362 ms returned sat
[2024-05-26 20:27:24] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 367 ms.
[2024-05-26 20:27:44] [INFO ] Added : 300 causal constraints over 60 iterations in 20131 ms.(timeout) Result :sat
Minimization took 4753 ms.
[2024-05-26 20:27:50] [INFO ] [Real]Absence check using 945 positive place invariants in 284 ms returned sat
[2024-05-26 20:27:50] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 118 ms returned sat
[2024-05-26 20:27:52] [INFO ] [Real]Absence check using state equation in 2399 ms returned sat
[2024-05-26 20:27:53] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 378 ms.
[2024-05-26 20:28:13] [INFO ] Added : 295 causal constraints over 59 iterations in 20154 ms.(timeout) Result :sat
Minimization took 4759 ms.
[2024-05-26 20:28:18] [INFO ] [Real]Absence check using 945 positive place invariants in 299 ms returned sat
[2024-05-26 20:28:19] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 133 ms returned sat
[2024-05-26 20:28:21] [INFO ] [Real]Absence check using state equation in 2519 ms returned sat
[2024-05-26 20:28:22] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 389 ms.
[2024-05-26 20:28:42] [INFO ] Added : 300 causal constraints over 60 iterations in 20282 ms.(timeout) Result :sat
Minimization took 4753 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[13, 20, 17, 17, 20, 32, 26, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[13, 20, 17, 17, 20, 32, 26, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Support contains 8 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 156 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-05-26 20:28:47] [INFO ] Invariant cache hit.
[2024-05-26 20:28:50] [INFO ] Implicit Places using invariants in 3244 ms returned []
[2024-05-26 20:28:50] [INFO ] Invariant cache hit.
[2024-05-26 20:28:59] [INFO ] Implicit Places using invariants and state equation in 8388 ms returned []
Implicit Place search using SMT with State Equation took 11666 ms to find 0 implicit places.
[2024-05-26 20:28:59] [INFO ] Redundant transitions in 394 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-05-26 20:28:59] [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 30078 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 "Error writing to Z3 solver: java.io.IOException: Broken pipe")
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 30088 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 68187ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 68247ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 80494 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-05-26 20:30:07] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[13, 20, 17, 17, 20, 32, 26, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
RANDOM walk for 183650 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 1273825 steps (0 resets) in 40160 ms. (31 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[13, 20, 17, 17, 20, 32, 26, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
[2024-05-26 20:31:18] [INFO ] Invariant cache hit.
[2024-05-26 20:31:18] [INFO ] [Real]Absence check using 945 positive place invariants in 293 ms returned sat
[2024-05-26 20:31:18] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 143 ms returned sat
[2024-05-26 20:31:21] [INFO ] [Real]Absence check using state equation in 2350 ms returned sat
[2024-05-26 20:31:21] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 371 ms.
[2024-05-26 20:31:41] [INFO ] Added : 300 causal constraints over 60 iterations in 20093 ms.(timeout) Result :sat
Minimization took 4749 ms.
[2024-05-26 20:31:47] [INFO ] [Real]Absence check using 945 positive place invariants in 284 ms returned sat
[2024-05-26 20:31:47] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 123 ms returned sat
[2024-05-26 20:31:49] [INFO ] [Real]Absence check using state equation in 2440 ms returned sat
[2024-05-26 20:31:50] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 425 ms.
[2024-05-26 20:32:10] [INFO ] Added : 295 causal constraints over 59 iterations in 20461 ms.(timeout) Result :sat
Minimization took 4755 ms.
[2024-05-26 20:32:16] [INFO ] [Real]Absence check using 945 positive place invariants in 309 ms returned sat
[2024-05-26 20:32:16] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 117 ms returned sat
[2024-05-26 20:32:19] [INFO ] [Real]Absence check using state equation in 2451 ms returned sat
[2024-05-26 20:32:19] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 385 ms.
[2024-05-26 20:32:39] [INFO ] Added : 305 causal constraints over 61 iterations in 20509 ms.(timeout) Result :sat
Minimization took 4754 ms.
[2024-05-26 20:32:45] [INFO ] [Real]Absence check using 945 positive place invariants in 281 ms returned sat
[2024-05-26 20:32:45] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 124 ms returned sat
[2024-05-26 20:32:47] [INFO ] [Real]Absence check using state equation in 2340 ms returned sat
[2024-05-26 20:32:48] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 376 ms.
[2024-05-26 20:33:08] [INFO ] Added : 305 causal constraints over 61 iterations in 20544 ms.(timeout) Result :sat
Minimization took 4755 ms.
[2024-05-26 20:33:14] [INFO ] [Real]Absence check using 945 positive place invariants in 288 ms returned sat
[2024-05-26 20:33:14] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 120 ms returned sat
[2024-05-26 20:33:17] [INFO ] [Real]Absence check using state equation in 2419 ms returned sat
[2024-05-26 20:33:17] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 370 ms.
[2024-05-26 20:33:37] [INFO ] Added : 285 causal constraints over 57 iterations in 20149 ms.(timeout) Result :sat
Minimization took 4753 ms.
[2024-05-26 20:33:43] [INFO ] [Real]Absence check using 945 positive place invariants in 286 ms returned sat
[2024-05-26 20:33:43] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 136 ms returned sat
[2024-05-26 20:33:45] [INFO ] [Real]Absence check using state equation in 2319 ms returned sat
[2024-05-26 20:33:46] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 377 ms.
[2024-05-26 20:34:06] [INFO ] Added : 300 causal constraints over 60 iterations in 20169 ms.(timeout) Result :sat
Minimization took 4751 ms.
[2024-05-26 20:34:11] [INFO ] [Real]Absence check using 945 positive place invariants in 280 ms returned sat
[2024-05-26 20:34:11] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 119 ms returned sat
[2024-05-26 20:34:14] [INFO ] [Real]Absence check using state equation in 2390 ms returned sat
[2024-05-26 20:34:15] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 369 ms.
[2024-05-26 20:34:34] [INFO ] Added : 300 causal constraints over 60 iterations in 20102 ms.(timeout) Result :sat
Minimization took 4753 ms.
[2024-05-26 20:34:40] [INFO ] [Real]Absence check using 945 positive place invariants in 299 ms returned sat
[2024-05-26 20:34:40] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 125 ms returned sat
[2024-05-26 20:34:42] [INFO ] [Real]Absence check using state equation in 2321 ms returned sat
[2024-05-26 20:34:43] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 393 ms.
[2024-05-26 20:35:03] [INFO ] Added : 300 causal constraints over 60 iterations in 20278 ms.(timeout) Result :sat
Minimization took 4754 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[13, 20, 17, 17, 20, 32, 26, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[13, 20, 17, 17, 20, 32, 26, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36, 36]
Support contains 8 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 154 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-05-26 20:35:08] [INFO ] Invariant cache hit.
[2024-05-26 20:35:12] [INFO ] Implicit Places using invariants in 3239 ms returned []
[2024-05-26 20:35:12] [INFO ] Invariant cache hit.
[2024-05-26 20:35:20] [INFO ] Implicit Places using invariants and state equation in 8193 ms returned []
Implicit Place search using SMT with State Equation took 11463 ms to find 0 implicit places.
[2024-05-26 20:35:20] [INFO ] Redundant transitions in 403 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-05-26 20:35:20] [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 30086 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 30087 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 68132ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 68185ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 80233 ms. Remains : 2457/2457 places, 5400/5400 transitions.
RANDOM walk for 40000 steps (8 resets) in 14473 ms. (2 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 186 ms. (21 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 167 ms. (23 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 180 ms. (22 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 177 ms. (22 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 201 ms. (19 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 176 ms. (22 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 177 ms. (22 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 151 ms. (26 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 150 ms. (26 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 152 ms. (26 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 148 ms. (26 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 163 ms. (24 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 164 ms. (24 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 169 ms. (23 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 161 ms. (24 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 149 ms. (26 steps per ms) remains 16/16 properties
Interrupted probabilistic random walk after 168334 steps, run timeout after 12025 ms. (steps per millisecond=13 ) properties seen :0 out of 16
Probabilistic random walk after 168334 steps, saw 168086 distinct states, run finished after 12031 ms. (steps per millisecond=13 ) properties seen :0
[2024-05-26 20:36:45] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 1 (OVERLAPS) 64/72 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/72 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 3 (OVERLAPS) 937/1009 variables, 1/9 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1009 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 5 (OVERLAPS) 1440/2449 variables, 936/945 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2449 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 7 (OVERLAPS) 8/2457 variables, 1/946 constraints. Problems are: Problem set: 0 solved, 16 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Stream closed")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2457/7857 variables, and 946 constraints, problems are : Problem set: 0 solved, 16 unsolved in 5012 ms.
Refiners :[Positive P Invariants (semi-flows): 945/945 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 0/2457 constraints, PredecessorRefiner: 16/16 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 16 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 1 (OVERLAPS) 64/72 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/72 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 3 (OVERLAPS) 937/1009 variables, 1/9 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1009 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 5 (OVERLAPS) 1440/2449 variables, 936/945 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2449 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 7 (OVERLAPS) 8/2457 variables, 1/946 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2457 variables, 0/946 constraints. Problems are: Problem set: 0 solved, 16 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, 16 unsolved in 5014 ms.
Refiners :[Positive P Invariants (semi-flows): 945/945 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 2457/2457 constraints, PredecessorRefiner: 0/16 constraints, Known Traps: 0/0 constraints]
After SMT, in 10068ms problems are : Problem set: 0 solved, 16 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 8 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 147 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 148 ms. Remains : 2457/2457 places, 5400/5400 transitions.
RANDOM walk for 40000 steps (8 resets) in 12251 ms. (3 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 194 ms. (20 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 222 ms. (17 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 208 ms. (19 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 167 ms. (23 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 184 ms. (21 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 206 ms. (19 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 151 ms. (26 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 148 ms. (26 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 162 ms. (24 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 151 ms. (26 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 163 ms. (24 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 147 ms. (27 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 150 ms. (26 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 150 ms. (26 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 162 ms. (24 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (4 resets) in 165 ms. (24 steps per ms) remains 16/16 properties
Interrupted probabilistic random walk after 156276 steps, run timeout after 12576 ms. (steps per millisecond=12 ) properties seen :0 out of 16
Probabilistic random walk after 156276 steps, saw 156044 distinct states, run finished after 12577 ms. (steps per millisecond=12 ) properties seen :0
[2024-05-26 20:37:13] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 1 (OVERLAPS) 64/72 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/72 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 3 (OVERLAPS) 937/1009 variables, 1/9 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1009 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 5 (OVERLAPS) 1440/2449 variables, 936/945 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2449 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 7 (OVERLAPS) 8/2457 variables, 1/946 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2457 variables, 0/946 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 9 (OVERLAPS) 5400/7857 variables, 2457/3403 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/7857 variables, 0/3403 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 11 (OVERLAPS) 0/7857 variables, 0/3403 constraints. Problems are: Problem set: 0 solved, 16 unsolved
No progress, stopping.
After SMT solving in domain Real declared 7857/7857 variables, and 3403 constraints, problems are : Problem set: 0 solved, 16 unsolved in 21538 ms.
Refiners :[Positive P Invariants (semi-flows): 945/945 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 2457/2457 constraints, PredecessorRefiner: 16/16 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 16 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 1 (OVERLAPS) 64/72 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/72 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 3 (OVERLAPS) 937/1009 variables, 1/9 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1009 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 5 (OVERLAPS) 1440/2449 variables, 936/945 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2449 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 7 (OVERLAPS) 8/2457 variables, 1/946 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2457 variables, 0/946 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 9 (OVERLAPS) 5400/7857 variables, 2457/3403 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/7857 variables, 16/3419 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/7857 variables, 0/3419 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 12 (OVERLAPS) 0/7857 variables, 0/3419 constraints. Problems are: Problem set: 0 solved, 16 unsolved
No progress, stopping.
After SMT solving in domain Int declared 7857/7857 variables, and 3419 constraints, problems are : Problem set: 0 solved, 16 unsolved in 16966 ms.
Refiners :[Positive P Invariants (semi-flows): 945/945 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 2457/2457 constraints, PredecessorRefiner: 16/16 constraints, Known Traps: 0/0 constraints]
After SMT, in 38582ms problems are : Problem set: 0 solved, 16 unsolved
Fused 16 Parikh solutions to 13 different solutions.
Parikh walk visited 9 properties in 35007 ms.
Support contains 7 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 170 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 170 ms. Remains : 2457/2457 places, 5400/5400 transitions.
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-01 36 TECHNIQUES REACHABILITY_MAX
Current structural bounds on expressions (After reachability solving 1 queries.) : Max Seen:[20, 17, 17, 20, 32, 26, 17] Max Struct:[36, 36, 36, 36, 36, 36, 36]
Starting property specific reduction for HypercubeGrid-PT-C4K3P3B12-UpperBounds-03
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-05-26 20:38:27] [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 2264 ms. (4 steps per ms)
BEST_FIRST walk for 10001 steps (2 resets) in 317 ms. (31 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[6] Max Struct:[36]
[2024-05-26 20:38:29] [INFO ] Invariant cache hit.
[2024-05-26 20:38:30] [INFO ] [Real]Absence check using 945 positive place invariants in 322 ms returned sat
[2024-05-26 20:38:30] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 135 ms returned sat
[2024-05-26 20:38:33] [INFO ] [Real]Absence check using state equation in 2593 ms returned sat
[2024-05-26 20:38:33] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 393 ms.
[2024-05-26 20:38:34] [INFO ] Solution in real domain found non-integer solution.
[2024-05-26 20:38:35] [INFO ] [Nat]Absence check using 945 positive place invariants in 315 ms returned sat
[2024-05-26 20:38:35] [INFO ] [Nat]Absence check using 945 positive and 1 generalized place invariants in 118 ms returned sat
[2024-05-26 20:38:38] [INFO ] [Nat]Absence check using state equation in 2590 ms returned sat
[2024-05-26 20:38:38] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 393 ms.
Maximisation of solution failed !
Minimization took 1 ms.
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 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 165 ms. Remains : 2457/2457 places, 5400/5400 transitions.
[2024-05-26 20:38:39] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[6] Max Struct:[36]
RANDOM walk for 187253 steps (1 resets) in 30001 ms. (6 steps per ms)
BEST_FIRST walk for 159491 steps (0 resets) in 5010 ms. (31 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[6] Max Struct:[36]
[2024-05-26 20:39:14] [INFO ] Invariant cache hit.
[2024-05-26 20:39:15] [INFO ] [Real]Absence check using 945 positive place invariants in 309 ms returned sat
[2024-05-26 20:39:15] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 117 ms returned sat
[2024-05-26 20:39:18] [INFO ] [Real]Absence check using state equation in 2461 ms returned sat
[2024-05-26 20:39:18] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 382 ms.
[2024-05-26 20:39:38] [INFO ] Added : 300 causal constraints over 60 iterations in 20551 ms.(timeout) Result :sat
Minimization took 4753 ms.
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 160 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 160 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 152 ms. Remains 2457 /2457 variables (removed 0) and now considering 5400/5400 (removed 0) transitions.
[2024-05-26 20:39:44] [INFO ] Invariant cache hit.
[2024-05-26 20:39:47] [INFO ] Implicit Places using invariants in 3379 ms returned []
[2024-05-26 20:39:47] [INFO ] Invariant cache hit.
[2024-05-26 20:39:56] [INFO ] Implicit Places using invariants and state equation in 8935 ms returned []
Implicit Place search using SMT with State Equation took 12327 ms to find 0 implicit places.
[2024-05-26 20:39:57] [INFO ] Redundant transitions in 397 ms returned []
Running 4752 sub problems to find dead transitions.
[2024-05-26 20:39:57] [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 1.0)
(s712 1.0)
(s713 1.0)
(s714 1.0)
(s715 1.0)
(s716 1.0)
(s717 1.0)
(s718 1.0)
(s719 1.0)
(s720 1.0)
(s721 1.0)
(s722 1.0)
(s723 1.0)
(s724 1.0)
(s725 1.0)
(s726 1.0)
(s727 1.0)
(s728 1.0)
(s729 1.0)
(s730 1.0)
(s731 1.0)
(s732 1.0)
(s733 1.0)
(s734 1.0)
(s735 1.0)
(s736 1.0)
(s737 1.0)
(s738 1.0)
(s739 1.0)
(s740 1.0)
(s741 1.0)
(s742 1.0)
(s743 1.0)
(s744 1.0)
(s745 1.0)
(s746 1.0)
(s747 1.0)
(s748 1.0)
(s749 1.0)
(s750 1.0)
(s751 1.0)
(s752 1.0)
(s753 1.0)
(s754 1.0)
(s755 1.0)
(s756 1.0)
(s757 1.0)
(s758 1.0)
(s759 1.0)
(s760 1.0)
(s761 1.0)
(s762 1.0)
(s763 1.0)
(s764 1.0)
(s765 1.0)
(s766 1.0)
(s767 1.0)
(s768 1.0)
(s769 1.0)
(s770 1.0)
(s771 1.0)
(s772 1.0)
(s773 1.0)
(s774 1.0)
(s775 1.0)
(s776 1.0)
(s777 1.0)
(s778 1.0)
(s779 1.0)
(s780 1.0)
(s781 1.0)
(s782 1.0)
(s783 1.0)
(s784 1.0)
(s785 1.0)
(s786 1.0)
(s787 1.0)
(s788 1.0)
(s789 1.0)
(s790 1.0)
(s791 1.0)
(s792 1.0)
(s793 1.0)
(s794 1.0)
(s795 1.0)
(s796 1.0)
(s797 1.0)
(s798 1.0)
(s799 1.0)
(s800 1.0)
(s801 1.0)
(s802 1.0)
(s803 1.0)
(s804 1.0)
(s805 1.0)
(s806 1.0)
(s807 1.0)
(s808 1.0)
(s809 1.0)
(s810 1.0)
(s811 1.0)
(s812 1.0)
(s813 1.0)
(s814 1.0)
(s815 1.0)
(s816 1.0)
(s817 1.0)
(s818 1.0)
(s819 1.0)
(s820 1.0)
(s821 1.0)
(s822 1.0)
(s823 1.0)
(s824 1.0)
(s825 1.0)
(s826 1.0)
(s827 1.0)
(s828 1.0)
(s829 1.0)
(s830 1.0)
(s831 1.0)
(s832 1.0)
(s833 1.0)
(s834 1.0)
(s835 1.0)
(s836 1.0)
(s837 1.0)
(s838 1.0)
(s839 1.0)
(s840 1.0)
(s841 1.0)
(s842 1.0)
(s843 1.0)
(s844 1.0)
(s845 0.0)
(s846 1.0)
(s847 1.0)
(s848 1.0)
(s849 1.0)
(s850 1.0)
(s851 1.0)
(s852 1.0)
(s853 1.0)
(s854 1.0)
(s855 1.0)
(s856 1.0)
(s857 1.0)
(s858 1.0)
(s859 1.0)
(s860 1.0)
(s861 1.0)
(s862 1.0)
(s863 1.0)
(s864 1.0)
(s865 1.0)
(s866 1.0)
(s867 1.0)
(s868 1.0)
(s869 1.0)
(s870 1.0)
(s871 1.0)
(s872 1.0)
(s873 0.0)
(s874 0.0)
(s875 0.0)
(s876 0.0)
(s877 0.0)
(s878 0.0)
(s879 0.0)
(s880 0.0)
(s881 0.0)
(s882 1.0)
(s883 1.0)
(s884 1.0)
(s885 1.0)
(s886 1.0)
(s887 1.0)
(s888 1.0)
(s889 1.0)
(s890 1.0)
(s891 1.0)
(s892 1.0)
(s893 1.0)
(s894 1.0)
(s895 1.0)
(s896 1.0)
(s897 1.0)
(s898 1.0)
(s899 1.0)
(s900 1.0)
(s901 1.0)
(s902 1.0)
(s903 1.0)
(s904 1.0)
(s905 1.0)
(s906 1.0)
(s907 1.0)
(s908 1.0)
(s909 0.0)
(s910 0.0)
(s911 0.0)
(s912 0.0)
(s913 0.0)
(s914 0.0)
(s915 0.0)
(s916 0.0)
(s917 0.0)
(s918 1.0)
(s919 1.0)
(s920 1.0)
(s921 1.0)
(s922 1.0)
(s923 1.0)
(s924 1.0)
(s925 1.0)
(s926 1.0)
(s927 1.0)
(s928 1.0)
(s929 1.0)
(s930 1.0)
(s931 1.0)
(s932 1.0)
(s933 1.0)
(s934 1.0)
(s935 1.0)
(s936 1.0)
(s937 1.0)
(s938 1.0)
(s939 1.0)
(s940 1.0)
(s941 1.0)
(s942 1.0)
(s943 1.0)
(s944 1.0)
(s945 0.0)
(s946 0.0)
(s947 0.0)
(s948 1.0)
(s949 1.0)
(s950 1.0)
(s951 1.0)
(s952 1.0)
(s953 1.0)
(s954 1.0)
(s955 1.0)
(s956 1.0)
(s957 0.0)
(s958 0.0)
(s959 0.0)
(s960 1.0)
(s961 1.0)
(s962 1.0)
(s963 1.0)
(s964 1.0)
(s965 1.0)
(s966 1.0)
(s967 1.0)
(s968 1.0)
(s969 0.0)
(s970 0.0)
(s971 0.0)
(s972 1.0)
(s973 1.0)
(s974 1.0)
(s975 1.0)
(s976 1.0)
(s977 1.0)
(s978 1.0)
(s979 1.0)
(s980 1.0)
(s981 0.0)
(s982 0.0)
(s983 0.0)
(s984 1.0)
(s985 1.0)
(s986 1.0)
(s987 1.0)
(s988 1.0)
(s989 1.0)
(s990 1.0)
(s991 1.0)
(s992 1.0)
(s993 0.0)
(s994 0.0)
(s995 0.0)
(s996 1.0)
(s997 1.0)
(s998 1.0)
(s999 1.0)
(s1000 1.0)
(s1001 1.0)
(s1002 1.0)
(s1003 1.0)
(s1004 1.0)
(s1005 0.0)
(s1006 0.0)
(s1007 0.0)
(s1008 1.0)
(s1009 1.0)
(s1010 1.0)
(s1011 1.0)
(s1012 1.0)
(s1013 1.0)
(s1014 1.0)
(s1015 1.0)
(s1016 1.0)
(s1017 0.0)
(s1018 0.0)
(s1019 0.0)
(s1020 1.0)
(s1021 1.0)
(s1022 1.0)
(s1023 1.0)
(s1024 1.0)
(s1025 1.0)
(s1026 1.0)
(s1027 1.0)
(s1028 1.0)
(s1029 0.0)
(s1030 0.0)
(s1031 0.0)
(s1032 1.0)
(s1033 1.0)
(s1034 1.0)
(s1035 1.0)
(s1036 1.0)
(s1037 1.0)
(s1038 1.0)
(s1039 1.0)
(s1040 1.0)
(s1041 0.0)
(s1042 0.0)
(s1043 0.0)
(s1044 1.0)
(s1045 1.0)
(s1046 1.0)
(s1047 1.0)
(s1048 1.0)
(s1049 1.0)
(s1050 1.0)
(s1051 1.0)
(s1052 1.0)
(s1053 0.0)
(s1054 1.0)
(s1055 1.0)
(s1056 1.0)
(s1057 0.0)
(s1058 1.0)
(s1059 1.0)
(s1060 1.0)
(s1061 0.0)
(s1062 1.0)
(s1063 1.0)
(s1064 1.0)
(s1065 0.0)
(s1066 1.0)
(s1067 1.0)
(s1068 1.0)
(s1069 0.0)
(s1070 1.0)
(s1071 1.0)
(s1072 1.0)
(s1073 0.0)
(s1074 1.0)
(s1075 1.0)
(s1076 1.0)
(s1077 0.0)
(s1078 1.0)
(s1079 1.0)
(s1080 1.0)
(s1081 0.0)
(s1082 1.0)
(s1083 1.0)
(s1084 1.0)
(s1085 0.0)
(s1086 1.0)
(s1087 1.0)
(s1088 1.0)
(s1089 0.0)
(s1090 1.0)
(s1091 1.0)
(s1092 1.0)
(s1093 0.0)
(s1094 1.0)
(s1095 1.0)
(s1096 1.0)
(s1097 0.0)
(s1098 1.0)
(s1099 1.0)
(s1100 1.0)
(s1101 0.0)
(s1102 1.0)
(s1103 1.0)
(s1104 1.0)
(s1105 0.0)
(s1106 1.0)
(s1107 1.0)
(s1108 1.0)
(s1109 0.0)
(s1110 1.0)
(s1111 1.0)
(s1112 1.0)
(s1113 0.0)
(s1114 1.0)
(s1115 1.0)
(s1116 1.0)
(s1117 0.0)
(s1118 1.0)
(s1119 1.0)
(s1120 1.0)
(s1121 0.0)
(s1122 1.0)
(s1123 1.0)
(s1124 1.0)
(s1125 0.0)
(s1126 1.0)
(s1127 1.0)
(s1128 1.0)
(s1129 0.0)
(s1130 1.0)
(s1131 1.0)
(s1132 1.0)
(s1133 0.0)
(s1134 1.0)
(s1135 1.0)
(s1136 1.0)
(s1137 0.0)
(s1138 1.0)
(s1139 1.0)
(s1140 1.0)
(s1141 0.0)
(s1142 1.0)
(s1143 1.0)
(s1144 1.0)
(s1145 0.0)
(s1146 1.0)
(s1147 1.0)
(s1148 1.0)
(s1149 0.0)
(s1150 1.0)
(s1151 1.0)
(s1152 1.0)
(s1153 0.0)
(s1154 1.0)
(s1155 1.0)
(s1156 1.0)
(s1157 0.0)
(s1158 1.0)
(s1159 1.0)
(s1160 1.0)
(s1161 0.0)
(s1162 0.0)
(s1163 0.0)
(s1164 0.0)
(s1165 0.0)
(s1166 0.0)
(s1167 0.0)
(s1168 0.0)
(s1169 0.0)
(s1170 0.0)
(s1171 0.0)
(s1172 0.0)
(s1173 0.0)
(s1174 0.0)
(s1175 0.0)
(s1176 0.0)
(s1177 0.0)
(s1178 0.0)
(s1179 0.0)
(s1180 0.0)
(s1181 0.0)
(s1182 0.0)
(s1183 0.0)
(s1184 0.0)
(s1185 0.0)
(s1186 0.0)
(s1187 0.0)
(s1269 0.0)
(s1270 0.0)
(s1271 0.0)
(s1272 0.0)
(s1273 0.0)
(s1274 0.0)
(s1275 0.0)
(s1276 0.0)
(s1277 1.0)
(s1305 1.0)
(s1306 1.0)
(s1307 1.0)
(s1308 1.0)
(s1309 1.0)
(s1310 1.0)
(s1311 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 30106 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 30126 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 68390ms problems are : Problem set: 0 solved, 4752 unsolved
Search for dead transitions found 0 dead transitions in 68452ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 81357 ms. Remains : 2457/2457 places, 5400/5400 transitions.
RANDOM walk for 40000 steps (8 resets) in 12492 ms. (3 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1658 ms. (24 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1673 ms. (23 steps per ms) remains 2/2 properties
Probabilistic random walk after 230584 steps, saw 230238 distinct states, run finished after 12714 ms. (steps per millisecond=18 ) properties seen :0
[2024-05-26 20:41:22] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 8/9 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/9 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 944/953 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/953 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 1496/2449 variables, 943/945 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2449 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 8/2457 variables, 1/946 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2457 variables, 0/946 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 5400/7857 variables, 2457/3403 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/7857 variables, 0/3403 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 0/7857 variables, 0/3403 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 7857/7857 variables, and 3403 constraints, problems are : Problem set: 0 solved, 2 unsolved in 4633 ms.
Refiners :[Positive P Invariants (semi-flows): 945/945 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 2457/2457 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 8/9 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/9 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 944/953 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/953 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 1496/2449 variables, 943/945 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2449 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 8/2457 variables, 1/946 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2457 variables, 0/946 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 5400/7857 variables, 2457/3403 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/7857 variables, 2/3405 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/7857 variables, 0/3405 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (OVERLAPS) 0/7857 variables, 0/3405 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Int declared 7857/7857 variables, and 3405 constraints, problems are : Problem set: 0 solved, 2 unsolved in 3589 ms.
Refiners :[Positive P Invariants (semi-flows): 945/945 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 2457/2457 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints]
After SMT, in 8267ms problems are : Problem set: 0 solved, 2 unsolved
Finished Parikh walk after 151205 steps, including 29 resets, run visited all 2 properties in 12140 ms. (steps per millisecond=12 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Parikh walk visited 2 properties in 12150 ms.
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-03 36 TECHNIQUES REACHABILITY_MAX
Current structural bounds on expressions (After reachability solving 1 queries.) : Max Seen:[] Max Struct:[]
Ending property specific reduction for HypercubeGrid-PT-C4K3P3B12-UpperBounds-03 in 196236 ms.
Starting property specific reduction for HypercubeGrid-PT-C4K3P3B12-UpperBounds-05
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-05-26 20:41:43] [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 2271 ms. (4 steps per ms)
BEST_FIRST walk for 10001 steps (2 resets) in 334 ms. (29 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[4] Max Struct:[36]
[2024-05-26 20:41:45] [INFO ] Invariant cache hit.
[2024-05-26 20:41:46] [INFO ] [Real]Absence check using 945 positive place invariants in 291 ms returned sat
[2024-05-26 20:41:46] [INFO ] [Real]Absence check using 945 positive and 1 generalized place invariants in 131 ms returned sat
[2024-05-26 20:41:48] [INFO ] [Real]Absence check using state equation in 2332 ms returned sat
[2024-05-26 20:41:49] [INFO ] Computed and/alt/rep : 4752/4752/4752 causal constraints (skipped 0 transitions) in 383 ms.
[2024-05-26 20:41:50] [INFO ] Solution in real domain found non-integer solution.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ perl -pe 's/.*\.//g'
+ 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="greatspnxred"
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 greatspnxred"
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 r201-smll-171649586900269"
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 ;