About the Execution of Smart+red for DoubleExponent-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2501.943 | 3600000.00 | 3695106.00 | 8608.40 | ? ? ? ? ? 1 ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r139-smll-167819423200493.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DoubleExponent-PT-100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423200493
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 8.8K Feb 26 13:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 13:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 13:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 13:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 13:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 13:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 13:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 13:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.8M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-00
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-01
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-02
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-03
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-04
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-05
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-06
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-07
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-08
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-09
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-10
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-11
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-12
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-13
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-14
FORMULA_NAME DoubleExponent-PT-100-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1678435487745
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DoubleExponent-PT-100
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 08:04:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -timeout, 360, -rebuildPNML]
[2023-03-10 08:04:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 08:04:51] [INFO ] Load time of PNML (sax parser for PT used): 569 ms
[2023-03-10 08:04:51] [INFO ] Transformed 5304 places.
[2023-03-10 08:04:51] [INFO ] Transformed 4998 transitions.
[2023-03-10 08:04:51] [INFO ] Parsed PT model containing 5304 places and 4998 transitions and 14094 arcs in 718 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 8 ms.
// Phase 1: matrix 4998 rows 5304 cols
[2023-03-10 08:04:52] [INFO ] Invariants computation overflowed in 458 ms
Incomplete random walk after 10000 steps, including 338 resets, run finished after 89 ms. (steps per millisecond=112 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 282 resets, run finished after 50 ms. (steps per millisecond=200 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 282 resets, run finished after 48 ms. (steps per millisecond=208 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 272 resets, run finished after 49 ms. (steps per millisecond=204 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 281 resets, run finished after 42 ms. (steps per millisecond=238 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 279 resets, run finished after 52 ms. (steps per millisecond=192 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 288 resets, run finished after 59 ms. (steps per millisecond=169 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 290 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 285 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 287 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 289 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 294 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 286 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 291 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 275 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 278 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 10000 steps, including 282 resets, run finished after 31 ms. (steps per millisecond=322 ) properties (out of 16) seen :1
// Phase 1: matrix 4998 rows 5304 cols
[2023-03-10 08:04:54] [INFO ] Invariants computation overflowed in 342 ms
[2023-03-10 08:04:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:04:59] [INFO ] [Real]Absence check using state equation in 3541 ms returned unknown
[2023-03-10 08:05:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:05:04] [INFO ] [Real]Absence check using state equation in 3842 ms returned unknown
[2023-03-10 08:05:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:05:09] [INFO ] [Real]Absence check using state equation in 3980 ms returned unknown
[2023-03-10 08:05:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:05:14] [INFO ] [Real]Absence check using state equation in 4305 ms returned unknown
[2023-03-10 08:05:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:05:19] [INFO ] [Real]Absence check using state equation in 4277 ms returned unknown
[2023-03-10 08:05:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:05:24] [INFO ] [Real]Absence check using state equation in 3994 ms returned unknown
[2023-03-10 08:05:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:05:29] [INFO ] [Real]Absence check using state equation in 4135 ms returned unknown
[2023-03-10 08:05:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:05:34] [INFO ] [Real]Absence check using state equation in 4267 ms returned unknown
[2023-03-10 08:05:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:05:39] [INFO ] [Real]Absence check using state equation in 3977 ms returned unknown
[2023-03-10 08:05:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:05:44] [INFO ] [Real]Absence check using state equation in 4116 ms returned unknown
[2023-03-10 08:05:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:05:49] [INFO ] [Real]Absence check using state equation in 4247 ms returned unknown
[2023-03-10 08:05:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:05:54] [INFO ] [Real]Absence check using state equation in 3868 ms returned unknown
[2023-03-10 08:05:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:05:59] [INFO ] [Real]Absence check using state equation in 4105 ms returned unknown
[2023-03-10 08:06:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:06:04] [INFO ] [Real]Absence check using state equation in 4129 ms returned unknown
[2023-03-10 08:06:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:06:09] [INFO ] [Real]Absence check using state equation in 4264 ms returned unknown
[2023-03-10 08:06:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:06:14] [INFO ] [Real]Absence check using state equation in 4320 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1] Max seen :[0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Support contains 16 out of 5304 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5304/5304 places, 4998/4998 transitions.
Graph (complete) has 9096 edges and 5304 vertex of which 5298 are kept as prefixes of interest. Removing 6 places using SCC suffix rule.18 ms
Discarding 6 places :
Also discarding 0 output transitions
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1182 transitions
Trivial Post-agglo rules discarded 1182 transitions
Performed 1182 trivial Post agglomeration. Transition count delta: 1182
Iterating post reduction 0 with 1185 rules applied. Total rules applied 1186 place count 5297 transition count 3814
Reduce places removed 1182 places and 0 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Iterating post reduction 1 with 1192 rules applied. Total rules applied 2378 place count 4115 transition count 3804
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 2388 place count 4105 transition count 3804
Performed 200 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 200 Pre rules applied. Total rules applied 2388 place count 4105 transition count 3604
Deduced a syphon composed of 200 places in 275 ms
Reduce places removed 200 places and 0 transitions.
Iterating global reduction 3 with 400 rules applied. Total rules applied 2788 place count 3905 transition count 3604
Performed 896 Post agglomeration using F-continuation condition.Transition count delta: 896
Deduced a syphon composed of 896 places in 179 ms
Reduce places removed 896 places and 0 transitions.
Iterating global reduction 3 with 1792 rules applied. Total rules applied 4580 place count 3009 transition count 2708
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 90 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 4782 place count 2908 transition count 2708
Performed 93 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 93 places in 360 ms
Reduce places removed 93 places and 0 transitions.
Iterating global reduction 3 with 186 rules applied. Total rules applied 4968 place count 2815 transition count 2708
Free-agglomeration rule applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 4969 place count 2815 transition count 2707
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 4970 place count 2814 transition count 2707
Free-agglomeration rule (complex) applied 404 times.
Iterating global reduction 4 with 404 rules applied. Total rules applied 5374 place count 2814 transition count 2303
Reduce places removed 404 places and 0 transitions.
Iterating post reduction 4 with 404 rules applied. Total rules applied 5778 place count 2410 transition count 2303
Renaming transitions due to excessive name length > 1024 char.
Partial Free-agglomeration rule applied 398 times.
Drop transitions removed 398 transitions
Iterating global reduction 5 with 398 rules applied. Total rules applied 6176 place count 2410 transition count 2303
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 6177 place count 2409 transition count 2302
Applied a total of 6177 rules in 4572 ms. Remains 2409 /5304 variables (removed 2895) and now considering 2302/4998 (removed 2696) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4575 ms. Remains : 2409/5304 places, 2302/4998 transitions.
// Phase 1: matrix 2302 rows 2409 cols
[2023-03-10 08:06:19] [INFO ] Invariants computation overflowed in 49 ms
Incomplete random walk after 1000000 steps, including 127134 resets, run finished after 3231 ms. (steps per millisecond=309 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000000 steps, including 83439 resets, run finished after 1906 ms. (steps per millisecond=524 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000001 steps, including 83749 resets, run finished after 1861 ms. (steps per millisecond=537 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000000 steps, including 83497 resets, run finished after 2028 ms. (steps per millisecond=493 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000000 steps, including 83351 resets, run finished after 1630 ms. (steps per millisecond=613 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000001 steps, including 83334 resets, run finished after 2091 ms. (steps per millisecond=478 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000001 steps, including 86879 resets, run finished after 1981 ms. (steps per millisecond=504 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000000 steps, including 83469 resets, run finished after 2069 ms. (steps per millisecond=483 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000000 steps, including 83592 resets, run finished after 1843 ms. (steps per millisecond=542 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000000 steps, including 83862 resets, run finished after 2077 ms. (steps per millisecond=481 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000000 steps, including 83379 resets, run finished after 1954 ms. (steps per millisecond=511 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000001 steps, including 83759 resets, run finished after 2049 ms. (steps per millisecond=488 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000000 steps, including 83281 resets, run finished after 1621 ms. (steps per millisecond=616 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000001 steps, including 83505 resets, run finished after 1620 ms. (steps per millisecond=617 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000000 steps, including 83453 resets, run finished after 1640 ms. (steps per millisecond=609 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000000 steps, including 83496 resets, run finished after 1789 ms. (steps per millisecond=558 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 1000000 steps, including 83444 resets, run finished after 1612 ms. (steps per millisecond=620 ) properties (out of 16) seen :1
// Phase 1: matrix 2302 rows 2409 cols
[2023-03-10 08:06:52] [INFO ] Invariants computation overflowed in 106 ms
[2023-03-10 08:06:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:06:56] [INFO ] [Real]Absence check using state equation in 3646 ms returned sat
[2023-03-10 08:06:56] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:06:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:07:01] [INFO ] [Nat]Absence check using state equation in 3776 ms returned sat
[2023-03-10 08:07:01] [INFO ] State equation strengthened by 393 read => feed constraints.
[2023-03-10 08:07:04] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 08:07:07] [INFO ] [Nat]Added 393 Read/Feed constraints in 6099 ms returned unknown
[2023-03-10 08:07:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:07:52] [INFO ] [Real]Absence check using state equation in 44614 ms returned unknown
[2023-03-10 08:07:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:07:56] [INFO ] [Real]Absence check using state equation in 4224 ms returned sat
[2023-03-10 08:07:57] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:07:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:08:01] [INFO ] [Nat]Absence check using state equation in 3503 ms returned sat
[2023-03-10 08:08:04] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 08:08:07] [INFO ] [Nat]Added 393 Read/Feed constraints in 6466 ms returned unknown
[2023-03-10 08:08:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:08:52] [INFO ] [Real]Absence check using state equation in 44694 ms returned unknown
[2023-03-10 08:08:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:09:07] [INFO ] [Real]Absence check using state equation in 13909 ms returned unknown
[2023-03-10 08:09:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:09:31] [INFO ] [Real]Absence check using state equation in 24528 ms returned sat
[2023-03-10 08:09:32] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:09:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:09:53] [INFO ] [Nat]Absence check using state equation in 20887 ms returned unsat
[2023-03-10 08:09:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:10:38] [INFO ] [Real]Absence check using state equation in 44706 ms returned unknown
[2023-03-10 08:10:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:11:23] [INFO ] [Real]Absence check using state equation in 44708 ms returned unknown
[2023-03-10 08:11:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:11:39] [INFO ] [Real]Absence check using state equation in 15908 ms returned unknown
[2023-03-10 08:11:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:11:51] [INFO ] [Real]Absence check using state equation in 11863 ms returned sat
[2023-03-10 08:11:51] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:11:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:12:06] [INFO ] [Nat]Absence check using state equation in 14499 ms returned sat
[2023-03-10 08:12:09] [INFO ] [Nat]Added 393 Read/Feed constraints in 2269 ms returned sat
[2023-03-10 08:12:10] [INFO ] Computed and/alt/rep : 1821/11291/1821 causal constraints (skipped 480 transitions) in 1023 ms.
[2023-03-10 08:12:32] [INFO ] Deduced a trap composed of 12 places in 7334 ms of which 15 ms to minimize.
[2023-03-10 08:12:40] [INFO ] Deduced a trap composed of 4 places in 7097 ms of which 7 ms to minimize.
[2023-03-10 08:12:40] [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 9
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:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:1255)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithCausalOrder(DeadlockTester.java:1177)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:923)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2620)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:714)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 08:12:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:13:25] [INFO ] [Real]Absence check using state equation in 44522 ms returned unknown
[2023-03-10 08:13:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:13:34] [INFO ] [Real]Absence check using state equation in 8574 ms returned sat
[2023-03-10 08:13:34] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:13:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:14:19] [INFO ] [Nat]Absence check using state equation in 44374 ms returned unknown
[2023-03-10 08:14:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:15:04] [INFO ] [Real]Absence check using state equation in 44686 ms returned unknown
[2023-03-10 08:15:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:15:12] [INFO ] [Real]Absence check using state equation in 7437 ms returned unknown
[2023-03-10 08:15:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:15:57] [INFO ] [Real]Absence check using state equation in 44679 ms returned unknown
[2023-03-10 08:15:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:16:03] [INFO ] [Real]Absence check using state equation in 5653 ms returned sat
[2023-03-10 08:16:03] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:16:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:16:10] [INFO ] [Nat]Absence check using state equation in 6200 ms returned sat
[2023-03-10 08:16:13] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 08:16:16] [INFO ] [Nat]Added 393 Read/Feed constraints in 6107 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1, -1, -1, -1, -1, 1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1] Max seen :[0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
FORMULA DoubleExponent-PT-100-UpperBounds-05 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Support contains 15 out of 2409 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2409/2409 places, 2302/2302 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 2409 transition count 2301
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 2408 transition count 2301
Applied a total of 2 rules in 798 ms. Remains 2408 /2409 variables (removed 1) and now considering 2301/2302 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 798 ms. Remains : 2408/2409 places, 2301/2302 transitions.
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:16:17] [INFO ] Invariants computation overflowed in 43 ms
Incomplete random walk after 1000000 steps, including 127775 resets, run finished after 2627 ms. (steps per millisecond=380 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84278 resets, run finished after 1716 ms. (steps per millisecond=582 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84438 resets, run finished after 1706 ms. (steps per millisecond=586 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84411 resets, run finished after 1700 ms. (steps per millisecond=588 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84314 resets, run finished after 1847 ms. (steps per millisecond=541 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84090 resets, run finished after 1755 ms. (steps per millisecond=569 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84606 resets, run finished after 1692 ms. (steps per millisecond=591 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84457 resets, run finished after 1831 ms. (steps per millisecond=546 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84520 resets, run finished after 1689 ms. (steps per millisecond=592 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84307 resets, run finished after 1689 ms. (steps per millisecond=592 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84194 resets, run finished after 1698 ms. (steps per millisecond=588 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84158 resets, run finished after 1697 ms. (steps per millisecond=589 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84295 resets, run finished after 1687 ms. (steps per millisecond=592 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84481 resets, run finished after 1687 ms. (steps per millisecond=592 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84420 resets, run finished after 1689 ms. (steps per millisecond=592 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84633 resets, run finished after 1697 ms. (steps per millisecond=589 ) properties (out of 15) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:16:45] [INFO ] Invariants computation overflowed in 44 ms
[2023-03-10 08:16:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:16:52] [INFO ] [Real]Absence check using state equation in 5827 ms returned sat
[2023-03-10 08:16:52] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:16:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:16:56] [INFO ] [Nat]Absence check using state equation in 3858 ms returned sat
[2023-03-10 08:16:56] [INFO ] State equation strengthened by 394 read => feed constraints.
[2023-03-10 08:16:59] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 08:17:02] [INFO ] [Nat]Added 394 Read/Feed constraints in 6063 ms returned unknown
[2023-03-10 08:17:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:17:13] [INFO ] [Real]Absence check using state equation in 10583 ms returned sat
[2023-03-10 08:17:13] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:17:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:17:58] [INFO ] [Nat]Absence check using state equation in 44687 ms returned unknown
[2023-03-10 08:17:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:18:03] [INFO ] [Real]Absence check using state equation in 3971 ms returned sat
[2023-03-10 08:18:03] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:18:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:18:11] [INFO ] [Nat]Absence check using state equation in 7402 ms returned unknown
[2023-03-10 08:18:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:18:25] [INFO ] [Real]Absence check using state equation in 14334 ms returned sat
[2023-03-10 08:18:25] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:18:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:19:10] [INFO ] [Nat]Absence check using state equation in 44675 ms returned unknown
[2023-03-10 08:19:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:19:55] [INFO ] [Real]Absence check using state equation in 44699 ms returned unknown
[2023-03-10 08:19:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:20:40] [INFO ] [Real]Absence check using state equation in 44671 ms returned unknown
[2023-03-10 08:20:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:21:14] [INFO ] [Real]Absence check using state equation in 32939 ms returned sat
[2023-03-10 08:21:14] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:21:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:21:47] [INFO ] [Nat]Absence check using state equation in 32510 ms returned sat
[2023-03-10 08:21:50] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 08:21:53] [INFO ] [Nat]Added 394 Read/Feed constraints in 6752 ms returned unknown
[2023-03-10 08:21:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:21:59] [INFO ] [Real]Absence check using state equation in 5116 ms returned sat
[2023-03-10 08:21:59] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:21:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:22:04] [INFO ] [Nat]Absence check using state equation in 4792 ms returned sat
[2023-03-10 08:22:07] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 08:22:10] [INFO ] [Nat]Added 394 Read/Feed constraints in 6307 ms returned unknown
[2023-03-10 08:22:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:22:28] [INFO ] [Real]Absence check using state equation in 17098 ms returned unknown
[2023-03-10 08:22:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:22:33] [INFO ] [Real]Absence check using state equation in 4755 ms returned sat
[2023-03-10 08:22:33] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:22:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:23:08] [INFO ] [Nat]Absence check using state equation in 34852 ms returned sat
[2023-03-10 08:23:13] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 08:23:18] [INFO ] [Nat]Added 394 Read/Feed constraints in 9841 ms returned unknown
[2023-03-10 08:23:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:23:21] [INFO ] [Real]Absence check using state equation in 2413 ms returned sat
[2023-03-10 08:23:21] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:23:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:23:33] [INFO ] [Nat]Absence check using state equation in 11777 ms returned unknown
[2023-03-10 08:23:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:24:18] [INFO ] [Real]Absence check using state equation in 44521 ms returned unknown
[2023-03-10 08:24:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:24:26] [INFO ] [Real]Absence check using state equation in 7860 ms returned unknown
[2023-03-10 08:24:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:25:12] [INFO ] [Real]Absence check using state equation in 44667 ms returned unknown
[2023-03-10 08:25:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:25:57] [INFO ] [Real]Absence check using state equation in 44705 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1] Max seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Support contains 15 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Applied a total of 0 rules in 389 ms. Remains 2408 /2408 variables (removed 0) and now considering 2301/2301 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 390 ms. Remains : 2408/2408 places, 2301/2301 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Applied a total of 0 rules in 455 ms. Remains 2408 /2408 variables (removed 0) and now considering 2301/2301 (removed 0) transitions.
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:25:57] [INFO ] Invariants computation overflowed in 71 ms
[2023-03-10 08:26:28] [INFO ] Performed 2167/2408 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:26:33] [INFO ] Implicit Places using invariants in 35216 ms returned []
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:26:33] [INFO ] Invariants computation overflowed in 43 ms
[2023-03-10 08:26:33] [INFO ] Implicit Places using invariants and state equation in 771 ms returned []
Implicit Place search using SMT with State Equation took 36000 ms to find 0 implicit places.
[2023-03-10 08:26:34] [INFO ] Redundant transitions in 411 ms returned []
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:26:34] [INFO ] Invariants computation overflowed in 61 ms
[2023-03-10 08:26:38] [INFO ] Dead Transitions using invariants and state equation in 3996 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 40883 ms. Remains : 2408/2408 places, 2301/2301 transitions.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-00
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:26:38] [INFO ] Invariants computation overflowed in 70 ms
Incomplete random walk after 10000 steps, including 1325 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 832 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:26:38] [INFO ] Invariants computation overflowed in 67 ms
[2023-03-10 08:26:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:26:43] [INFO ] [Real]Absence check using state equation in 4531 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 112 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 2398 transition count 2291
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 190 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 24 place count 2396 transition count 2292
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 25 place count 2396 transition count 2291
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 26 place count 2395 transition count 2291
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 28 place count 2395 transition count 2289
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 30 place count 2393 transition count 2289
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 32 place count 2393 transition count 2289
Applied a total of 32 rules in 2137 ms. Remains 2393 /2408 variables (removed 15) and now considering 2289/2301 (removed 12) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2155 ms. Remains : 2393/2408 places, 2289/2301 transitions.
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:26:46] [INFO ] Invariants computation overflowed in 44 ms
Incomplete random walk after 1000000 steps, including 127711 resets, run finished after 2231 ms. (steps per millisecond=448 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84405 resets, run finished after 1596 ms. (steps per millisecond=626 ) properties (out of 1) seen :0
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:26:50] [INFO ] Invariants computation overflowed in 43 ms
[2023-03-10 08:26:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:26:54] [INFO ] [Real]Absence check using state equation in 3957 ms returned sat
[2023-03-10 08:26:54] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:26:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:27:01] [INFO ] [Nat]Absence check using state equation in 6161 ms returned sat
[2023-03-10 08:27:01] [INFO ] State equation strengthened by 401 read => feed constraints.
[2023-03-10 08:27:04] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 08:27:07] [INFO ] [Nat]Added 401 Read/Feed constraints in 6301 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2393 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2393/2393 places, 2289/2289 transitions.
Applied a total of 0 rules in 288 ms. Remains 2393 /2393 variables (removed 0) and now considering 2289/2289 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 289 ms. Remains : 2393/2393 places, 2289/2289 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2393/2393 places, 2289/2289 transitions.
Applied a total of 0 rules in 343 ms. Remains 2393 /2393 variables (removed 0) and now considering 2289/2289 (removed 0) transitions.
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:27:08] [INFO ] Invariants computation overflowed in 52 ms
[2023-03-10 08:27:38] [INFO ] Performed 1963/2393 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:27:44] [INFO ] Implicit Places using invariants in 36005 ms returned []
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:27:44] [INFO ] Invariants computation overflowed in 70 ms
[2023-03-10 08:27:45] [INFO ] Implicit Places using invariants and state equation in 1081 ms returned []
Implicit Place search using SMT with State Equation took 37106 ms to find 0 implicit places.
[2023-03-10 08:27:45] [INFO ] Redundant transitions in 307 ms returned []
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:27:45] [INFO ] Invariants computation overflowed in 60 ms
[2023-03-10 08:27:49] [INFO ] Dead Transitions using invariants and state equation in 3370 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 41146 ms. Remains : 2393/2393 places, 2289/2289 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-00 in 70807 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-01
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:27:49] [INFO ] Invariants computation overflowed in 42 ms
Incomplete random walk after 10000 steps, including 1295 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 830 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:27:49] [INFO ] Invariants computation overflowed in 42 ms
[2023-03-10 08:27:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:27:54] [INFO ] [Real]Absence check using state equation in 4574 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 189 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 16 place count 2400 transition count 2293
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 1 places in 182 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 18 place count 2399 transition count 2293
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 19 place count 2399 transition count 2292
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 20 place count 2398 transition count 2292
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 22 place count 2398 transition count 2290
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 24 place count 2396 transition count 2290
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 26 place count 2396 transition count 2290
Applied a total of 26 rules in 1704 ms. Remains 2396 /2408 variables (removed 12) and now considering 2290/2301 (removed 11) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1705 ms. Remains : 2396/2408 places, 2290/2301 transitions.
// Phase 1: matrix 2290 rows 2396 cols
[2023-03-10 08:27:56] [INFO ] Invariants computation overflowed in 50 ms
Incomplete random walk after 1000000 steps, including 127471 resets, run finished after 2441 ms. (steps per millisecond=409 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84438 resets, run finished after 1482 ms. (steps per millisecond=674 ) properties (out of 1) seen :0
// Phase 1: matrix 2290 rows 2396 cols
[2023-03-10 08:28:00] [INFO ] Invariants computation overflowed in 52 ms
[2023-03-10 08:28:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:28:19] [INFO ] [Real]Absence check using state equation in 19057 ms returned sat
[2023-03-10 08:28:19] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:28:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:29:04] [INFO ] [Nat]Absence check using state equation in 44623 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2396 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2396/2396 places, 2290/2290 transitions.
Applied a total of 0 rules in 272 ms. Remains 2396 /2396 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 272 ms. Remains : 2396/2396 places, 2290/2290 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2396/2396 places, 2290/2290 transitions.
Applied a total of 0 rules in 275 ms. Remains 2396 /2396 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
// Phase 1: matrix 2290 rows 2396 cols
[2023-03-10 08:29:05] [INFO ] Invariants computation overflowed in 50 ms
[2023-03-10 08:29:36] [INFO ] Performed 1659/2396 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:29:46] [INFO ] Implicit Places using invariants in 40515 ms returned []
// Phase 1: matrix 2290 rows 2396 cols
[2023-03-10 08:29:46] [INFO ] Invariants computation overflowed in 110 ms
[2023-03-10 08:30:17] [INFO ] Performed 1686/2396 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:30:27] [INFO ] Implicit Places using invariants and state equation in 41215 ms returned []
Implicit Place search using SMT with State Equation took 81750 ms to find 0 implicit places.
[2023-03-10 08:30:27] [INFO ] Redundant transitions in 190 ms returned []
// Phase 1: matrix 2290 rows 2396 cols
[2023-03-10 08:30:27] [INFO ] Invariants computation overflowed in 81 ms
[2023-03-10 08:30:30] [INFO ] Dead Transitions using invariants and state equation in 2847 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 85080 ms. Remains : 2396/2396 places, 2290/2290 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-01 in 161061 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-02
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:30:30] [INFO ] Invariants computation overflowed in 42 ms
Incomplete random walk after 10000 steps, including 1282 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 813 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:30:30] [INFO ] Invariants computation overflowed in 42 ms
[2023-03-10 08:30:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:30:35] [INFO ] [Real]Absence check using state equation in 4255 ms returned sat
[2023-03-10 08:30:35] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:30:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:30:40] [INFO ] [Nat]Absence check using state equation in 4592 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 179 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 0 with 18 rules applied. Total rules applied 18 place count 2399 transition count 2292
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 189 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 22 place count 2397 transition count 2293
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 23 place count 2397 transition count 2292
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 24 place count 2396 transition count 2292
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 26 place count 2396 transition count 2290
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 28 place count 2394 transition count 2290
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 30 place count 2394 transition count 2290
Applied a total of 30 rules in 1901 ms. Remains 2394 /2408 variables (removed 14) and now considering 2290/2301 (removed 11) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1902 ms. Remains : 2394/2408 places, 2290/2301 transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:30:42] [INFO ] Invariants computation overflowed in 106 ms
Incomplete random walk after 1000000 steps, including 127497 resets, run finished after 2404 ms. (steps per millisecond=415 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84448 resets, run finished after 1500 ms. (steps per millisecond=666 ) properties (out of 1) seen :0
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:30:46] [INFO ] Invariants computation overflowed in 72 ms
[2023-03-10 08:30:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:30:52] [INFO ] [Real]Absence check using state equation in 5178 ms returned sat
[2023-03-10 08:30:52] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:30:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:31:03] [INFO ] [Nat]Absence check using state equation in 10513 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2394 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 277 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 278 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 270 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:31:03] [INFO ] Invariants computation overflowed in 71 ms
[2023-03-10 08:31:34] [INFO ] Performed 1787/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:31:40] [INFO ] Implicit Places using invariants in 36927 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:31:40] [INFO ] Invariants computation overflowed in 74 ms
[2023-03-10 08:32:11] [INFO ] Performed 2212/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:32:15] [INFO ] Implicit Places using invariants and state equation in 34820 ms returned []
Implicit Place search using SMT with State Equation took 71752 ms to find 0 implicit places.
[2023-03-10 08:32:15] [INFO ] Redundant transitions in 191 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:32:15] [INFO ] Invariants computation overflowed in 117 ms
[2023-03-10 08:32:19] [INFO ] Dead Transitions using invariants and state equation in 3786 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 76037 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-02 in 109373 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-03
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:32:19] [INFO ] Invariants computation overflowed in 60 ms
Incomplete random walk after 10000 steps, including 1249 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 821 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:32:19] [INFO ] Invariants computation overflowed in 56 ms
[2023-03-10 08:32:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:32:25] [INFO ] [Real]Absence check using state equation in 4584 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 114 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 2398 transition count 2291
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 111 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 24 place count 2396 transition count 2292
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 25 place count 2396 transition count 2291
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 26 place count 2395 transition count 2291
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 28 place count 2395 transition count 2289
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 30 place count 2393 transition count 2289
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 31 place count 2393 transition count 2289
Applied a total of 31 rules in 1704 ms. Remains 2393 /2408 variables (removed 15) and now considering 2289/2301 (removed 12) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1708 ms. Remains : 2393/2408 places, 2289/2301 transitions.
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:32:26] [INFO ] Invariants computation overflowed in 41 ms
Incomplete random walk after 1000000 steps, including 127516 resets, run finished after 2453 ms. (steps per millisecond=407 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84536 resets, run finished after 1949 ms. (steps per millisecond=513 ) properties (out of 1) seen :0
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:32:31] [INFO ] Invariants computation overflowed in 42 ms
[2023-03-10 08:32:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:32:42] [INFO ] [Real]Absence check using state equation in 10738 ms returned sat
[2023-03-10 08:32:42] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:32:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:32:53] [INFO ] [Nat]Absence check using state equation in 10880 ms returned sat
[2023-03-10 08:32:53] [INFO ] State equation strengthened by 401 read => feed constraints.
[2023-03-10 08:32:56] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 08:33:04] [INFO ] [Nat]Added 401 Read/Feed constraints in 10780 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2393 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2393/2393 places, 2289/2289 transitions.
Applied a total of 0 rules in 271 ms. Remains 2393 /2393 variables (removed 0) and now considering 2289/2289 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 271 ms. Remains : 2393/2393 places, 2289/2289 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2393/2393 places, 2289/2289 transitions.
Applied a total of 0 rules in 277 ms. Remains 2393 /2393 variables (removed 0) and now considering 2289/2289 (removed 0) transitions.
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:33:05] [INFO ] Invariants computation overflowed in 42 ms
[2023-03-10 08:33:35] [INFO ] Performed 1677/2393 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:33:45] [INFO ] Implicit Places using invariants in 40280 ms returned []
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:33:45] [INFO ] Invariants computation overflowed in 69 ms
[2023-03-10 08:33:46] [INFO ] Implicit Places using invariants and state equation in 1095 ms returned []
Implicit Place search using SMT with State Equation took 41390 ms to find 0 implicit places.
[2023-03-10 08:33:46] [INFO ] Redundant transitions in 166 ms returned []
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:33:46] [INFO ] Invariants computation overflowed in 60 ms
[2023-03-10 08:33:49] [INFO ] Dead Transitions using invariants and state equation in 2631 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 44488 ms. Remains : 2393/2393 places, 2289/2289 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-03 in 89726 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-04
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:33:49] [INFO ] Invariants computation overflowed in 42 ms
Incomplete random walk after 10000 steps, including 1303 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 816 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:33:49] [INFO ] Invariants computation overflowed in 51 ms
[2023-03-10 08:33:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:33:54] [INFO ] [Real]Absence check using state equation in 4619 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 112 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 2398 transition count 2291
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 115 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 24 place count 2396 transition count 2292
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 25 place count 2396 transition count 2291
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 26 place count 2395 transition count 2291
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 1 with 1 rules applied. Total rules applied 27 place count 2395 transition count 2290
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 28 place count 2394 transition count 2290
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 30 place count 2394 transition count 2290
Applied a total of 30 rules in 1672 ms. Remains 2394 /2408 variables (removed 14) and now considering 2290/2301 (removed 11) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1672 ms. Remains : 2394/2408 places, 2290/2301 transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:33:56] [INFO ] Invariants computation overflowed in 62 ms
Incomplete random walk after 1000000 steps, including 127740 resets, run finished after 2314 ms. (steps per millisecond=432 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84379 resets, run finished after 1628 ms. (steps per millisecond=614 ) properties (out of 1) seen :0
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:34:00] [INFO ] Invariants computation overflowed in 65 ms
[2023-03-10 08:34:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:34:03] [INFO ] [Real]Absence check using state equation in 2032 ms returned sat
[2023-03-10 08:34:03] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:34:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:34:05] [INFO ] [Nat]Absence check using state equation in 2227 ms returned sat
[2023-03-10 08:34:05] [INFO ] State equation strengthened by 401 read => feed constraints.
[2023-03-10 08:34:08] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 08:34:11] [INFO ] [Nat]Added 401 Read/Feed constraints in 6090 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2394 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 296 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 296 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 439 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:34:12] [INFO ] Invariants computation overflowed in 103 ms
[2023-03-10 08:34:43] [INFO ] Performed 1815/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:34:51] [INFO ] Implicit Places using invariants in 38964 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:34:51] [INFO ] Invariants computation overflowed in 104 ms
[2023-03-10 08:35:22] [INFO ] Performed 1678/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:35:32] [INFO ] Implicit Places using invariants and state equation in 40930 ms returned []
Implicit Place search using SMT with State Equation took 79922 ms to find 0 implicit places.
[2023-03-10 08:35:32] [INFO ] Redundant transitions in 116 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:35:32] [INFO ] Invariants computation overflowed in 119 ms
[2023-03-10 08:35:35] [INFO ] Dead Transitions using invariants and state equation in 2793 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 83288 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-04 in 106073 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-06
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:35:35] [INFO ] Invariants computation overflowed in 42 ms
Incomplete random walk after 10000 steps, including 1231 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 824 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:35:35] [INFO ] Invariants computation overflowed in 42 ms
[2023-03-10 08:35:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:35:40] [INFO ] [Real]Absence check using state equation in 4682 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 117 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 2398 transition count 2291
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 158 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 24 place count 2396 transition count 2292
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 25 place count 2396 transition count 2291
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 26 place count 2395 transition count 2291
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 1 with 1 rules applied. Total rules applied 27 place count 2395 transition count 2290
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 28 place count 2394 transition count 2290
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 30 place count 2394 transition count 2290
Applied a total of 30 rules in 1676 ms. Remains 2394 /2408 variables (removed 14) and now considering 2290/2301 (removed 11) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1677 ms. Remains : 2394/2408 places, 2290/2301 transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:35:42] [INFO ] Invariants computation overflowed in 59 ms
Incomplete random walk after 1000000 steps, including 127825 resets, run finished after 2538 ms. (steps per millisecond=394 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84228 resets, run finished after 1760 ms. (steps per millisecond=568 ) properties (out of 1) seen :0
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:35:46] [INFO ] Invariants computation overflowed in 58 ms
[2023-03-10 08:35:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:36:31] [INFO ] [Real]Absence check using state equation in 44612 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2394 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 264 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 264 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 261 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:36:32] [INFO ] Invariants computation overflowed in 72 ms
[2023-03-10 08:37:02] [INFO ] Performed 1838/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:37:10] [INFO ] Implicit Places using invariants in 38150 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:37:10] [INFO ] Invariants computation overflowed in 66 ms
[2023-03-10 08:37:41] [INFO ] Performed 2180/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:37:45] [INFO ] Implicit Places using invariants and state equation in 35111 ms returned []
Implicit Place search using SMT with State Equation took 73276 ms to find 0 implicit places.
[2023-03-10 08:37:45] [INFO ] Redundant transitions in 186 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:37:46] [INFO ] Invariants computation overflowed in 69 ms
[2023-03-10 08:37:48] [INFO ] Dead Transitions using invariants and state equation in 2855 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 76602 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-06 in 133365 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-07
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:37:49] [INFO ] Invariants computation overflowed in 41 ms
Incomplete random walk after 10000 steps, including 1259 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 833 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:37:49] [INFO ] Invariants computation overflowed in 41 ms
[2023-03-10 08:37:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:37:54] [INFO ] [Real]Absence check using state equation in 4621 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 187 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 0 with 18 rules applied. Total rules applied 18 place count 2399 transition count 2292
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 161 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 22 place count 2397 transition count 2293
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 23 place count 2397 transition count 2292
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 24 place count 2396 transition count 2292
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 26 place count 2396 transition count 2290
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 28 place count 2394 transition count 2290
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 30 place count 2394 transition count 2290
Applied a total of 30 rules in 2039 ms. Remains 2394 /2408 variables (removed 14) and now considering 2290/2301 (removed 11) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2040 ms. Remains : 2394/2408 places, 2290/2301 transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:37:56] [INFO ] Invariants computation overflowed in 55 ms
Incomplete random walk after 1000000 steps, including 127466 resets, run finished after 2234 ms. (steps per millisecond=447 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84526 resets, run finished after 1437 ms. (steps per millisecond=695 ) properties (out of 1) seen :0
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:38:00] [INFO ] Invariants computation overflowed in 55 ms
[2023-03-10 08:38:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:38:45] [INFO ] [Real]Absence check using state equation in 44560 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2394 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 394 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 395 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 311 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:38:45] [INFO ] Invariants computation overflowed in 55 ms
[2023-03-10 08:39:16] [INFO ] Performed 2105/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:39:21] [INFO ] Implicit Places using invariants in 35306 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:39:21] [INFO ] Invariants computation overflowed in 93 ms
[2023-03-10 08:39:52] [INFO ] Performed 2023/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:39:58] [INFO ] Implicit Places using invariants and state equation in 36913 ms returned []
Implicit Place search using SMT with State Equation took 72238 ms to find 0 implicit places.
[2023-03-10 08:39:58] [INFO ] Redundant transitions in 188 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:39:58] [INFO ] Invariants computation overflowed in 63 ms
[2023-03-10 08:40:01] [INFO ] Dead Transitions using invariants and state equation in 3045 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 75828 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-07 in 132495 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-08
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:40:01] [INFO ] Invariants computation overflowed in 50 ms
Incomplete random walk after 10000 steps, including 1278 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 835 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:40:01] [INFO ] Invariants computation overflowed in 50 ms
[2023-03-10 08:40:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:40:06] [INFO ] [Real]Absence check using state equation in 4570 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 110 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 16 place count 2400 transition count 2293
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 109 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 20 place count 2398 transition count 2294
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 21 place count 2398 transition count 2293
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 22 place count 2397 transition count 2293
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 24 place count 2397 transition count 2291
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 26 place count 2395 transition count 2291
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 28 place count 2395 transition count 2291
Applied a total of 28 rules in 1807 ms. Remains 2395 /2408 variables (removed 13) and now considering 2291/2301 (removed 10) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1807 ms. Remains : 2395/2408 places, 2291/2301 transitions.
// Phase 1: matrix 2291 rows 2395 cols
[2023-03-10 08:40:08] [INFO ] Invariants computation overflowed in 41 ms
Incomplete random walk after 1000000 steps, including 127802 resets, run finished after 2247 ms. (steps per millisecond=445 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84291 resets, run finished after 1599 ms. (steps per millisecond=625 ) properties (out of 1) seen :0
// Phase 1: matrix 2291 rows 2395 cols
[2023-03-10 08:40:12] [INFO ] Invariants computation overflowed in 41 ms
[2023-03-10 08:40:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:40:42] [INFO ] [Real]Absence check using state equation in 29672 ms returned sat
[2023-03-10 08:40:42] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:40:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:41:09] [INFO ] [Nat]Absence check using state equation in 26427 ms returned sat
[2023-03-10 08:41:09] [INFO ] State equation strengthened by 399 read => feed constraints.
[2023-03-10 08:41:12] [INFO ] SMT solver returned unknown. Retrying;
[2023-03-10 08:41:15] [INFO ] [Nat]Added 399 Read/Feed constraints in 5953 ms returned sat
[2023-03-10 08:41:17] [INFO ] Computed and/alt/rep : 1802/11362/1802 causal constraints (skipped 488 transitions) in 1689 ms.
[2023-03-10 08:41:27] [INFO ] Added : 120 causal constraints over 24 iterations in 12094 ms. Result :unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2395 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2395/2395 places, 2291/2291 transitions.
Applied a total of 0 rules in 275 ms. Remains 2395 /2395 variables (removed 0) and now considering 2291/2291 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 276 ms. Remains : 2395/2395 places, 2291/2291 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2395/2395 places, 2291/2291 transitions.
Applied a total of 0 rules in 272 ms. Remains 2395 /2395 variables (removed 0) and now considering 2291/2291 (removed 0) transitions.
// Phase 1: matrix 2291 rows 2395 cols
[2023-03-10 08:41:34] [INFO ] Invariants computation overflowed in 70 ms
[2023-03-10 08:42:04] [INFO ] Performed 1723/2395 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:42:14] [INFO ] Implicit Places using invariants in 39807 ms returned []
// Phase 1: matrix 2291 rows 2395 cols
[2023-03-10 08:42:14] [INFO ] Invariants computation overflowed in 43 ms
[2023-03-10 08:42:15] [INFO ] Implicit Places using invariants and state equation in 882 ms returned []
Implicit Place search using SMT with State Equation took 40694 ms to find 0 implicit places.
[2023-03-10 08:42:15] [INFO ] Redundant transitions in 113 ms returned []
// Phase 1: matrix 2291 rows 2395 cols
[2023-03-10 08:42:15] [INFO ] Invariants computation overflowed in 71 ms
[2023-03-10 08:42:18] [INFO ] Dead Transitions using invariants and state equation in 3173 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 44259 ms. Remains : 2395/2395 places, 2291/2291 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-08 in 136996 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-09
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:42:18] [INFO ] Invariants computation overflowed in 44 ms
Incomplete random walk after 10000 steps, including 1253 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 833 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:42:18] [INFO ] Invariants computation overflowed in 43 ms
[2023-03-10 08:42:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:42:23] [INFO ] [Real]Absence check using state equation in 4505 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 111 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 0 with 18 rules applied. Total rules applied 18 place count 2399 transition count 2292
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 111 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 22 place count 2397 transition count 2293
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 23 place count 2397 transition count 2292
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 24 place count 2396 transition count 2292
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 26 place count 2396 transition count 2290
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 28 place count 2394 transition count 2290
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 30 place count 2394 transition count 2290
Applied a total of 30 rules in 1502 ms. Remains 2394 /2408 variables (removed 14) and now considering 2290/2301 (removed 11) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1502 ms. Remains : 2394/2408 places, 2290/2301 transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:42:25] [INFO ] Invariants computation overflowed in 40 ms
Incomplete random walk after 1000000 steps, including 127690 resets, run finished after 2211 ms. (steps per millisecond=452 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84186 resets, run finished after 1535 ms. (steps per millisecond=651 ) properties (out of 1) seen :0
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:42:29] [INFO ] Invariants computation overflowed in 42 ms
[2023-03-10 08:42:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:42:48] [INFO ] [Real]Absence check using state equation in 19450 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2394 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 292 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 293 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 444 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:42:49] [INFO ] Invariants computation overflowed in 43 ms
[2023-03-10 08:43:20] [INFO ] Performed 2345/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:43:20] [INFO ] Implicit Places using invariants in 31168 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:43:20] [INFO ] Invariants computation overflowed in 67 ms
[2023-03-10 08:43:51] [INFO ] Performed 1968/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:43:58] [INFO ] Implicit Places using invariants and state equation in 37562 ms returned []
Implicit Place search using SMT with State Equation took 68734 ms to find 0 implicit places.
[2023-03-10 08:43:58] [INFO ] Redundant transitions in 191 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:43:58] [INFO ] Invariants computation overflowed in 67 ms
[2023-03-10 08:44:01] [INFO ] Dead Transitions using invariants and state equation in 2928 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 72309 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-09 in 103154 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-10
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:44:01] [INFO ] Invariants computation overflowed in 69 ms
Incomplete random walk after 10000 steps, including 1293 resets, run finished after 31 ms. (steps per millisecond=322 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 860 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:44:01] [INFO ] Invariants computation overflowed in 43 ms
[2023-03-10 08:44:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:44:06] [INFO ] [Real]Absence check using state equation in 4597 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 116 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 2398 transition count 2291
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 111 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 24 place count 2396 transition count 2292
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 26 place count 2396 transition count 2290
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 28 place count 2394 transition count 2290
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 1 with 2 rules applied. Total rules applied 30 place count 2394 transition count 2290
Applied a total of 30 rules in 1312 ms. Remains 2394 /2408 variables (removed 14) and now considering 2290/2301 (removed 11) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1314 ms. Remains : 2394/2408 places, 2290/2301 transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:44:08] [INFO ] Invariants computation overflowed in 62 ms
Incomplete random walk after 1000000 steps, including 127912 resets, run finished after 2414 ms. (steps per millisecond=414 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84459 resets, run finished after 1657 ms. (steps per millisecond=603 ) properties (out of 1) seen :0
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:44:12] [INFO ] Invariants computation overflowed in 64 ms
[2023-03-10 08:44:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:44:49] [INFO ] [Real]Absence check using state equation in 36255 ms returned sat
[2023-03-10 08:44:49] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:44:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:45:34] [INFO ] [Nat]Absence check using state equation in 44702 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2394 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 268 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 269 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 279 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:45:34] [INFO ] Invariants computation overflowed in 101 ms
[2023-03-10 08:46:05] [INFO ] Performed 1596/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:46:16] [INFO ] Implicit Places using invariants in 41601 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:46:16] [INFO ] Invariants computation overflowed in 100 ms
[2023-03-10 08:46:17] [INFO ] Implicit Places using invariants and state equation in 946 ms returned []
Implicit Place search using SMT with State Equation took 42549 ms to find 0 implicit places.
[2023-03-10 08:46:17] [INFO ] Redundant transitions in 113 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:46:17] [INFO ] Invariants computation overflowed in 99 ms
[2023-03-10 08:46:20] [INFO ] Dead Transitions using invariants and state equation in 2902 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 45853 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-10 in 138941 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-11
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:46:20] [INFO ] Invariants computation overflowed in 43 ms
Incomplete random walk after 10000 steps, including 1278 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 837 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:46:20] [INFO ] Invariants computation overflowed in 75 ms
[2023-03-10 08:46:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:46:23] [INFO ] [Real]Absence check using state equation in 2468 ms returned sat
[2023-03-10 08:46:23] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:46:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:46:28] [INFO ] [Nat]Absence check using state equation in 4676 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 128 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 0 with 18 rules applied. Total rules applied 18 place count 2399 transition count 2292
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 131 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 22 place count 2397 transition count 2293
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 23 place count 2397 transition count 2292
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 24 place count 2396 transition count 2292
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 26 place count 2396 transition count 2290
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 28 place count 2394 transition count 2290
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 30 place count 2394 transition count 2290
Applied a total of 30 rules in 1558 ms. Remains 2394 /2408 variables (removed 14) and now considering 2290/2301 (removed 11) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1558 ms. Remains : 2394/2408 places, 2290/2301 transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:46:30] [INFO ] Invariants computation overflowed in 104 ms
Incomplete random walk after 1000000 steps, including 127905 resets, run finished after 2207 ms. (steps per millisecond=453 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 83933 resets, run finished after 1551 ms. (steps per millisecond=644 ) properties (out of 1) seen :0
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:46:34] [INFO ] Invariants computation overflowed in 104 ms
[2023-03-10 08:46:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:46:44] [INFO ] [Real]Absence check using state equation in 9920 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2394 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 262 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 263 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 265 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:46:45] [INFO ] Invariants computation overflowed in 112 ms
[2023-03-10 08:47:15] [INFO ] Performed 2312/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:47:17] [INFO ] Implicit Places using invariants in 32315 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:47:17] [INFO ] Invariants computation overflowed in 104 ms
[2023-03-10 08:47:18] [INFO ] Implicit Places using invariants and state equation in 945 ms returned []
Implicit Place search using SMT with State Equation took 33262 ms to find 0 implicit places.
[2023-03-10 08:47:18] [INFO ] Redundant transitions in 113 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:47:18] [INFO ] Invariants computation overflowed in 105 ms
[2023-03-10 08:47:21] [INFO ] Dead Transitions using invariants and state equation in 3127 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 36775 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-11 in 61336 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-12
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:47:21] [INFO ] Invariants computation overflowed in 42 ms
Incomplete random walk after 10000 steps, including 1290 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 872 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:47:22] [INFO ] Invariants computation overflowed in 44 ms
[2023-03-10 08:47:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:47:27] [INFO ] [Real]Absence check using state equation in 4601 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 177 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 2398 transition count 2291
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 152 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 24 place count 2396 transition count 2292
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 25 place count 2396 transition count 2291
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 26 place count 2395 transition count 2291
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 28 place count 2395 transition count 2289
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 30 place count 2393 transition count 2289
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 31 place count 2393 transition count 2289
Applied a total of 31 rules in 1682 ms. Remains 2393 /2408 variables (removed 15) and now considering 2289/2301 (removed 12) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1683 ms. Remains : 2393/2408 places, 2289/2301 transitions.
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:47:28] [INFO ] Invariants computation overflowed in 41 ms
Incomplete random walk after 1000000 steps, including 127690 resets, run finished after 2464 ms. (steps per millisecond=405 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84297 resets, run finished after 1693 ms. (steps per millisecond=590 ) properties (out of 1) seen :0
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:47:33] [INFO ] Invariants computation overflowed in 42 ms
[2023-03-10 08:47:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:48:18] [INFO ] [Real]Absence check using state equation in 44679 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2393 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2393/2393 places, 2289/2289 transitions.
Applied a total of 0 rules in 273 ms. Remains 2393 /2393 variables (removed 0) and now considering 2289/2289 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 273 ms. Remains : 2393/2393 places, 2289/2289 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2393/2393 places, 2289/2289 transitions.
Applied a total of 0 rules in 269 ms. Remains 2393 /2393 variables (removed 0) and now considering 2289/2289 (removed 0) transitions.
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:48:18] [INFO ] Invariants computation overflowed in 69 ms
[2023-03-10 08:48:49] [INFO ] Performed 2231/2393 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:48:51] [INFO ] Implicit Places using invariants in 32916 ms returned []
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:48:51] [INFO ] Invariants computation overflowed in 69 ms
[2023-03-10 08:49:22] [INFO ] Performed 2325/2393 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:49:23] [INFO ] Implicit Places using invariants and state equation in 32152 ms returned []
Implicit Place search using SMT with State Equation took 65071 ms to find 0 implicit places.
[2023-03-10 08:49:23] [INFO ] Redundant transitions in 197 ms returned []
// Phase 1: matrix 2289 rows 2393 cols
[2023-03-10 08:49:23] [INFO ] Invariants computation overflowed in 42 ms
[2023-03-10 08:49:27] [INFO ] Dead Transitions using invariants and state equation in 3141 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 68689 ms. Remains : 2393/2393 places, 2289/2289 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-12 in 125295 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-13
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:49:27] [INFO ] Invariants computation overflowed in 41 ms
Incomplete random walk after 10000 steps, including 1279 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 852 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:49:27] [INFO ] Invariants computation overflowed in 65 ms
[2023-03-10 08:49:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:49:32] [INFO ] [Real]Absence check using state equation in 4588 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 112 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 0 with 18 rules applied. Total rules applied 18 place count 2399 transition count 2292
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 117 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 22 place count 2397 transition count 2293
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 23 place count 2397 transition count 2292
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 24 place count 2396 transition count 2292
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 26 place count 2396 transition count 2290
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 28 place count 2394 transition count 2290
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 30 place count 2394 transition count 2290
Applied a total of 30 rules in 1495 ms. Remains 2394 /2408 variables (removed 14) and now considering 2290/2301 (removed 11) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1495 ms. Remains : 2394/2408 places, 2290/2301 transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:49:34] [INFO ] Invariants computation overflowed in 72 ms
Incomplete random walk after 1000000 steps, including 127642 resets, run finished after 2132 ms. (steps per millisecond=469 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84103 resets, run finished after 1478 ms. (steps per millisecond=676 ) properties (out of 1) seen :0
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:49:37] [INFO ] Invariants computation overflowed in 70 ms
[2023-03-10 08:49:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:49:42] [INFO ] [Real]Absence check using state equation in 4215 ms returned sat
[2023-03-10 08:49:42] [INFO ] Solution in real domain found non-integer solution.
[2023-03-10 08:49:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-10 08:50:00] [INFO ] [Nat]Absence check using state equation in 17810 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2394 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 449 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 450 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 376 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:50:01] [INFO ] Invariants computation overflowed in 70 ms
[2023-03-10 08:50:32] [INFO ] Performed 2317/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:50:33] [INFO ] Implicit Places using invariants in 31744 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:50:33] [INFO ] Invariants computation overflowed in 70 ms
[2023-03-10 08:51:04] [INFO ] Performed 2369/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:51:04] [INFO ] Implicit Places using invariants and state equation in 31350 ms returned []
Implicit Place search using SMT with State Equation took 63096 ms to find 0 implicit places.
[2023-03-10 08:51:04] [INFO ] Redundant transitions in 113 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:51:05] [INFO ] Invariants computation overflowed in 71 ms
[2023-03-10 08:51:07] [INFO ] Dead Transitions using invariants and state equation in 2977 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 66576 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-13 in 100853 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-14
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:51:08] [INFO ] Invariants computation overflowed in 43 ms
Incomplete random walk after 10000 steps, including 1285 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 847 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:51:08] [INFO ] Invariants computation overflowed in 42 ms
[2023-03-10 08:51:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:51:13] [INFO ] [Real]Absence check using state equation in 4692 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 118 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 0 with 18 rules applied. Total rules applied 18 place count 2399 transition count 2292
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 110 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 22 place count 2397 transition count 2293
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 23 place count 2397 transition count 2292
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 24 place count 2396 transition count 2292
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 26 place count 2396 transition count 2290
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 28 place count 2394 transition count 2290
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 30 place count 2394 transition count 2290
Applied a total of 30 rules in 1512 ms. Remains 2394 /2408 variables (removed 14) and now considering 2290/2301 (removed 11) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1513 ms. Remains : 2394/2408 places, 2290/2301 transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:51:14] [INFO ] Invariants computation overflowed in 46 ms
Incomplete random walk after 1000000 steps, including 127234 resets, run finished after 2206 ms. (steps per millisecond=453 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84470 resets, run finished after 1526 ms. (steps per millisecond=655 ) properties (out of 1) seen :0
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:51:18] [INFO ] Invariants computation overflowed in 77 ms
[2023-03-10 08:51:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:52:03] [INFO ] [Real]Absence check using state equation in 44615 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2394 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 278 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 279 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2290/2290 transitions.
Applied a total of 0 rules in 268 ms. Remains 2394 /2394 variables (removed 0) and now considering 2290/2290 (removed 0) transitions.
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:52:04] [INFO ] Invariants computation overflowed in 47 ms
[2023-03-10 08:52:34] [INFO ] Performed 2258/2394 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2023-03-10 08:52:37] [INFO ] Implicit Places using invariants in 32908 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:52:37] [INFO ] Invariants computation overflowed in 46 ms
[2023-03-10 08:52:38] [INFO ] Implicit Places using invariants and state equation in 906 ms returned []
Implicit Place search using SMT with State Equation took 33817 ms to find 0 implicit places.
[2023-03-10 08:52:38] [INFO ] Redundant transitions in 114 ms returned []
// Phase 1: matrix 2290 rows 2394 cols
[2023-03-10 08:52:38] [INFO ] Invariants computation overflowed in 72 ms
[2023-03-10 08:52:40] [INFO ] Dead Transitions using invariants and state equation in 2534 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 36752 ms. Remains : 2394/2394 places, 2290/2290 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-14 in 92933 ms.
Starting property specific reduction for DoubleExponent-PT-100-UpperBounds-15
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:52:41] [INFO ] Invariants computation overflowed in 71 ms
Incomplete random walk after 10000 steps, including 1267 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 827 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 1) seen :0
// Phase 1: matrix 2301 rows 2408 cols
[2023-03-10 08:52:41] [INFO ] Invariants computation overflowed in 43 ms
[2023-03-10 08:52:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:52:46] [INFO ] [Real]Absence check using state equation in 4681 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2408 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2408/2408 places, 2301/2301 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 125 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 2398 transition count 2291
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 1 places in 111 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 22 place count 2397 transition count 2292
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 23 place count 2397 transition count 2291
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 24 place count 2396 transition count 2291
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 26 place count 2396 transition count 2289
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 28 place count 2394 transition count 2289
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 30 place count 2394 transition count 2289
Applied a total of 30 rules in 1519 ms. Remains 2394 /2408 variables (removed 14) and now considering 2289/2301 (removed 12) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1519 ms. Remains : 2394/2408 places, 2289/2301 transitions.
// Phase 1: matrix 2289 rows 2394 cols
[2023-03-10 08:52:47] [INFO ] Invariants computation overflowed in 68 ms
Incomplete random walk after 1000000 steps, including 127407 resets, run finished after 2154 ms. (steps per millisecond=464 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84202 resets, run finished after 1503 ms. (steps per millisecond=665 ) properties (out of 1) seen :0
// Phase 1: matrix 2289 rows 2394 cols
[2023-03-10 08:52:51] [INFO ] Invariants computation overflowed in 67 ms
[2023-03-10 08:52:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-10 08:53:36] [INFO ] [Real]Absence check using state equation in 44686 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[0]
Support contains 1 out of 2394 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2289/2289 transitions.
Applied a total of 0 rules in 267 ms. Remains 2394 /2394 variables (removed 0) and now considering 2289/2289 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 268 ms. Remains : 2394/2394 places, 2289/2289 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2394/2394 places, 2289/2289 transitions.
Applied a total of 0 rules in 280 ms. Remains 2394 /2394 variables (removed 0) and now considering 2289/2289 (removed 0) transitions.
// Phase 1: matrix 2289 rows 2394 cols
[2023-03-10 08:53:37] [INFO ] Invariants computation overflowed in 69 ms
[2023-03-10 08:54:06] [INFO ] Implicit Places using invariants in 29639 ms returned []
// Phase 1: matrix 2289 rows 2394 cols
[2023-03-10 08:54:06] [INFO ] Invariants computation overflowed in 73 ms
[2023-03-10 08:54:36] [INFO ] Implicit Places using invariants and state equation in 29624 ms returned []
Implicit Place search using SMT with State Equation took 59270 ms to find 0 implicit places.
[2023-03-10 08:54:36] [INFO ] Redundant transitions in 113 ms returned []
// Phase 1: matrix 2289 rows 2394 cols
[2023-03-10 08:54:36] [INFO ] Invariants computation overflowed in 116 ms
[2023-03-10 08:54:39] [INFO ] Dead Transitions using invariants and state equation in 2600 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 62282 ms. Remains : 2394/2394 places, 2289/2289 transitions.
Ending property specific reduction for DoubleExponent-PT-100-UpperBounds-15 in 118320 ms.
[2023-03-10 08:54:41] [INFO ] Flatten gal took : 1757 ms
[2023-03-10 08:54:41] [INFO ] Export to MCC of 15 properties in file /home/mcc/execution/UpperBounds.sr.xml took 3 ms.
[2023-03-10 08:54:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2408 places, 2301 transitions and 59747 arcs took 64 ms.
Total runtime 2991061 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleExponent (PT), instance 100
Examination UpperBounds
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/UpperBoundParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//upper_bound//smart
PNML FILE: model.pnml
Petri model created: 2408 places, 2301 transitions, 59747 arcs.
Final Score: 1869513.596
Took : 387 seconds
Bounds file is: UpperBounds.xml
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15451428 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16092296 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -timeout 360 -rebuildPNML
Caught signal 15, terminating.
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="DoubleExponent-PT-100"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DoubleExponent-PT-100, 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 r139-smll-167819423200493"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleExponent-PT-100.tgz
mv DoubleExponent-PT-100 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 ;