About the Execution of ITS-Tools for PhilosophersDyn-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16217.155 | 3600000.00 | 2866664.00 | 467897.00 | ? ? 20 ? ? ? ? ? 1 1 ? 1 1 1 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r168-tall-165277016700429.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is PhilosophersDyn-PT-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-tall-165277016700429
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 27M
-rw-r--r-- 1 mcc users 136K Apr 30 08:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 529K Apr 30 08:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.3M Apr 30 08:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 5.7M Apr 30 08:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 31K May 9 08:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 101K May 9 08:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M May 9 08:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.2M May 9 08:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 9 08:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.8K May 9 08:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 14M May 10 09:34 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 PhilosophersDyn-PT-20-UpperBounds-00
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-01
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-02
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-03
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-04
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-05
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-06
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-07
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-08
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-09
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-10
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-11
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-12
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-13
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-14
FORMULA_NAME PhilosophersDyn-PT-20-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1652846716678
Running Version 202205111006
[2022-05-18 04:05:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-05-18 04:05:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-18 04:05:18] [INFO ] Load time of PNML (sax parser for PT used): 964 ms
[2022-05-18 04:05:19] [INFO ] Transformed 540 places.
[2022-05-18 04:05:19] [INFO ] Transformed 17220 transitions.
[2022-05-18 04:05:19] [INFO ] Parsed PT model containing 540 places and 17220 transitions in 1230 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 12 ms.
Ensure Unique test removed 190 transitions
Reduce redundant transitions removed 190 transitions.
Normalized transition count is 15510 out of 17030 initially.
// Phase 1: matrix 15510 rows 540 cols
[2022-05-18 04:05:21] [INFO ] Computed 79 place invariants in 1604 ms
FORMULA PhilosophersDyn-PT-20-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PhilosophersDyn-PT-20-UpperBounds-02 20 TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 1145 resets, run finished after 776 ms. (steps per millisecond=12 ) properties (out of 14) seen :23
FORMULA PhilosophersDyn-PT-20-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PhilosophersDyn-PT-20-UpperBounds-14 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PhilosophersDyn-PT-20-UpperBounds-13 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PhilosophersDyn-PT-20-UpperBounds-08 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 27 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 10) seen :15
Incomplete Best-First random walk after 10001 steps, including 34 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 10) seen :17
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 44 ms. (steps per millisecond=227 ) properties (out of 10) seen :18
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 10) seen :15
Incomplete Best-First random walk after 10001 steps, including 34 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 10) seen :17
Incomplete Best-First random walk after 10001 steps, including 34 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 10) seen :17
Incomplete Best-First random walk after 10001 steps, including 35 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 10) seen :18
Incomplete Best-First random walk after 10000 steps, including 34 resets, run finished after 31 ms. (steps per millisecond=322 ) properties (out of 10) seen :17
Incomplete Best-First random walk after 10001 steps, including 30 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 10) seen :16
Incomplete Best-First random walk after 10001 steps, including 31 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 10) seen :16
[2022-05-18 04:05:22] [INFO ] Flow matrix only has 15510 transitions (discarded 1520 similar events)
// Phase 1: matrix 15510 rows 540 cols
[2022-05-18 04:05:23] [INFO ] Computed 79 place invariants in 1247 ms
[2022-05-18 04:05:23] [INFO ] [Real]Absence check using 53 positive place invariants in 30 ms returned sat
[2022-05-18 04:05:23] [INFO ] [Real]Absence check using 53 positive and 26 generalized place invariants in 18 ms returned sat
[2022-05-18 04:05:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:05:28] [INFO ] [Real]Absence check using state equation in 4742 ms returned unknown
[2022-05-18 04:05:28] [INFO ] [Real]Absence check using 53 positive place invariants in 19 ms returned sat
[2022-05-18 04:05:28] [INFO ] [Real]Absence check using 53 positive and 26 generalized place invariants in 17 ms returned sat
[2022-05-18 04:05:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:05:33] [INFO ] [Real]Absence check using state equation in 4892 ms returned unknown
[2022-05-18 04:05:33] [INFO ] [Real]Absence check using 53 positive place invariants in 27 ms returned sat
[2022-05-18 04:05:33] [INFO ] [Real]Absence check using 53 positive and 26 generalized place invariants in 22 ms returned sat
[2022-05-18 04:05:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:05:38] [INFO ] [Real]Absence check using state equation in 4925 ms returned unknown
[2022-05-18 04:05:38] [INFO ] [Real]Absence check using 53 positive place invariants in 18 ms returned sat
[2022-05-18 04:05:38] [INFO ] [Real]Absence check using 53 positive and 26 generalized place invariants in 16 ms returned sat
[2022-05-18 04:05:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:05:43] [INFO ] [Real]Absence check using state equation in 4926 ms returned unknown
[2022-05-18 04:05:43] [INFO ] [Real]Absence check using 53 positive place invariants in 12 ms returned sat
[2022-05-18 04:05:43] [INFO ] [Real]Absence check using 53 positive and 26 generalized place invariants in 17 ms returned sat
[2022-05-18 04:05:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:05:48] [INFO ] [Real]Absence check using state equation in 4933 ms returned unknown
[2022-05-18 04:05:48] [INFO ] [Real]Absence check using 53 positive place invariants in 11 ms returned sat
[2022-05-18 04:05:48] [INFO ] [Real]Absence check using 53 positive and 26 generalized place invariants in 16 ms returned sat
[2022-05-18 04:05:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:05:53] [INFO ] [Real]Absence check using state equation in 4931 ms returned unknown
[2022-05-18 04:05:53] [INFO ] [Real]Absence check using 53 positive place invariants in 10 ms returned sat
[2022-05-18 04:05:53] [INFO ] [Real]Absence check using 53 positive and 26 generalized place invariants in 15 ms returned sat
[2022-05-18 04:05:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:05:58] [INFO ] [Real]Absence check using state equation in 4939 ms returned unknown
[2022-05-18 04:05:58] [INFO ] [Real]Absence check using 53 positive place invariants in 12 ms returned sat
[2022-05-18 04:05:58] [INFO ] [Real]Absence check using 53 positive and 26 generalized place invariants in 20 ms returned sat
[2022-05-18 04:05:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:06:03] [INFO ] [Real]Absence check using state equation in 4922 ms returned unknown
[2022-05-18 04:06:03] [INFO ] [Real]Absence check using 53 positive place invariants in 11 ms returned sat
[2022-05-18 04:06:03] [INFO ] [Real]Absence check using 53 positive and 26 generalized place invariants in 6 ms returned unsat
[2022-05-18 04:06:03] [INFO ] [Real]Absence check using 53 positive place invariants in 12 ms returned sat
[2022-05-18 04:06:03] [INFO ] [Real]Absence check using 53 positive and 26 generalized place invariants in 4 ms returned unsat
Current structural bounds on expressions (after SMT) : [20, -1, 20, 20, -1, -1, 20, -1, 1, 1] Max seen :[4, 2, 2, 2, 2, 2, 2, 1, 1, 1]
FORMULA PhilosophersDyn-PT-20-UpperBounds-12 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA PhilosophersDyn-PT-20-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Support contains 80 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 17030/17030 transitions.
Applied a total of 0 rules in 4693 ms. Remains 540 /540 variables (removed 0) and now considering 17030/17030 (removed 0) transitions.
[2022-05-18 04:06:08] [INFO ] Flow matrix only has 15510 transitions (discarded 1520 similar events)
// Phase 1: matrix 15510 rows 540 cols
[2022-05-18 04:06:09] [INFO ] Computed 79 place invariants in 1010 ms
[2022-05-18 04:06:18] [INFO ] Dead Transitions using invariants and state equation in 9694 ms found 1560 transitions.
Found 1560 dead transitions using SMT.
Drop transitions removed 1560 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 1560 transitions.
Starting structural reductions in SAFETY mode, iteration 1 : 540/540 places, 15470/17030 transitions.
Applied a total of 0 rules in 3549 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/17030 transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:06:23] [INFO ] Computed 79 place invariants in 1901 ms
Finished random walk after 543465 steps, including 62177 resets, run visited all 8 properties in 30001 ms. (steps per millisecond=18 )
Incomplete Best-First random walk after 1000001 steps, including 2714 resets, run finished after 2532 ms. (steps per millisecond=394 ) properties (out of 8) seen :15
Incomplete Best-First random walk after 1000001 steps, including 3410 resets, run finished after 2688 ms. (steps per millisecond=372 ) properties (out of 8) seen :17
Incomplete Best-First random walk after 1000001 steps, including 3567 resets, run finished after 2737 ms. (steps per millisecond=365 ) properties (out of 8) seen :17
Incomplete Best-First random walk after 1000001 steps, including 3581 resets, run finished after 2755 ms. (steps per millisecond=362 ) properties (out of 8) seen :17
Incomplete Best-First random walk after 1000001 steps, including 3409 resets, run finished after 2724 ms. (steps per millisecond=367 ) properties (out of 8) seen :17
Incomplete Best-First random walk after 1000000 steps, including 3410 resets, run finished after 2814 ms. (steps per millisecond=355 ) properties (out of 8) seen :17
Incomplete Best-First random walk after 1000001 steps, including 3563 resets, run finished after 2813 ms. (steps per millisecond=355 ) properties (out of 8) seen :17
Incomplete Best-First random walk after 1000001 steps, including 3491 resets, run finished after 2430 ms. (steps per millisecond=411 ) properties (out of 8) seen :17
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:07:17] [INFO ] Computed 79 place invariants in 1956 ms
[2022-05-18 04:07:17] [INFO ] [Real]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:07:17] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 32 ms returned sat
[2022-05-18 04:07:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:07:32] [INFO ] [Real]Absence check using state equation in 15018 ms returned sat
[2022-05-18 04:07:33] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2022-05-18 04:07:37] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:07:40] [INFO ] [Real]Added 8020 Read/Feed constraints in 7101 ms returned unknown
[2022-05-18 04:07:40] [INFO ] [Real]Absence check using 27 positive place invariants in 13 ms returned sat
[2022-05-18 04:07:40] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 21 ms returned sat
[2022-05-18 04:07:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:07:55] [INFO ] [Real]Absence check using state equation in 15312 ms returned sat
[2022-05-18 04:07:56] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:07:56] [INFO ] [Nat]Absence check using 27 positive place invariants in 12 ms returned sat
[2022-05-18 04:07:56] [INFO ] [Nat]Absence check using 27 positive and 52 generalized place invariants in 21 ms returned sat
[2022-05-18 04:07:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:08:12] [INFO ] [Nat]Absence check using state equation in 16213 ms returned sat
[2022-05-18 04:08:16] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:08:19] [INFO ] [Nat]Added 8020 Read/Feed constraints in 7031 ms returned unknown
[2022-05-18 04:08:19] [INFO ] [Real]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:08:19] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 24 ms returned sat
[2022-05-18 04:08:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:08:28] [INFO ] [Real]Absence check using state equation in 9132 ms returned sat
[2022-05-18 04:08:29] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:08:29] [INFO ] [Nat]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:08:29] [INFO ] [Nat]Absence check using 27 positive and 52 generalized place invariants in 21 ms returned sat
[2022-05-18 04:08:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:08:46] [INFO ] [Nat]Absence check using state equation in 17547 ms returned sat
[2022-05-18 04:08:50] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:08:53] [INFO ] [Nat]Added 8020 Read/Feed constraints in 7090 ms returned unknown
[2022-05-18 04:08:53] [INFO ] [Real]Absence check using 27 positive place invariants in 8 ms returned sat
[2022-05-18 04:08:54] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 23 ms returned sat
[2022-05-18 04:08:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:09:06] [INFO ] [Real]Absence check using state equation in 12721 ms returned sat
[2022-05-18 04:09:07] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:09:07] [INFO ] [Nat]Absence check using 27 positive place invariants in 8 ms returned sat
[2022-05-18 04:09:07] [INFO ] [Nat]Absence check using 27 positive and 52 generalized place invariants in 25 ms returned sat
[2022-05-18 04:09:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:09:19] [INFO ] [Nat]Absence check using state equation in 12692 ms returned sat
[2022-05-18 04:09:23] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:09:26] [INFO ] [Nat]Added 8020 Read/Feed constraints in 6991 ms returned unknown
[2022-05-18 04:09:26] [INFO ] [Real]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:09:26] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 23 ms returned sat
[2022-05-18 04:09:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:09:43] [INFO ] [Real]Absence check using state equation in 16416 ms returned sat
[2022-05-18 04:09:43] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:09:43] [INFO ] [Nat]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:09:43] [INFO ] [Nat]Absence check using 27 positive and 52 generalized place invariants in 22 ms returned sat
[2022-05-18 04:09:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:09:59] [INFO ] [Nat]Absence check using state equation in 15799 ms returned sat
[2022-05-18 04:10:03] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:10:06] [INFO ] [Nat]Added 8020 Read/Feed constraints in 7028 ms returned unknown
[2022-05-18 04:10:06] [INFO ] [Real]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:10:06] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 23 ms returned sat
[2022-05-18 04:10:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:10:22] [INFO ] [Real]Absence check using state equation in 16242 ms returned sat
[2022-05-18 04:10:23] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:10:23] [INFO ] [Nat]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:10:23] [INFO ] [Nat]Absence check using 27 positive and 52 generalized place invariants in 23 ms returned sat
[2022-05-18 04:10:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:10:39] [INFO ] [Nat]Absence check using state equation in 15953 ms returned sat
[2022-05-18 04:10:43] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:10:46] [INFO ] [Nat]Added 8020 Read/Feed constraints in 7017 ms returned unknown
[2022-05-18 04:10:46] [INFO ] [Real]Absence check using 27 positive place invariants in 9 ms returned sat
[2022-05-18 04:10:46] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 29 ms returned sat
[2022-05-18 04:10:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:10:55] [INFO ] [Real]Absence check using state equation in 8835 ms returned sat
[2022-05-18 04:10:55] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:10:55] [INFO ] [Nat]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:10:55] [INFO ] [Nat]Absence check using 27 positive and 52 generalized place invariants in 22 ms returned sat
[2022-05-18 04:10:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:11:13] [INFO ] [Nat]Absence check using state equation in 17372 ms returned sat
[2022-05-18 04:11:17] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:11:20] [INFO ] [Nat]Added 8020 Read/Feed constraints in 7018 ms returned unknown
[2022-05-18 04:11:20] [INFO ] [Real]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:11:20] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 25 ms returned sat
[2022-05-18 04:11:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:11:29] [INFO ] [Real]Absence check using state equation in 9480 ms returned sat
[2022-05-18 04:11:29] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:11:30] [INFO ] [Nat]Absence check using 27 positive place invariants in 9 ms returned sat
[2022-05-18 04:11:30] [INFO ] [Nat]Absence check using 27 positive and 52 generalized place invariants in 21 ms returned sat
[2022-05-18 04:11:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:11:39] [INFO ] [Nat]Absence check using state equation in 9283 ms returned sat
[2022-05-18 04:11:43] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:11:46] [INFO ] [Nat]Added 8020 Read/Feed constraints in 7026 ms returned unknown
Current structural bounds on expressions (after SMT) : [20, -1, 20, 20, -1, -1, 20, -1] Max seen :[4, 2, 2, 2, 2, 2, 2, 1]
Support contains 80 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3339 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3418 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:11:57] [INFO ] Computed 79 place invariants in 1824 ms
[2022-05-18 04:11:59] [INFO ] Implicit Places using invariants in 4305 ms returned []
Implicit Place search using SMT only with invariants took 4309 ms to find 0 implicit places.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:12:01] [INFO ] Computed 79 place invariants in 1853 ms
[2022-05-18 04:12:09] [INFO ] Dead Transitions using invariants and state equation in 9659 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Starting property specific reduction for PhilosophersDyn-PT-20-UpperBounds-00
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:12:11] [INFO ] Computed 79 place invariants in 1864 ms
Incomplete random walk after 10000 steps, including 1141 resets, run finished after 514 ms. (steps per millisecond=19 ) properties (out of 1) seen :4
Incomplete Best-First random walk after 10001 steps, including 26 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 1) seen :4
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:12:13] [INFO ] Computed 79 place invariants in 1889 ms
[2022-05-18 04:12:13] [INFO ] [Real]Absence check using 27 positive place invariants in 8 ms returned sat
[2022-05-18 04:12:13] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 24 ms returned sat
[2022-05-18 04:12:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:12:18] [INFO ] [Real]Absence check using state equation in 4931 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[4]
Support contains 20 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3416 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:12:23] [INFO ] Computed 79 place invariants in 1896 ms
[2022-05-18 04:12:30] [INFO ] Dead Transitions using invariants and state equation in 8947 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:12:32] [INFO ] Computed 79 place invariants in 1874 ms
Finished random walk after 607770 steps, including 69567 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=20 )
Incomplete Best-First random walk after 1000001 steps, including 2715 resets, run finished after 2153 ms. (steps per millisecond=464 ) properties (out of 1) seen :4
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:13:06] [INFO ] Computed 79 place invariants in 1826 ms
[2022-05-18 04:13:06] [INFO ] [Real]Absence check using 27 positive place invariants in 8 ms returned sat
[2022-05-18 04:13:07] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 23 ms returned sat
[2022-05-18 04:13:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:13:21] [INFO ] [Real]Absence check using state equation in 14733 ms returned sat
[2022-05-18 04:13:22] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2022-05-18 04:13:26] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:13:29] [INFO ] [Real]Added 8020 Read/Feed constraints in 7115 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[4]
Support contains 20 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3300 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3366 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:13:39] [INFO ] Computed 79 place invariants in 1816 ms
[2022-05-18 04:13:42] [INFO ] Implicit Places using invariants in 4748 ms returned []
Implicit Place search using SMT only with invariants took 4748 ms to find 0 implicit places.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:13:44] [INFO ] Computed 79 place invariants in 1824 ms
[2022-05-18 04:13:51] [INFO ] Dead Transitions using invariants and state equation in 9309 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Ending property specific reduction for PhilosophersDyn-PT-20-UpperBounds-00 in 102682 ms.
Starting property specific reduction for PhilosophersDyn-PT-20-UpperBounds-01
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:13:53] [INFO ] Computed 79 place invariants in 1868 ms
Incomplete random walk after 10000 steps, including 1143 resets, run finished after 478 ms. (steps per millisecond=20 ) properties (out of 1) seen :2
Incomplete Best-First random walk after 10001 steps, including 33 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 1) seen :2
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:13:56] [INFO ] Computed 79 place invariants in 1881 ms
[2022-05-18 04:13:56] [INFO ] [Real]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:13:56] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 22 ms returned sat
[2022-05-18 04:13:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:14:01] [INFO ] [Real]Absence check using state equation in 4933 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3399 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:14:06] [INFO ] Computed 79 place invariants in 1874 ms
[2022-05-18 04:14:13] [INFO ] Dead Transitions using invariants and state equation in 9021 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:14:15] [INFO ] Computed 79 place invariants in 1873 ms
Finished random walk after 613826 steps, including 70292 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=20 )
Incomplete Best-First random walk after 1000001 steps, including 3410 resets, run finished after 2451 ms. (steps per millisecond=407 ) properties (out of 1) seen :2
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:14:49] [INFO ] Computed 79 place invariants in 1827 ms
[2022-05-18 04:14:49] [INFO ] [Real]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:14:49] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 21 ms returned sat
[2022-05-18 04:14:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:15:06] [INFO ] [Real]Absence check using state equation in 16414 ms returned sat
[2022-05-18 04:15:06] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:15:06] [INFO ] [Nat]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:15:06] [INFO ] [Nat]Absence check using 27 positive and 52 generalized place invariants in 22 ms returned sat
[2022-05-18 04:15:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:15:23] [INFO ] [Nat]Absence check using state equation in 16730 ms returned sat
[2022-05-18 04:15:23] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2022-05-18 04:15:27] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:15:30] [INFO ] [Nat]Added 8020 Read/Feed constraints in 7049 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3398 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3391 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:15:39] [INFO ] Computed 79 place invariants in 1834 ms
[2022-05-18 04:15:41] [INFO ] Implicit Places using invariants in 4133 ms returned []
Implicit Place search using SMT only with invariants took 4138 ms to find 0 implicit places.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:15:43] [INFO ] Computed 79 place invariants in 1826 ms
[2022-05-18 04:15:50] [INFO ] Dead Transitions using invariants and state equation in 9202 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Ending property specific reduction for PhilosophersDyn-PT-20-UpperBounds-01 in 118935 ms.
Starting property specific reduction for PhilosophersDyn-PT-20-UpperBounds-03
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:15:52] [INFO ] Computed 79 place invariants in 1846 ms
Incomplete random walk after 10000 steps, including 1145 resets, run finished after 478 ms. (steps per millisecond=20 ) properties (out of 1) seen :2
Incomplete Best-First random walk after 10001 steps, including 34 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 1) seen :2
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:15:55] [INFO ] Computed 79 place invariants in 1886 ms
[2022-05-18 04:15:55] [INFO ] [Real]Absence check using 27 positive place invariants in 8 ms returned sat
[2022-05-18 04:15:55] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 24 ms returned sat
[2022-05-18 04:15:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:16:00] [INFO ] [Real]Absence check using state equation in 4914 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Free-agglomeration rule (complex) applied 20 times.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 540 transition count 15450
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 0 with 20 rules applied. Total rules applied 40 place count 520 transition count 15450
Applied a total of 40 rules in 6919 ms. Remains 520 /540 variables (removed 20) and now considering 15450/15470 (removed 20) transitions.
// Phase 1: matrix 15450 rows 520 cols
[2022-05-18 04:16:08] [INFO ] Computed 79 place invariants in 1389 ms
[2022-05-18 04:16:15] [INFO ] Dead Transitions using invariants and state equation in 8717 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 520/540 places, 15450/15470 transitions.
// Phase 1: matrix 15450 rows 520 cols
[2022-05-18 04:16:17] [INFO ] Computed 79 place invariants in 1437 ms
Finished random walk after 595102 steps, including 68088 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=19 )
Incomplete Best-First random walk after 1000001 steps, including 3630 resets, run finished after 2504 ms. (steps per millisecond=399 ) properties (out of 1) seen :2
// Phase 1: matrix 15450 rows 520 cols
[2022-05-18 04:16:51] [INFO ] Computed 79 place invariants in 1394 ms
[2022-05-18 04:16:51] [INFO ] [Real]Absence check using 23 positive place invariants in 7 ms returned sat
[2022-05-18 04:16:51] [INFO ] [Real]Absence check using 23 positive and 56 generalized place invariants in 25 ms returned sat
[2022-05-18 04:16:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:17:00] [INFO ] [Real]Absence check using state equation in 9438 ms returned sat
[2022-05-18 04:17:01] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:17:01] [INFO ] [Nat]Absence check using 23 positive place invariants in 10 ms returned sat
[2022-05-18 04:17:01] [INFO ] [Nat]Absence check using 23 positive and 56 generalized place invariants in 25 ms returned sat
[2022-05-18 04:17:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:17:08] [INFO ] [Nat]Absence check using state equation in 7680 ms returned sat
[2022-05-18 04:17:08] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2022-05-18 04:17:12] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:17:16] [INFO ] [Nat]Added 8020 Read/Feed constraints in 7050 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 520 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 520/520 places, 15450/15450 transitions.
Applied a total of 0 rules in 3495 ms. Remains 520 /520 variables (removed 0) and now considering 15450/15450 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 520/520 places, 15450/15450 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 520/520 places, 15450/15450 transitions.
Applied a total of 0 rules in 3432 ms. Remains 520 /520 variables (removed 0) and now considering 15450/15450 (removed 0) transitions.
// Phase 1: matrix 15450 rows 520 cols
[2022-05-18 04:17:24] [INFO ] Computed 79 place invariants in 1394 ms
[2022-05-18 04:17:27] [INFO ] Implicit Places using invariants in 4488 ms returned [29, 34, 60, 86, 88, 111, 126, 143, 163, 237, 251, 281, 320, 333, 346, 362, 378, 407, 450, 451]
Discarding 20 places :
Implicit Place search using SMT only with invariants took 4567 ms to find 20 implicit places.
Starting structural reductions in SAFETY mode, iteration 1 : 500/520 places, 15450/15450 transitions.
Free-agglomeration rule applied 20 times.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 500 transition count 15430
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 0 with 20 rules applied. Total rules applied 40 place count 480 transition count 15430
Applied a total of 40 rules in 6968 ms. Remains 480 /500 variables (removed 20) and now considering 15430/15450 (removed 20) transitions.
// Phase 1: matrix 15430 rows 480 cols
[2022-05-18 04:17:35] [INFO ] Computed 59 place invariants in 858 ms
[2022-05-18 04:17:38] [INFO ] Implicit Places using invariants in 3828 ms returned []
Implicit Place search using SMT only with invariants took 3846 ms to find 0 implicit places.
Starting structural reductions in SAFETY mode, iteration 2 : 480/520 places, 15430/15450 transitions.
Finished structural reductions, in 2 iterations. Remains : 480/520 places, 15430/15450 transitions.
// Phase 1: matrix 15430 rows 480 cols
[2022-05-18 04:17:39] [INFO ] Computed 59 place invariants in 853 ms
Finished random walk after 419539 steps, including 72506 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=13 )
Incomplete Best-First random walk after 1000001 steps, including 4237 resets, run finished after 2319 ms. (steps per millisecond=431 ) properties (out of 1) seen :2
// Phase 1: matrix 15430 rows 480 cols
[2022-05-18 04:18:12] [INFO ] Computed 59 place invariants in 873 ms
[2022-05-18 04:18:12] [INFO ] [Real]Absence check using 27 positive place invariants in 8 ms returned sat
[2022-05-18 04:18:12] [INFO ] [Real]Absence check using 27 positive and 32 generalized place invariants in 17 ms returned sat
[2022-05-18 04:18:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:18:24] [INFO ] [Real]Absence check using state equation in 11935 ms returned sat
[2022-05-18 04:18:24] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:18:24] [INFO ] [Nat]Absence check using 27 positive place invariants in 9 ms returned sat
[2022-05-18 04:18:24] [INFO ] [Nat]Absence check using 27 positive and 32 generalized place invariants in 16 ms returned sat
[2022-05-18 04:18:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:18:34] [INFO ] [Nat]Absence check using state equation in 9258 ms returned sat
[2022-05-18 04:18:34] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2022-05-18 04:18:38] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:18:41] [INFO ] [Nat]Added 8020 Read/Feed constraints in 6995 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 480 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 480/480 places, 15430/15430 transitions.
Applied a total of 0 rules in 3461 ms. Remains 480 /480 variables (removed 0) and now considering 15430/15430 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 480/480 places, 15430/15430 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 480/480 places, 15430/15430 transitions.
Applied a total of 0 rules in 3437 ms. Remains 480 /480 variables (removed 0) and now considering 15430/15430 (removed 0) transitions.
// Phase 1: matrix 15430 rows 480 cols
[2022-05-18 04:18:49] [INFO ] Computed 59 place invariants in 848 ms
[2022-05-18 04:18:52] [INFO ] Implicit Places using invariants in 3990 ms returned []
Implicit Place search using SMT only with invariants took 3990 ms to find 0 implicit places.
// Phase 1: matrix 15430 rows 480 cols
[2022-05-18 04:18:53] [INFO ] Computed 59 place invariants in 862 ms
[2022-05-18 04:19:00] [INFO ] Dead Transitions using invariants and state equation in 8122 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 480/480 places, 15430/15430 transitions.
Ending property specific reduction for PhilosophersDyn-PT-20-UpperBounds-03 in 189508 ms.
Starting property specific reduction for PhilosophersDyn-PT-20-UpperBounds-04
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:19:02] [INFO ] Computed 79 place invariants in 1907 ms
Incomplete random walk after 10000 steps, including 1149 resets, run finished after 533 ms. (steps per millisecond=18 ) properties (out of 1) seen :2
Incomplete Best-First random walk after 10001 steps, including 35 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 1) seen :2
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:19:04] [INFO ] Computed 79 place invariants in 1887 ms
[2022-05-18 04:19:04] [INFO ] [Real]Absence check using 27 positive place invariants in 30 ms returned sat
[2022-05-18 04:19:04] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 44 ms returned sat
[2022-05-18 04:19:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:19:09] [INFO ] [Real]Absence check using state equation in 4883 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3481 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:19:15] [INFO ] Computed 79 place invariants in 1869 ms
[2022-05-18 04:19:22] [INFO ] Dead Transitions using invariants and state equation in 9218 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:19:24] [INFO ] Computed 79 place invariants in 1920 ms
Finished random walk after 600691 steps, including 68824 resets, run visited all 1 properties in 30002 ms. (steps per millisecond=20 )
Incomplete Best-First random walk after 1000001 steps, including 3584 resets, run finished after 2533 ms. (steps per millisecond=394 ) properties (out of 1) seen :2
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:19:58] [INFO ] Computed 79 place invariants in 1877 ms
[2022-05-18 04:19:58] [INFO ] [Real]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:19:58] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 22 ms returned sat
[2022-05-18 04:19:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:20:12] [INFO ] [Real]Absence check using state equation in 13326 ms returned sat
[2022-05-18 04:20:12] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:20:12] [INFO ] [Nat]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:20:12] [INFO ] [Nat]Absence check using 27 positive and 52 generalized place invariants in 22 ms returned sat
[2022-05-18 04:20:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:20:25] [INFO ] [Nat]Absence check using state equation in 13093 ms returned sat
[2022-05-18 04:20:26] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2022-05-18 04:20:30] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:20:33] [INFO ] [Nat]Added 8020 Read/Feed constraints in 7022 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3457 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3437 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:20:41] [INFO ] Computed 79 place invariants in 1836 ms
[2022-05-18 04:20:44] [INFO ] Implicit Places using invariants in 4735 ms returned []
Implicit Place search using SMT only with invariants took 4749 ms to find 0 implicit places.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:20:46] [INFO ] Computed 79 place invariants in 1912 ms
[2022-05-18 04:20:54] [INFO ] Dead Transitions using invariants and state equation in 9291 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Ending property specific reduction for PhilosophersDyn-PT-20-UpperBounds-04 in 113643 ms.
Starting property specific reduction for PhilosophersDyn-PT-20-UpperBounds-05
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:20:55] [INFO ] Computed 79 place invariants in 1864 ms
Incomplete random walk after 10000 steps, including 1148 resets, run finished after 511 ms. (steps per millisecond=19 ) properties (out of 1) seen :2
Incomplete Best-First random walk after 10001 steps, including 34 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 1) seen :2
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:20:58] [INFO ] Computed 79 place invariants in 1890 ms
[2022-05-18 04:20:58] [INFO ] [Real]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:20:58] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 23 ms returned sat
[2022-05-18 04:20:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:21:03] [INFO ] [Real]Absence check using state equation in 4929 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3450 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:21:08] [INFO ] Computed 79 place invariants in 1856 ms
[2022-05-18 04:21:16] [INFO ] Dead Transitions using invariants and state equation in 9197 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:21:17] [INFO ] Computed 79 place invariants in 1886 ms
Finished random walk after 597635 steps, including 68385 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=19 )
Incomplete Best-First random walk after 1000001 steps, including 3408 resets, run finished after 2496 ms. (steps per millisecond=400 ) properties (out of 1) seen :2
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:21:52] [INFO ] Computed 79 place invariants in 1899 ms
[2022-05-18 04:21:52] [INFO ] [Real]Absence check using 27 positive place invariants in 8 ms returned sat
[2022-05-18 04:21:52] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 23 ms returned sat
[2022-05-18 04:21:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:22:10] [INFO ] [Real]Absence check using state equation in 17708 ms returned sat
[2022-05-18 04:22:10] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:22:10] [INFO ] [Nat]Absence check using 27 positive place invariants in 8 ms returned sat
[2022-05-18 04:22:10] [INFO ] [Nat]Absence check using 27 positive and 52 generalized place invariants in 22 ms returned sat
[2022-05-18 04:22:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:22:27] [INFO ] [Nat]Absence check using state equation in 16951 ms returned sat
[2022-05-18 04:22:27] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2022-05-18 04:22:31] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:22:34] [INFO ] [Nat]Added 8020 Read/Feed constraints in 7145 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3442 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3399 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:22:43] [INFO ] Computed 79 place invariants in 1869 ms
[2022-05-18 04:22:45] [INFO ] Implicit Places using invariants in 4218 ms returned []
Implicit Place search using SMT only with invariants took 4238 ms to find 0 implicit places.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:22:47] [INFO ] Computed 79 place invariants in 1896 ms
[2022-05-18 04:22:55] [INFO ] Dead Transitions using invariants and state equation in 9246 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Ending property specific reduction for PhilosophersDyn-PT-20-UpperBounds-05 in 121157 ms.
Starting property specific reduction for PhilosophersDyn-PT-20-UpperBounds-06
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:22:57] [INFO ] Computed 79 place invariants in 1923 ms
Incomplete random walk after 10000 steps, including 1138 resets, run finished after 493 ms. (steps per millisecond=20 ) properties (out of 1) seen :2
Incomplete Best-First random walk after 10001 steps, including 34 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 1) seen :2
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:22:59] [INFO ] Computed 79 place invariants in 1933 ms
[2022-05-18 04:22:59] [INFO ] [Real]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:22:59] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 24 ms returned sat
[2022-05-18 04:22:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:23:04] [INFO ] [Real]Absence check using state equation in 4941 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3432 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:23:10] [INFO ] Computed 79 place invariants in 1950 ms
[2022-05-18 04:23:17] [INFO ] Dead Transitions using invariants and state equation in 9582 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:23:19] [INFO ] Computed 79 place invariants in 1880 ms
Finished random walk after 599417 steps, including 68613 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=19 )
Incomplete Best-First random walk after 1000001 steps, including 3410 resets, run finished after 2489 ms. (steps per millisecond=401 ) properties (out of 1) seen :2
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:23:53] [INFO ] Computed 79 place invariants in 1887 ms
[2022-05-18 04:23:54] [INFO ] [Real]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:23:54] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 22 ms returned sat
[2022-05-18 04:23:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:24:11] [INFO ] [Real]Absence check using state equation in 16994 ms returned sat
[2022-05-18 04:24:11] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:24:11] [INFO ] [Nat]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:24:11] [INFO ] [Nat]Absence check using 27 positive and 52 generalized place invariants in 22 ms returned sat
[2022-05-18 04:24:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:24:27] [INFO ] [Nat]Absence check using state equation in 16548 ms returned sat
[2022-05-18 04:24:28] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2022-05-18 04:24:32] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:24:35] [INFO ] [Nat]Added 8020 Read/Feed constraints in 7115 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3438 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 3410 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:24:43] [INFO ] Computed 79 place invariants in 1869 ms
[2022-05-18 04:24:46] [INFO ] Implicit Places using invariants in 4221 ms returned []
Implicit Place search using SMT only with invariants took 4235 ms to find 0 implicit places.
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:24:48] [INFO ] Computed 79 place invariants in 1871 ms
[2022-05-18 04:24:55] [INFO ] Dead Transitions using invariants and state equation in 9215 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Ending property specific reduction for PhilosophersDyn-PT-20-UpperBounds-06 in 120351 ms.
Starting property specific reduction for PhilosophersDyn-PT-20-UpperBounds-07
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:24:57] [INFO ] Computed 79 place invariants in 1855 ms
Incomplete random walk after 10000 steps, including 1140 resets, run finished after 517 ms. (steps per millisecond=19 ) properties (out of 1) seen :2
Incomplete Best-First random walk after 10001 steps, including 34 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 1) seen :2
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:24:59] [INFO ] Computed 79 place invariants in 1875 ms
[2022-05-18 04:24:59] [INFO ] [Real]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:24:59] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 23 ms returned sat
[2022-05-18 04:24:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:25:04] [INFO ] [Real]Absence check using state equation in 4928 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Free-agglomeration rule (complex) applied 20 times.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 540 transition count 15450
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 0 with 20 rules applied. Total rules applied 40 place count 520 transition count 15450
Applied a total of 40 rules in 6903 ms. Remains 520 /540 variables (removed 20) and now considering 15450/15470 (removed 20) transitions.
// Phase 1: matrix 15450 rows 520 cols
[2022-05-18 04:25:13] [INFO ] Computed 79 place invariants in 1376 ms
[2022-05-18 04:25:20] [INFO ] Dead Transitions using invariants and state equation in 8663 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 520/540 places, 15450/15470 transitions.
// Phase 1: matrix 15450 rows 520 cols
[2022-05-18 04:25:21] [INFO ] Computed 79 place invariants in 1369 ms
Finished random walk after 596121 steps, including 68319 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=19 )
Incomplete Best-First random walk after 1000001 steps, including 3632 resets, run finished after 2466 ms. (steps per millisecond=405 ) properties (out of 1) seen :2
// Phase 1: matrix 15450 rows 520 cols
[2022-05-18 04:25:55] [INFO ] Computed 79 place invariants in 1377 ms
[2022-05-18 04:25:55] [INFO ] [Real]Absence check using 23 positive place invariants in 6 ms returned sat
[2022-05-18 04:25:55] [INFO ] [Real]Absence check using 23 positive and 56 generalized place invariants in 25 ms returned sat
[2022-05-18 04:25:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:26:04] [INFO ] [Real]Absence check using state equation in 9167 ms returned sat
[2022-05-18 04:26:05] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:26:05] [INFO ] [Nat]Absence check using 23 positive place invariants in 9 ms returned sat
[2022-05-18 04:26:05] [INFO ] [Nat]Absence check using 23 positive and 56 generalized place invariants in 24 ms returned sat
[2022-05-18 04:26:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:26:13] [INFO ] [Nat]Absence check using state equation in 7619 ms returned sat
[2022-05-18 04:26:13] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2022-05-18 04:26:17] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:26:20] [INFO ] [Nat]Added 8020 Read/Feed constraints in 7063 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 520 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 520/520 places, 15450/15450 transitions.
Applied a total of 0 rules in 3512 ms. Remains 520 /520 variables (removed 0) and now considering 15450/15450 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 520/520 places, 15450/15450 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 520/520 places, 15450/15450 transitions.
Applied a total of 0 rules in 3481 ms. Remains 520 /520 variables (removed 0) and now considering 15450/15450 (removed 0) transitions.
// Phase 1: matrix 15450 rows 520 cols
[2022-05-18 04:26:28] [INFO ] Computed 79 place invariants in 1360 ms
[2022-05-18 04:26:31] [INFO ] Implicit Places using invariants in 4418 ms returned [29, 34, 60, 86, 88, 111, 126, 143, 163, 237, 251, 281, 320, 333, 346, 362, 378, 407, 450, 451]
Discarding 20 places :
Implicit Place search using SMT only with invariants took 4470 ms to find 20 implicit places.
Starting structural reductions in SAFETY mode, iteration 1 : 500/520 places, 15450/15450 transitions.
Free-agglomeration rule applied 20 times.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 500 transition count 15430
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 0 with 20 rules applied. Total rules applied 40 place count 480 transition count 15430
Applied a total of 40 rules in 6960 ms. Remains 480 /500 variables (removed 20) and now considering 15430/15450 (removed 20) transitions.
// Phase 1: matrix 15430 rows 480 cols
[2022-05-18 04:26:39] [INFO ] Computed 59 place invariants in 866 ms
[2022-05-18 04:26:42] [INFO ] Implicit Places using invariants in 3932 ms returned []
Implicit Place search using SMT only with invariants took 3945 ms to find 0 implicit places.
Starting structural reductions in SAFETY mode, iteration 2 : 480/520 places, 15430/15450 transitions.
Finished structural reductions, in 2 iterations. Remains : 480/520 places, 15430/15450 transitions.
// Phase 1: matrix 15430 rows 480 cols
[2022-05-18 04:26:43] [INFO ] Computed 59 place invariants in 871 ms
Finished random walk after 421368 steps, including 72842 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=14 )
Incomplete Best-First random walk after 1000001 steps, including 4237 resets, run finished after 2168 ms. (steps per millisecond=461 ) properties (out of 1) seen :2
// Phase 1: matrix 15430 rows 480 cols
[2022-05-18 04:27:16] [INFO ] Computed 59 place invariants in 867 ms
[2022-05-18 04:27:16] [INFO ] [Real]Absence check using 27 positive place invariants in 8 ms returned sat
[2022-05-18 04:27:16] [INFO ] [Real]Absence check using 27 positive and 32 generalized place invariants in 17 ms returned sat
[2022-05-18 04:27:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:27:28] [INFO ] [Real]Absence check using state equation in 11495 ms returned sat
[2022-05-18 04:27:28] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:27:28] [INFO ] [Nat]Absence check using 27 positive place invariants in 10 ms returned sat
[2022-05-18 04:27:28] [INFO ] [Nat]Absence check using 27 positive and 32 generalized place invariants in 16 ms returned sat
[2022-05-18 04:27:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:27:37] [INFO ] [Nat]Absence check using state equation in 8608 ms returned sat
[2022-05-18 04:27:37] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2022-05-18 04:27:41] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:27:44] [INFO ] [Nat]Added 8020 Read/Feed constraints in 6843 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[2]
Support contains 20 out of 480 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 480/480 places, 15430/15430 transitions.
Applied a total of 0 rules in 3396 ms. Remains 480 /480 variables (removed 0) and now considering 15430/15430 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 480/480 places, 15430/15430 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 480/480 places, 15430/15430 transitions.
Applied a total of 0 rules in 3467 ms. Remains 480 /480 variables (removed 0) and now considering 15430/15430 (removed 0) transitions.
// Phase 1: matrix 15430 rows 480 cols
[2022-05-18 04:27:51] [INFO ] Computed 59 place invariants in 876 ms
[2022-05-18 04:27:54] [INFO ] Implicit Places using invariants in 3969 ms returned []
Implicit Place search using SMT only with invariants took 3984 ms to find 0 implicit places.
// Phase 1: matrix 15430 rows 480 cols
[2022-05-18 04:27:55] [INFO ] Computed 59 place invariants in 911 ms
[2022-05-18 04:28:03] [INFO ] Dead Transitions using invariants and state equation in 8205 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 480/480 places, 15430/15430 transitions.
Ending property specific reduction for PhilosophersDyn-PT-20-UpperBounds-07 in 187615 ms.
Starting property specific reduction for PhilosophersDyn-PT-20-UpperBounds-10
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:28:05] [INFO ] Computed 79 place invariants in 1888 ms
Incomplete random walk after 10000 steps, including 1149 resets, run finished after 496 ms. (steps per millisecond=20 ) properties (out of 1) seen :1
Incomplete Best-First random walk after 10001 steps, including 34 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 1) seen :1
// Phase 1: matrix 15470 rows 540 cols
[2022-05-18 04:28:07] [INFO ] Computed 79 place invariants in 1907 ms
[2022-05-18 04:28:07] [INFO ] [Real]Absence check using 27 positive place invariants in 7 ms returned sat
[2022-05-18 04:28:07] [INFO ] [Real]Absence check using 27 positive and 52 generalized place invariants in 22 ms returned sat
[2022-05-18 04:28:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:28:12] [INFO ] [Real]Absence check using state equation in 4935 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[1]
Support contains 1 out of 540 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 540/540 places, 15470/15470 transitions.
Free-agglomeration rule (complex) applied 19 times.
Iterating global reduction 0 with 19 rules applied. Total rules applied 19 place count 540 transition count 15451
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 0 with 19 rules applied. Total rules applied 38 place count 521 transition count 15451
Applied a total of 38 rules in 6948 ms. Remains 521 /540 variables (removed 19) and now considering 15451/15470 (removed 19) transitions.
// Phase 1: matrix 15451 rows 521 cols
[2022-05-18 04:28:20] [INFO ] Computed 79 place invariants in 1487 ms
[2022-05-18 04:28:28] [INFO ] Dead Transitions using invariants and state equation in 8746 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 521/540 places, 15451/15470 transitions.
// Phase 1: matrix 15451 rows 521 cols
[2022-05-18 04:28:29] [INFO ] Computed 79 place invariants in 1433 ms
Finished random walk after 611025 steps, including 69941 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=20 )
Incomplete Best-First random walk after 1000001 steps, including 3498 resets, run finished after 2162 ms. (steps per millisecond=462 ) properties (out of 1) seen :1
// Phase 1: matrix 15451 rows 521 cols
[2022-05-18 04:29:03] [INFO ] Computed 79 place invariants in 1451 ms
[2022-05-18 04:29:03] [INFO ] [Real]Absence check using 26 positive place invariants in 7 ms returned sat
[2022-05-18 04:29:03] [INFO ] [Real]Absence check using 26 positive and 53 generalized place invariants in 25 ms returned sat
[2022-05-18 04:29:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:29:16] [INFO ] [Real]Absence check using state equation in 13199 ms returned sat
[2022-05-18 04:29:16] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:29:17] [INFO ] [Nat]Absence check using 26 positive place invariants in 7 ms returned sat
[2022-05-18 04:29:17] [INFO ] [Nat]Absence check using 26 positive and 53 generalized place invariants in 24 ms returned sat
[2022-05-18 04:29:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:29:29] [INFO ] [Nat]Absence check using state equation in 12622 ms returned sat
[2022-05-18 04:29:29] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2022-05-18 04:29:33] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:29:36] [INFO ] [Nat]Added 8020 Read/Feed constraints in 6840 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[1]
Support contains 1 out of 521 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 521/521 places, 15451/15451 transitions.
Applied a total of 0 rules in 3393 ms. Remains 521 /521 variables (removed 0) and now considering 15451/15451 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 521/521 places, 15451/15451 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 521/521 places, 15451/15451 transitions.
Applied a total of 0 rules in 3395 ms. Remains 521 /521 variables (removed 0) and now considering 15451/15451 (removed 0) transitions.
// Phase 1: matrix 15451 rows 521 cols
[2022-05-18 04:29:44] [INFO ] Computed 79 place invariants in 1456 ms
[2022-05-18 04:29:47] [INFO ] Implicit Places using invariants in 4422 ms returned [29, 34, 60, 86, 88, 111, 126, 143, 163, 237, 251, 282, 321, 334, 363, 379, 408, 451, 452]
Discarding 19 places :
Implicit Place search using SMT only with invariants took 4468 ms to find 19 implicit places.
Starting structural reductions in SAFETY mode, iteration 1 : 502/521 places, 15451/15451 transitions.
Free-agglomeration rule applied 19 times.
Iterating global reduction 0 with 19 rules applied. Total rules applied 19 place count 502 transition count 15432
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 0 with 19 rules applied. Total rules applied 38 place count 483 transition count 15432
Applied a total of 38 rules in 6968 ms. Remains 483 /502 variables (removed 19) and now considering 15432/15451 (removed 19) transitions.
// Phase 1: matrix 15432 rows 483 cols
[2022-05-18 04:29:56] [INFO ] Computed 60 place invariants in 1431 ms
[2022-05-18 04:29:59] [INFO ] Implicit Places using invariants in 4425 ms returned []
Implicit Place search using SMT only with invariants took 4429 ms to find 0 implicit places.
Starting structural reductions in SAFETY mode, iteration 2 : 483/521 places, 15432/15451 transitions.
Finished structural reductions, in 2 iterations. Remains : 483/521 places, 15432/15451 transitions.
// Phase 1: matrix 15432 rows 483 cols
[2022-05-18 04:30:00] [INFO ] Computed 60 place invariants in 1424 ms
Finished random walk after 433261 steps, including 72928 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=14 )
Incomplete Best-First random walk after 1000001 steps, including 3713 resets, run finished after 2119 ms. (steps per millisecond=471 ) properties (out of 1) seen :1
// Phase 1: matrix 15432 rows 483 cols
[2022-05-18 04:30:34] [INFO ] Computed 60 place invariants in 1493 ms
[2022-05-18 04:30:34] [INFO ] [Real]Absence check using 20 positive place invariants in 6 ms returned sat
[2022-05-18 04:30:34] [INFO ] [Real]Absence check using 20 positive and 40 generalized place invariants in 20 ms returned sat
[2022-05-18 04:30:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-18 04:30:45] [INFO ] [Real]Absence check using state equation in 10446 ms returned sat
[2022-05-18 04:30:45] [INFO ] Solution in real domain found non-integer solution.
[2022-05-18 04:30:45] [INFO ] [Nat]Absence check using 20 positive place invariants in 6 ms returned sat
[2022-05-18 04:30:45] [INFO ] [Nat]Absence check using 20 positive and 40 generalized place invariants in 19 ms returned sat
[2022-05-18 04:30:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-18 04:30:55] [INFO ] [Nat]Absence check using state equation in 10120 ms returned sat
[2022-05-18 04:30:55] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2022-05-18 04:30:59] [INFO ] SMT solver returned unknown. Retrying;
[2022-05-18 04:31:02] [INFO ] [Nat]Added 8020 Read/Feed constraints in 6861 ms returned unknown
Current structural bounds on expressions (after SMT) : [-1] Max seen :[1]
Support contains 1 out of 483 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 483/483 places, 15432/15432 transitions.
Applied a total of 0 rules in 3456 ms. Remains 483 /483 variables (removed 0) and now considering 15432/15432 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 483/483 places, 15432/15432 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 483/483 places, 15432/15432 transitions.
Applied a total of 0 rules in 3440 ms. Remains 483 /483 variables (removed 0) and now considering 15432/15432 (removed 0) transitions.
// Phase 1: matrix 15432 rows 483 cols
[2022-05-18 04:31:10] [INFO ] Computed 60 place invariants in 1435 ms
[2022-05-18 04:31:13] [INFO ] Implicit Places using invariants in 4468 ms returned []
Implicit Place search using SMT only with invariants took 4471 ms to find 0 implicit places.
// Phase 1: matrix 15432 rows 483 cols
[2022-05-18 04:31:15] [INFO ] Computed 60 place invariants in 1442 ms
[2022-05-18 04:31:22] [INFO ] Dead Transitions using invariants and state equation in 8569 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 483/483 places, 15432/15432 transitions.
Ending property specific reduction for PhilosophersDyn-PT-20-UpperBounds-10 in 199315 ms.
[2022-05-18 04:31:24] [INFO ] Flatten gal took : 1444 ms
[2022-05-18 04:31:24] [INFO ] Applying decomposition
[2022-05-18 04:31:25] [INFO ] Flatten gal took : 796 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph7710396865395100373.txt' '-o' '/tmp/graph7710396865395100373.bin' '-w' '/tmp/graph7710396865395100373.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7710396865395100373.bin' '-l' '-1' '-v' '-w' '/tmp/graph7710396865395100373.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:31:28] [INFO ] Decomposing Gal with order
[2022-05-18 04:31:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:31:37] [INFO ] Removed a total of 24620 redundant transitions.
[2022-05-18 04:31:38] [INFO ] Flatten gal took : 9630 ms
[2022-05-18 04:31:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 147 ms.
[2022-05-18 04:31:39] [INFO ] Time to serialize gal into /tmp/UpperBounds4374164390565121015.gal : 137 ms
[2022-05-18 04:31:39] [INFO ] Time to serialize properties into /tmp/UpperBounds17066057696943976260.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/UpperBounds4374164390565121015.gal' '-t' 'CGAL' '-reachable-file' '/tmp/UpperBounds17066057696943976260.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...296
Loading property file /tmp/UpperBounds17066057696943976260.prop.
Detected timeout of ITS tools.
[2022-05-18 05:00:45] [INFO ] Flatten gal took : 1614 ms
[2022-05-18 05:00:45] [INFO ] Time to serialize gal into /tmp/UpperBounds13630023667373554132.gal : 123 ms
[2022-05-18 05:00:45] [INFO ] Time to serialize properties into /tmp/UpperBounds16808632071117510430.prop : 15 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/UpperBounds13630023667373554132.gal' '-t' 'CGAL' '-reachable-file' '/tmp/UpperBounds16808632071117510430.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...297
Loading property file /tmp/UpperBounds16808632071117510430.prop.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination UpperBounds -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
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="PhilosophersDyn-PT-20"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is PhilosophersDyn-PT-20, 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 r168-tall-165277016700429"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PhilosophersDyn-PT-20.tgz
mv PhilosophersDyn-PT-20 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 ;