About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C07
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 901556.00 | 0.00 | 0.00 | ?TT?TTT?FTF?TTFF | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r246-tall-171654351100191.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S32C07, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r246-tall-171654351100191
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 27M
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 69K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 19 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 19 18:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 12 05:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Apr 12 05:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 26M May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1716631332306
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C07
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityFireability PT
Running Version 202405141337
[2024-05-25 10:02:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-25 10:02:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 10:02:14] [INFO ] Load time of PNML (sax parser for PT used): 903 ms
[2024-05-25 10:02:14] [INFO ] Transformed 25134 places.
[2024-05-25 10:02:14] [INFO ] Transformed 38317 transitions.
[2024-05-25 10:02:14] [INFO ] Parsed PT model containing 25134 places and 38317 transitions and 148438 arcs in 1157 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 22 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (556 resets) in 5901 ms. (6 steps per ms) remains 12/16 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (80 resets) in 972 ms. (41 steps per ms) remains 11/12 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-06 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40004 steps (80 resets) in 1300 ms. (30 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (80 resets) in 581 ms. (68 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (80 resets) in 655 ms. (60 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (80 resets) in 609 ms. (65 steps per ms) remains 10/11 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-08 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
[2024-05-25 10:02:18] [INFO ] Flatten gal took : 2181 ms
BEST_FIRST walk for 40004 steps (80 resets) in 702 ms. (56 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (80 resets) in 453 ms. (88 steps per ms) remains 9/10 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-02 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40004 steps (80 resets) in 569 ms. (70 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (80 resets) in 701 ms. (56 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (80 resets) in 596 ms. (67 steps per ms) remains 9/9 properties
[2024-05-25 10:02:19] [INFO ] Flow matrix only has 37261 transitions (discarded 1056 similar events)
// Phase 1: matrix 37261 rows 25134 cols
[2024-05-25 10:02:19] [INFO ] Flatten gal took : 1294 ms
[2024-05-25 10:02:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3757982862545334128.gal : 238 ms
[2024-05-25 10:02:19] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5018753334342087464.prop : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality3757982862545334128.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5018753334342087464.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
[2024-05-25 10:02:23] [INFO ] Computed 1683 invariants in 4580 ms
[2024-05-25 10:02:23] [INFO ] State equation strengthened by 12322 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/235 variables, 15/15 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/235 variables, 3/18 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/235 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (OVERLAPS) 5502/5737 variables, 34/52 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5737 variables, 2/54 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/5737 variables, 0/54 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (OVERLAPS) 35/5772 variables, 35/89 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5772 variables, 0/89 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-01 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-01 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 8 (OVERLAPS) 11900/17672 variables, 628/717 constraints. Problems are: Problem set: 1 solved, 8 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 17672/62395 variables, and 717 constraints, problems are : Problem set: 1 solved, 8 unsolved in 5064 ms.
Refiners :[Positive P Invariants (semi-flows): 84/84 constraints, Generalized P Invariants (flows): 633/1599 constraints, State Equation: 0/25134 constraints, ReadFeed: 0/12322 constraints, PredecessorRefiner: 9/7 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 8 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/204 variables, 12/12 constraints. Problems are: Problem set: 1 solved, 8 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/204 variables, 3/15 constraints. Problems are: Problem set: 1 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/204 variables, 0/15 constraints. Problems are: Problem set: 1 solved, 8 unsolved
At refinement iteration 3 (OVERLAPS) 5515/5719 variables, 36/51 constraints. Problems are: Problem set: 1 solved, 8 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5719 variables, 2/53 constraints. Problems are: Problem set: 1 solved, 8 unsolved
Loading property file /tmp/ReachabilityCardinality5018753334342087464.prop.
[2024-05-25 10:02:36] [INFO ] Deduced a trap composed of 202 places in 5461 ms of which 285 ms to minimize.
SMT process timed out in 17470ms, After SMT, problems are : Problem set: 1 solved, 8 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 204 out of 25134 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 25134/25134 places, 38317/38317 transitions.
Graph (complete) has 85919 edges and 25134 vertex of which 25084 are kept as prefixes of interest. Removing 50 places using SCC suffix rule.59 ms
Discarding 50 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 6512 transitions
Trivial Post-agglo rules discarded 6512 transitions
Performed 6512 trivial Post agglomeration. Transition count delta: 6512
Iterating post reduction 0 with 6512 rules applied. Total rules applied 6513 place count 25084 transition count 31805
Reduce places removed 6512 places and 0 transitions.
Performed 336 Post agglomeration using F-continuation condition.Transition count delta: 336
Iterating post reduction 1 with 6848 rules applied. Total rules applied 13361 place count 18572 transition count 31469
Reduce places removed 336 places and 0 transitions.
Iterating post reduction 2 with 336 rules applied. Total rules applied 13697 place count 18236 transition count 31469
Performed 437 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 437 Pre rules applied. Total rules applied 13697 place count 18236 transition count 31032
Deduced a syphon composed of 437 places in 26 ms
Reduce places removed 437 places and 0 transitions.
Iterating global reduction 3 with 874 rules applied. Total rules applied 14571 place count 17799 transition count 31032
Discarding 6923 places :
Symmetric choice reduction at 3 with 6923 rule applications. Total rules 21494 place count 10876 transition count 24109
Iterating global reduction 3 with 6923 rules applied. Total rules applied 28417 place count 10876 transition count 24109
Discarding 953 places :
Symmetric choice reduction at 3 with 953 rule applications. Total rules 29370 place count 9923 transition count 20390
Iterating global reduction 3 with 953 rules applied. Total rules applied 30323 place count 9923 transition count 20390
Discarding 462 places :
Symmetric choice reduction at 3 with 462 rule applications. Total rules 30785 place count 9461 transition count 17156
Iterating global reduction 3 with 462 rules applied. Total rules applied 31247 place count 9461 transition count 17156
Performed 26 Post agglomeration using F-continuation condition.Transition count delta: 26
Deduced a syphon composed of 26 places in 25 ms
Reduce places removed 26 places and 0 transitions.
Iterating global reduction 3 with 52 rules applied. Total rules applied 31299 place count 9435 transition count 17130
Free-agglomeration rule (complex) applied 403 times.
Iterating global reduction 3 with 403 rules applied. Total rules applied 31702 place count 9435 transition count 16727
Reduce places removed 403 places and 0 transitions.
Iterating post reduction 3 with 403 rules applied. Total rules applied 32105 place count 9032 transition count 16727
Partial Free-agglomeration rule applied 439 times.
Drop transitions (Partial Free agglomeration) removed 439 transitions
Iterating global reduction 4 with 439 rules applied. Total rules applied 32544 place count 9032 transition count 16727
Applied a total of 32544 rules in 15914 ms. Remains 9032 /25134 variables (removed 16102) and now considering 16727/38317 (removed 21590) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 15927 ms. Remains : 9032/25134 places, 16727/38317 transitions.
RANDOM walk for 40000 steps (762 resets) in 1495 ms. (26 steps per ms) remains 7/8 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (84 resets) in 350 ms. (113 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (84 resets) in 266 ms. (149 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (84 resets) in 357 ms. (111 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40003 steps (84 resets) in 346 ms. (115 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (84 resets) in 332 ms. (120 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (84 resets) in 353 ms. (113 steps per ms) remains 7/7 properties
BEST_FIRST walk for 40004 steps (84 resets) in 301 ms. (132 steps per ms) remains 7/7 properties
[2024-05-25 10:02:53] [INFO ] Flow matrix only has 15268 transitions (discarded 1459 similar events)
// Phase 1: matrix 15268 rows 9032 cols
[2024-05-25 10:02:54] [INFO ] Computed 1633 invariants in 724 ms
[2024-05-25 10:02:54] [INFO ] State equation strengthened by 6784 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/203 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/203 variables, 4/16 constraints. Problems are: Problem set: 0 solved, 7 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/203 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 7 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-13 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-13 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-15 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-15 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 3 (OVERLAPS) 6625/6828 variables, 25/41 constraints. Problems are: Problem set: 2 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/6828 variables, 3/44 constraints. Problems are: Problem set: 2 solved, 5 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/6828 variables, 0/44 constraints. Problems are: Problem set: 2 solved, 5 unsolved
At refinement iteration 6 (OVERLAPS) 2/6830 variables, 2/46 constraints. Problems are: Problem set: 2 solved, 5 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/6830 variables, 0/46 constraints. Problems are: Problem set: 2 solved, 5 unsolved
At refinement iteration 8 (OVERLAPS) 1860/8690 variables, 1245/1291 constraints. Problems are: Problem set: 2 solved, 5 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/8690 variables, 0/1291 constraints. Problems are: Problem set: 2 solved, 5 unsolved
At refinement iteration 10 (OVERLAPS) 26/8716 variables, 26/1317 constraints. Problems are: Problem set: 2 solved, 5 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/8716 variables, 0/1317 constraints. Problems are: Problem set: 2 solved, 5 unsolved
At refinement iteration 12 (OVERLAPS) 316/9032 variables, 316/1633 constraints. Problems are: Problem set: 2 solved, 5 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/9032 variables, 0/1633 constraints. Problems are: Problem set: 2 solved, 5 unsolved
At refinement iteration 14 (OVERLAPS) 15268/24300 variables, 9032/10665 constraints. Problems are: Problem set: 2 solved, 5 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-04 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-04 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 15 (INCLUDED_ONLY) 0/24300 variables, 6784/17449 constraints. Problems are: Problem set: 3 solved, 4 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/24300 variables, 0/17449 constraints. Problems are: Problem set: 3 solved, 4 unsolved
At refinement iteration 17 (OVERLAPS) 0/24300 variables, 0/17449 constraints. Problems are: Problem set: 3 solved, 4 unsolved
No progress, stopping.
After SMT solving in domain Real declared 24300/24300 variables, and 17449 constraints, problems are : Problem set: 3 solved, 4 unsolved in 40221 ms.
Refiners :[Positive P Invariants (semi-flows): 65/65 constraints, Generalized P Invariants (flows): 1568/1568 constraints, State Equation: 9032/9032 constraints, ReadFeed: 6784/6784 constraints, PredecessorRefiner: 7/5 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 3 solved, 4 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/110 variables, 4/4 constraints. Problems are: Problem set: 3 solved, 4 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/110 variables, 0/4 constraints. Problems are: Problem set: 3 solved, 4 unsolved
At refinement iteration 2 (OVERLAPS) 6679/6789 variables, 23/27 constraints. Problems are: Problem set: 3 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/6789 variables, 1/28 constraints. Problems are: Problem set: 3 solved, 4 unsolved
[2024-05-25 10:03:44] [INFO ] Deduced a trap composed of 1051 places in 8623 ms of which 57 ms to minimize.
[2024-05-25 10:03:53] [INFO ] Deduced a trap composed of 1059 places in 8540 ms of which 60 ms to minimize.
[2024-05-25 10:04:02] [INFO ] Deduced a trap composed of 1110 places in 9385 ms of which 45 ms to minimize.
[2024-05-25 10:04:11] [INFO ] Deduced a trap composed of 809 places in 8340 ms of which 45 ms to minimize.
[2024-05-25 10:04:20] [INFO ] Deduced a trap composed of 980 places in 8748 ms of which 48 ms to minimize.
SMT process timed out in 86516ms, After SMT, problems are : Problem set: 3 solved, 4 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 110 out of 9032 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9032/9032 places, 16727/16727 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 9032 transition count 16721
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 12 place count 9026 transition count 16721
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 12 place count 9026 transition count 16711
Deduced a syphon composed of 10 places in 17 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 32 place count 9016 transition count 16711
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 57 place count 8991 transition count 16602
Iterating global reduction 2 with 25 rules applied. Total rules applied 82 place count 8991 transition count 16602
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 93 place count 8980 transition count 16525
Iterating global reduction 2 with 11 rules applied. Total rules applied 104 place count 8980 transition count 16525
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 15 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 112 place count 8976 transition count 16521
Free-agglomeration rule (complex) applied 49 times.
Iterating global reduction 2 with 49 rules applied. Total rules applied 161 place count 8976 transition count 16472
Reduce places removed 49 places and 0 transitions.
Iterating post reduction 2 with 49 rules applied. Total rules applied 210 place count 8927 transition count 16472
Partial Free-agglomeration rule applied 47 times.
Drop transitions (Partial Free agglomeration) removed 47 transitions
Iterating global reduction 3 with 47 rules applied. Total rules applied 257 place count 8927 transition count 16472
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 263 place count 8921 transition count 16466
Iterating global reduction 3 with 6 rules applied. Total rules applied 269 place count 8921 transition count 16466
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 275 place count 8915 transition count 16424
Iterating global reduction 3 with 6 rules applied. Total rules applied 281 place count 8915 transition count 16424
Applied a total of 281 rules in 13117 ms. Remains 8915 /9032 variables (removed 117) and now considering 16424/16727 (removed 303) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 13118 ms. Remains : 8915/9032 places, 16424/16727 transitions.
RANDOM walk for 40000 steps (784 resets) in 1461 ms. (27 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (84 resets) in 258 ms. (154 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (84 resets) in 257 ms. (155 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40003 steps (84 resets) in 262 ms. (152 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (84 resets) in 350 ms. (113 steps per ms) remains 4/4 properties
Interrupted probabilistic random walk after 12237 steps, run timeout after 3001 ms. (steps per millisecond=4 ) properties seen :0 out of 4
Probabilistic random walk after 12237 steps, saw 5996 distinct states, run finished after 3006 ms. (steps per millisecond=4 ) properties seen :0
[2024-05-25 10:04:37] [INFO ] Flow matrix only has 14916 transitions (discarded 1508 similar events)
// Phase 1: matrix 14916 rows 8915 cols
[2024-05-25 10:04:37] [INFO ] Computed 1633 invariants in 789 ms
[2024-05-25 10:04:38] [INFO ] State equation strengthened by 6598 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/110 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/110 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (OVERLAPS) 6641/6751 variables, 23/27 constraints. Problems are: Problem set: 0 solved, 4 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (INCLUDED_ONLY) 0/6751 variables, 2/29 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/6751 variables, 0/29 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (OVERLAPS) 6/6757 variables, 6/35 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/6757 variables, 0/35 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 7 (OVERLAPS) 1787/8544 variables, 1227/1262 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/8544 variables, 0/1262 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 9 (OVERLAPS) 32/8576 variables, 32/1294 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/8576 variables, 0/1294 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 11 (OVERLAPS) 339/8915 variables, 339/1633 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/8915 variables, 0/1633 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 13 (OVERLAPS) 14916/23831 variables, 8915/10548 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/23831 variables, 6598/17146 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/23831 variables, 0/17146 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 16 (OVERLAPS) 0/23831 variables, 0/17146 constraints. Problems are: Problem set: 0 solved, 4 unsolved
No progress, stopping.
After SMT solving in domain Real declared 23831/23831 variables, and 17146 constraints, problems are : Problem set: 0 solved, 4 unsolved in 36292 ms.
Refiners :[Positive P Invariants (semi-flows): 65/65 constraints, Generalized P Invariants (flows): 1568/1568 constraints, State Equation: 8915/8915 constraints, ReadFeed: 6598/6598 constraints, PredecessorRefiner: 4/3 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/110 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/110 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (OVERLAPS) 6641/6751 variables, 23/27 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/6751 variables, 2/29 constraints. Problems are: Problem set: 0 solved, 4 unsolved
[2024-05-25 10:05:24] [INFO ] Deduced a trap composed of 976 places in 8646 ms of which 46 ms to minimize.
[2024-05-25 10:05:32] [INFO ] Deduced a trap composed of 1058 places in 8595 ms of which 47 ms to minimize.
[2024-05-25 10:05:41] [INFO ] Deduced a trap composed of 746 places in 8451 ms of which 45 ms to minimize.
[2024-05-25 10:05:50] [INFO ] Deduced a trap composed of 1093 places in 8452 ms of which 46 ms to minimize.
[2024-05-25 10:05:58] [INFO ] Deduced a trap composed of 898 places in 8341 ms of which 44 ms to minimize.
[2024-05-25 10:06:07] [INFO ] Deduced a trap composed of 833 places in 8441 ms of which 44 ms to minimize.
[2024-05-25 10:06:15] [INFO ] Deduced a trap composed of 1326 places in 8261 ms of which 43 ms to minimize.
[2024-05-25 10:06:20] [INFO ] Deduced a trap composed of 840 places in 5488 ms of which 34 ms to minimize.
[2024-05-25 10:06:26] [INFO ] Deduced a trap composed of 710 places in 5525 ms of which 34 ms to minimize.
[2024-05-25 10:06:32] [INFO ] Deduced a trap composed of 933 places in 5537 ms of which 33 ms to minimize.
SMT process timed out in 115042ms, After SMT, problems are : Problem set: 0 solved, 4 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 110 out of 8915 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8915/8915 places, 16424/16424 transitions.
Applied a total of 0 rules in 1852 ms. Remains 8915 /8915 variables (removed 0) and now considering 16424/16424 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1853 ms. Remains : 8915/8915 places, 16424/16424 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8915/8915 places, 16424/16424 transitions.
Applied a total of 0 rules in 1782 ms. Remains 8915 /8915 variables (removed 0) and now considering 16424/16424 (removed 0) transitions.
[2024-05-25 10:06:35] [INFO ] Flow matrix only has 14916 transitions (discarded 1508 similar events)
[2024-05-25 10:06:35] [INFO ] Invariant cache hit.
[2024-05-25 10:07:02] [INFO ] Implicit Places using invariants in 26241 ms returned [4, 7, 11, 12, 13, 14, 15, 16, 17, 18, 22, 28, 36, 46, 58, 72, 88, 106, 126, 148, 172, 198, 226, 256, 287, 319, 321, 322, 323, 324, 325, 326, 354, 380, 404, 427, 447, 465, 481, 495, 507, 517, 525, 531, 535, 538, 558, 565, 568, 569, 570, 571, 572, 573, 574, 575, 577, 581, 587, 595, 605, 617, 631, 647, 665, 685, 707, 731, 757, 785, 814, 844, 845, 846, 847, 848, 849, 850, 851, 877, 901, 923, 944, 962, 978, 992, 1004, 1014, 1022, 1028, 1032, 1034, 1036, 1053, 1059, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1071, 1073, 1077, 1083, 1091, 1102, 1114, 1128, 1144, 1162, 1182, 1204, 1228, 1254, 1281, 1309, 1310, 1311, 1312, 1313, 1314, 1315, 1316, 1340, 1362, 1382, 1401, 1417, 1431, 1443, 1453, 1461, 1467, 1471, 1473, 1475, 1477, 1494, 1500, 1503, 1504, 1505, 1506, 1507, 1509, 1510, 1514, 1516, 1518, 1522, 1528, 1536, 1546, 1558, 1572, 1588, 1606, 1626, 1648, 1672, 1697, 1723, 1724, 1725, 1726, 1727, 1728, 1729, 1730, 1752, 1772, 1790, 1807, 1821, 1833, 1843, 1851, 1857, 1861, 1863, 1865, 1867, 1869, 1887, 1893, 1896, 1897, 1898, 1899, 1900, 1901, 1902, 1903, 1905, 1907, 1909, 1911, 1916, 1922, 1930, 1940, 1952, 1966, 1982, 2000, 2020, 2042, 2065, 2089, 2090, 2091, 2092, 2093, 2094, 2095, 2096, 2116, 2134, 2150, 2165, 2177, 2187, 2195, 2201, 2205, 2207, 2209, 2211, 2213, 2215, 2232, 2238, 2241, 2242, 2243, 2244, 2245, 2246, 2248, 2250, 2255, 2257, 2259, 2261, 2265, 2271, 2279, 2289, 2301, 2315, 2331, 2349, 2369, 2390, 2413, 2415, 2416, 2417, 2418, 2419, 2438, 2454, 2468, 2481, 2491, 2499, 2505, 2509, 2513, 2515, 2517, 2521, 2523, 2525, 2544, 2550, 2553, 2554, 2555, 2556, 2559, 2560, 2561, 2565, 2567, 2569, 2571, 2573, 2575, 2579, 2585, 2593, 2603, 2615, 2629, 2645, 2663, 2682, 2702, 2703, 2704, 2705, 2706, 2707, 2708, 2709, 2725, 2739, 2751, 2762, 2770, 2776, 2780, 2782, 2784, 2786, 2788, 2790, 2792, 2794, 2811, 2817, 2820, 2821, 2822, 2823, 2824, 2826, 2827, 2831, 2833, 2835, 2837, 2839, 2841, 2843, 2847, 2853, 2861, 2871, 2883, 2897, 2913, 2931, 2949, 2950, 2952, 2953, 2955, 2956, 2970, 2982, 2992, 3001, 3007, 3013, 3015, 3017, 3019, 3021, 3023, 3025, 3030, 3032, 3051, 3057, 3060, 3061, 3062, 3063, 3064, 3065, 3066, 3067, 3069, 3071, 3073, 3075, 3077, 3079, 3081, 3083, 3087, 3093, 3101, 3111, 3123, 3137, 3152, 3168, 3169, 3170, 3171, 3172, 3173, 3174, 3175, 3187, 3197, 3205, 3212, 3216, 3218, 3220, 3222, 3224, 3226, 3228, 3230, 3232, 3234, 3251, 3257, 3260, 3261, 3262, 3263, 3265, 3266, 3267, 3269, 3271, 3273, 3275, 3277, 3279, 3281, 3283, 3287, 3291, 3297, 3305, 3315, 3327, 3340, 3354, 3355, 3356, 3357, 3358, 3359, 3360, 3361, 3371, 3379, 3385, 3391, 3393, 3395, 3397, 3399, 3401, 3403, 3405, 3407, 3409, 3411, 3429, 3435, 3438, 3439, 3440, 3442, 3443, 3444, 3445, 3447, 3449, 3451, 3453, 3455, 3457, 3462, 3464, 3466, 3468, 3472, 3478, 3486, 3496, 3507, 3519, 3520, 3521, 3522, 3523, 3524, 3525, 3526, 3534, 3540, 3544, 3548, 3550, 3552, 3554, 3556, 3558, 3560, 3562, 3564, 3566, 3568, 3585, 3591, 3594, 3595, 3596, 3597, 3598, 3599, 3600, 3601, 3603, 3605, 3607, 3609, 3611, 3613, 3615, 3617, 3619, 3621, 3623, 3627, 3633, 3641, 3650, 3660, 3661, 3662, 3663, 3664, 3666, 3667, 3673, 3677, 3679, 3681, 3683, 3685, 3687, 3689, 3694, 3696, 3698, 3700, 3702, 3704, 3721, 3727, 3731, 3732, 3733, 3734, 3735, 3736, 3737, 3739, 3741, 3743, 3745, 3747, 3749, 3751, 3753, 3755, 3759, 3761, 3763, 3767, 3773, 3780, 3788, 3789, 3790, 3791, 3792, 3793, 3794, 3795, 3799, 3801, 3803, 3805, 3807, 3809, 3811, 3813, 3815, 3817, 3819, 3821, 3823, 3825, 3843, 3849, 3852, 3853, 3854, 3855, 3856, 3858, 3859, 3863, 3865, 3867, 3869, 3871, 3873, 3875, 3877, 3879, 3881, 3883, 3885, 3887, 3891, 3896, 3902, 3903, 3904, 3905, 3906, 3907, 3908, 3909, 3911, 3913, 3915, 3917, 3919, 3921, 3923, 3926, 3928, 3930, 3932, 3934, 3936, 3938, 3956, 3962, 3965, 3967, 3968, 3969, 3970, 3971, 3972, 3974, 3976, 3978, 3980, 3982, 3987, 3989, 3991, 3993, 3995, 3997, 3999, 4001, 4003, 4006, 4010, 4011, 4012, 4013, 4014, 4015, 4016, 4017, 4019, 4021, 4023, 4025, 4027, 4029, 4031, 4033, 4035, 4037, 4039, 4041, 4043, 4045, 4062, 4068, 4071, 4072, 4073, 4074, 4075, 4076, 4077, 4078, 4080, 4082, 4084, 4086, 4088, 4090, 4092, 4094, 4096, 4098, 4100, 4102, 4104, 4106, 4108, 4111, 4112, 4113, 4114, 4115, 4116, 4117, 4118, 4120, 4122, 4124, 4126, 4128, 4130, 4132, 4134, 4136, 4138, 4140, 4142, 4144, 4146, 4163, 4165, 4168, 4171, 4172, 4173, 4174, 4175, 4176, 4177, 4178, 4180, 4182, 4184, 4186, 4188, 4190, 4192, 4194, 4196, 4198, 4200, 4202, 4204, 4206, 4208, 4211, 4213, 4214, 4215, 4216, 4217, 4218, 4220, 4222, 4224, 4226, 4228, 4230, 4235, 4237, 4239, 4241, 4243, 4245, 4247, 4249, 4273, 4276, 4277, 4278, 4279, 4280, 4281, 4282, 4283, 4285, 4287, 4289, 4291, 4293, 4295, 4297, 4299, 4301, 4303, 4305, 4307, 4309, 4311, 4313, 4316, 4317, 4318, 4319, 4320, 4321, 4322, 4323, 4325, 4327, 4329, 4331, 4333, 4335, 4337, 4339, 4341, 4343, 4345, 4347, 4349, 4351, 4368, 4374, 4377, 4378, 4379, 4380, 4381, 4382, 4383, 4384, 4386, 4388, 4390, 4392, 4394, 4396, 4398, 4401, 4403, 4405, 4407, 4409, 4411, 4413, 4415, 4419, 4420, 4421, 4423, 4424, 4425, 4426, 4429, 4431, 4436, 4438, 4440, 4442, 4444, 4446, 4448, 4450, 4452, 4454, 4456, 4458, 4477, 4483, 4486, 4487, 4488, 4489, 4490, 4491, 4492, 4493, 4495, 4497, 4499, 4501, 4503, 4505, 4507, 4509, 4511, 4513, 4515, 4517, 4519, 4521, 4525, 4531, 4532, 4533, 4534, 4535, 4536, 4537, 4538, 4543, 4545, 4547, 4549, 4551, 4553, 4555, 4557, 4559, 4561, 4563, 4565, 4567, 4569, 4586, 4592, 4595, 4596, 4597, 4598, 4599, 4600, 4601, 4602, 4604, 4606, 4608, 4610, 4612, 4614, 4616, 4618, 4620, 4622, 4624, 4626, 4628, 4632, 4638, 4646, 4647, 4648, 4649, 4650, 4651, 4652, 4653, 4660, 4664, 4666, 4668, 4670, 4672, 4674, 4677, 4679, 4681, 4683, 4685, 4687, 4689, 4706, 4713, 4716, 4717, 4718, 4719, 4720, 4721, 4722, 4723, 4725, 4727, 4729, 4731, 4733, 4735, 4737, 4739, 4741, 4743, 4745, 4747, 4751, 4757, 4765, 4775, 4776, 4777, 4778, 4779, 4780, 4781, 4782, 4791, 4797, 4801, 4803, 4805, 4807, 4809, 4811, 4813, 4815, 4817, 4819, 4821, 4823, 4840, 4846, 4849, 4850, 4852, 4853, 4854, 4855, 4856, 4858, 4860, 4862, 4864, 4866, 4868, 4870, 4872, 4874, 4876, 4878, 4882, 4890, 4898, 4921, 4922, 4923, 4924, 4925, 4926, 4927, 4928, 4939, 4947, 4953, 4957, 4960, 4962, 4964, 4966, 4968, 4970, 4972, 4974, 4976, 4978, 4996, 5002, 5005, 5006, 5007, 5008, 5009, 5010, 5011, 5012, 5014, 5016, 5018, 5020, 5022, 5024, 5026, 5028, 5030, 5032, 5036, 5042, 5050, 5060, 5072, 5086, 5087, 5088, 5089, 5090, 5091, 5092, 5093, 5106, 5116, 5124, 5130, 5135, 5137, 5139, 5141, 5143, 5145, 5147, 5149, 5151, 5153, 5170, 5176, 5179, 5180, 5181, 5182, 5183, 5184, 5185, 5186, 5188, 5190, 5192, 5194, 5196, 5198, 5200, 5202, 5204, 5208, 5214, 5222, 5232, 5244, 5258, 5274, 5275, 5276, 5277, 5279, 5280, 5281, 5296, 5308, 5318, 5329, 5336, 5340, 5342, 5344, 5346, 5348, 5350, 5352, 5354, 5356, 5373, 5379, 5382, 5383, 5384, 5385, 5386, 5387, 5388, 5389, 5391, 5393, 5395, 5397, 5399, 5401, 5403, 5405, 5409, 5415, 5423, 5433, 5445, 5459, 5475, 5493, 5494, 5495, 5496, 5497, 5498, 5499, 5500, 5517, 5531, 5543, 5553, 5562, 5568, 5572, 5574, 5576, 5578, 5580, 5582, 5584, 5586, 5603, 5609, 5612, 5613, 5614, 5615, 5616, 5617, 5618, 5619, 5621, 5623, 5625, 5627, 5629, 5631, 5633, 5637, 5643, 5651, 5661, 5673, 5687, 5703, 5721, 5741, 5743, 5744, 5745, 5746, 5747, 5748, 5767, 5783, 5797, 5809, 5822, 5830, 5836, 5840, 5842, 5844, 5846, 5848, 5850, 5852, 5871, 5877, 5880, 5881, 5882, 5883, 5884, 5885, 5886, 5887, 5889, 5891, 5893, 5895, 5897, 5899, 5903, 5909, 5917, 5927, 5939, 5953, 5969, 5987, 6007, 6029, 6030, 6031, 6032, 6033, 6034, 6036, 6057, 6075, 6091, 6105, 6118, 6128, 6138, 6145, 6149, 6151, 6153, 6155, 6157, 6159, 6177, 6183, 6186, 6187, 6188, 6189, 6190, 6191, 6192, 6193, 6195, 6197, 6199, 6201, 6203, 6207, 6213, 6221, 6231, 6243, 6257, 6273, 6291, 6311, 6333, 6357, 6358, 6359, 6360, 6361, 6362, 6363, 6364, 6387, 6407, 6425, 6441, 6456, 6468, 6478, 6486, 6492, 6496, 6498, 6500, 6502, 6504, 6521, 6527, 6530, 6531, 6532, 6533, 6534, 6535, 6537, 6539, 6541, 6543, 6548, 6552, 6558, 6566, 6576, 6588, 6602, 6618, 6636, 6656, 6678, 6702, 6728, 6730, 6731, 6732, 6733, 6734, 6735, 6760, 6782, 6802, 6820, 6837, 6851, 6865, 6875, 6883, 6889, 6893, 6895, 6897, 6899, 6917, 6923, 6926, 6927, 6928, 6929, 6930, 6931, 6932, 6933, 6935, 6937, 6939, 6943, 6949, 6958, 6968, 6980, 6994, 7010, 7028, 7048, 7070, 7094, 7120, 7148, 7149, 7150, 7151, 7152, 7153, 7154, 7155, 7182, 7206, 7228, 7248, 7267, 7283, 7297, 7309, 7319, 7327, 7333, 7337, 7339, 7341, 7358, 7365, 7368, 7369, 7370, 7371, 7372, 7373, 7374, 7375, 7377, 7379, 7383, 7389, 7397, 7407, 7419, 7433, 7450, 7468, 7488, 7510, 7534, 7560, 7588, 7620, 7621, 7622, 7623, 7624, 7625, 7626, 7657, 7683, 7707, 7729, 7750, 7768, 7784, 7798, 7810, 7820, 7828, 7834, 7838, 7840, 7857, 7859, 7862, 7865, 7866, 7867, 7868, 7869, 7870, 7871, 7872, 7875, 7879, 7885, 7893, 7903, 7915, 7929, 7945, 7963, 7983, 8005, 8029, 8055, 8083, 8113, 8145, 8146, 8147, 8148, 8149, 8150, 8151, 8152, 8183, 8211, 8237, 8261, 8284, 8304, 8322, 8338, 8352, 8364, 8374, 8382, 8388, 8392, 8410]
[2024-05-25 10:07:02] [INFO ] Actually due to overlaps returned [558, 1053, 1494, 1887, 2232, 2544, 2811, 3051, 3251, 3429, 3585, 3721, 3843, 3956, 4062, 4163, 4368, 4477, 4586, 4706, 4840, 4996, 5170, 5373, 5603, 5871, 6177, 6521, 6917, 7358, 7857, 8410, 4, 11, 12, 13, 14, 15, 16, 17, 256, 319, 321, 322, 323, 324, 325, 568, 569, 570, 571, 572, 573, 574, 785, 844, 845, 846, 847, 848, 849, 850, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1254, 1309, 1310, 1311, 1312, 1313, 1314, 1315, 1503, 1504, 1505, 1506, 1507, 1509, 1672, 1723, 1724, 1725, 1726, 1727, 1728, 1729, 1896, 1897, 1898, 1899, 1900, 1901, 1902, 2042, 2089, 2090, 2091, 2092, 2093, 2094, 2095, 2241, 2242, 2243, 2244, 2245, 2246, 2369, 2413, 2415, 2416, 2417, 2418, 2553, 2554, 2555, 2556, 2559, 2560, 2663, 2702, 2703, 2704, 2705, 2706, 2707, 2708, 2820, 2821, 2822, 2823, 2824, 2826, 2913, 2949, 2950, 2952, 2953, 2955, 3060, 3061, 3062, 3063, 3064, 3065, 3066, 3137, 3168, 3169, 3170, 3171, 3172, 3173, 3174, 3260, 3261, 3262, 3263, 3265, 3266, 3327, 3354, 3355, 3356, 3357, 3358, 3359, 3360, 3438, 3439, 3440, 3442, 3443, 3444, 3496, 3519, 3520, 3521, 3522, 3523, 3524, 3525, 3594, 3595, 3596, 3597, 3598, 3599, 3600, 3641, 3660, 3661, 3662, 3663, 3664, 3666, 3731, 3732, 3733, 3734, 3735, 3736, 3773, 3788, 3789, 3790, 3791, 3792, 3793, 3794, 3852, 3853, 3854, 3855, 3856, 3858, 3891, 3902, 3903, 3904, 3905, 3906, 3907, 3908, 3965, 3967, 3968, 3969, 3970, 3971, 4003, 4010, 4011, 4012, 4013, 4014, 4015, 4016, 4071, 4072, 4073, 4074, 4075, 4076, 4077, 4106, 4111, 4112, 4113, 4114, 4115, 4116, 4117, 4165, 4171, 4172, 4173, 4174, 4175, 4176, 4177, 4211, 4213, 4214, 4215, 4216, 4217, 4276, 4277, 4278, 4279, 4280, 4281, 4282, 4313, 4316, 4317, 4318, 4319, 4320, 4321, 4322, 4377, 4378, 4379, 4380, 4381, 4382, 4383, 4415, 4419, 4420, 4421, 4423, 4424, 4425, 4486, 4487, 4488, 4489, 4490, 4491, 4492, 4525, 4531, 4532, 4533, 4534, 4535, 4536, 4537, 4595, 4596, 4597, 4598, 4599, 4600, 4601, 4638, 4646, 4647, 4648, 4649, 4650, 4651, 4652, 4716, 4717, 4718, 4719, 4720, 4721, 4722, 4765, 4775, 4776, 4777, 4778, 4779, 4780, 4781, 4849, 4850, 4852, 4853, 4854, 4855, 4921, 4922, 4923, 4924, 4925, 4926, 4927, 5005, 5006, 5007, 5008, 5009, 5010, 5011, 5072, 5086, 5087, 5088, 5089, 5090, 5091, 5092, 5179, 5180, 5181, 5182, 5183, 5184, 5185, 5258, 5274, 5275, 5276, 5277, 5279, 5280, 5382, 5383, 5384, 5385, 5386, 5387, 5388, 5475, 5493, 5494, 5495, 5496, 5497, 5498, 5499, 5612, 5613, 5614, 5615, 5616, 5617, 5618, 5721, 5741, 5743, 5744, 5745, 5746, 5747, 5880, 5881, 5882, 5883, 5884, 5885, 5886, 6007, 6029, 6030, 6031, 6032, 6033, 6034, 6186, 6187, 6188, 6189, 6190, 6191, 6192, 6333, 6357, 6358, 6359, 6360, 6361, 6362, 6363, 6530, 6531, 6532, 6533, 6534, 6535, 6702, 6728, 6730, 6731, 6732, 6733, 6734, 6926, 6927, 6928, 6929, 6930, 6931, 6932, 7120, 7148, 7149, 7150, 7151, 7152, 7153, 7154, 7368, 7369, 7370, 7371, 7372, 7373, 7374, 7588, 7620, 7621, 7622, 7623, 7624, 7625, 7859, 7865, 7866, 7867, 7868, 7869, 7870, 7871, 8113, 8145, 8146, 8147, 8148, 8149, 8150, 8151]
Discarding 504 places :
Implicit Place search using SMT only with invariants took 26284 ms to find 504 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 8411/8915 places, 16424/16424 transitions.
Discarding 424 places :
Symmetric choice reduction at 0 with 424 rule applications. Total rules 424 place count 7987 transition count 16000
Iterating global reduction 0 with 424 rules applied. Total rules applied 848 place count 7987 transition count 16000
Discarding 421 places :
Symmetric choice reduction at 0 with 421 rule applications. Total rules 1269 place count 7566 transition count 15579
Iterating global reduction 0 with 421 rules applied. Total rules applied 1690 place count 7566 transition count 15579
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 1731 place count 7525 transition count 15292
Iterating global reduction 0 with 41 rules applied. Total rules applied 1772 place count 7525 transition count 15292
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 1774 place count 7525 transition count 15290
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 1776 place count 7523 transition count 15290
Applied a total of 1776 rules in 7443 ms. Remains 7523 /8411 variables (removed 888) and now considering 15290/16424 (removed 1134) transitions.
[2024-05-25 10:07:09] [INFO ] Flow matrix only has 13782 transitions (discarded 1508 similar events)
// Phase 1: matrix 13782 rows 7523 cols
[2024-05-25 10:07:10] [INFO ] Computed 1129 invariants in 612 ms
[2024-05-25 10:07:29] [INFO ] Implicit Places using invariants in 20024 ms returned [6, 10, 14, 20, 28, 38, 50, 64, 80, 98, 118, 140, 164, 190, 218, 278, 311, 339, 365, 389, 412, 432, 450, 466, 480, 492, 502, 510, 516, 520, 523, 548, 550, 552, 556, 562, 570, 580, 592, 606, 622, 640, 660, 682, 706, 732, 788, 818, 844, 868, 890, 911, 929, 945, 959, 971, 981, 989, 995, 999, 1001, 1003, 1012, 1014, 1016, 1018, 1022, 1028, 1036, 1047, 1059, 1073, 1089, 1107, 1127, 1149, 1173, 1225, 1252, 1276, 1298, 1318, 1337, 1353, 1367, 1379, 1389, 1397, 1403, 1407, 1409, 1411, 1413, 1421, 1425, 1429, 1431, 1433, 1437, 1443, 1451, 1461, 1473, 1487, 1503, 1521, 1541, 1563, 1611, 1636, 1658, 1678, 1696, 1713, 1727, 1739, 1749, 1757, 1763, 1767, 1769, 1771, 1773, 1775, 1785, 1787, 1789, 1791, 1793, 1795, 1800, 1806, 1814, 1824, 1836, 1850, 1866, 1884, 1904, 1948, 1971, 1991, 2009, 2025, 2040, 2052, 2062, 2070, 2076, 2080, 2082, 2084, 2086, 2088, 2090, 2098, 2102, 2104, 2109, 2111, 2113, 2115, 2119, 2125, 2133, 2143, 2155, 2169, 2185, 2203, 2243, 2267, 2286, 2302, 2316, 2329, 2339, 2347, 2353, 2357, 2361, 2363, 2365, 2369, 2371, 2373, 2386, 2391, 2395, 2397, 2399, 2401, 2403, 2405, 2409, 2415, 2423, 2433, 2445, 2459, 2475, 2511, 2530, 2546, 2560, 2572, 2583, 2591, 2597, 2601, 2603, 2605, 2607, 2609, 2611, 2613, 2615, 2624, 2628, 2632, 2634, 2636, 2638, 2640, 2642, 2644, 2648, 2654, 2662, 2672, 2684, 2698, 2731, 2751, 2765, 2777, 2787, 2796, 2802, 2808, 2810, 2812, 2814, 2816, 2818, 2820, 2825, 2827, 2840, 2842, 2844, 2846, 2848, 2850, 2852, 2854, 2856, 2858, 2862, 2868, 2876, 2886, 2898, 2926, 2941, 2953, 2963, 2971, 2978, 2982, 2984, 2986, 2988, 2990, 2992, 2994, 2996, 2998, 3000, 3008, 3012, 3014, 3016, 3018, 3020, 3022, 3024, 3026, 3028, 3032, 3036, 3042, 3050, 3060, 3084, 3097, 3107, 3115, 3121, 3127, 3129, 3131, 3133, 3135, 3137, 3139, 3141, 3143, 3145, 3147, 3157, 3161, 3163, 3165, 3167, 3169, 3171, 3173, 3178, 3180, 3182, 3184, 3188, 3194, 3202, 3222, 3233, 3241, 3247, 3251, 3255, 3257, 3259, 3261, 3263, 3265, 3267, 3269, 3271, 3273, 3275, 3284, 3286, 3288, 3290, 3292, 3294, 3296, 3298, 3300, 3302, 3304, 3306, 3308, 3312, 3318, 3334, 3345, 3351, 3355, 3357, 3359, 3361, 3363, 3365, 3367, 3372, 3374, 3376, 3378, 3380, 3382, 3391, 3395, 3397, 3399, 3401, 3403, 3405, 3407, 3409, 3411, 3413, 3417, 3419, 3421, 3425, 3437, 3444, 3448, 3450, 3452, 3454, 3456, 3458, 3460, 3462, 3464, 3466, 3468, 3470, 3472, 3474, 3484, 3488, 3492, 3494, 3496, 3498, 3500, 3502, 3504, 3506, 3508, 3510, 3512, 3514, 3516, 3524, 3529, 3531, 3533, 3535, 3537, 3539, 3541, 3543, 3546, 3548, 3550, 3552, 3554, 3556, 3558, 3568, 3572, 3574, 3576, 3578, 3580, 3582, 3587, 3589, 3591, 3593, 3595, 3597, 3599, 3601, 3605, 3608, 3610, 3612, 3614, 3616, 3618, 3620, 3622, 3624, 3626, 3628, 3630, 3632, 3634, 3636, 3645, 3647, 3649, 3651, 3653, 3655, 3657, 3659, 3661, 3663, 3665, 3667, 3669, 3671, 3673, 3676, 3678, 3680, 3682, 3684, 3686, 3688, 3690, 3692, 3694, 3696, 3698, 3700, 3702, 3704, 3706, 3712, 3714, 3716, 3718, 3720, 3722, 3724, 3726, 3728, 3730, 3732, 3734, 3736, 3738, 3740, 3742, 3744, 3748, 3750, 3752, 3754, 3756, 3758, 3760, 3765, 3767, 3769, 3771, 3773, 3775, 3777, 3779, 3790, 3792, 3794, 3796, 3798, 3800, 3802, 3804, 3806, 3808, 3810, 3812, 3814, 3816, 3818, 3820, 3823, 3825, 3827, 3829, 3831, 3833, 3835, 3837, 3839, 3841, 3843, 3845, 3847, 3849, 3851, 3859, 3861, 3863, 3865, 3867, 3869, 3871, 3873, 3875, 3878, 3880, 3882, 3884, 3886, 3888, 3890, 3896, 3899, 3901, 3906, 3908, 3910, 3912, 3914, 3916, 3918, 3920, 3922, 3924, 3926, 3928, 3941, 3943, 3945, 3947, 3949, 3951, 3953, 3955, 3957, 3959, 3961, 3963, 3965, 3967, 3969, 3971, 3979, 3984, 3986, 3988, 3990, 3992, 3994, 3996, 3998, 4000, 4002, 4004, 4006, 4008, 4010, 4018, 4020, 4022, 4024, 4026, 4028, 4030, 4032, 4034, 4036, 4038, 4040, 4042, 4044, 4046, 4050, 4062, 4069, 4073, 4075, 4077, 4079, 4081, 4083, 4086, 4088, 4090, 4092, 4094, 4096, 4098, 4107, 4109, 4111, 4113, 4115, 4117, 4119, 4121, 4123, 4125, 4127, 4129, 4131, 4133, 4137, 4143, 4159, 4168, 4174, 4178, 4180, 4182, 4184, 4186, 4188, 4190, 4192, 4194, 4196, 4198, 4200, 4208, 4212, 4214, 4216, 4218, 4220, 4222, 4224, 4226, 4228, 4230, 4232, 4234, 4238, 4246, 4254, 4276, 4287, 4295, 4301, 4305, 4308, 4310, 4312, 4314, 4316, 4318, 4320, 4322, 4324, 4326, 4336, 4338, 4340, 4342, 4344, 4346, 4348, 4350, 4352, 4354, 4356, 4358, 4362, 4368, 4376, 4386, 4411, 4424, 4434, 4442, 4448, 4453, 4455, 4457, 4459, 4461, 4463, 4465, 4467, 4469, 4471, 4480, 4482, 4484, 4486, 4488, 4490, 4492, 4494, 4496, 4498, 4500, 4504, 4510, 4518, 4528, 4540, 4570, 4585, 4597, 4607, 4618, 4625, 4629, 4631, 4633, 4635, 4637, 4639, 4641, 4643, 4645, 4654, 4656, 4658, 4660, 4662, 4664, 4666, 4668, 4670, 4672, 4676, 4682, 4690, 4700, 4712, 4726, 4758, 4775, 4789, 4801, 4811, 4820, 4826, 4830, 4832, 4834, 4836, 4838, 4840, 4842, 4844, 4852, 4854, 4856, 4858, 4860, 4862, 4864, 4866, 4868, 4872, 4878, 4886, 4896, 4908, 4922, 4938, 4976, 4995, 5011, 5025, 5037, 5050, 5058, 5064, 5068, 5070, 5072, 5074, 5076, 5078, 5080, 5091, 5093, 5095, 5097, 5099, 5101, 5103, 5105, 5109, 5115, 5123, 5133, 5145, 5159, 5175, 5193, 5235, 5256, 5274, 5290, 5304, 5317, 5327, 5337, 5344, 5348, 5350, 5352, 5354, 5356, 5358, 5368, 5370, 5372, 5374, 5376, 5378, 5380, 5384, 5390, 5398, 5408, 5420, 5434, 5450, 5468, 5488, 5532, 5555, 5575, 5593, 5609, 5624, 5636, 5646, 5654, 5660, 5664, 5666, 5668, 5670, 5672, 5680, 5684, 5686, 5688, 5690, 5695, 5699, 5705, 5713, 5723, 5735, 5749, 5765, 5783, 5803, 5825, 5875, 5900, 5922, 5942, 5960, 5977, 5991, 6005, 6015, 6023, 6029, 6033, 6035, 6037, 6039, 6050, 6052, 6054, 6056, 6058, 6062, 6068, 6077, 6087, 6099, 6113, 6129, 6147, 6167, 6189, 6213, 6265, 6292, 6316, 6338, 6358, 6377, 6393, 6407, 6419, 6429, 6437, 6443, 6447, 6449, 6451, 6460, 6462, 6464, 6466, 6470, 6476, 6484, 6494, 6506, 6520, 6537, 6555, 6575, 6597, 6621, 6647, 6706, 6737, 6763, 6787, 6809, 6830, 6848, 6864, 6878, 6890, 6900, 6908, 6914, 6918, 6920, 6927, 6929, 6932, 6936, 6942, 6950, 6960, 6972, 6986, 7002, 7020, 7040, 7062, 7086, 7112, 7140, 7200, 7231, 7259, 7285, 7309, 7332, 7352, 7370, 7386, 7400, 7412, 7422, 7430, 7436, 7440]
Discarding 1024 places :
Implicit Place search using SMT only with invariants took 20048 ms to find 1024 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 6499/8915 places, 15290/16424 transitions.
Applied a total of 0 rules in 1600 ms. Remains 6499 /6499 variables (removed 0) and now considering 15290/15290 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 57163 ms. Remains : 6499/8915 places, 15290/16424 transitions.
RANDOM walk for 40000 steps (819 resets) in 1180 ms. (33 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (64 resets) in 206 ms. (193 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40002 steps (71 resets) in 228 ms. (174 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (80 resets) in 264 ms. (150 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (71 resets) in 350 ms. (113 steps per ms) remains 4/4 properties
Interrupted probabilistic random walk after 14440 steps, run timeout after 3001 ms. (steps per millisecond=4 ) properties seen :0 out of 4
Probabilistic random walk after 14440 steps, saw 6604 distinct states, run finished after 3001 ms. (steps per millisecond=4 ) properties seen :0
[2024-05-25 10:07:34] [INFO ] Flow matrix only has 13782 transitions (discarded 1508 similar events)
// Phase 1: matrix 13782 rows 6499 cols
[2024-05-25 10:07:35] [INFO ] Computed 105 invariants in 891 ms
[2024-05-25 10:07:35] [INFO ] State equation strengthened by 6352 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/110 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/110 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (OVERLAPS) 6277/6387 variables, 23/27 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/6387 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (OVERLAPS) 6/6393 variables, 6/33 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/6393 variables, 0/33 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 6 (OVERLAPS) 71/6464 variables, 37/70 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/6464 variables, 0/70 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 8 (OVERLAPS) 32/6496 variables, 32/102 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/6496 variables, 0/102 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 10 (OVERLAPS) 3/6499 variables, 3/105 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/6499 variables, 0/105 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 12 (OVERLAPS) 13782/20281 variables, 6499/6604 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/20281 variables, 6352/12956 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/20281 variables, 0/12956 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 15 (OVERLAPS) 0/20281 variables, 0/12956 constraints. Problems are: Problem set: 0 solved, 4 unsolved
No progress, stopping.
After SMT solving in domain Real declared 20281/20281 variables, and 12956 constraints, problems are : Problem set: 0 solved, 4 unsolved in 39499 ms.
Refiners :[Positive P Invariants (semi-flows): 65/65 constraints, Generalized P Invariants (flows): 40/40 constraints, State Equation: 6499/6499 constraints, ReadFeed: 6352/6352 constraints, PredecessorRefiner: 4/3 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/110 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/110 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (OVERLAPS) 6277/6387 variables, 23/27 constraints. Problems are: Problem set: 0 solved, 4 unsolved
[2024-05-25 10:08:23] [INFO ] Deduced a trap composed of 1241 places in 7062 ms of which 42 ms to minimize.
[2024-05-25 10:08:30] [INFO ] Deduced a trap composed of 258 places in 6950 ms of which 42 ms to minimize.
[2024-05-25 10:08:37] [INFO ] Deduced a trap composed of 1058 places in 7076 ms of which 43 ms to minimize.
[2024-05-25 10:08:45] [INFO ] Deduced a trap composed of 1362 places in 7172 ms of which 42 ms to minimize.
[2024-05-25 10:08:52] [INFO ] Deduced a trap composed of 1292 places in 7123 ms of which 45 ms to minimize.
[2024-05-25 10:08:59] [INFO ] Deduced a trap composed of 409 places in 7092 ms of which 46 ms to minimize.
[2024-05-25 10:09:07] [INFO ] Deduced a trap composed of 1326 places in 7475 ms of which 44 ms to minimize.
[2024-05-25 10:09:14] [INFO ] Deduced a trap composed of 1792 places in 7132 ms of which 42 ms to minimize.
[2024-05-25 10:09:21] [INFO ] Deduced a trap composed of 310 places in 7124 ms of which 49 ms to minimize.
[2024-05-25 10:09:28] [INFO ] Deduced a trap composed of 1250 places in 7102 ms of which 42 ms to minimize.
[2024-05-25 10:09:35] [INFO ] Deduced a trap composed of 284 places in 6790 ms of which 43 ms to minimize.
[2024-05-25 10:09:42] [INFO ] Deduced a trap composed of 462 places in 7050 ms of which 44 ms to minimize.
[2024-05-25 10:09:49] [INFO ] Deduced a trap composed of 2186 places in 7091 ms of which 43 ms to minimize.
SMT process timed out in 134894ms, After SMT, problems are : Problem set: 0 solved, 4 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 110 out of 6499 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6499/6499 places, 15290/15290 transitions.
Applied a total of 0 rules in 1607 ms. Remains 6499 /6499 variables (removed 0) and now considering 15290/15290 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1607 ms. Remains : 6499/6499 places, 15290/15290 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6499/6499 places, 15290/15290 transitions.
Applied a total of 0 rules in 1574 ms. Remains 6499 /6499 variables (removed 0) and now considering 15290/15290 (removed 0) transitions.
[2024-05-25 10:09:53] [INFO ] Flow matrix only has 13782 transitions (discarded 1508 similar events)
[2024-05-25 10:09:53] [INFO ] Invariant cache hit.
[2024-05-25 10:10:06] [INFO ] Implicit Places using invariants in 13036 ms returned []
Implicit Place search using SMT only with invariants took 13048 ms to find 0 implicit places.
Running 15195 sub problems to find dead transitions.
[2024-05-25 10:10:06] [INFO ] Flow matrix only has 13782 transitions (discarded 1508 similar events)
[2024-05-25 10:10:06] [INFO ] Invariant cache hit.
[2024-05-25 10:10:06] [INFO ] State equation strengthened by 6352 read => feed constraints.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/6497 variables, 61/61 constraints. Problems are: Problem set: 0 solved, 15195 unsolved
SMT process timed out in 76847ms, After SMT, problems are : Problem set: 0 solved, 15195 unsolved
Search for dead transitions found 0 dead transitions in 76993ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 91659 ms. Remains : 6499/6499 places, 15290/15290 transitions.
Attempting over-approximation, by ignoring read arcs.
Graph (trivial) has 5805 edges and 6499 vertex of which 29 / 6499 are part of one of the 2 SCC in 13 ms
Free SCC test removed 27 places
Drop transitions (Empty/Sink Transition effects.) removed 798 transitions
Ensure Unique test removed 1613 transitions
Reduce isomorphic transitions removed 2411 transitions.
Graph (complete) has 20057 edges and 6472 vertex of which 6450 are kept as prefixes of interest. Removing 22 places using SCC suffix rule.3 ms
Discarding 22 places :
Also discarding 0 output transitions
Ensure Unique test removed 32 places
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Remove reverse transitions (loop back) rule discarded transition Node15IsNotRespondingToNode18ToReplaceNode16.Node18IsBecomingTheNewNodeMaster and 1 places that fell out of Prefix Of Interest.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 318 transitions
Trivial Post-agglo rules discarded 318 transitions
Performed 318 trivial Post agglomeration. Transition count delta: 318
Iterating post reduction 0 with 320 rules applied. Total rules applied 322 place count 6417 transition count 12559
Reduce places removed 318 places and 0 transitions.
Ensure Unique test removed 310 transitions
Reduce isomorphic transitions removed 310 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 309 transitions
Trivial Post-agglo rules discarded 309 transitions
Performed 309 trivial Post agglomeration. Transition count delta: 309
Iterating post reduction 1 with 937 rules applied. Total rules applied 1259 place count 6099 transition count 11940
Reduce places removed 309 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 38 transitions
Ensure Unique test removed 261 transitions
Reduce isomorphic transitions removed 299 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 256 transitions
Trivial Post-agglo rules discarded 256 transitions
Performed 256 trivial Post agglomeration. Transition count delta: 256
Iterating post reduction 2 with 864 rules applied. Total rules applied 2123 place count 5790 transition count 11385
Reduce places removed 256 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Ensure Unique test removed 246 transitions
Reduce isomorphic transitions removed 247 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 245 transitions
Trivial Post-agglo rules discarded 245 transitions
Performed 245 trivial Post agglomeration. Transition count delta: 245
Iterating post reduction 3 with 748 rules applied. Total rules applied 2871 place count 5534 transition count 10893
Reduce places removed 245 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 30 transitions
Ensure Unique test removed 205 transitions
Reduce isomorphic transitions removed 235 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 199 transitions
Trivial Post-agglo rules discarded 199 transitions
Performed 199 trivial Post agglomeration. Transition count delta: 199
Iterating post reduction 4 with 679 rules applied. Total rules applied 3550 place count 5289 transition count 10459
Reduce places removed 199 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Ensure Unique test removed 189 transitions
Reduce isomorphic transitions removed 190 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 187 transitions
Trivial Post-agglo rules discarded 187 transitions
Performed 187 trivial Post agglomeration. Transition count delta: 187
Iterating post reduction 5 with 576 rules applied. Total rules applied 4126 place count 5090 transition count 10082
Reduce places removed 187 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 22 transitions
Ensure Unique test removed 155 transitions
Reduce isomorphic transitions removed 177 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 152 transitions
Trivial Post-agglo rules discarded 152 transitions
Performed 152 trivial Post agglomeration. Transition count delta: 152
Iterating post reduction 6 with 516 rules applied. Total rules applied 4642 place count 4903 transition count 9753
Reduce places removed 152 places and 0 transitions.
Ensure Unique test removed 143 transitions
Reduce isomorphic transitions removed 143 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 143 transitions
Trivial Post-agglo rules discarded 143 transitions
Performed 143 trivial Post agglomeration. Transition count delta: 143
Iterating post reduction 7 with 438 rules applied. Total rules applied 5080 place count 4751 transition count 9467
Reduce places removed 143 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 17 transitions
Ensure Unique test removed 118 transitions
Reduce isomorphic transitions removed 135 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 116 transitions
Trivial Post-agglo rules discarded 116 transitions
Performed 116 trivial Post agglomeration. Transition count delta: 116
Iterating post reduction 8 with 394 rules applied. Total rules applied 5474 place count 4608 transition count 9216
Reduce places removed 116 places and 0 transitions.
Ensure Unique test removed 107 transitions
Reduce isomorphic transitions removed 107 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 107 transitions
Trivial Post-agglo rules discarded 107 transitions
Performed 107 trivial Post agglomeration. Transition count delta: 107
Iterating post reduction 9 with 330 rules applied. Total rules applied 5804 place count 4492 transition count 9002
Reduce places removed 107 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 12 transitions
Ensure Unique test removed 86 transitions
Reduce isomorphic transitions removed 98 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 84 transitions
Trivial Post-agglo rules discarded 84 transitions
Performed 84 trivial Post agglomeration. Transition count delta: 84
Iterating post reduction 10 with 289 rules applied. Total rules applied 6093 place count 4385 transition count 8820
Reduce places removed 84 places and 0 transitions.
Ensure Unique test removed 75 transitions
Reduce isomorphic transitions removed 75 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 75 transitions
Trivial Post-agglo rules discarded 75 transitions
Performed 75 trivial Post agglomeration. Transition count delta: 75
Iterating post reduction 11 with 234 rules applied. Total rules applied 6327 place count 4301 transition count 8670
Reduce places removed 75 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 9 transitions
Ensure Unique test removed 57 transitions
Reduce isomorphic transitions removed 66 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 55 transitions
Trivial Post-agglo rules discarded 55 transitions
Performed 55 trivial Post agglomeration. Transition count delta: 55
Iterating post reduction 12 with 196 rules applied. Total rules applied 6523 place count 4226 transition count 8549
Reduce places removed 55 places and 0 transitions.
Ensure Unique test removed 47 transitions
Reduce isomorphic transitions removed 47 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 46 transitions
Trivial Post-agglo rules discarded 46 transitions
Performed 46 trivial Post agglomeration. Transition count delta: 46
Iterating post reduction 13 with 148 rules applied. Total rules applied 6671 place count 4171 transition count 8456
Reduce places removed 46 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Ensure Unique test removed 31 transitions
Reduce isomorphic transitions removed 37 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 29 transitions
Trivial Post-agglo rules discarded 29 transitions
Performed 29 trivial Post agglomeration. Transition count delta: 29
Iterating post reduction 14 with 112 rules applied. Total rules applied 6783 place count 4125 transition count 8390
Reduce places removed 29 places and 0 transitions.
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 21 transitions
Trivial Post-agglo rules discarded 21 transitions
Performed 21 trivial Post agglomeration. Transition count delta: 21
Iterating post reduction 15 with 71 rules applied. Total rules applied 6854 place count 4096 transition count 8348
Reduce places removed 21 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 12 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 16 with 42 rules applied. Total rules applied 6896 place count 4075 transition count 8327
Reduce places removed 9 places and 0 transitions.
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Iterating post reduction 17 with 42 rules applied. Total rules applied 6938 place count 4066 transition count 8294
Reduce places removed 33 places and 0 transitions.
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 18 with 41 rules applied. Total rules applied 6979 place count 4033 transition count 8286
Performed 35 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 19 with 35 Pre rules applied. Total rules applied 6979 place count 4033 transition count 8251
Deduced a syphon composed of 35 places in 6 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 19 with 70 rules applied. Total rules applied 7049 place count 3998 transition count 8251
Discarding 719 places :
Symmetric choice reduction at 19 with 719 rule applications. Total rules 7768 place count 3279 transition count 7523
Iterating global reduction 19 with 719 rules applied. Total rules applied 8487 place count 3279 transition count 7523
Ensure Unique test removed 418 transitions
Reduce isomorphic transitions removed 418 transitions.
Iterating post reduction 19 with 418 rules applied. Total rules applied 8905 place count 3279 transition count 7105
Performed 2576 Post agglomeration using F-continuation condition.Transition count delta: 2576
Deduced a syphon composed of 2576 places in 2 ms
Reduce places removed 2576 places and 0 transitions.
Iterating global reduction 20 with 5152 rules applied. Total rules applied 14057 place count 703 transition count 4529
Drop transitions (Empty/Sink Transition effects.) removed 1967 transitions
Ensure Unique test removed 397 transitions
Reduce isomorphic transitions removed 2364 transitions.
Iterating post reduction 20 with 2364 rules applied. Total rules applied 16421 place count 703 transition count 2165
Renaming transitions due to excessive name length > 1024 char.
Discarding 194 places :
Symmetric choice reduction at 21 with 194 rule applications. Total rules 16615 place count 509 transition count 1666
Iterating global reduction 21 with 194 rules applied. Total rules applied 16809 place count 509 transition count 1666
Ensure Unique test removed 67 transitions
Reduce isomorphic transitions removed 67 transitions.
Iterating post reduction 21 with 67 rules applied. Total rules applied 16876 place count 509 transition count 1599
Discarding 1 places :
Symmetric choice reduction at 22 with 1 rule applications. Total rules 16877 place count 508 transition count 1583
Iterating global reduction 22 with 1 rules applied. Total rules applied 16878 place count 508 transition count 1583
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: -164
Deduced a syphon composed of 16 places in 0 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 22 with 32 rules applied. Total rules applied 16910 place count 492 transition count 1747
Drop transitions (Redundant composition of simpler transitions.) removed 205 transitions
Redundant transition composition rules discarded 205 transitions
Iterating global reduction 22 with 205 rules applied. Total rules applied 17115 place count 492 transition count 1542
Drop transitions (Trivial Post-Agglo cleanup.) removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 22 with 6 rules applied. Total rules applied 17121 place count 492 transition count 1536
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 23 with 6 rules applied. Total rules applied 17127 place count 486 transition count 1536
Discarding 64 places :
Symmetric choice reduction at 24 with 64 rule applications. Total rules 17191 place count 422 transition count 1366
Iterating global reduction 24 with 64 rules applied. Total rules applied 17255 place count 422 transition count 1366
Ensure Unique test removed 69 transitions
Reduce isomorphic transitions removed 69 transitions.
Iterating post reduction 24 with 69 rules applied. Total rules applied 17324 place count 422 transition count 1297
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 25 with 2 rules applied. Total rules applied 17326 place count 421 transition count 1296
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 25 with 6 rules applied. Total rules applied 17332 place count 421 transition count 1290
Discarding 5 places :
Symmetric choice reduction at 26 with 5 rule applications. Total rules 17337 place count 416 transition count 1285
Iterating global reduction 26 with 5 rules applied. Total rules applied 17342 place count 416 transition count 1285
Ensure Unique test removed 39 transitions
Reduce isomorphic transitions removed 39 transitions.
Iterating post reduction 26 with 39 rules applied. Total rules applied 17381 place count 416 transition count 1246
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: -37
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 27 with 10 rules applied. Total rules applied 17391 place count 411 transition count 1283
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 27 with 10 rules applied. Total rules applied 17401 place count 411 transition count 1273
Discarding 8 places :
Symmetric choice reduction at 27 with 8 rule applications. Total rules 17409 place count 403 transition count 1247
Iterating global reduction 27 with 8 rules applied. Total rules applied 17417 place count 403 transition count 1247
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 27 with 5 rules applied. Total rules applied 17422 place count 403 transition count 1242
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -17
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 28 with 2 rules applied. Total rules applied 17424 place count 402 transition count 1259
Free-agglomeration rule applied 5 times.
Iterating global reduction 28 with 5 rules applied. Total rules applied 17429 place count 402 transition count 1254
Reduce places removed 5 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 28 with 6 rules applied. Total rules applied 17435 place count 397 transition count 1253
Drop transitions (Redundant composition of simpler transitions.) removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 29 with 2 rules applied. Total rules applied 17437 place count 397 transition count 1251
Free-agglomeration rule applied 2 times.
Iterating global reduction 29 with 2 rules applied. Total rules applied 17439 place count 397 transition count 1249
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 29 with 2 rules applied. Total rules applied 17441 place count 395 transition count 1249
Free-agglomeration rule (complex) applied 27 times.
Iterating global reduction 30 with 27 rules applied. Total rules applied 17468 place count 395 transition count 1222
Reduce places removed 27 places and 0 transitions.
Iterating post reduction 30 with 27 rules applied. Total rules applied 17495 place count 368 transition count 1222
Partial Free-agglomeration rule applied 88 times.
Drop transitions (Partial Free agglomeration) removed 88 transitions
Iterating global reduction 31 with 88 rules applied. Total rules applied 17583 place count 368 transition count 1222
Partial Post-agglomeration rule applied 173 times.
Drop transitions (Partial Post agglomeration) removed 173 transitions
Iterating global reduction 31 with 173 rules applied. Total rules applied 17756 place count 368 transition count 1222
Discarding 8 places :
Symmetric choice reduction at 31 with 8 rule applications. Total rules 17764 place count 360 transition count 1206
Iterating global reduction 31 with 8 rules applied. Total rules applied 17772 place count 360 transition count 1206
Applied a total of 17772 rules in 17432 ms. Remains 360 /6499 variables (removed 6139) and now considering 1206/15290 (removed 14084) transitions.
Running SMT prover for 4 properties.
// Phase 1: matrix 1206 rows 360 cols
[2024-05-25 10:11:40] [INFO ] Computed 51 invariants in 13 ms
[2024-05-25 10:11:40] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2024-05-25 10:11:40] [INFO ] [Real]Absence check using 11 positive and 40 generalized place invariants in 9 ms returned sat
[2024-05-25 10:11:40] [INFO ] After 144ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2024-05-25 10:11:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 5 ms returned sat
[2024-05-25 10:11:40] [INFO ] [Nat]Absence check using 11 positive and 40 generalized place invariants in 8 ms returned sat
[2024-05-25 10:11:41] [INFO ] After 621ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
TRAPS : Iteration 0
[2024-05-25 10:11:42] [INFO ] After 1090ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :4
[2024-05-25 10:11:42] [INFO ] After 1718ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :4
[2024-05-25 10:11:42] [INFO ] Flatten gal took : 36 ms
[2024-05-25 10:11:42] [INFO ] Flatten gal took : 35 ms
[2024-05-25 10:11:42] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4902810394328675802.gal : 10 ms
[2024-05-25 10:11:42] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15236991743711309728.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4902810394328675802.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality15236991743711309728.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality15236991743711309728.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 350
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :350 after 649
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :649 after 664
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :664 after 692
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :692 after 722
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :722 after 767
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :767 after 783
Invariant property MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-03 does not hold.
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :783 after 810
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :810 after 7524
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :7524 after 7883
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :7883 after 7963
SDD proceeding with computation,3 properties remain. new max is 4096
SDD size :7963 after 43853
SDD proceeding with computation,3 properties remain. new max is 8192
SDD size :43853 after 168129
SDD proceeding with computation,3 properties remain. new max is 16384
SDD size :168129 after 486820
Detected timeout of ITS tools.
[2024-05-25 10:11:57] [INFO ] Flatten gal took : 34 ms
[2024-05-25 10:11:57] [INFO ] Applying decomposition
[2024-05-25 10:11:57] [INFO ] Flatten gal took : 35 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph2000269269240393151.txt' '-o' '/tmp/graph2000269269240393151.bin' '-w' '/tmp/graph2000269269240393151.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph2000269269240393151.bin' '-l' '-1' '-v' '-w' '/tmp/graph2000269269240393151.weights' '-q' '0' '-e' '0.001'
[2024-05-25 10:11:57] [INFO ] Decomposing Gal with order
[2024-05-25 10:11:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-25 10:11:58] [INFO ] Removed a total of 873 redundant transitions.
[2024-05-25 10:11:58] [INFO ] Flatten gal took : 236 ms
[2024-05-25 10:11:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 128 labels/synchronizations in 19 ms.
[2024-05-25 10:11:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality743727314562651414.gal : 13 ms
[2024-05-25 10:11:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4009424501629735704.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality743727314562651414.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality4009424501629735704.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...306
Loading property file /tmp/ReachabilityCardinality4009424501629735704.prop.
SDD proceeding with computation,3 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,3 properties remain. new max is 8
SDD size :5 after 5
Invariant property MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-07 does not hold.
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :5 after 785
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :785 after 1015
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :1015 after 1240
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :1240 after 1815
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :1815 after 2100
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :2100 after 2114
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :2114 after 2114
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :2114 after 2114
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :2114 after 2114
SDD proceeding with computation,2 properties remain. new max is 4096
SDD size :2114 after 2114
Reachability property MultiCrashLeafsetExtension-PT-S32C07-ReachabilityFireability-2024-11 is true.
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :2114 after 6034
SDD proceeding with computation,1 properties remain. new max is 8192
SDD size :6034 after 33049
SDD proceeding with computation,1 properties remain. new max is 16384
SDD size :33049 after 33259
Detected timeout of ITS tools.
Over-approximation ignoring read arcs solved 0 properties in 50224 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
[2024-05-25 10:12:14] [INFO ] Flatten gal took : 955 ms
[2024-05-25 10:12:14] [INFO ] Applying decomposition
[2024-05-25 10:12:15] [INFO ] Flatten gal took : 966 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph11820497335718668595.txt' '-o' '/tmp/graph11820497335718668595.bin' '-w' '/tmp/graph11820497335718668595.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph11820497335718668595.bin' '-l' '-1' '-v' '-w' '/tmp/graph11820497335718668595.weights' '-q' '0' '-e' '0.001'
[2024-05-25 10:12:17] [INFO ] Decomposing Gal with order
[2024-05-25 10:12:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-25 10:12:37] [INFO ] Removed a total of 26356 redundant transitions.
[2024-05-25 10:12:38] [INFO ] Flatten gal took : 5459 ms
[2024-05-25 10:12:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 5727 labels/synchronizations in 1494 ms.
[2024-05-25 10:12:41] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12747896644226516957.gal : 443 ms
[2024-05-25 10:12:41] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2509179323749847303.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality12747896644226516957.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality2509179323749847303.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Loading property file /tmp/ReachabilityCardinality2509179323749847303.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 4096
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 8192
SDD size :1 after 1
SDD proceeding with computation,4 properties remain. new max is 16384
SDD size :1 after 1
BK_STOP 1716632233862
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C07"
export BK_EXAMINATION="ReachabilityFireability"
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-5568"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S32C07, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r246-tall-171654351100191"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C07.tgz
mv MultiCrashLeafsetExtension-PT-S32C07 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;