About the Execution of GreatSPN+red for MultiCrashLeafsetExtension-PT-S24C11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13573.107 | 1129772.00 | 2033066.00 | 1875.10 | F??F?T?????FTT?? | 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.r245-tall-171654349200129.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool greatspnxred
Input is MultiCrashLeafsetExtension-PT-S24C11, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-171654349200129
=====================================================================
--------------------
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-CTLCardinality-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2023-15
=== Now, execution of the tool begins
BK_START 1716609366279
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C11
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-25 03:56:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2024-05-25 03:56:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 03:56:08] [INFO ] Load time of PNML (sax parser for PT used): 819 ms
[2024-05-25 03:56:08] [INFO ] Transformed 19254 places.
[2024-05-25 03:56:08] [INFO ] Transformed 27973 transitions.
[2024-05-25 03:56:08] [INFO ] Parsed PT model containing 19254 places and 27973 transitions and 103022 arcs in 1047 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 25 ms.
Support contains 184 out of 19254 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 19254/19254 places, 27973/27973 transitions.
Reduce places removed 50 places and 0 transitions.
Iterating post reduction 0 with 50 rules applied. Total rules applied 50 place count 19204 transition count 27973
Applied a total of 50 rules in 819 ms. Remains 19204 /19254 variables (removed 50) and now considering 27973/27973 (removed 0) transitions.
[2024-05-25 03:56:09] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2024-05-25 03:56:12] [INFO ] Computed 1249 invariants in 2687 ms
[2024-05-25 03:56:46] [INFO ] Performed 6802/19204 implicitness test of which 218 returned IMPLICIT in 30 seconds.
[2024-05-25 03:57:17] [INFO ] Performed 12271/19204 implicitness test of which 423 returned IMPLICIT in 60 seconds.
[2024-05-25 03:57:47] [INFO ] Performed 18077/19204 implicitness test of which 609 returned IMPLICIT in 90 seconds.
[2024-05-25 03:58:07] [INFO ] Implicit Places using invariants in 117927 ms returned [4, 8, 34, 62, 92, 124, 158, 194, 232, 272, 314, 358, 404, 451, 497, 541, 583, 623, 661, 697, 731, 763, 793, 821, 847, 917, 924, 949, 975, 1003, 1033, 1065, 1099, 1135, 1173, 1213, 1255, 1299, 1344, 1388, 1430, 1470, 1508, 1544, 1578, 1610, 1640, 1668, 1694, 1719, 1789, 1796, 1821, 1846, 1872, 1900, 1930, 1962, 1996, 2032, 2070, 2110, 2152, 2195, 2237, 2277, 2315, 2351, 2385, 2417, 2447, 2475, 2501, 2526, 2551, 2621, 2628, 2653, 2678, 2703, 2729, 2757, 2787, 2819, 2853, 2889, 2927, 2967, 3008, 3048, 3086, 3122, 3156, 3188, 3218, 3246, 3272, 3297, 3322, 3347, 3417, 3424, 3449, 3474, 3499, 3524, 3550, 3578, 3608, 3640, 3674, 3710, 3748, 3787, 3825, 3861, 3895, 3927, 3957, 3985, 4011, 4036, 4061, 4086, 4111, 4181, 4188, 4213, 4238, 4263, 4288, 4313, 4339, 4367, 4397, 4429, 4463, 4499, 4536, 4572, 4606, 4638, 4668, 4696, 4722, 4747, 4772, 4797, 4822, 4847, 4917, 4924, 4949, 4974, 5024, 5049, 5074, 5100, 5128, 5158, 5190, 5224, 5259, 5293, 5325, 5355, 5383, 5409, 5434, 5459, 5484, 5509, 5534, 5559, 5629, 5636, 5661, 5686, 5711, 5736, 5761, 5786, 5811, 5837, 5865, 5895, 5927, 5960, 5992, 6022, 6050, 6101, 6126, 6151, 6176, 6201, 6226, 6251, 6321, 6328, 6353, 6378, 6403, 6428, 6453, 6478, 6503, 6528, 6554, 6582, 6612, 6643, 6673, 6701, 6727, 6752, 6777, 6802, 6827, 6852, 6877, 6902, 6997, 7004, 7029, 7054, 7079, 7104, 7129, 7154, 7179, 7204, 7229, 7255, 7283, 7312, 7340, 7366, 7391, 7416, 7441, 7466, 7491, 7516, 7541, 7566, 7591, 7661, 7668, 7693, 7718, 7743, 7768, 7793, 7818, 7843, 7868, 7893, 7918, 7944, 7971, 7997, 8022, 8047, 8072, 8097, 8122, 8147, 8172, 8197, 8222, 8247, 8317, 8324, 8349, 8374, 8399, 8424, 8449, 8474, 8499, 8524, 8549, 8574, 8599, 8624, 8649, 8674, 8699, 8724, 8749, 8774, 8799, 8824, 8849, 8874, 8899, 8969, 8971, 8975, 9000, 9025, 9050, 9075, 9100, 9125, 9175, 9200, 9225, 9250, 9275, 9300, 9325, 9350, 9375, 9400, 9425, 9450, 9475, 9500, 9525, 9550, 9620, 9627, 9652, 9677, 9702, 9727, 9752, 9777, 9802, 9827, 9852, 9877, 9902, 9927, 9952, 9977, 10002, 10027, 10052, 10077, 10102, 10127, 10152, 10177, 10202, 10272, 10279, 10304, 10329, 10354, 10379, 10404, 10429, 10454, 10479, 10504, 10529, 10554, 10580, 10607, 10633, 10658, 10683, 10708, 10733, 10758, 10783, 10808, 10833, 10858, 10928, 10935, 10960, 10985, 11010, 11035, 11060, 11085, 11110, 11135, 11160, 11185, 11211, 11239, 11268, 11296, 11322, 11347, 11372, 11397, 11422, 11447, 11472, 11497, 11522, 11592, 11599, 11624, 11649, 11674, 11699, 11724, 11749, 11774, 11799, 11824, 11850, 11878, 11908, 11939, 11969, 11997, 12023, 12048, 12073, 12098, 12123, 12148, 12173, 12198, 12268, 12275, 12300, 12325, 12350, 12375, 12400, 12425, 12450, 12475, 12501, 12529, 12559, 12591, 12624, 12656, 12686, 12714, 12740, 12765, 12790, 12815, 12840, 12865, 12890, 12960, 12967, 12992, 13017, 13042, 13067, 13092, 13117, 13142, 13168, 13196, 13226, 13258, 13292, 13327, 13361, 13393, 13423, 13451, 13477, 13502, 13527, 13552, 13577, 13602, 13672, 13679, 13704, 13729, 13754, 13779, 13804, 13829, 13855, 13883, 13913, 13945, 13979, 14015, 14052, 14088, 14122, 14154, 14184, 14212, 14238, 14263, 14288, 14313, 14338, 14408, 14415, 14440, 14465, 14490, 14515, 14540, 14566, 14594, 14624, 14656, 14690, 14726, 14764, 14803, 14841, 14877, 14911, 14943, 14973, 15001, 15027, 15052, 15077, 15102, 15172, 15179, 15204, 15229, 15254, 15279, 15305, 15333, 15363, 15395, 15429, 15465, 15503, 15543, 15584, 15624, 15662, 15698, 15732, 15764, 15822, 15848, 15873, 15898, 15968, 15975, 16000, 16025, 16050, 16076, 16104, 16134, 16166, 16200, 16236, 16274, 16314, 16356, 16399, 16441, 16481, 16519, 16555, 16589, 16621, 16651, 16679, 16705, 16730, 16800, 16807, 16832, 16857, 16883, 16911, 16941, 16973, 17007, 17043, 17081, 17121, 17163, 17207, 17252, 17296, 17338, 17378, 17416, 17452, 17518, 17548, 17576, 17602, 17672, 17674, 17678, 17703, 17729, 17757, 17787, 17819, 17853, 17889, 17927, 17967, 18009, 18053, 18099, 18146, 18192, 18236, 18278, 18318, 18356, 18392, 18426, 18458, 18488, 18516, 18587]
[2024-05-25 03:58:07] [INFO ] Actually due to overlaps returned [917, 1789, 2621, 3417, 4181, 4917, 5629, 6321, 6997, 7661, 8317, 8969, 9620, 10272, 10928, 11592, 12268, 12960, 13672, 14408, 15172, 15968, 16800, 17672, 18587, 4, 8971, 17674]
Discarding 28 places :
Implicit Place search using SMT only with invariants took 118043 ms to find 28 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 19176/19254 places, 27973/27973 transitions.
Applied a total of 0 rules in 523 ms. Remains 19176 /19176 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 119412 ms. Remains : 19176/19254 places, 27973/27973 transitions.
Support contains 184 out of 19176 places after structural reductions.
[2024-05-25 03:58:09] [INFO ] Flatten gal took : 1086 ms
[2024-05-25 03:58:10] [INFO ] Flatten gal took : 799 ms
[2024-05-25 03:58:12] [INFO ] Input system was already deterministic with 27973 transitions.
Support contains 177 out of 19176 places (down from 184) after GAL structural reductions.
RANDOM walk for 40000 steps (352 resets) in 3556 ms. (11 steps per ms) remains 84/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 84/84 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 83/84 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 83/83 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 82/83 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4003 steps (8 resets) in 38 ms. (102 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 81/82 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 81/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 81/81 properties
[2024-05-25 03:58:15] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19176 cols
[2024-05-25 03:58:17] [INFO ] Computed 1221 invariants in 2352 ms
[2024-05-25 03:58:17] [INFO ] State equation strengthened by 8602 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/120 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 81 unsolved
Problem AtomicPropp0 is UNSAT
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp8 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp11 is UNSAT
Problem AtomicPropp12 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp28 is UNSAT
Problem AtomicPropp30 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp40 is UNSAT
Problem AtomicPropp41 is UNSAT
Problem AtomicPropp43 is UNSAT
Problem AtomicPropp44 is UNSAT
Problem AtomicPropp45 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp50 is UNSAT
Problem AtomicPropp52 is UNSAT
Problem AtomicPropp53 is UNSAT
Problem AtomicPropp58 is UNSAT
Problem AtomicPropp59 is UNSAT
Problem AtomicPropp62 is UNSAT
Problem AtomicPropp65 is UNSAT
Problem AtomicPropp67 is UNSAT
Problem AtomicPropp69 is UNSAT
Problem AtomicPropp73 is UNSAT
Problem AtomicPropp77 is UNSAT
Problem AtomicPropp81 is UNSAT
Problem AtomicPropp83 is UNSAT
Problem AtomicPropp84 is UNSAT
Problem AtomicPropp86 is UNSAT
Problem AtomicPropp88 is UNSAT
Problem AtomicPropp89 is UNSAT
Problem AtomicPropp91 is UNSAT
Problem AtomicPropp93 is UNSAT
At refinement iteration 1 (OVERLAPS) 11778/11898 variables, 4/4 constraints. Problems are: Problem set: 38 solved, 43 unsolved
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp94 is UNSAT
At refinement iteration 2 (INCLUDED_ONLY) 0/11898 variables, 2/6 constraints. Problems are: Problem set: 40 solved, 41 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 11898/46549 variables, and 6 constraints, problems are : Problem set: 40 solved, 41 unsolved in 5019 ms.
Refiners :[Positive P Invariants (semi-flows): 4/47 constraints, Generalized P Invariants (flows): 2/1174 constraints, State Equation: 0/19176 constraints, ReadFeed: 0/8602 constraints, PredecessorRefiner: 81/81 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 40 solved, 41 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/69 variables, 0/0 constraints. Problems are: Problem set: 40 solved, 41 unsolved
At refinement iteration 1 (OVERLAPS) 11819/11888 variables, 3/3 constraints. Problems are: Problem set: 40 solved, 41 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 11888/46549 variables, and 3 constraints, problems are : Problem set: 40 solved, 41 unsolved in 5131 ms.
Refiners :[Positive P Invariants (semi-flows): 3/47 constraints, Generalized P Invariants (flows): 0/1174 constraints, State Equation: 0/19176 constraints, ReadFeed: 0/8602 constraints, PredecessorRefiner: 0/81 constraints, Known Traps: 0/0 constraints]
After SMT, in 12999ms problems are : Problem set: 40 solved, 41 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 69 out of 19176 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19176/19176 places, 27973/27973 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 6543 transitions
Trivial Post-agglo rules discarded 6543 transitions
Performed 6543 trivial Post agglomeration. Transition count delta: 6543
Iterating post reduction 0 with 6543 rules applied. Total rules applied 6543 place count 19176 transition count 21430
Reduce places removed 6543 places and 0 transitions.
Performed 40 Post agglomeration using F-continuation condition.Transition count delta: 40
Iterating post reduction 1 with 6583 rules applied. Total rules applied 13126 place count 12633 transition count 21390
Reduce places removed 40 places and 0 transitions.
Iterating post reduction 2 with 40 rules applied. Total rules applied 13166 place count 12593 transition count 21390
Performed 547 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 547 Pre rules applied. Total rules applied 13166 place count 12593 transition count 20843
Deduced a syphon composed of 547 places in 20 ms
Reduce places removed 547 places and 0 transitions.
Iterating global reduction 3 with 1094 rules applied. Total rules applied 14260 place count 12046 transition count 20843
Discarding 5993 places :
Symmetric choice reduction at 3 with 5993 rule applications. Total rules 20253 place count 6053 transition count 14850
Iterating global reduction 3 with 5993 rules applied. Total rules applied 26246 place count 6053 transition count 14850
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 26246 place count 6053 transition count 14849
Deduced a syphon composed of 1 places in 12 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 26248 place count 6052 transition count 14849
Discarding 494 places :
Symmetric choice reduction at 3 with 494 rule applications. Total rules 26742 place count 5558 transition count 9415
Iterating global reduction 3 with 494 rules applied. Total rules applied 27236 place count 5558 transition count 9415
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 7 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 27286 place count 5533 transition count 9390
Free-agglomeration rule (complex) applied 393 times.
Iterating global reduction 3 with 393 rules applied. Total rules applied 27679 place count 5533 transition count 13937
Reduce places removed 393 places and 0 transitions.
Iterating post reduction 3 with 393 rules applied. Total rules applied 28072 place count 5140 transition count 13937
Partial Free-agglomeration rule applied 525 times.
Drop transitions (Partial Free agglomeration) removed 525 transitions
Iterating global reduction 4 with 525 rules applied. Total rules applied 28597 place count 5140 transition count 13937
Applied a total of 28597 rules in 6740 ms. Remains 5140 /19176 variables (removed 14036) and now considering 13937/27973 (removed 14036) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6744 ms. Remains : 5140/19176 places, 13937/27973 transitions.
RANDOM walk for 40000 steps (606 resets) in 2848 ms. (14 steps per ms) remains 36/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 38 ms. (102 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 32 ms. (121 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 32 ms. (121 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 32 ms. (121 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 31 ms. (125 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 28 ms. (138 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 33 ms. (117 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4002 steps (8 resets) in 26 ms. (148 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 34 ms. (114 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 30 ms. (129 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4002 steps (8 resets) in 27 ms. (142 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 36/36 properties
[2024-05-25 03:58:35] [INFO ] Flow matrix only has 13053 transitions (discarded 884 similar events)
// Phase 1: matrix 13053 rows 5140 cols
[2024-05-25 03:58:36] [INFO ] Computed 1221 invariants in 485 ms
[2024-05-25 03:58:36] [INFO ] State equation strengthened by 8602 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/53 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 1 (OVERLAPS) 3802/3855 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3855 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 36 unsolved
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp3 is UNSAT
Problem AtomicPropp4 is UNSAT
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp13 is UNSAT
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp27 is UNSAT
Problem AtomicPropp48 is UNSAT
Problem AtomicPropp49 is UNSAT
Problem AtomicPropp51 is UNSAT
Problem AtomicPropp54 is UNSAT
Problem AtomicPropp61 is UNSAT
Problem AtomicPropp64 is UNSAT
Problem AtomicPropp66 is UNSAT
Problem AtomicPropp72 is UNSAT
Problem AtomicPropp74 is UNSAT
Problem AtomicPropp78 is UNSAT
Problem AtomicPropp79 is UNSAT
Problem AtomicPropp80 is UNSAT
Problem AtomicPropp82 is UNSAT
Problem AtomicPropp90 is UNSAT
Problem AtomicPropp92 is UNSAT
At refinement iteration 3 (OVERLAPS) 1220/5075 variables, 1152/1156 constraints. Problems are: Problem set: 23 solved, 13 unsolved
[2024-05-25 03:58:47] [INFO ] Deduced a trap composed of 6 places in 8108 ms of which 247 ms to minimize.
[2024-05-25 03:58:55] [INFO ] Deduced a trap composed of 496 places in 7808 ms of which 42 ms to minimize.
[2024-05-25 03:59:03] [INFO ] Deduced a trap composed of 533 places in 7737 ms of which 41 ms to minimize.
[2024-05-25 03:59:11] [INFO ] Deduced a trap composed of 634 places in 7852 ms of which 35 ms to minimize.
[2024-05-25 03:59:19] [INFO ] Deduced a trap composed of 551 places in 7832 ms of which 39 ms to minimize.
[2024-05-25 03:59:27] [INFO ] Deduced a trap composed of 449 places in 7791 ms of which 36 ms to minimize.
SMT process timed out in 51152ms, After SMT, problems are : Problem set: 23 solved, 13 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 27 out of 5140 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5140/5140 places, 13937/13937 transitions.
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 0 with 7 rules applied. Total rules applied 7 place count 5140 transition count 13930
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 5133 transition count 13930
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 14 place count 5133 transition count 13929
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 16 place count 5132 transition count 13929
Free-agglomeration rule (complex) applied 9 times.
Iterating global reduction 2 with 9 rules applied. Total rules applied 25 place count 5132 transition count 13920
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 34 place count 5123 transition count 13920
Discarding 11 places :
Symmetric choice reduction at 3 with 11 rule applications. Total rules 45 place count 5112 transition count 13909
Iterating global reduction 3 with 11 rules applied. Total rules applied 56 place count 5112 transition count 13909
Partial Free-agglomeration rule applied 27 times.
Drop transitions (Partial Free agglomeration) removed 27 transitions
Iterating global reduction 3 with 27 rules applied. Total rules applied 83 place count 5112 transition count 13909
Discarding 27 places :
Symmetric choice reduction at 3 with 27 rule applications. Total rules 110 place count 5085 transition count 13882
Iterating global reduction 3 with 27 rules applied. Total rules applied 137 place count 5085 transition count 13882
Applied a total of 137 rules in 3108 ms. Remains 5085 /5140 variables (removed 55) and now considering 13882/13937 (removed 55) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3108 ms. Remains : 5085/5140 places, 13882/13937 transitions.
RANDOM walk for 40000 steps (606 resets) in 2667 ms. (14 steps per ms) remains 12/13 properties
BEST_FIRST walk for 40003 steps (61 resets) in 325 ms. (122 steps per ms) remains 11/12 properties
BEST_FIRST walk for 40004 steps (63 resets) in 308 ms. (129 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (63 resets) in 315 ms. (126 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (65 resets) in 312 ms. (127 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (65 resets) in 310 ms. (128 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (63 resets) in 307 ms. (129 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (62 resets) in 303 ms. (131 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (64 resets) in 380 ms. (104 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (64 resets) in 310 ms. (128 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (64 resets) in 312 ms. (127 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (64 resets) in 312 ms. (127 steps per ms) remains 11/11 properties
[2024-05-25 03:59:31] [INFO ] Flow matrix only has 12997 transitions (discarded 885 similar events)
// Phase 1: matrix 12997 rows 5085 cols
[2024-05-25 03:59:32] [INFO ] Computed 1221 invariants in 370 ms
[2024-05-25 03:59:32] [INFO ] State equation strengthened by 8602 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/23 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 1 (OVERLAPS) 3789/3812 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3812 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 3 (OVERLAPS) 1217/5029 variables, 1161/1165 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5029 variables, 0/1165 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 5 (OVERLAPS) 44/5073 variables, 44/1209 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/5073 variables, 0/1209 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 7 (OVERLAPS) 12/5085 variables, 12/1221 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/5085 variables, 0/1221 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 9 (OVERLAPS) 12997/18082 variables, 5085/6306 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/18082 variables, 8602/14908 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/18082 variables, 0/14908 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 12 (OVERLAPS) 0/18082 variables, 0/14908 constraints. Problems are: Problem set: 0 solved, 11 unsolved
No progress, stopping.
After SMT solving in domain Real declared 18082/18082 variables, and 14908 constraints, problems are : Problem set: 0 solved, 11 unsolved in 27901 ms.
Refiners :[Positive P Invariants (semi-flows): 48/48 constraints, Generalized P Invariants (flows): 1173/1173 constraints, State Equation: 5085/5085 constraints, ReadFeed: 8602/8602 constraints, PredecessorRefiner: 11/11 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 11 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/23 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 1 (OVERLAPS) 3789/3812 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 11 unsolved
[2024-05-25 04:00:05] [INFO ] Deduced a trap composed of 1228 places in 4161 ms of which 26 ms to minimize.
[2024-05-25 04:00:09] [INFO ] Deduced a trap composed of 1294 places in 4175 ms of which 26 ms to minimize.
[2024-05-25 04:00:14] [INFO ] Deduced a trap composed of 1227 places in 4087 ms of which 26 ms to minimize.
[2024-05-25 04:00:18] [INFO ] Deduced a trap composed of 1381 places in 4306 ms of which 25 ms to minimize.
[2024-05-25 04:00:22] [INFO ] Deduced a trap composed of 1268 places in 4080 ms of which 24 ms to minimize.
[2024-05-25 04:00:26] [INFO ] Deduced a trap composed of 1228 places in 4272 ms of which 27 ms to minimize.
[2024-05-25 04:00:31] [INFO ] Deduced a trap composed of 1204 places in 4355 ms of which 28 ms to minimize.
[2024-05-25 04:00:35] [INFO ] Deduced a trap composed of 1269 places in 4090 ms of which 26 ms to minimize.
[2024-05-25 04:00:39] [INFO ] Deduced a trap composed of 1198 places in 4349 ms of which 28 ms to minimize.
[2024-05-25 04:00:44] [INFO ] Deduced a trap composed of 1291 places in 4402 ms of which 28 ms to minimize.
[2024-05-25 04:00:48] [INFO ] Deduced a trap composed of 1197 places in 4345 ms of which 26 ms to minimize.
[2024-05-25 04:00:52] [INFO ] Deduced a trap composed of 1214 places in 3999 ms of which 22 ms to minimize.
[2024-05-25 04:00:57] [INFO ] Deduced a trap composed of 1214 places in 4353 ms of which 25 ms to minimize.
[2024-05-25 04:01:01] [INFO ] Deduced a trap composed of 1347 places in 4098 ms of which 25 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/3812 variables, 14/18 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3812 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 11 unsolved
At refinement iteration 4 (OVERLAPS) 1217/5029 variables, 1161/1179 constraints. Problems are: Problem set: 0 solved, 11 unsolved
[2024-05-25 04:01:11] [INFO ] Deduced a trap composed of 6 places in 7805 ms of which 34 ms to minimize.
[2024-05-25 04:01:18] [INFO ] Deduced a trap composed of 676 places in 7638 ms of which 40 ms to minimize.
SMT process timed out in 107044ms, After SMT, problems are : Problem set: 0 solved, 11 unsolved
Fused 11 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 23 out of 5085 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5085/5085 places, 13882/13882 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 5085 transition count 13879
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 6 place count 5082 transition count 13879
Partial Free-agglomeration rule applied 4 times.
Drop transitions (Partial Free agglomeration) removed 4 transitions
Iterating global reduction 2 with 4 rules applied. Total rules applied 10 place count 5082 transition count 13879
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 14 place count 5078 transition count 13875
Iterating global reduction 2 with 4 rules applied. Total rules applied 18 place count 5078 transition count 13875
Applied a total of 18 rules in 1976 ms. Remains 5078 /5085 variables (removed 7) and now considering 13875/13882 (removed 7) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1976 ms. Remains : 5078/5085 places, 13875/13882 transitions.
Successfully simplified 63 atomic propositions for a total of 16 simplifications.
Initial state reduction rules removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2023-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-25 04:01:21] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2024-05-25 04:01:21] [INFO ] Flatten gal took : 691 ms
[2024-05-25 04:01:21] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2023-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-25 04:01:22] [INFO ] Flatten gal took : 728 ms
[2024-05-25 04:01:23] [INFO ] Input system was already deterministic with 27973 transitions.
Support contains 28 out of 19176 places (down from 38) after GAL structural reductions.
Computed a total of 16552 stabilizing places and 22772 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 19176/19176 places, 27973/27973 transitions.
Applied a total of 0 rules in 447 ms. Remains 19176 /19176 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 448 ms. Remains : 19176/19176 places, 27973/27973 transitions.
[2024-05-25 04:01:25] [INFO ] Flatten gal took : 651 ms
[2024-05-25 04:01:25] [INFO ] Flatten gal took : 757 ms
[2024-05-25 04:01:27] [INFO ] Input system was already deterministic with 27973 transitions.
Starting structural reductions in LTL mode, iteration 0 : 19176/19176 places, 27973/27973 transitions.
Applied a total of 0 rules in 449 ms. Remains 19176 /19176 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 450 ms. Remains : 19176/19176 places, 27973/27973 transitions.
[2024-05-25 04:01:28] [INFO ] Flatten gal took : 674 ms
[2024-05-25 04:01:29] [INFO ] Flatten gal took : 753 ms
[2024-05-25 04:01:30] [INFO ] Input system was already deterministic with 27973 transitions.
Starting structural reductions in LTL mode, iteration 0 : 19176/19176 places, 27973/27973 transitions.
Applied a total of 0 rules in 447 ms. Remains 19176 /19176 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 449 ms. Remains : 19176/19176 places, 27973/27973 transitions.
[2024-05-25 04:01:31] [INFO ] Flatten gal took : 647 ms
[2024-05-25 04:01:32] [INFO ] Flatten gal took : 757 ms
[2024-05-25 04:01:34] [INFO ] Input system was already deterministic with 27973 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 19176/19176 places, 27973/27973 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 6596 transitions
Trivial Post-agglo rules discarded 6596 transitions
Performed 6596 trivial Post agglomeration. Transition count delta: 6596
Iterating post reduction 0 with 6596 rules applied. Total rules applied 6596 place count 19176 transition count 21377
Reduce places removed 6596 places and 0 transitions.
Iterating post reduction 1 with 6596 rules applied. Total rules applied 13192 place count 12580 transition count 21377
Performed 550 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 550 Pre rules applied. Total rules applied 13192 place count 12580 transition count 20827
Deduced a syphon composed of 550 places in 19 ms
Reduce places removed 550 places and 0 transitions.
Iterating global reduction 2 with 1100 rules applied. Total rules applied 14292 place count 12030 transition count 20827
Discarding 6046 places :
Symmetric choice reduction at 2 with 6046 rule applications. Total rules 20338 place count 5984 transition count 14781
Iterating global reduction 2 with 6046 rules applied. Total rules applied 26384 place count 5984 transition count 14781
Performed 18 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 18 Pre rules applied. Total rules applied 26384 place count 5984 transition count 14763
Deduced a syphon composed of 18 places in 12 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 2 with 36 rules applied. Total rules applied 26420 place count 5966 transition count 14763
Discarding 546 places :
Symmetric choice reduction at 2 with 546 rule applications. Total rules 26966 place count 5420 transition count 8757
Iterating global reduction 2 with 546 rules applied. Total rules applied 27512 place count 5420 transition count 8757
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 5 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 2 with 50 rules applied. Total rules applied 27562 place count 5395 transition count 8732
Applied a total of 27562 rules in 3209 ms. Remains 5395 /19176 variables (removed 13781) and now considering 8732/27973 (removed 19241) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 3210 ms. Remains : 5395/19176 places, 8732/27973 transitions.
[2024-05-25 04:01:37] [INFO ] Flatten gal took : 188 ms
[2024-05-25 04:01:37] [INFO ] Flatten gal took : 216 ms
[2024-05-25 04:01:38] [INFO ] Input system was already deterministic with 8732 transitions.
Starting structural reductions in LTL mode, iteration 0 : 19176/19176 places, 27973/27973 transitions.
Applied a total of 0 rules in 470 ms. Remains 19176 /19176 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 470 ms. Remains : 19176/19176 places, 27973/27973 transitions.
[2024-05-25 04:01:39] [INFO ] Flatten gal took : 585 ms
[2024-05-25 04:01:39] [INFO ] Flatten gal took : 677 ms
[2024-05-25 04:01:41] [INFO ] Input system was already deterministic with 27973 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 19176/19176 places, 27973/27973 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 6599 transitions
Trivial Post-agglo rules discarded 6599 transitions
Performed 6599 trivial Post agglomeration. Transition count delta: 6599
Iterating post reduction 0 with 6599 rules applied. Total rules applied 6599 place count 19176 transition count 21374
Reduce places removed 6599 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 6600 rules applied. Total rules applied 13199 place count 12577 transition count 21373
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 13200 place count 12576 transition count 21373
Performed 550 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 550 Pre rules applied. Total rules applied 13200 place count 12576 transition count 20823
Deduced a syphon composed of 550 places in 25 ms
Reduce places removed 550 places and 0 transitions.
Iterating global reduction 3 with 1100 rules applied. Total rules applied 14300 place count 12026 transition count 20823
Discarding 6049 places :
Symmetric choice reduction at 3 with 6049 rule applications. Total rules 20349 place count 5977 transition count 14774
Iterating global reduction 3 with 6049 rules applied. Total rules applied 26398 place count 5977 transition count 14774
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 21 Pre rules applied. Total rules applied 26398 place count 5977 transition count 14753
Deduced a syphon composed of 21 places in 15 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 3 with 42 rules applied. Total rules applied 26440 place count 5956 transition count 14753
Discarding 549 places :
Symmetric choice reduction at 3 with 549 rule applications. Total rules 26989 place count 5407 transition count 8714
Iterating global reduction 3 with 549 rules applied. Total rules applied 27538 place count 5407 transition count 8714
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 5 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 27588 place count 5382 transition count 8689
Applied a total of 27588 rules in 3118 ms. Remains 5382 /19176 variables (removed 13794) and now considering 8689/27973 (removed 19284) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 3121 ms. Remains : 5382/19176 places, 8689/27973 transitions.
[2024-05-25 04:01:44] [INFO ] Flatten gal took : 199 ms
[2024-05-25 04:01:45] [INFO ] Flatten gal took : 239 ms
[2024-05-25 04:01:45] [INFO ] Input system was already deterministic with 8689 transitions.
Starting structural reductions in LTL mode, iteration 0 : 19176/19176 places, 27973/27973 transitions.
Applied a total of 0 rules in 441 ms. Remains 19176 /19176 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 442 ms. Remains : 19176/19176 places, 27973/27973 transitions.
[2024-05-25 04:01:46] [INFO ] Flatten gal took : 628 ms
[2024-05-25 04:01:47] [INFO ] Flatten gal took : 703 ms
[2024-05-25 04:01:48] [INFO ] Input system was already deterministic with 27973 transitions.
Starting structural reductions in LTL mode, iteration 0 : 19176/19176 places, 27973/27973 transitions.
Applied a total of 0 rules in 449 ms. Remains 19176 /19176 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 451 ms. Remains : 19176/19176 places, 27973/27973 transitions.
[2024-05-25 04:01:49] [INFO ] Flatten gal took : 610 ms
[2024-05-25 04:01:50] [INFO ] Flatten gal took : 709 ms
[2024-05-25 04:01:52] [INFO ] Input system was already deterministic with 27973 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 19176/19176 places, 27973/27973 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 6599 transitions
Trivial Post-agglo rules discarded 6599 transitions
Performed 6599 trivial Post agglomeration. Transition count delta: 6599
Iterating post reduction 0 with 6599 rules applied. Total rules applied 6599 place count 19176 transition count 21374
Reduce places removed 6599 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 6600 rules applied. Total rules applied 13199 place count 12577 transition count 21373
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 13200 place count 12576 transition count 21373
Performed 550 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 550 Pre rules applied. Total rules applied 13200 place count 12576 transition count 20823
Deduced a syphon composed of 550 places in 18 ms
Reduce places removed 550 places and 0 transitions.
Iterating global reduction 3 with 1100 rules applied. Total rules applied 14300 place count 12026 transition count 20823
Discarding 6049 places :
Symmetric choice reduction at 3 with 6049 rule applications. Total rules 20349 place count 5977 transition count 14774
Iterating global reduction 3 with 6049 rules applied. Total rules applied 26398 place count 5977 transition count 14774
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 21 Pre rules applied. Total rules applied 26398 place count 5977 transition count 14753
Deduced a syphon composed of 21 places in 11 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 3 with 42 rules applied. Total rules applied 26440 place count 5956 transition count 14753
Discarding 549 places :
Symmetric choice reduction at 3 with 549 rule applications. Total rules 26989 place count 5407 transition count 8714
Iterating global reduction 3 with 549 rules applied. Total rules applied 27538 place count 5407 transition count 8714
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 5 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 27588 place count 5382 transition count 8689
Applied a total of 27588 rules in 3108 ms. Remains 5382 /19176 variables (removed 13794) and now considering 8689/27973 (removed 19284) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 3108 ms. Remains : 5382/19176 places, 8689/27973 transitions.
[2024-05-25 04:01:55] [INFO ] Flatten gal took : 201 ms
[2024-05-25 04:01:55] [INFO ] Flatten gal took : 235 ms
[2024-05-25 04:01:56] [INFO ] Input system was already deterministic with 8689 transitions.
RANDOM walk for 40000 steps (503 resets) in 639 ms. (62 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40003 steps (76 resets) in 191 ms. (208 steps per ms) remains 1/1 properties
Interrupted probabilistic random walk after 24054 steps, run timeout after 3001 ms. (steps per millisecond=8 ) properties seen :0 out of 1
Probabilistic random walk after 24054 steps, saw 11430 distinct states, run finished after 3011 ms. (steps per millisecond=7 ) properties seen :0
[2024-05-25 04:01:59] [INFO ] Flow matrix only has 8089 transitions (discarded 600 similar events)
// Phase 1: matrix 8089 rows 5382 cols
[2024-05-25 04:01:59] [INFO ] Computed 1221 invariants in 246 ms
[2024-05-25 04:01:59] [INFO ] State equation strengthened by 3112 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 3/4 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/4 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 4091/4095 variables, 3/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/4095 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 25/4120 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/4120 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 1197/5317 variables, 1151/1156 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/5317 variables, 0/1156 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 44/5361 variables, 44/1200 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/5361 variables, 0/1200 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 21/5382 variables, 21/1221 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/5382 variables, 0/1221 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 13471/13471 variables, and 6603 constraints, problems are : Problem set: 0 solved, 1 unsolved in 4170 ms.
Refiners :[Positive P Invariants (semi-flows): 48/48 constraints, Generalized P Invariants (flows): 1173/1173 constraints, State Equation: 5382/5382 constraints, ReadFeed: 0/3112 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 3/4 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/4 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 4091/4095 variables, 3/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/4095 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 25/4120 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/4120 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 1197/5317 variables, 1151/1156 constraints. Problems are: Problem set: 0 solved, 1 unsolved
[2024-05-25 04:02:11] [INFO ] Deduced a trap composed of 71 places in 6168 ms of which 35 ms to minimize.
SMT process timed out in 11552ms, After SMT, problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1 out of 5382 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5382/5382 places, 8689/8689 transitions.
Free-agglomeration rule (complex) applied 340 times.
Iterating global reduction 0 with 340 rules applied. Total rules applied 340 place count 5382 transition count 13839
Reduce places removed 340 places and 0 transitions.
Iterating post reduction 0 with 340 rules applied. Total rules applied 680 place count 5042 transition count 13839
Partial Free-agglomeration rule applied 25 times.
Drop transitions (Partial Free agglomeration) removed 25 transitions
Iterating global reduction 1 with 25 rules applied. Total rules applied 705 place count 5042 transition count 13839
Applied a total of 705 rules in 2348 ms. Remains 5042 /5382 variables (removed 340) and now considering 13839/8689 (removed -5150) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2349 ms. Remains : 5042/5382 places, 13839/8689 transitions.
RANDOM walk for 1548426 steps (23608 resets) in 91449 ms. (16 steps per ms) remains 0/1 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C11-CTLCardinality-2024-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in LTL mode, iteration 0 : 19176/19176 places, 27973/27973 transitions.
Applied a total of 0 rules in 436 ms. Remains 19176 /19176 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 438 ms. Remains : 19176/19176 places, 27973/27973 transitions.
[2024-05-25 04:02:44] [INFO ] Flatten gal took : 622 ms
[2024-05-25 04:02:45] [INFO ] Flatten gal took : 690 ms
[2024-05-25 04:02:46] [INFO ] Input system was already deterministic with 27973 transitions.
Starting structural reductions in LTL mode, iteration 0 : 19176/19176 places, 27973/27973 transitions.
Applied a total of 0 rules in 446 ms. Remains 19176 /19176 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 448 ms. Remains : 19176/19176 places, 27973/27973 transitions.
[2024-05-25 04:02:47] [INFO ] Flatten gal took : 621 ms
[2024-05-25 04:02:48] [INFO ] Flatten gal took : 730 ms
[2024-05-25 04:02:49] [INFO ] Input system was already deterministic with 27973 transitions.
[2024-05-25 04:02:50] [INFO ] Flatten gal took : 686 ms
[2024-05-25 04:02:51] [INFO ] Flatten gal took : 720 ms
[2024-05-25 04:02:51] [INFO ] Export to MCC of 10 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2024-05-25 04:02:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 19176 places, 27973 transitions and 102344 arcs took 100 ms.
Total runtime 404121 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running MultiCrashLeafsetExtension-PT-S24C11
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/412/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 19176
TRANSITIONS: 27973
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.544s, Sys 0.078s]
SAVING FILE /home/mcc/execution/412/model (.net / .def) ...
EXPORT TIME: [User 0.098s, Sys 0.008s]
----------------------------------------------------------------------
GreatSPN/Meddly.
Copyright (C) 1987-2022, University of Torino, Italy.
website: https://github.com/greatspn/SOURCES
Based on MEDDLY version 0.16.0
Copyright (C) 2009, Iowa State University Research Foundation, Inc.
website: http://meddly.sourceforge.net
Process ID: 669
MODEL NAME: /home/mcc/execution/412/model
19176 places, 27973 transitions.
No place bound informations found.
No place bound informations found.
No place bound informations found.
No place bound informations found.
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
CANNOT_COMPUTE
EXITCODE: 87
----------------------------------------------------------------------
BK_STOP 1716610496051
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -timeout 360 -rebuildPNML
Error in allocating array of size 785402116 at storage/ct_typebased.h, line 1565
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
Error in allocating array of size 785402116 at storage/ct_typebased.h, line 1565
MEDDLY ERROR: Insufficient memory
Error in allocating array of size 785402116 at storage/ct_typebased.h, line 1565
MEDDLY ERROR: Insufficient memory
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="CTLCardinality"
export BK_TOOL="greatspnxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool greatspnxred"
echo " Input is MultiCrashLeafsetExtension-PT-S24C11, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r245-tall-171654349200129"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;