About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15204.344 | 3600000.00 | 7817154.00 | 6871.70 | T?FT?TTTFFTFFTFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r246-tall-171654351000134.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-S24C11, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r246-tall-171654351000134
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 19M
-rw-r--r-- 1 mcc users 15K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K May 19 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 18:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K Apr 12 06:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Apr 12 06:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K 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 19M 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-S24C11-ReachabilityCardinality-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1716608995219
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C11
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
ReachabilityCardinality PT
Running Version 202405141337
[2024-05-25 03:49:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-25 03:49:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 03:49:57] [INFO ] Load time of PNML (sax parser for PT used): 801 ms
[2024-05-25 03:49:57] [INFO ] Transformed 19254 places.
[2024-05-25 03:49:57] [INFO ] Transformed 27973 transitions.
[2024-05-25 03:49:57] [INFO ] Parsed PT model containing 19254 places and 27973 transitions and 103022 arcs in 1027 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 27 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (352 resets) in 6685 ms. (5 steps per ms) remains 13/16 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (72 resets) in 1209 ms. (33 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (72 resets) in 795 ms. (50 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (72 resets) in 626 ms. (63 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (72 resets) in 887 ms. (45 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (72 resets) in 1013 ms. (39 steps per ms) remains 13/13 properties
[2024-05-25 03:50:01] [INFO ] Flatten gal took : 2367 ms
BEST_FIRST walk for 40003 steps (72 resets) in 1026 ms. (38 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (72 resets) in 817 ms. (48 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (72 resets) in 526 ms. (75 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (72 resets) in 492 ms. (81 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (72 resets) in 506 ms. (78 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (72 resets) in 451 ms. (88 steps per ms) remains 13/13 properties
[2024-05-25 03:50:02] [INFO ] Flatten gal took : 1042 ms
BEST_FIRST walk for 40004 steps (72 resets) in 1639 ms. (24 steps per ms) remains 12/13 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-12 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
[2024-05-25 03:50:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15544801180798802345.gal : 404 ms
[2024-05-25 03:50:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality49214842015092083.prop : 12 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/ReachabilityCardinality15544801180798802345.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality49214842015092083.prop' '--nowitness' '--gen-order' 'FOLLOW'
BEST_FIRST walk for 40004 steps (72 resets) in 601 ms. (66 steps per ms) remains 12/12 properties
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 ...327
[2024-05-25 03:50:03] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19254 cols
[2024-05-25 03:50:06] [INFO ] Computed 1299 invariants in 2688 ms
[2024-05-25 03:50:06] [INFO ] State equation strengthened by 8602 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/253 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 12 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-06 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-06 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-15 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-15 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 1 (OVERLAPS) 2326/2579 variables, 11/11 constraints. Problems are: Problem set: 2 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2579 variables, 0/11 constraints. Problems are: Problem set: 2 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 2/2581 variables, 2/13 constraints. Problems are: Problem set: 2 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2581 variables, 0/13 constraints. Problems are: Problem set: 2 solved, 10 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-03 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-03 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-05 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-05 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-08 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-08 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-10 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-10 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-11 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-11 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-13 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-13 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-14 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-14 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 5 (OVERLAPS) 10847/13428 variables, 432/445 constraints. Problems are: Problem set: 9 solved, 3 unsolved
Loading property file /tmp/ReachabilityCardinality49214842015092083.prop.
At refinement iteration 6 (INCLUDED_ONLY) 0/13428 variables, 0/445 constraints. Problems are: Problem set: 9 solved, 3 unsolved
At refinement iteration 7 (OVERLAPS) 63/13491 variables, 63/508 constraints. Problems are: Problem set: 9 solved, 3 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/13491 variables, 0/508 constraints. Problems are: Problem set: 9 solved, 3 unsolved
SMT process timed out in 8439ms, After SMT, problems are : Problem set: 9 solved, 3 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 125 out of 19254 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19254/19254 places, 27973/27973 transitions.
Graph (complete) has 60623 edges and 19254 vertex of which 19204 are kept as prefixes of interest. Removing 50 places using SCC suffix rule.60 ms
Discarding 50 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 6468 transitions
Trivial Post-agglo rules discarded 6468 transitions
Performed 6468 trivial Post agglomeration. Transition count delta: 6468
Iterating post reduction 0 with 6468 rules applied. Total rules applied 6469 place count 19204 transition count 21505
Reduce places removed 6468 places and 0 transitions.
Performed 88 Post agglomeration using F-continuation condition.Transition count delta: 88
Iterating post reduction 1 with 6556 rules applied. Total rules applied 13025 place count 12736 transition count 21417
Reduce places removed 88 places and 0 transitions.
Iterating post reduction 2 with 88 rules applied. Total rules applied 13113 place count 12648 transition count 21417
Performed 543 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 543 Pre rules applied. Total rules applied 13113 place count 12648 transition count 20874
Deduced a syphon composed of 543 places in 29 ms
Reduce places removed 543 places and 0 transitions.
Iterating global reduction 3 with 1086 rules applied. Total rules applied 14199 place count 12105 transition count 20874
Discarding 5963 places :
Symmetric choice reduction at 3 with 5963 rule applications. Total rules 20162 place count 6142 transition count 14911
Iterating global reduction 3 with 5963 rules applied. Total rules applied 26125 place count 6142 transition count 14911
Discarding 474 places :
Symmetric choice reduction at 3 with 474 rule applications. Total rules 26599 place count 5668 transition count 9697
Iterating global reduction 3 with 474 rules applied. Total rules applied 27073 place count 5668 transition count 9697
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 9 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 3 with 48 rules applied. Total rules applied 27121 place count 5644 transition count 9673
Free-agglomeration rule (complex) applied 405 times.
Iterating global reduction 3 with 405 rules applied. Total rules applied 27526 place count 5644 transition count 13378
Reduce places removed 405 places and 0 transitions.
Iterating post reduction 3 with 405 rules applied. Total rules applied 27931 place count 5239 transition count 13378
Partial Free-agglomeration rule applied 546 times.
Drop transitions (Partial Free agglomeration) removed 546 transitions
Iterating global reduction 4 with 546 rules applied. Total rules applied 28477 place count 5239 transition count 13378
Applied a total of 28477 rules in 7170 ms. Remains 5239 /19254 variables (removed 14015) and now considering 13378/27973 (removed 14595) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7191 ms. Remains : 5239/19254 places, 13378/27973 transitions.
RANDOM walk for 40000 steps (573 resets) in 2781 ms. (14 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (80 resets) in 679 ms. (58 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (80 resets) in 776 ms. (51 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (80 resets) in 573 ms. (69 steps per ms) remains 3/3 properties
Interrupted probabilistic random walk after 17351 steps, run timeout after 3001 ms. (steps per millisecond=5 ) properties seen :0 out of 3
Probabilistic random walk after 17351 steps, saw 8241 distinct states, run finished after 3008 ms. (steps per millisecond=5 ) properties seen :0
[2024-05-25 03:50:23] [INFO ] Flow matrix only has 12493 transitions (discarded 885 similar events)
// Phase 1: matrix 12493 rows 5239 cols
[2024-05-25 03:50:24] [INFO ] Computed 1249 invariants in 403 ms
[2024-05-25 03:50:24] [INFO ] State equation strengthened by 7972 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/125 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 3488/3613 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3613 variables, 2/7 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3613 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (OVERLAPS) 1383/4996 variables, 999/1006 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/4996 variables, 0/1006 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 6 (OVERLAPS) 44/5040 variables, 44/1050 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5040 variables, 0/1050 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 199/5239 variables, 199/1249 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/5239 variables, 0/1249 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 10 (OVERLAPS) 12493/17732 variables, 5239/6488 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/17732 variables, 7972/14460 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/17732 variables, 0/14460 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 13 (OVERLAPS) 0/17732 variables, 0/14460 constraints. Problems are: Problem set: 0 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Real declared 17732/17732 variables, and 14460 constraints, problems are : Problem set: 0 solved, 3 unsolved in 11383 ms.
Refiners :[Positive P Invariants (semi-flows): 49/49 constraints, Generalized P Invariants (flows): 1200/1200 constraints, State Equation: 5239/5239 constraints, ReadFeed: 7972/7972 constraints, PredecessorRefiner: 3/3 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/125 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-00 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C11-ReachabilityCardinality-2024-00 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 1 (OVERLAPS) 3488/3613 variables, 5/5 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3613 variables, 2/7 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3613 variables, 0/7 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 4 (OVERLAPS) 1383/4996 variables, 999/1006 constraints. Problems are: Problem set: 1 solved, 2 unsolved
[2024-05-25 03:50:45] [INFO ] Deduced a trap composed of 6 places in 8758 ms of which 242 ms to minimize.
[2024-05-25 03:50:54] [INFO ] Deduced a trap composed of 40 places in 8261 ms of which 47 ms to minimize.
[2024-05-25 03:51:01] [INFO ] Deduced a trap composed of 633 places in 7675 ms of which 32 ms to minimize.
[2024-05-25 03:51:09] [INFO ] Deduced a trap composed of 71 places in 7807 ms of which 33 ms to minimize.
[2024-05-25 03:51:17] [INFO ] Deduced a trap composed of 99 places in 8050 ms of which 37 ms to minimize.
[2024-05-25 03:51:26] [INFO ] Deduced a trap composed of 124 places in 8169 ms of which 37 ms to minimize.
SMT process timed out in 62482ms, After SMT, problems are : Problem set: 1 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 84 out of 5239 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5239/5239 places, 13378/13378 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 14 transitions
Trivial Post-agglo rules discarded 14 transitions
Performed 14 trivial Post agglomeration. Transition count delta: 14
Iterating post reduction 0 with 14 rules applied. Total rules applied 14 place count 5239 transition count 13364
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 1 with 14 rules applied. Total rules applied 28 place count 5225 transition count 13364
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 28 place count 5225 transition count 13362
Deduced a syphon composed of 2 places in 7 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 32 place count 5223 transition count 13362
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 34 place count 5223 transition count 13560
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 36 place count 5221 transition count 13560
Partial Free-agglomeration rule applied 29 times.
Drop transitions (Partial Free agglomeration) removed 29 transitions
Iterating global reduction 3 with 29 rules applied. Total rules applied 65 place count 5221 transition count 13560
Discarding 28 places :
Symmetric choice reduction at 3 with 28 rule applications. Total rules 93 place count 5193 transition count 13532
Iterating global reduction 3 with 28 rules applied. Total rules applied 121 place count 5193 transition count 13532
Applied a total of 121 rules in 2724 ms. Remains 5193 /5239 variables (removed 46) and now considering 13532/13378 (removed -154) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2725 ms. Remains : 5193/5239 places, 13532/13378 transitions.
RANDOM walk for 40000 steps (579 resets) in 2895 ms. (13 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40003 steps (80 resets) in 658 ms. (60 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (80 resets) in 567 ms. (70 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 17958 steps, run timeout after 3001 ms. (steps per millisecond=5 ) properties seen :0 out of 2
Probabilistic random walk after 17958 steps, saw 8511 distinct states, run finished after 3001 ms. (steps per millisecond=5 ) properties seen :0
[2024-05-25 03:51:33] [INFO ] Flow matrix only has 12647 transitions (discarded 885 similar events)
// Phase 1: matrix 12647 rows 5193 cols
[2024-05-25 03:51:33] [INFO ] Computed 1249 invariants in 400 ms
[2024-05-25 03:51:33] [INFO ] State equation strengthened by 8172 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/84 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 3469/3553 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3553 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 1395/4948 variables, 999/1004 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/4948 variables, 0/1004 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 44/4992 variables, 44/1048 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/4992 variables, 0/1048 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 201/5193 variables, 201/1249 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/5193 variables, 0/1249 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 12647/17840 variables, 5193/6442 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/17840 variables, 8172/14614 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/17840 variables, 0/14614 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (OVERLAPS) 0/17840 variables, 0/14614 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 17840/17840 variables, and 14614 constraints, problems are : Problem set: 0 solved, 2 unsolved in 8982 ms.
Refiners :[Positive P Invariants (semi-flows): 49/49 constraints, Generalized P Invariants (flows): 1200/1200 constraints, State Equation: 5193/5193 constraints, ReadFeed: 8172/8172 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/84 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 3469/3553 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-25 03:51:47] [INFO ] Deduced a trap composed of 1678 places in 3166 ms of which 13 ms to minimize.
[2024-05-25 03:51:48] [INFO ] Deduced a trap composed of 1539 places in 1699 ms of which 12 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/3553 variables, 2/7 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3553 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (OVERLAPS) 1395/4948 variables, 999/1006 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-25 03:51:57] [INFO ] Deduced a trap composed of 6 places in 7532 ms of which 31 ms to minimize.
[2024-05-25 03:52:04] [INFO ] Deduced a trap composed of 628 places in 7602 ms of which 34 ms to minimize.
[2024-05-25 03:52:15] [INFO ] Deduced a trap composed of 40 places in 10079 ms of which 36 ms to minimize.
[2024-05-25 03:52:22] [INFO ] Deduced a trap composed of 599 places in 7779 ms of which 37 ms to minimize.
[2024-05-25 03:52:30] [INFO ] Deduced a trap composed of 518 places in 7688 ms of which 38 ms to minimize.
[2024-05-25 03:52:38] [INFO ] Deduced a trap composed of 628 places in 8071 ms of which 41 ms to minimize.
[2024-05-25 03:52:46] [INFO ] Deduced a trap composed of 599 places in 7848 ms of which 35 ms to minimize.
[2024-05-25 03:52:54] [INFO ] Deduced a trap composed of 554 places in 7922 ms of which 39 ms to minimize.
[2024-05-25 03:53:02] [INFO ] Deduced a trap composed of 71 places in 7728 ms of which 35 ms to minimize.
SMT process timed out in 89580ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 84 out of 5193 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5193/5193 places, 13532/13532 transitions.
Applied a total of 0 rules in 838 ms. Remains 5193 /5193 variables (removed 0) and now considering 13532/13532 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 838 ms. Remains : 5193/5193 places, 13532/13532 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5193/5193 places, 13532/13532 transitions.
Applied a total of 0 rules in 852 ms. Remains 5193 /5193 variables (removed 0) and now considering 13532/13532 (removed 0) transitions.
[2024-05-25 03:53:04] [INFO ] Flow matrix only has 12647 transitions (discarded 885 similar events)
[2024-05-25 03:53:04] [INFO ] Invariant cache hit.
[2024-05-25 03:53:26] [INFO ] Implicit Places using invariants in 22282 ms returned [4, 7, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 24, 30, 38, 48, 60, 76, 92, 110, 130, 152, 175, 197, 200, 201, 202, 203, 204, 205, 207, 208, 209, 230, 248, 264, 278, 290, 300, 310, 316, 320, 322, 347, 353, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 368, 372, 378, 386, 396, 408, 422, 438, 456, 476, 497, 517, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 546, 562, 576, 588, 598, 606, 612, 616, 618, 620, 646, 652, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 667, 669, 673, 679, 687, 697, 709, 723, 739, 757, 776, 794, 795, 796, 799, 800, 801, 802, 804, 805, 824, 838, 850, 860, 868, 876, 880, 882, 884, 886, 911, 917, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 930, 932, 934, 936, 940, 946, 954, 964, 976, 990, 1006, 1023, 1040, 1041, 1042, 1044, 1045, 1046, 1047, 1050, 1051, 1068, 1082, 1092, 1100, 1106, 1110, 1112, 1114, 1116, 1118, 1143, 1149, 1152, 1153, 1154, 1155, 1158, 1160, 1161, 1162, 1165, 1167, 1170, 1172, 1177, 1183, 1193, 1203, 1215, 1229, 1244, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1281, 1291, 1299, 1305, 1309, 1311, 1313, 1315, 1317, 1319, 1344, 1350, 1352, 1353, 1354, 1355, 1356, 1357, 1358, 1359, 1360, 1361, 1362, 1363, 1365, 1367, 1369, 1371, 1373, 1377, 1383, 1391, 1401, 1413, 1426, 1439, 1440, 1441, 1442, 1444, 1445, 1446, 1448, 1449, 1461, 1469, 1475, 1479, 1481, 1483, 1485, 1487, 1491, 1493, 1520, 1526, 1528, 1529, 1531, 1532, 1533, 1534, 1536, 1538, 1539, 1541, 1543, 1545, 1547, 1549, 1551, 1555, 1562, 1570, 1581, 1593, 1605, 1606, 1607, 1608, 1609, 1610, 1611, 1612, 1613, 1614, 1615, 1616, 1624, 1630, 1634, 1636, 1638, 1640, 1642, 1644, 1646, 1648, 1673, 1679, 1681, 1682, 1685, 1686, 1687, 1688, 1689, 1690, 1691, 1692, 1694, 1696, 1698, 1700, 1702, 1706, 1709, 1713, 1719, 1727, 1736, 1744, 1745, 1746, 1747, 1750, 1751, 1752, 1753, 1754, 1755, 1761, 1765, 1769, 1771, 1774, 1776, 1778, 1780, 1782, 1784, 1809, 1815, 1817, 1818, 1819, 1820, 1821, 1822, 1823, 1824, 1825, 1826, 1827, 1828, 1830, 1832, 1834, 1836, 1838, 1840, 1842, 1844, 1848, 1854, 1861, 1867, 1868, 1869, 1870, 1871, 1872, 1873, 1874, 1875, 1876, 1878, 1882, 1884, 1887, 1889, 1891, 1893, 1895, 1897, 1899, 1901, 1927, 1933, 1935, 1936, 1937, 1938, 1939, 1940, 1941, 1942, 1943, 1946, 1948, 1950, 1952, 1954, 1958, 1960, 1963, 1965, 1967, 1971, 1976, 1980, 1981, 1982, 1983, 1984, 1985, 1986, 1987, 1988, 1989, 1990, 1991, 1993, 1995, 1997, 1999, 2001, 2003, 2005, 2007, 2009, 2011, 2036, 2042, 2046, 2047, 2048, 2050, 2051, 2052, 2053, 2054, 2055, 2059, 2061, 2063, 2065, 2067, 2069, 2071, 2073, 2076, 2078, 2081, 2083, 2084, 2085, 2086, 2087, 2088, 2089, 2090, 2091, 2092, 2093, 2094, 2096, 2098, 2100, 2102, 2104, 2106, 2108, 2110, 2112, 2114, 2139, 2145, 2148, 2149, 2150, 2151, 2152, 2153, 2154, 2155, 2156, 2157, 2158, 2159, 2161, 2163, 2165, 2167, 2169, 2171, 2173, 2175, 2177, 2179, 2181, 2183, 2184, 2187, 2188, 2190, 2191, 2192, 2194, 2195, 2198, 2200, 2202, 2204, 2210, 2214, 2216, 2218, 2220, 2222, 2247, 2249, 2252, 2254, 2255, 2256, 2257, 2259, 2260, 2261, 2262, 2263, 2266, 2269, 2271, 2273, 2275, 2277, 2279, 2281, 2283, 2285, 2288, 2290, 2292, 2293, 2294, 2296, 2297, 2300, 2301, 2302, 2303, 2305, 2308, 2312, 2314, 2317, 2319, 2321, 2323, 2325, 2327, 2354, 2360, 2362, 2363, 2365, 2366, 2367, 2368, 2370, 2371, 2372, 2373, 2376, 2378, 2380, 2382, 2384, 2386, 2389, 2391, 2393, 2395, 2397, 2399, 2400, 2404, 2405, 2406, 2407, 2408, 2409, 2410, 2411, 2414, 2416, 2418, 2420, 2422, 2424, 2429, 2431, 2433, 2435, 2460, 2466, 2468, 2469, 2470, 2471, 2472, 2473, 2474, 2475, 2476, 2477, 2478, 2479, 2481, 2483, 2485, 2487, 2489, 2491, 2493, 2495, 2497, 2499, 2501, 2504, 2505, 2506, 2509, 2510, 2511, 2512, 2513, 2515, 2516, 2519, 2522, 2524, 2526, 2528, 2530, 2532, 2534, 2536, 2538, 2563, 2569, 2572, 2573, 2574, 2575, 2576, 2577, 2578, 2579, 2580, 2581, 2582, 2583, 2585, 2587, 2589, 2591, 2593, 2595, 2597, 2599, 2601, 2603, 2607, 2612, 2613, 2614, 2615, 2616, 2617, 2618, 2619, 2620, 2621, 2622, 2623, 2627, 2629, 2631, 2633, 2635, 2637, 2639, 2641, 2643, 2645, 2670, 2676, 2678, 2679, 2680, 2681, 2682, 2683, 2684, 2685, 2688, 2689, 2693, 2695, 2697, 2699, 2701, 2703, 2705, 2709, 2711, 2715, 2721, 2728, 2729, 2730, 2731, 2732, 2733, 2734, 2735, 2738, 2739, 2745, 2749, 2751, 2753, 2755, 2757, 2759, 2761, 2763, 2768, 2793, 2799, 2802, 2803, 2804, 2805, 2807, 2808, 2809, 2810, 2811, 2812, 2814, 2816, 2818, 2820, 2822, 2824, 2826, 2828, 2832, 2840, 2850, 2859, 2860, 2861, 2862, 2863, 2864, 2865, 2866, 2867, 2868, 2869, 2870, 2878, 2884, 2888, 2890, 2892, 2894, 2896, 2898, 2900, 2902, 2927, 2933, 2935, 2936, 2937, 2938, 2939, 2940, 2941, 2942, 2943, 2944, 2945, 2946, 2948, 2950, 2952, 2954, 2956, 2958, 2960, 2964, 2970, 2978, 2988, 3000, 3002, 3003, 3004, 3005, 3006, 3007, 3008, 3009, 3010, 3011, 3021, 3029, 3039, 3041, 3044, 3046, 3048, 3050, 3052, 3077, 3083, 3085, 3086, 3087, 3088, 3089, 3090, 3091, 3092, 3093, 3094, 3095, 3096, 3098, 3100, 3102, 3104, 3106, 3108, 3112, 3118, 3126, 3136, 3148, 3161, 3162, 3163, 3164, 3165, 3166, 3167, 3168, 3169, 3170, 3171, 3172, 3184, 3194, 3202, 3208, 3212, 3214, 3216, 3218, 3220, 3222, 3247, 3253, 3255, 3256, 3257, 3258, 3259, 3260, 3261, 3262, 3263, 3264, 3265, 3266, 3268, 3270, 3272, 3274, 3276, 3280, 3286, 3294, 3304, 3316, 3330, 3345, 3346, 3347, 3348, 3349, 3350, 3351, 3352, 3353, 3354, 3355, 3356, 3370, 3382, 3392, 3400, 3406, 3410, 3412, 3414, 3416, 3418, 3443, 3449, 3451, 3452, 3453, 3454, 3455, 3456, 3457, 3458, 3459, 3460, 3461, 3462, 3464, 3466, 3468, 3470, 3474, 3480, 3488, 3498, 3510, 3524, 3540, 3558, 3561, 3562, 3564, 3565, 3566, 3567, 3568, 3585, 3599, 3612, 3622, 3630, 3636, 3640, 3642, 3647, 3649, 3675, 3681, 3683, 3684, 3685, 3686, 3687, 3688, 3689, 3690, 3692, 3693, 3694, 3697, 3699, 3701, 3705, 3711, 3719, 3729, 3741, 3755, 3771, 3789, 3808, 3809, 3810, 3811, 3812, 3813, 3814, 3815, 3816, 3817, 3818, 3819, 3837, 3853, 3867, 3879, 3889, 3897, 3903, 3907, 3909, 3911, 3937, 3944, 3946, 3947, 3948, 3949, 3950, 3951, 3952, 3953, 3954, 3955, 3956, 3957, 3959, 3961, 3965, 3971, 3979, 3989, 4001, 4015, 4031, 4049, 4069, 4090, 4091, 4092, 4093, 4094, 4095, 4096, 4098, 4099, 4100, 4101, 4121, 4139, 4156, 4170, 4182, 4192, 4200, 4206, 4210, 4212, 4237, 4239, 4242, 4244, 4245, 4246, 4247, 4248, 4249, 4250, 4251, 4252, 4253, 4254, 4255, 4257, 4261, 4267, 4275, 4285, 4297, 4311, 4327, 4345, 4365, 4387, 4410, 4411, 4412, 4413, 4414, 4415, 4416, 4417, 4418, 4419, 4420, 4421, 4443, 4463, 4481, 4497, 4511, 4523, 4533, 4541, 4547, 4551, 4576]
[2024-05-25 03:53:26] [INFO ] Actually due to overlaps returned [2247, 3077, 3247, 347, 646, 911, 1143, 1344, 1520, 1673, 1809, 1927, 2036, 2139, 2354, 2460, 2563, 2670, 2793, 2927, 3443, 3675, 3937, 4237, 4576, 4, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 197, 200, 201, 202, 203, 204, 205, 207, 208, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 517, 519, 520, 521, 522, 523, 524, 525, 526, 527, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 794, 795, 796, 799, 800, 801, 802, 804, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 1040, 1041, 1042, 1044, 1045, 1046, 1047, 1050, 1152, 1153, 1154, 1155, 1158, 1160, 1161, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1352, 1353, 1354, 1355, 1356, 1357, 1358, 1359, 1360, 1361, 1362, 1439, 1440, 1441, 1442, 1444, 1445, 1446, 1448, 1528, 1529, 1531, 1532, 1533, 1534, 1536, 1538, 1605, 1606, 1607, 1608, 1609, 1610, 1611, 1612, 1613, 1614, 1615, 1681, 1682, 1685, 1686, 1687, 1688, 1689, 1690, 1691, 1744, 1745, 1746, 1747, 1750, 1751, 1752, 1753, 1754, 1817, 1818, 1819, 1820, 1821, 1822, 1823, 1824, 1825, 1826, 1827, 1867, 1868, 1869, 1870, 1871, 1872, 1873, 1874, 1875, 1876, 1935, 1936, 1937, 1938, 1939, 1940, 1941, 1942, 1943, 1980, 1981, 1982, 1983, 1984, 1985, 1986, 1987, 1988, 1989, 1990, 2046, 2047, 2048, 2050, 2051, 2052, 2053, 2054, 2083, 2084, 2085, 2086, 2087, 2088, 2089, 2090, 2091, 2092, 2093, 2148, 2149, 2150, 2151, 2152, 2153, 2154, 2155, 2156, 2157, 2158, 2183, 2184, 2187, 2188, 2190, 2191, 2192, 2194, 2249, 2254, 2255, 2256, 2257, 2259, 2260, 2261, 2262, 2263, 2292, 2293, 2294, 2296, 2297, 2300, 2301, 2302, 2362, 2363, 2365, 2366, 2367, 2368, 2370, 2371, 2372, 2399, 2400, 2404, 2405, 2406, 2407, 2408, 2409, 2410, 2468, 2469, 2470, 2471, 2472, 2473, 2474, 2475, 2476, 2477, 2478, 2504, 2505, 2506, 2509, 2510, 2511, 2512, 2513, 2515, 2572, 2573, 2574, 2575, 2576, 2577, 2578, 2579, 2580, 2581, 2582, 2612, 2613, 2614, 2615, 2616, 2617, 2618, 2619, 2620, 2621, 2622, 2678, 2679, 2680, 2681, 2682, 2683, 2684, 2685, 2688, 2728, 2729, 2730, 2731, 2732, 2733, 2734, 2735, 2738, 2802, 2803, 2804, 2805, 2807, 2808, 2809, 2810, 2811, 2859, 2860, 2861, 2862, 2863, 2864, 2865, 2866, 2867, 2868, 2869, 2935, 2936, 2937, 2938, 2939, 2940, 2941, 2942, 2943, 2944, 2945, 3000, 3002, 3003, 3004, 3005, 3006, 3007, 3008, 3009, 3010, 3085, 3086, 3087, 3088, 3089, 3090, 3091, 3092, 3093, 3094, 3095, 3161, 3162, 3163, 3164, 3165, 3166, 3167, 3168, 3169, 3170, 3171, 3255, 3256, 3257, 3258, 3259, 3260, 3261, 3262, 3263, 3264, 3265, 3345, 3346, 3347, 3348, 3349, 3350, 3351, 3352, 3353, 3354, 3355, 3451, 3452, 3453, 3454, 3455, 3456, 3457, 3458, 3459, 3460, 3461, 3558, 3561, 3562, 3564, 3565, 3566, 3567, 3683, 3684, 3685, 3686, 3687, 3688, 3689, 3690, 3692, 3693, 3808, 3809, 3810, 3811, 3812, 3813, 3814, 3815, 3816, 3817, 3818, 3946, 3947, 3948, 3949, 3950, 3951, 3952, 3953, 3954, 3955, 3956, 4090, 4091, 4092, 4093, 4094, 4095, 4096, 4098, 4099, 4100, 4239, 4244, 4245, 4246, 4247, 4248, 4249, 4250, 4251, 4252, 4253, 4254, 4410, 4411, 4412, 4413, 4414, 4415, 4416, 4417, 4418, 4419, 4420]
Discarding 521 places :
Implicit Place search using SMT only with invariants took 22386 ms to find 521 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 4672/5193 places, 13532/13532 transitions.
Discarding 470 places :
Symmetric choice reduction at 0 with 470 rule applications. Total rules 470 place count 4202 transition count 13062
Iterating global reduction 0 with 470 rules applied. Total rules applied 940 place count 4202 transition count 13062
Discarding 463 places :
Symmetric choice reduction at 0 with 463 rule applications. Total rules 1403 place count 3739 transition count 12599
Iterating global reduction 0 with 463 rules applied. Total rules applied 1866 place count 3739 transition count 12599
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1867 place count 3738 transition count 12588
Iterating global reduction 0 with 1 rules applied. Total rules applied 1868 place count 3738 transition count 12588
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 1871 place count 3738 transition count 12585
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 1874 place count 3735 transition count 12585
Applied a total of 1874 rules in 2082 ms. Remains 3735 /4672 variables (removed 937) and now considering 12585/13532 (removed 947) transitions.
[2024-05-25 03:53:28] [INFO ] Flow matrix only has 11700 transitions (discarded 885 similar events)
// Phase 1: matrix 11700 rows 3735 cols
[2024-05-25 03:53:28] [INFO ] Computed 728 invariants in 179 ms
[2024-05-25 03:53:41] [INFO ] Implicit Places using invariants in 12564 ms returned [6, 9, 13, 19, 27, 37, 49, 65, 81, 99, 119, 141, 164, 189, 210, 228, 244, 258, 270, 280, 290, 296, 300, 302, 331, 333, 335, 339, 345, 353, 363, 375, 389, 405, 423, 443, 464, 485, 503, 519, 533, 545, 555, 563, 569, 573, 575, 577, 589, 591, 593, 595, 599, 605, 613, 623, 635, 649, 665, 683, 702, 723, 742, 756, 768, 778, 786, 794, 798, 800, 802, 804, 816, 818, 820, 822, 824, 828, 834, 842, 852, 864, 878, 894, 911, 931, 948, 962, 972, 980, 986, 990, 992, 994, 996, 998, 1009, 1015, 1018, 1020, 1023, 1025, 1030, 1036, 1046, 1056, 1068, 1082, 1097, 1111, 1123, 1133, 1141, 1147, 1151, 1153, 1155, 1157, 1159, 1161, 1175, 1177, 1179, 1181, 1183, 1185, 1187, 1191, 1197, 1205, 1215, 1227, 1240, 1255, 1267, 1275, 1281, 1285, 1287, 1289, 1291, 1293, 1297, 1299, 1312, 1317, 1319, 1321, 1323, 1325, 1327, 1329, 1333, 1340, 1348, 1359, 1371, 1383, 1391, 1397, 1401, 1403, 1405, 1407, 1409, 1411, 1413, 1415, 1426, 1430, 1432, 1434, 1436, 1438, 1440, 1444, 1447, 1451, 1457, 1465, 1474, 1484, 1490, 1494, 1498, 1500, 1503, 1505, 1507, 1509, 1511, 1513, 1525, 1527, 1529, 1531, 1533, 1535, 1537, 1539, 1541, 1543, 1547, 1553, 1560, 1567, 1571, 1573, 1576, 1578, 1580, 1582, 1584, 1586, 1588, 1590, 1601, 1605, 1607, 1609, 1611, 1613, 1617, 1619, 1622, 1624, 1626, 1630, 1635, 1639, 1641, 1643, 1645, 1647, 1649, 1651, 1653, 1655, 1657, 1659, 1669, 1674, 1678, 1680, 1682, 1684, 1686, 1688, 1690, 1692, 1695, 1697, 1700, 1702, 1704, 1706, 1708, 1710, 1712, 1714, 1716, 1718, 1720, 1722, 1733, 1736, 1738, 1740, 1742, 1744, 1746, 1748, 1750, 1752, 1754, 1756, 1758, 1764, 1767, 1769, 1771, 1773, 1779, 1783, 1785, 1787, 1789, 1791, 1800, 1805, 1808, 1810, 1812, 1814, 1816, 1818, 1820, 1822, 1824, 1827, 1829, 1834, 1836, 1839, 1843, 1845, 1848, 1850, 1852, 1854, 1856, 1858, 1874, 1878, 1881, 1883, 1885, 1887, 1889, 1891, 1894, 1896, 1898, 1900, 1902, 1907, 1910, 1912, 1914, 1916, 1918, 1920, 1925, 1927, 1929, 1931, 1944, 1946, 1948, 1950, 1952, 1954, 1956, 1958, 1960, 1962, 1964, 1966, 1968, 1974, 1977, 1980, 1982, 1984, 1986, 1988, 1990, 1992, 1994, 1996, 2007, 2009, 2011, 2013, 2015, 2017, 2019, 2021, 2023, 2025, 2027, 2029, 2033, 2038, 2042, 2044, 2046, 2048, 2050, 2052, 2054, 2056, 2058, 2060, 2068, 2072, 2076, 2078, 2080, 2082, 2084, 2086, 2088, 2092, 2094, 2098, 2104, 2113, 2119, 2123, 2125, 2127, 2129, 2131, 2133, 2135, 2137, 2142, 2154, 2158, 2160, 2162, 2164, 2166, 2168, 2170, 2172, 2174, 2178, 2186, 2196, 2205, 2213, 2219, 2223, 2225, 2227, 2229, 2231, 2233, 2235, 2237, 2247, 2249, 2251, 2253, 2255, 2257, 2259, 2261, 2263, 2267, 2273, 2281, 2291, 2304, 2314, 2322, 2332, 2334, 2337, 2339, 2341, 2343, 2345, 2354, 2356, 2358, 2360, 2362, 2364, 2366, 2368, 2372, 2378, 2386, 2396, 2408, 2421, 2433, 2443, 2451, 2457, 2461, 2463, 2465, 2467, 2469, 2471, 2479, 2481, 2483, 2485, 2487, 2489, 2491, 2495, 2501, 2509, 2519, 2531, 2545, 2560, 2574, 2586, 2596, 2604, 2610, 2614, 2616, 2618, 2620, 2622, 2630, 2632, 2634, 2636, 2638, 2640, 2644, 2650, 2658, 2668, 2680, 2694, 2710, 2731, 2748, 2762, 2775, 2785, 2793, 2799, 2803, 2805, 2810, 2812, 2826, 2829, 2832, 2834, 2836, 2840, 2846, 2854, 2864, 2876, 2890, 2906, 2924, 2943, 2961, 2977, 2991, 3003, 3013, 3021, 3027, 3031, 3033, 3035, 3046, 3048, 3050, 3052, 3056, 3062, 3070, 3080, 3092, 3106, 3122, 3140, 3160, 3182, 3202, 3220, 3237, 3251, 3263, 3273, 3281, 3287, 3291, 3293, 3300, 3302, 3304, 3308, 3314, 3322, 3332, 3344, 3358, 3374, 3392, 3412, 3434, 3457, 3479, 3499, 3517, 3533, 3547, 3559, 3569, 3577, 3583, 3587]
Discarding 599 places :
Implicit Place search using SMT only with invariants took 12618 ms to find 599 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 3136/5193 places, 12585/13532 transitions.
Applied a total of 0 rules in 728 ms. Remains 3136 /3136 variables (removed 0) and now considering 12585/12585 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 38671 ms. Remains : 3136/5193 places, 12585/13532 transitions.
RANDOM walk for 40000 steps (597 resets) in 3864 ms. (10 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (62 resets) in 499 ms. (80 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (63 resets) in 593 ms. (67 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 19923 steps, run timeout after 3001 ms. (steps per millisecond=6 ) properties seen :0 out of 2
Probabilistic random walk after 19923 steps, saw 9003 distinct states, run finished after 3002 ms. (steps per millisecond=6 ) properties seen :0
[2024-05-25 03:53:46] [INFO ] Flow matrix only has 11700 transitions (discarded 885 similar events)
// Phase 1: matrix 11700 rows 3136 cols
[2024-05-25 03:53:46] [INFO ] Computed 129 invariants in 339 ms
[2024-05-25 03:53:47] [INFO ] State equation strengthened by 8162 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/84 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2851/2935 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2935 variables, 1/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2935 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (OVERLAPS) 135/3070 variables, 59/63 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/3070 variables, 0/63 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (OVERLAPS) 44/3114 variables, 44/107 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/3114 variables, 0/107 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (OVERLAPS) 22/3136 variables, 22/129 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/3136 variables, 0/129 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (OVERLAPS) 11700/14836 variables, 3136/3265 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/14836 variables, 8162/11427 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/14836 variables, 0/11427 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (OVERLAPS) 0/14836 variables, 0/11427 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 14836/14836 variables, and 11427 constraints, problems are : Problem set: 0 solved, 2 unsolved in 9728 ms.
Refiners :[Positive P Invariants (semi-flows): 47/47 constraints, Generalized P Invariants (flows): 82/82 constraints, State Equation: 3136/3136 constraints, ReadFeed: 8162/8162 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/84 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2851/2935 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2935 variables, 1/4 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-25 03:53:59] [INFO ] Deduced a trap composed of 654 places in 2518 ms of which 20 ms to minimize.
[2024-05-25 03:54:02] [INFO ] Deduced a trap composed of 572 places in 2564 ms of which 19 ms to minimize.
[2024-05-25 03:54:04] [INFO ] Deduced a trap composed of 629 places in 2518 ms of which 21 ms to minimize.
[2024-05-25 03:54:07] [INFO ] Deduced a trap composed of 504 places in 2513 ms of which 20 ms to minimize.
[2024-05-25 03:54:10] [INFO ] Deduced a trap composed of 477 places in 2541 ms of which 20 ms to minimize.
[2024-05-25 03:54:12] [INFO ] Deduced a trap composed of 482 places in 2445 ms of which 19 ms to minimize.
[2024-05-25 03:54:15] [INFO ] Deduced a trap composed of 612 places in 2519 ms of which 20 ms to minimize.
[2024-05-25 03:54:17] [INFO ] Deduced a trap composed of 466 places in 2526 ms of which 20 ms to minimize.
[2024-05-25 03:54:20] [INFO ] Deduced a trap composed of 396 places in 2726 ms of which 19 ms to minimize.
[2024-05-25 03:54:23] [INFO ] Deduced a trap composed of 498 places in 2650 ms of which 20 ms to minimize.
[2024-05-25 03:54:25] [INFO ] Deduced a trap composed of 462 places in 2706 ms of which 20 ms to minimize.
[2024-05-25 03:54:28] [INFO ] Deduced a trap composed of 692 places in 2618 ms of which 20 ms to minimize.
[2024-05-25 03:54:31] [INFO ] Deduced a trap composed of 422 places in 2711 ms of which 21 ms to minimize.
[2024-05-25 03:54:34] [INFO ] Deduced a trap composed of 514 places in 2641 ms of which 20 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/2935 variables, 14/18 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2935 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 135/3070 variables, 59/77 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-25 03:54:37] [INFO ] Deduced a trap composed of 6 places in 3119 ms of which 22 ms to minimize.
[2024-05-25 03:54:40] [INFO ] Deduced a trap composed of 40 places in 3155 ms of which 20 ms to minimize.
[2024-05-25 03:54:44] [INFO ] Deduced a trap composed of 165 places in 3167 ms of which 21 ms to minimize.
[2024-05-25 03:54:47] [INFO ] Deduced a trap composed of 176 places in 3164 ms of which 28 ms to minimize.
[2024-05-25 03:54:50] [INFO ] Deduced a trap composed of 303 places in 3124 ms of which 21 ms to minimize.
[2024-05-25 03:54:54] [INFO ] Deduced a trap composed of 227 places in 4150 ms of which 22 ms to minimize.
[2024-05-25 03:54:57] [INFO ] Deduced a trap composed of 188 places in 3097 ms of which 22 ms to minimize.
[2024-05-25 03:55:00] [INFO ] Deduced a trap composed of 196 places in 3072 ms of which 19 ms to minimize.
[2024-05-25 03:55:03] [INFO ] Deduced a trap composed of 171 places in 3019 ms of which 19 ms to minimize.
[2024-05-25 03:55:06] [INFO ] Deduced a trap composed of 276 places in 2959 ms of which 19 ms to minimize.
[2024-05-25 03:55:10] [INFO ] Deduced a trap composed of 201 places in 3048 ms of which 21 ms to minimize.
[2024-05-25 03:55:13] [INFO ] Deduced a trap composed of 182 places in 3070 ms of which 28 ms to minimize.
[2024-05-25 03:55:17] [INFO ] Deduced a trap composed of 177 places in 3821 ms of which 23 ms to minimize.
[2024-05-25 03:55:20] [INFO ] Deduced a trap composed of 230 places in 2914 ms of which 23 ms to minimize.
[2024-05-25 03:55:23] [INFO ] Deduced a trap composed of 211 places in 3095 ms of which 22 ms to minimize.
[2024-05-25 03:55:26] [INFO ] Deduced a trap composed of 219 places in 3117 ms of which 23 ms to minimize.
[2024-05-25 03:55:29] [INFO ] Deduced a trap composed of 174 places in 3075 ms of which 21 ms to minimize.
SMT process timed out in 102877ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 84 out of 3136 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3136/3136 places, 12585/12585 transitions.
Applied a total of 0 rules in 680 ms. Remains 3136 /3136 variables (removed 0) and now considering 12585/12585 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 682 ms. Remains : 3136/3136 places, 12585/12585 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3136/3136 places, 12585/12585 transitions.
Applied a total of 0 rules in 660 ms. Remains 3136 /3136 variables (removed 0) and now considering 12585/12585 (removed 0) transitions.
[2024-05-25 03:55:30] [INFO ] Flow matrix only has 11700 transitions (discarded 885 similar events)
[2024-05-25 03:55:30] [INFO ] Invariant cache hit.
[2024-05-25 03:55:37] [INFO ] Implicit Places using invariants in 6694 ms returned []
Implicit Place search using SMT only with invariants took 6697 ms to find 0 implicit places.
Running 12491 sub problems to find dead transitions.
[2024-05-25 03:55:37] [INFO ] Flow matrix only has 11700 transitions (discarded 885 similar events)
[2024-05-25 03:55:37] [INFO ] Invariant cache hit.
[2024-05-25 03:55:37] [INFO ] State equation strengthened by 8162 read => feed constraints.
Error getting values : (error "ParserException while parsing response: ((s2 1.0)
(s3 1.0)
(s4 0.0)
(s5 1.0)
(s6 1.0)
(s7 1.0)
(s8 1.0)
(s9 0.0)
(s10 0.0)
(s11 1.0)
(s12 0.0)
(s13 0.0)
(s14 0.0)
(s15 0.0)
(s16 1.0)
(s17 0.0)
(s18 0.0)
(s19 0.0)
(s20 0.0)
(s21 0.0)
(s22 0.0)
(s23 1.0)
(s24 0.0)
(s25 0.0)
(s26 0.0)
(s27 0.0)
(s28 0.0)
(s29 0.0)
(s30 0.0)
(s31 0.0)
(s32 1.0)
(s33 0.0)
(s34 0.0)
(s35 0.0)
(s36 0.0)
(s37 0.0)
(s38 0.0)
(s39 0.0)
(s40 0.0)
(s41 0.0)
(s42 0.0)
(s43 1.0)
(s44 0.0)
(s45 0.0)
(s46 0.0)
(s47 0.0)
(s48 0.0)
(s49 0.0)
(s50 0.0)
(s51 0.0)
(s52 0.0)
(s53 0.0)
(s54 0.0)
(s55 0.0)
(s56 1.0)
(s57 1.0)
(s58 1.0)
(s59 0.0)
(s60 0.0)
(s61 0.0)
(s62 0.0)
(s63 0.0)
(s64 0.0)
(s65 0.0)
(s66 0.0)
(s67 0.0)
(s68 0.0)
(s69 0.0)
(s70 0.0)
(s71 0.0)
(s72 0.0)
(s73 1.0)
(s74 0.0)
(s75 0.0)
(s76 0.0)
(s77 0.0)
(s78 0.0)
(s79 0.0)
(s80 0.0)
(s81 0.0)
(s82 0.0)
(s83 0.0)
(s84 0.0)
(s85 0.0)
(s86 0.0)
(s87 0.0)
(s88 0.0)
(s89 0.0)
(s90 1.0)
(s91 0.0)
(s92 0.0)
(s93 0.0)
(s94 0.0)
(s95 0.0)
(s96 0.0)
(s97 0.0)
(s98 0.0)
(s99 0.0)
(s100 0.0)
(s101 0.0)
(s102 0.0)
(s103 0.0)
(s104 0.0)
(s105 0.0)
(s106 0.0)
(s107 0.0)
(s108 0.0)
(s109 1.0)
(s110 0.0)
(s111 0.0)
(s112 0.0)
(s113 0.0)
(s114 0.0)
(s115 0.0)
(s116 0.0)
(s117 0.0)
(s118 0.0)
(s119 0.0)
(s120 0.0)
(s121 0.0)
(s122 0.0)
(s123 0.0)
(s124 0.0)
(s125 0.0)
(s126 0.0)
(s127 0.0)
(s128 0.0)
(s129 0.0)
(s130 1.0)
(s131 0.0)
(s132 0.0)
(s133 0.0)
(s134 0.0)
(s135 0.0)
(s136 0.0)
(s137 0.0)
(s138 0.0)
(s139 0.0)
(s140 0.0)
(s141 0.0)
(s142 0.0)
(s143 0.0)
(s144 0.0)
(s145 0.0)
(s146 0.0)
(s147 0.0)
(s148 0.0)
(s149 0.0)
(s150 0.0)
(s151 0.0)
(s152 1.0)
(s153 0.0)
(s154 0.0)
(s155 0.0)
(s156 0.0)
(s157 0.0)
(s158 0.0)
(s159 0.0)
(s160 0.0)
(s161 0.0)
(s162 0.0)
(s163 0.0)
(s164 0.0)
(s165 0.0)
(s166 0.0)
(s167 0.0)
(s168 0.0)
(s169 0.0)
(s170 0.0)
(s171 0.0)
(s172 0.0)
(s173 1.0)
(s174 1.0)
(s175 1.0)
(s176 1.0)
(s177 0.0)
(s178 0.0)
(s179 0.0)
(s180 0.0)
(s181 0.0)
(s182 0.0)
(s183 0.0)
(s184 0.0)
(s185 0.0)
(s186 0.0)
(s187 0.0)
(s188 0.0)
(s189 0.0)
(s190 0.0)
(s191 0.0)
(s192 0.0)
(s193 0.0)
(s194 0.0)
(s195 1.0)
(s196 1.0)
(s197 0.0)
(s198 0.0)
(s199 0.0)
(s200 0.0)
(s201 0.0)
(s202 0.0)
(s203 0.0)
(s204 0.0)
(s205 0.0)
(s206 0.0)
(s207 0.0)
(s208 0.0)
(s209 0.0)
(s210 0.0)
(s211 0.0)
(s212 0.0)
(s213 1.0)
(s214 0.0)
(s215 0.0)
(s216 0.0)
(s217 0.0)
(s218 0.0)
(s219 0.0)
(s220 0.0)
(s221 0.0)
(s222 0.0)
(s223 0.0)
(s224 0.0)
(s225 0.0)
(s226 0.0)
(s227 0.0)
(s228 1.0)
(s229 0.0)
(s230 0.0)
(s231 0.0)
(s232 0.0)
(s233 0.0)
(s234 0.0)
(s235 0.0)
(s236 0.0)
(s237 0.0)
(s238 0.0)
(s239 0.0)
(s240 0.0)
(s241 1.0)
(s242 0.0)
(s243 0.0)
(s244 0.0)
(s245 0.0)
(s246 0.0)
(s247 0.0)
(s248 0.0)
(s249 0.0)
(s250 0.0)
(s251 0.0)
(s252 1.0)
(s253 0.0)
(s254 0.0)
(s255 0.0)
(s256 0.0)
(s257 0.0)
(s258 0.0)
(s259 0.0)
(s260 0.0)
(s261 1.0)
(s262 0.0)
(s263 0.0)
(s264 0.0)
(s265 0.0)
(s266 0.0)
(s267 0.0)
(s268 1.0)
(s269 1.0)
(s270 1.0)
(s271 0.0)
(s272 0.0)
(s273 0.0)
(s274 0.0)
(s275 1.0)
(s276 0.0)
(s277 0.0)
(s278 1.0)
(s279 1.0)
(s280 1.0)
(s281 1.0)
(s282 1.0)
(s283 1.0)
(s284 1.0)
(s285 1.0)
(s286 1.0)
(s287 1.0)
(s288 1.0)
(s289 1.0)
(s290 1.0)
(s291 1.0)
(s292 1.0)
(s293 1.0)
(s294 1.0)
(s295 1.0)
(s296 1.0)
(s297 1.0)
(s298 1.0)
(s299 1.0)
(s300 1.0)
(s301 1.0)
(s302 1.0)
(s303 1.0)
(s304 0.0)
(s305 0.0)
(s306 1.0)
(s307 1.0)
(s308 1.0)
(s309 1.0)
(s310 0.0)
(s311 0.0)
(s312 1.0)
(s313 0.0)
(s314 0.0)
(s315 0.0)
(s316 0.0)
(s317 1.0)
(s318 0.0)
(s319 0.0)
(s320 0.0)
(s321 0.0)
(s322 0.0)
(s323 0.0)
(s324 1.0)
(s325 0.0)
(s326 0.0)
(s327 0.0)
(s328 0.0)
(s329 0.0)
(s330 0.0)
(s331 0.0)
(s332 0.0)
(s333 1.0)
(s334 0.0)
(s335 0.0)
(s336 0.0)
(s337 0.0)
(s338 0.0)
(s339 0.0)
(s340 0.0)
(s341 0.0)
(s342 0.0)
(s343 0.0)
(s344 1.0)
(s345 0.0)
(s346 0.0)
(s347 0.0)
(s348 0.0)
(s349 0.0)
(s350 0.0)
(s351 0.0)
(s352 0.0)
(s353 0.0)
(s354 0.0)
(s355 0.0)
(s356 0.0)
(s357 1.0)
(s358 0.0)
(s359 0.0)
(s360 0.0)
(s361 0.0)
(s362 0.0)
(s363 0.0)
(s364 0.0)
(s365 0.0)
(s366 0.0)
(s367 0.0)
(s368 0.0)
(s369 0.0)
(s370 0.0)
(s371 0.0)
(s372 1.0)
(s373 0.0)
(s374 0.0)
(s375 0.0)
(s376 0.0)
(s377 0.0)
(s378 0.0)
(s379 0.0)
(s380 0.0)
(s381 0.0)
(s382 0.0)
(s383 0.0)
(s384 0.0)
(s385 0.0)
(s386 0.0)
(s387 0.0)
(s388 0.0)
(s389 1.0)
(s390 0.0)
(s391 0.0)
(s392 0.0)
(s393 0.0)
(s394 0.0)
(s395 0.0)
(s396 0.0)
(s397 0.0)
(s398 0.0)
(s399 0.0)
(s400 0.0)
(s401 0.0)
(s402 0.0)
(s403 0.0)
(s404 0.0)
(s405 0.0)
(s406 0.0)
(s407 0.0)
(s408 1.0)
(s409 0.0)
(s410 0.0)
(s411 0.0)
(s412 0.0)
(s413 0.0)
(s414 0.0)
(s415 0.0)
(s416 0.0)
(s417 0.0)
(s418 0.0)
(s419 0.0)
(s420 0.0)
(s421 0.0)
(s422 0.0)
(s423 0.0)
(s424 0.0)
(s425 0.0)
(s426 0.0)
(s427 0.0)
(s428 1.0)
(s429 0.0)
(s430 0.0)
(s431 0.0)
(s432 0.0)
(s433 0.0)
(s434 0.0)
(s435 0.0)
(s436 0.0)
(s437 0.0)
(s438 0.0)
(s439 0.0)
(s440 0.0)
(s441 0.0)
(s442 0.0)
(s443 0.0)
(s444 0.0)
(s445 0.0)
(s446 0.0)
(s447 1.0)
(s448 1.0)
(s449 0.0)
(s450 0.0)
(s451 0.0)
(s452 0.0)
(s453 0.0)
(s454 0.0)
(s455 0.0)
(s456 0.0)
(s457 0.0)
(s458 0.0)
(s459 0.0)
(s460 0.0)
(s461 0.0)
(s462 0.0)
(s463 0.0)
(s464 0.0)
(s465 1.0)
(s466 0.0)
(s467 0.0)
(s468 0.0)
(s469 0.0)
(s470 0.0)
(s471 0.0)
(s472 0.0)
(s473 0.0)
(s474 0.0)
(s475 0.0)
(s476 0.0)
(s477 0.0)
(s478 0.0)
(s479 0.0)
(s480 1.0)
(s481 0.0)
(s482 0.0)
(s483 0.0)
(s484 0.0)
(s485 0.0)
(s486 0.0)
(s487 0.0)
(s488 0.0)
(s489 0.0)
(s490 0.0)
(s491 0.0)
(s492 0.0)
(s493 1.0)
(s494 0.0)
(s495 0.0)
(s496 0.0)
(s497 0.0)
(s498 0.0)
(s499 0.0)
(s500 0.0)
(s501 0.0)
(s502 0.0)
(s503 0.0)
(s504 1.0)
(s505 0.0)
(s506 0.0)
(s507 0.0)
(s508 0.0)
(s509 0.0)
(s510 0.0)
(s511 0.0)
(s512 0.0)
(s513 1.0)
(s514 0.0)
(s515 0.0)
(s516 0.0)
(s517 0.0)
(s518 0.0)
(s519 0.0)
(s520 1.0)
(s521 0.0)
(s522 0.0)
(s523 0.0)
(s524 0.0)
(s525 1.0)
(s526 1.0)
(s527 0.0)
(s528 1.0)
(s529 1.0)
(s530 1.0)
(s531 1.0)
(s532 1.0)
(s533 1.0)
(s534 1.0)
(s535 1.0)
(s536 0.0)
(s537 0.0)
(s538 1.0)
(s539 0.0)
(s540 1.0)
(s541 1.0)
(s542 1.0)
(s543 1.0)
(s544 1.0)
(s545 0.0)
(s546 0.0)
(s547 1.0)
(s548 0.0)
(s549 0.0)
(s550 0.0)
(s551 0.0)
(s552 1.0)
(s553 0.0)
(s554 0.0)
(s555 0.0)
(s556 0.0)
(s557 0.0)
(s558 0.0)
(s559 1.0)
(s560 0.0)
(s561 0.0)
(s562 0.0)
(s563 0.0)
(s564 0.0)
(s565 0.0)
(s566 0.0)
(s567 0.0)
(s568 1.0)
(s569 0.0)
(s570 0.0)
(s571 0.0)
(s572 0.0)
(s573 0.0)
(s574 0.0)
(s575 0.0)
(s576 0.0)
(s577 0.0)
(s578 0.0)
(s579 1.0)
(s580 0.0)
(s581 0.0)
(s582 0.0)
(s583 0.0)
(s584 0.0)
(s585 0.0)
(s586 0.0)
(s587 0.0)
(s588 0.0)
(s589 0.0)
(s590 0.0)
(s591 0.0)
(s592 1.0)
(s593 0.0)
(s594 0.0)
(s595 0.0)
(s596 0.0)
(s597 0.0)
(s598 0.0)
(s599 0.0)
(s600 0.0)
(s601 0.0)
(s602 0.0)
(s603 0.0)
(s604 0.0)
(s605 0.0)
(s606 0.0)
(s607 1.0)
(s608 0.0)
(s609 0.0)
(s610 0.0)
(s611 0.0)
(s612 0.0)
(s613 0.0)
(s614 0.0)
(s615 0.0)
(s616 0.0)
(s617 0.0)
(s618 0.0)
(s619 0.0)
(s620 0.0)
(s621 0.0)
(s622 0.0)
(s623 0.0)
(s624 1.0)
(s625 0.0)
(s626 0.0)
(s627 0.0)
(s628 0.0)
(s629 0.0)
(s630 0.0)
(s631 0.0)
(s632 0.0)
(s633 0.0)
(s634 0.0)
(s635 0.0)
(s636 0.0)
(s637 0.0)
(s638 0.0)
(s639 0.0)
(s640 0.0)
(s641 0.0)
(s642 1.0)
(s643 0.0)
(s644 0.0)
(s645 0.0)
(s646 0.0)
(s647 0.0)
(s648 0.0)
(s649 0.0)
(s650 0.0)
(s651 0.0)
(s652 0.0)
(s653 0.0)
(s654 0.0)
(s655 0.0)
(s656 0.0)
(s657 0.0)
(s658 0.0)
(s659 1.0)
(s660 1.0)
(s661 1.0)
(s662 1.0)
(s663 0.0)
(s664 0.0)
(s665 0.0)
(s666 0.0)
(s667 0.0)
(s668 0.0)
(s669 0.0)
(s670 0.0)
(s671 0.0)
(s672 0.0)
(s673 0.0)
(s674 0.0)
(s675 0.0)
(s676 0.0)
(s677 1.0)
(s678 1.0)
(s679 1.0)
(s680 1.0)
(s681 0.0)
(s682 0.0)
(s683 0.0)
(s684 0.0)
(s685 0.0)
(s686 0.0)
(s687 0.0)
(s688 0.0)
(s689 0.0)
(s690 0.0)
(s691 0.0)
(s692 0.0)
(s693 1.0)
(s694 0.0)
(s695 0.0)
(s696 0.0)
(s697 0.0)
(s698 0.0)
(s699 0.0)
(s700 0.0)
(s701 0.0)
(s702 0.0)
(s703 0.0)
(s704 1.0)
(s705 0.0)
(s706 0.0)
(s707 0.0)
(s708 0.0)
(s709 0.0)
(s710 0.0)
(s711 0.0)
(s712 0.0)
(s713 1.0)
(s714 0.0)
(s715 0.0)
(s716 0.0)
(s717 0.0)
(s718 0.0)
(s719 0.0)
(s720 1.0)
(s721 0.0)
(s722 0.0)
(s723 0.0)
(s724 0.0)
(s725 1.0)
(s726 1.0)
(s727 1.0)
(s728 0.0)
(s729 0.0)
(s730 1.0)
(s731 1.0)
(s732 1.0)
(s733 1.0)
(s734 1.0)
(s735 1.0)
(s736 1.0)
(s737 1.0)
(s738 1.0)
(s739 0.0)
(s740 0.0)
(s741 1.0)
(s742 0.0)
(s743 1.0)
(s744 1.0)
(s745 1.0)
(s746 1.0)
(s747 1.0)
(s748 1.0)
(s749 0.0)
(s750 0.0)
(s751 1.0)
(s752 0.0)
(s753 0.0)
(s754 0.0)
(s755 0.0)
(s756 1.0)
(s757 0.0)
(s758 0.0)
(s759 0.0)
(s760 0.0)
(s761 0.0)
(s762 0.0)
(s763 1.0)
(s764 0.0)
(s765 0.0)
(s766 0.0)
(s767 0.0)
(s768 0.0)
(s769 0.0)
(s770 0.0)
(s771 0.0)
(s772 1.0)
(s773 0.0)
(s774 0.0)
(s775 0.0)
(s776 0.0)
(s777 0.0)
(s778 0.0)
(s779 0.0)
(s780 0.0)
(s781 0.0)
(s782 0.0)
(s783 1.0)
(s784 0.0)
(s785 0.0)
(s786 0.0)
(s787 0.0)
(s788 0.0)
(s789 0.0)
(s790 0.0)
(s791 0.0)
(s792 0.0)
(s793 0.0)
(s794 0.0)
(s795 0.0)
(s796 1.0)
(s797 0.0)
(s798 0.0)
(s799 0.0)
(s800 0.0)
(s801 0.0)
(s802 0.0)
(s803 0.0)
(s804 0.0)
(s805 0.0)
(s806 0.0)
(s807 0.0)
(s808 0.0)
(s809 0.0)
(s810 0.0)
(s811 1.0)
(s812 0.0)
(s813 0.0)
(s814 0.0)
(s815 0.0)
(s816 0.0)
(s817 0.0)
(s818 0.0)
(s819 0.0)
(s820 0.0)
(s821 0.0)
(s822 0.0)
(s823 0.0)
(s824 0.0)
(s825 0.0)
(s826 0.0)
(s827 1.0)
(s828 0.0)
(s829 0.0)
(s830 0.0)
(s831 0.0)
(s832 0.0)
(s833 0.0)
(s834 0.0)
(s835 0.0)
(s836 0.0)
(s837 0.0)
(s838 0.0)
(s839 0.0)
(s840 0.0)
(s841 0.0)
(s842 1.0)
(s843 1.0)
(s844 1.0)
(s845 1.0)
(s846 1.0)
(s847 0.0)
(s848 0.0)
(s849 0.0)
(s850 0.0)
(s851 0.0)
(s852 0.0)
(s853 0.0)
(s854 0.0)
(s855 0.0)
(s856 0.0)
(s857 0.0)
(s858 0.0)
(s859 1.0)
(s860 1.0)
(s861 1.0)
(s862 1.0)
(s863 0.0)
(s864 0.0)
(s865 0.0)
(s866 0.0)
(s867 0.0)
(s868 0.0)
(s869 0.0)
(s870 0.0)
(s871 0.0)
(s872 0.0)
(s873 1.0)
(s874 1.0)
(s875 1.0)
(s876 0.0)
(s877 0.0)
(s878 0.0)
(s879 0.0)
(s880 0.0)
(s881 0.0)
(s882 0.0)
(s883 0.0)
(s884 1.0)
(s885 0.0)
(s886 0.0)
(s887 0.0)
(s888 0.0)
(s889 0.0)
(s890 0.0)
(s891 1.0)
(s892 0.0)
(s893 0.0)
(s894 0.0)
(s895 0.0)
(s896 1.0)
(s897 0.0)
(s898 0.0)
(s899 1.0)
(s900 1.0)
(s901 1.0)
(s902 1.0)
(s903 1.0)
(s904 1.0)
(s905 1.0)
(s906 1.0)
(s907 1.0)
(s908 0.0)
(s909 0.0)
(s910 1.0)
(s911 0.0)
(s912 1.0)
(s913 1.0)
(s914 1.0)
(s915 1.0)
(s916 1.0)
(s917 1.0)
(s918 1.0)
(s919 1.0)
(s920 1.0)
(s921 1.0)
(s922 1.0)
(s923 1.0)
(s924 1.0)
(s925 0.0)
(s926 0.0)
(s927 1.0)
(s928 1.0)
(s929 0.0)
(s930 0.0)
(s931 0.0)
(s932 0.0)
(s933 1.0)
(s934 0.0)
(s935 0.0)
(s936 0.0)
(s937 0.0)
(s938 0.0)
(s939 0.0)
(s940 1.0)
(s941 1.0)
(s942 1.0)
(s943 0.0)
(s944 0.0)
(s945 0.0)
(s946 0.0)
(s947 0.0)
(s948 0.0)
(s949 0.0)
(s950 0.0)
(s951 1.0)
(s952 0.0)
(s953 0.0)
(s954 0.0)
(s955 0.0)
(s956 0.0)
(s957 0.0)
(s958 0.0)
(s959 0.0)
(s960 0.0)
(s961 0.0)
(s962 1.0)
(s963 0.0)
(s964 0.0)
(s965 0.0)
(s966 0.0)
(s967 0.0)
(s968 0.0)
(s969 0.0)
(s970 0.0)
(s971 0.0)
(s972 0.0)
(s973 0.0)
(s974 0.0)
(s975 1.0)
(s976 0.0)
(s977 0.0)
(s978 0.0)
(s979 0.0)
(s980 0.0)
(s981 0.0)
(s982 0.0)
(s983 0.0)
(s984 0.0)
(s985 0.0)
(s986 0.0)
(s987 0.0)
(s988 0.0)
(s989 1.0)
(s990 0.0)
(s991 0.0)
(s992 0.0)
(s993 0.0)
(s994 0.0)
(s995 0.0)
(s996 0.0)
(s997 0.0)
(s998 0.0)
(s999 0.0)
(s1000 0.0)
(s1001 0.0)
(s1002 1.0)
(s1003 0.0)
(s1004 0.0)
(s1005 0.0)
(s1006 0.0)
(s1007 0.0)
(s1008 0.0)
(s1009 0.0)
(s1010 0.0)
(s1011 0.0)
(s1012 0.0)
(s1013 1.0)
(s1014 0.0)
(s1015 0.0)
(s1016 0.0)
(s1017 0.0)
(s1018 0.0)
(s1019 0.0)
(s1020 0.0)
(s1021 0.0)
(s1022 1.0)
(s1023 0.0)
(s1024 0.0)
(s1025 0.0)
(s1026 0.0)
(s1027 0.0)
(s1028 0.0)
(s1029 1.0)
(s1030 0.0)
(s1031 0.0)
(s1032 0.0)
(s1033 0.0)
(s1034 1.0)
(s1035 0.0)
(s1036 0.0)
(s1037 1.0)
(s1038 1.0)
(s1039 1.0)
(s1040 1.0)
(s1041 1.0)
(s1042 1.0)
(s1043 1.0)
(s1044 1.0)
(s1045 1.0)
(s1046 1.0)
(s1047 1.0)
(s1048 1.0)
(s1049 1.0)
(s1050 0.0)
(s1051 0.0)
(s1052 1.0)
(s1053 0.0)
(s1054 1.0)
(s1055 1.0)
(s1056 1.0)
(s1057 1.0)
(s1058 1.0)
(s1059 1.0)
(s1060 1.0)
(s1061 1.0)
(s1062 0.0)
(s1063 0.0)
(s1064 1.0)
(s1065 0.0)
(s1066 0.0)
(s1067 0.0)
(s1068 0.0)
(s1069 1.0)
(s1070 0.0)
(s1071 0.0)
(s1072 0.0)
(s1073 0.0)
(s1074 0.0)
(s1075 0.0)
(s1076 1.0)
(s1077 0.0)
(s1078 0.0)
(s1079 0.0)
(s1080 0.0)
(s1081 0.0)
(s1082 0.0)
(s1083 0.0)
(s1084 0.0)
(s1085 1.0)
(s1086 0.0)
(s1087 0.0)
(s1088 0.0)
(s1089 0.0)
(s1090 0.0)
(s1091 0.0)
(s1092 0.0)
(s1093 0.0)
(s1094 0.0)
(s1095 0.0)
(s1096 1.0)
(s1097 0.0)
(s1098 0.0)
(s1099 0.0)
(s1100 0.0)
(s1101 0.0)
(s1102 0.0)
(s1103 0.0)
(s1104 0.0)
(s1105 0.0)
(s1106 0.0)
(s1107 0.0)
(s1108 1.0)
(s1109 0.0)
(s1110 0.0)
(s1111 0.0)
(s1112 0.0)
(s1113 0.0)
(s1114 0.0)
(s1115 0.0)
(s1116 0.0)
(s1117 0.0)
(s1118 0.0)
(s1119 1.0)
(s1120 1.0)
(s1121 1.0)
(s1122 1.0)
(s1123 0.0)
(s1124 0.0)
(s1125 0.0)
(s1126 0.0)
(s1127 0.0)
(s1128 0.0)
(s1129 0.0)
(s1130 0.0)
(s1131 1.0)
(s1132 1.0)
(s1133 1.0)
(s1134 0.0)
(s1135 0.0)
(s1136 0.0)
(s1137 0.0)
(s1138 0.0)
(s1139 0.0)
(s1140 1.0)
(s1141 0.0)
(s1142 0.0)
(s1143 0.0)
(s1144 0.0)
(s1145 1.0)
(s1146 0.0)
(s1147 0.0)
(s1148 1.0)
(s1149 1.0)
(s1150 1.0)
(s1151 1.0)
(s1152 1.0)
(s1153 1.0)
(s1154 1.0)
(s1155 1.0)
(s1156 1.0)
(s1157 1.0)
(s1158 1.0)
(s1159 1.0)
(s1160 1.0)
(s1161 1.0)
(s1162 1.0)
(s1163 0.0)
(s1164 0.0)
(s1165 1.0)
(s1166 0.0)
(s1167 1.0)
(s1168 1.0)
(s1169 1.0)
(s1170 1.0)
(s1171 1.0)
(s1172 1.0)
(s1173 1.0)
(s1174 1.0)
(s1175 1.0)
(s1176 1.0)
(s1177 1.0)
(s1178 1.0)
(s1179 0.0)
(s1180 0.0)
(s1181 1.0)
(s1182 0.0)
(s1183 0.0)
(s1184 0.0)
(s1185 0.0)
(s1186 1.0)
(s1187 1.0)
(s1188 0.0)
(s1189 0.0)
(s1190 0.0)
(s1191 0.0)
(s1192 0.0)
(s1193 0.0)
(s1194 1.0)
(s1195 0.0)
(s1196 0.0)
(s1197 0.0)
(s1198 0.0)
(s1199 0.0)
(s1200 0.0)
(s1201 0.0)
(s1202 0.0)
(s1203 1.0)
(s1204 1.0)
(s1205 0.0)
(s1206 0.0)
(s1207 0.0)
(s1208 0.0)
(s1209 0.0)
(s1210 0.0)
(s1211 0.0)
(s1212 0.0)
(s1213 0.0)
(s1214 1.0)
(s1215 1.0)
(s1216 1.0)
(s1217 0.0)
(s1218 0.0)
(s1219 0.0)
(s1220 0.0)
(s1221 0.0)
(s1222 0.0)
(s1223 0.0)
(s1224 0.0)
(s1225 0.0)
(s1226 1.0)
(s1227 0.0)
(s1228 0.0)
(s1229 0.0)
(s1230 0.0)
(s1231 0.0)
(s1232 0.0)
(s1233 1.0)
(s1234 0.0)
(s1235 0.0)
(s1236 0.0)
(s1237 0.0)
(s1238 1.0)
(s1239 0.0)
(s1240 0.0)
(s1241 1.0)
(s1242 1.0)
(s1243 1.0)
(s1244 1.0)
(s1245 1.0)
(s1246 1.0)
(s1247 1.0)
(s1248 1.0)
(s1249 1.0)
(s1250 1.0)
(s1251 1.0)
(s1252 1.0)
(s1253 0.0)
(s1254 0.0)
(s1255 1.0)
(s1256 0.0)
(s1257 1.0)
(s1258 1.0)
(s1259 1.0)
(s1260 1.0)
(s1261 1.0)
(s1262 1.0)
(s1263 1.0)
(s1264 1.0)
(s1265 1.0)
(s1266 1.0)
(s1267 1.0)
(s1268 1.0)
(s1269 1.0)
(s1270 1.0)
(s1271 1.0)
(s1272 0.0)
(s1273 timeout
0.0)
(s1274 org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/3134 variables, 45/45 constraints. Problems are: Problem set: 0 solved, 12491 unsolved
SMT process timed out in 132298ms, After SMT, problems are : Problem set: 0 solved, 12491 unsolved
Search for dead transitions found 0 dead transitions in 132426ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 139827 ms. Remains : 3136/3136 places, 12585/12585 transitions.
Attempting over-approximation, by ignoring read arcs.
Graph (trivial) has 3118 edges and 3136 vertex of which 24 / 3136 are part of one of the 1 SCC in 13 ms
Free SCC test removed 23 places
Drop transitions (Empty/Sink Transition effects.) removed 610 transitions
Ensure Unique test removed 833 transitions
Reduce isomorphic transitions removed 1443 transitions.
Graph (complete) has 15560 edges and 3113 vertex of which 3091 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 24 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 Node10DetectsThatNode13CanReplaceNode12.Node13IsBecomingTheNewNodeMaster 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 198 transitions
Trivial Post-agglo rules discarded 198 transitions
Performed 198 trivial Post agglomeration. Transition count delta: 198
Iterating post reduction 0 with 200 rules applied. Total rules applied 202 place count 3066 transition count 10942
Reduce places removed 198 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Ensure Unique test removed 176 transitions
Reduce isomorphic transitions removed 177 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 175 transitions
Trivial Post-agglo rules discarded 175 transitions
Performed 175 trivial Post agglomeration. Transition count delta: 175
Iterating post reduction 1 with 550 rules applied. Total rules applied 752 place count 2868 transition count 10590
Reduce places removed 175 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 34 transitions
Ensure Unique test removed 141 transitions
Reduce isomorphic transitions removed 175 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 140 transitions
Trivial Post-agglo rules discarded 140 transitions
Performed 140 trivial Post agglomeration. Transition count delta: 140
Iterating post reduction 2 with 490 rules applied. Total rules applied 1242 place count 2693 transition count 10275
Ensure Unique test removed 1 places
Reduce places removed 141 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 138 transitions
Reduce isomorphic transitions removed 140 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 137 transitions
Trivial Post-agglo rules discarded 137 transitions
Performed 137 trivial Post agglomeration. Transition count delta: 137
Iterating post reduction 3 with 418 rules applied. Total rules applied 1660 place count 2552 transition count 9998
Reduce places removed 137 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 30 transitions
Ensure Unique test removed 107 transitions
Reduce isomorphic transitions removed 137 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 4 with 381 rules applied. Total rules applied 2041 place count 2415 transition count 9754
Reduce places removed 107 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 105 transitions
Reduce isomorphic transitions removed 107 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 105 transitions
Trivial Post-agglo rules discarded 105 transitions
Performed 105 trivial Post agglomeration. Transition count delta: 105
Iterating post reduction 5 with 319 rules applied. Total rules applied 2360 place count 2308 transition count 9542
Reduce places removed 105 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 24 transitions
Ensure Unique test removed 81 transitions
Reduce isomorphic transitions removed 105 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 81 transitions
Trivial Post-agglo rules discarded 81 transitions
Performed 81 trivial Post agglomeration. Transition count delta: 81
Iterating post reduction 6 with 291 rules applied. Total rules applied 2651 place count 2203 transition count 9356
Reduce places removed 81 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 79 transitions
Reduce isomorphic transitions removed 81 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 79 transitions
Trivial Post-agglo rules discarded 79 transitions
Performed 79 trivial Post agglomeration. Transition count delta: 79
Iterating post reduction 7 with 241 rules applied. Total rules applied 2892 place count 2122 transition count 9196
Reduce places removed 79 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 19 transitions
Ensure Unique test removed 60 transitions
Reduce isomorphic transitions removed 79 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 60 transitions
Trivial Post-agglo rules discarded 60 transitions
Performed 60 trivial Post agglomeration. Transition count delta: 60
Iterating post reduction 8 with 218 rules applied. Total rules applied 3110 place count 2043 transition count 9057
Reduce places removed 60 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 58 transitions
Reduce isomorphic transitions removed 60 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 56 transitions
Trivial Post-agglo rules discarded 56 transitions
Performed 56 trivial Post agglomeration. Transition count delta: 56
Iterating post reduction 9 with 176 rules applied. Total rules applied 3286 place count 1983 transition count 8941
Reduce places removed 56 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 18 transitions
Ensure Unique test removed 38 transitions
Reduce isomorphic transitions removed 56 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 37 transitions
Trivial Post-agglo rules discarded 37 transitions
Performed 37 trivial Post agglomeration. Transition count delta: 37
Iterating post reduction 10 with 149 rules applied. Total rules applied 3435 place count 1927 transition count 8848
Reduce places removed 37 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 35 transitions
Reduce isomorphic transitions removed 37 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 35 transitions
Trivial Post-agglo rules discarded 35 transitions
Performed 35 trivial Post agglomeration. Transition count delta: 35
Iterating post reduction 11 with 109 rules applied. Total rules applied 3544 place count 1890 transition count 8776
Reduce places removed 35 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 11 transitions
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 35 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 24 transitions
Trivial Post-agglo rules discarded 24 transitions
Performed 24 trivial Post agglomeration. Transition count delta: 24
Iterating post reduction 12 with 94 rules applied. Total rules applied 3638 place count 1855 transition count 8717
Reduce places removed 24 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 22 transitions
Reduce isomorphic transitions removed 24 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 22 transitions
Trivial Post-agglo rules discarded 22 transitions
Performed 22 trivial Post agglomeration. Transition count delta: 22
Iterating post reduction 13 with 70 rules applied. Total rules applied 3708 place count 1831 transition count 8671
Reduce places removed 22 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 10 transitions
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 22 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 14 with 56 rules applied. Total rules applied 3764 place count 1809 transition count 8637
Reduce places removed 12 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 12 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 15 with 34 rules applied. Total rules applied 3798 place count 1797 transition count 8615
Reduce places removed 10 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 10 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 16 with 24 rules applied. Total rules applied 3822 place count 1787 transition count 8601
Reduce places removed 4 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 17 with 10 rules applied. Total rules applied 3832 place count 1783 transition count 8595
Reduce places removed 2 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 18 with 12 rules applied. Total rules applied 3844 place count 1781 transition count 8585
Reduce places removed 8 places and 0 transitions.
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 19 with 15 rules applied. Total rules applied 3859 place count 1773 transition count 8578
Performed 74 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 20 with 74 Pre rules applied. Total rules applied 3859 place count 1773 transition count 8504
Deduced a syphon composed of 74 places in 2 ms
Reduce places removed 74 places and 0 transitions.
Iterating global reduction 20 with 148 rules applied. Total rules applied 4007 place count 1699 transition count 8504
Discarding 467 places :
Symmetric choice reduction at 20 with 467 rule applications. Total rules 4474 place count 1232 transition count 3997
Iterating global reduction 20 with 467 rules applied. Total rules applied 4941 place count 1232 transition count 3997
Ensure Unique test removed 154 transitions
Reduce isomorphic transitions removed 154 transitions.
Iterating post reduction 20 with 154 rules applied. Total rules applied 5095 place count 1232 transition count 3843
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 21 with 1 Pre rules applied. Total rules applied 5095 place count 1232 transition count 3842
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 21 with 2 rules applied. Total rules applied 5097 place count 1231 transition count 3842
Performed 647 Post agglomeration using F-continuation condition.Transition count delta: 647
Deduced a syphon composed of 647 places in 0 ms
Reduce places removed 647 places and 0 transitions.
Iterating global reduction 21 with 1294 rules applied. Total rules applied 6391 place count 584 transition count 3195
Drop transitions (Empty/Sink Transition effects.) removed 623 transitions
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 624 transitions.
Iterating post reduction 21 with 624 rules applied. Total rules applied 7015 place count 584 transition count 2571
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 22 with 2 rules applied. Total rules applied 7017 place count 583 transition count 2580
Drop transitions (Redundant composition of simpler transitions.) removed 77 transitions
Redundant transition composition rules discarded 77 transitions
Iterating global reduction 22 with 77 rules applied. Total rules applied 7094 place count 583 transition count 2503
Drop transitions (Trivial Post-Agglo cleanup.) removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 22 with 7 rules applied. Total rules applied 7101 place count 583 transition count 2496
Reduce places removed 7 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 23 with 8 rules applied. Total rules applied 7109 place count 576 transition count 2495
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 24 with 1 rules applied. Total rules applied 7110 place count 575 transition count 2495
Free-agglomeration rule (complex) applied 83 times.
Iterating global reduction 25 with 83 rules applied. Total rules applied 7193 place count 575 transition count 2412
Reduce places removed 83 places and 0 transitions.
Iterating post reduction 25 with 83 rules applied. Total rules applied 7276 place count 492 transition count 2412
Discarding 50 places :
Symmetric choice reduction at 26 with 50 rule applications. Total rules 7326 place count 442 transition count 1812
Iterating global reduction 26 with 50 rules applied. Total rules applied 7376 place count 442 transition count 1812
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 26 with 10 rules applied. Total rules applied 7386 place count 442 transition count 1802
Discarding 6 places :
Symmetric choice reduction at 26 with 6 rule applications. Total rules 7392 place count 436 transition count 1736
Iterating global reduction 26 with 6 rules applied. Total rules applied 7398 place count 436 transition count 1736
Ensure Unique test removed 29 transitions
Reduce isomorphic transitions removed 29 transitions.
Iterating post reduction 26 with 29 rules applied. Total rules applied 7427 place count 436 transition count 1707
Partial Free-agglomeration rule applied 530 times.
Drop transitions (Partial Free agglomeration) removed 530 transitions
Iterating global reduction 27 with 530 rules applied. Total rules applied 7957 place count 436 transition count 1707
Applied a total of 7957 rules in 7033 ms. Remains 436 /3136 variables (removed 2700) and now considering 1707/12585 (removed 10878) transitions.
Running SMT prover for 2 properties.
// Phase 1: matrix 1707 rows 436 cols
[2024-05-25 03:57:57] [INFO ] Computed 82 invariants in 43 ms
[2024-05-25 03:57:57] [INFO ] After 86ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2024-05-25 03:57:57] [INFO ] [Nat]Absence check using 3 positive place invariants in 7 ms returned sat
[2024-05-25 03:57:57] [INFO ] [Nat]Absence check using 3 positive and 79 generalized place invariants in 15 ms returned sat
[2024-05-25 03:57:57] [INFO ] After 517ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
TRAPS : Iteration 0
[2024-05-25 03:57:58] [INFO ] After 711ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
[2024-05-25 03:57:58] [INFO ] After 951ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
[2024-05-25 03:57:58] [INFO ] Flatten gal took : 74 ms
[2024-05-25 03:57:58] [INFO ] Flatten gal took : 69 ms
[2024-05-25 03:57:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10287510020220692186.gal : 16 ms
[2024-05-25 03:57:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18377664596822872684.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/ReachabilityCardinality10287510020220692186.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality18377664596822872684.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 ...330
Loading property file /tmp/ReachabilityCardinality18377664596822872684.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 576
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :576 after 578
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :578 after 609
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :609 after 617
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :617 after 622
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :622 after 631
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :631 after 651
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :651 after 5268
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :5268 after 5564
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :5564 after 5747
SDD proceeding with computation,2 properties remain. new max is 4096
SDD size :5747 after 25857
Detected timeout of ITS tools.
[2024-05-25 03:58:13] [INFO ] Flatten gal took : 62 ms
[2024-05-25 03:58:13] [INFO ] Applying decomposition
[2024-05-25 03:58:13] [INFO ] Flatten gal took : 64 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/graph16549501238351234288.txt' '-o' '/tmp/graph16549501238351234288.bin' '-w' '/tmp/graph16549501238351234288.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph16549501238351234288.bin' '-l' '-1' '-v' '-w' '/tmp/graph16549501238351234288.weights' '-q' '0' '-e' '0.001'
[2024-05-25 03:58:13] [INFO ] Decomposing Gal with order
[2024-05-25 03:58:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-25 03:58:14] [INFO ] Removed a total of 42 redundant transitions.
[2024-05-25 03:58:14] [INFO ] Flatten gal took : 163 ms
[2024-05-25 03:58:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 80 labels/synchronizations in 12 ms.
[2024-05-25 03:58:14] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17441469785560500714.gal : 20 ms
[2024-05-25 03:58:14] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13221748973551312151.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/ReachabilityCardinality17441469785560500714.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality13221748973551312151.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 ...330
Loading property file /tmp/ReachabilityCardinality13221748973551312151.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 526
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :526 after 537
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :537 after 550
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :550 after 555
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :555 after 563
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :563 after 574
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :574 after 4667
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :4667 after 4886
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :4886 after 5011
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :5011 after 22601
Detected timeout of ITS tools.
Over-approximation ignoring read arcs solved 0 properties in 39537 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
[2024-05-25 03:58:30] [INFO ] Flatten gal took : 909 ms
[2024-05-25 03:58:30] [INFO ] Applying decomposition
[2024-05-25 03:58:31] [INFO ] Flatten gal took : 814 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/graph485710964307244848.txt' '-o' '/tmp/graph485710964307244848.bin' '-w' '/tmp/graph485710964307244848.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph485710964307244848.bin' '-l' '-1' '-v' '-w' '/tmp/graph485710964307244848.weights' '-q' '0' '-e' '0.001'
[2024-05-25 03:58:33] [INFO ] Decomposing Gal with order
[2024-05-25 03:58:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-25 03:58:48] [INFO ] Removed a total of 18437 redundant transitions.
[2024-05-25 03:58:49] [INFO ] Flatten gal took : 5333 ms
[2024-05-25 03:58:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 557 labels/synchronizations in 543 ms.
[2024-05-25 03:58:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12730633916920090344.gal : 215 ms
[2024-05-25 03:58:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8941872775196659688.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/ReachabilityCardinality12730633916920090344.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality8941872775196659688.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/ReachabilityCardinality8941872775196659688.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 9
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :9 after 11
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :11 after 14
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :14 after 17
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :17 after 22
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :22 after 59
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :59 after 61
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :61 after 64
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :64 after 65
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :65 after 69
SDD proceeding with computation,2 properties remain. new max is 4096
SDD size :69 after 73
SDD proceeding with computation,2 properties remain. new max is 8192
SDD size :73 after 81
SDD proceeding with computation,2 properties remain. new max is 16384
SDD size :81 after 93
SDD proceeding with computation,2 properties remain. new max is 32768
SDD size :93 after 113
SDD proceeding with computation,2 properties remain. new max is 65536
SDD size :113 after 239
Detected timeout of ITS tools.
[2024-05-25 04:28:55] [INFO ] Flatten gal took : 578 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin804635855462701739
[2024-05-25 04:28:55] [INFO ] Too many transitions (12585) to apply POR reductions. Disabling POR matrices.
[2024-05-25 04:28:55] [INFO ] Applying decomposition
[2024-05-25 04:28:55] [INFO ] Built C files in 301ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin804635855462701739
Running compilation step : cd /tmp/ltsmin804635855462701739;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/limit_time.pl' '360' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2024-05-25 04:28:55] [INFO ] Flatten gal took : 494 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/graph2988835333116695122.txt' '-o' '/tmp/graph2988835333116695122.bin' '-w' '/tmp/graph2988835333116695122.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph2988835333116695122.bin' '-l' '-1' '-v' '-w' '/tmp/graph2988835333116695122.weights' '-q' '0' '-e' '0.001'
[2024-05-25 04:28:56] [INFO ] Decomposing Gal with order
[2024-05-25 04:28:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-25 04:28:59] [INFO ] Removed a total of 5826 redundant transitions.
[2024-05-25 04:28:59] [INFO ] Flatten gal took : 2508 ms
[2024-05-25 04:28:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 1431 labels/synchronizations in 244 ms.
[2024-05-25 04:29:00] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8426967838304760854.gal : 134 ms
[2024-05-25 04:29:00] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3571061437167929521.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/ReachabilityCardinality8426967838304760854.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality3571061437167929521.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
Loading property file /tmp/ReachabilityCardinality3571061437167929521.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 56
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :56 after 109
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :109 after 111
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :111 after 113
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :113 after 115
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :115 after 123
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :123 after 126
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :126 after 252
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :252 after 282
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :282 after 484
SDD proceeding with computation,2 properties remain. new max is 4096
SDD size :484 after 718
SDD proceeding with computation,2 properties remain. new max is 8192
SDD size :718 after 1403
Compilation finished in 103770 ms.
Running link step : cd /tmp/ltsmin804635855462701739;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 114 ms.
Running LTSmin : cd /tmp/ltsmin804635855462701739;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'MultiCrashLeafsetExtensionPTS24C11ReachabilityCardinality202401==true'
SDD proceeding with computation,2 properties remain. new max is 16384
SDD size :1403 after 2808
SDD proceeding with computation,2 properties remain. new max is 32768
SDD size :2808 after 5580
SDD proceeding with computation,2 properties remain. new max is 65536
SDD size :5580 after 11447
WARNING : LTSmin timed out (>900 s) on command cd /tmp/ltsmin804635855462701739;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'MultiCrashLeafsetExtensionPTS24C11ReachabilityCardinality202401==true'
Running LTSmin : cd /tmp/ltsmin804635855462701739;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405141337/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'MultiCrashLeafsetExtensionPTS24C11ReachabilityCardinality202404==true'
BK_TIME_CONFINEMENT_REACHED
--------------------
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
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -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:
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ sed s/.jar//
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -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-S24C11"
export BK_EXAMINATION="ReachabilityCardinality"
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-S24C11, examination is ReachabilityCardinality"
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-171654351000134"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C11.tgz
mv MultiCrashLeafsetExtension-PT-S24C11 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;