About the Execution of GreatSPN+red for MultiCrashLeafsetExtension-PT-S32C10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6458.651 | 3600000.00 | 3734039.00 | 9693.60 | F?TFFTFF??F?F?F? | 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-171654349400215.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-S32C10, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-171654349400215
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 33M
-rw-r--r-- 1 mcc users 17K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 110K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 19 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 19 18:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:14 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 32M 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-S32C10-ReachabilityFireability-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2023-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2023-15
=== Now, execution of the tool begins
BK_START 1716642900296
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C10
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-25 13:15:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2024-05-25 13:15:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 13:15:02] [INFO ] Load time of PNML (sax parser for PT used): 1088 ms
[2024-05-25 13:15:02] [INFO ] Transformed 32088 places.
[2024-05-25 13:15:03] [INFO ] Transformed 48223 transitions.
[2024-05-25 13:15:03] [INFO ] Parsed PT model containing 32088 places and 48223 transitions and 181342 arcs in 1516 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 100 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (389 resets) in 4364 ms. (9 steps per ms) remains 14/16 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (60 resets) in 869 ms. (45 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40003 steps (60 resets) in 658 ms. (60 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40001 steps (60 resets) in 477 ms. (83 steps per ms) remains 13/14 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-14 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40001 steps (60 resets) in 480 ms. (83 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (60 resets) in 499 ms. (80 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (60 resets) in 539 ms. (74 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40001 steps (60 resets) in 413 ms. (96 steps per ms) remains 12/13 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-00 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40001 steps (60 resets) in 364 ms. (109 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40001 steps (60 resets) in 350 ms. (113 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40002 steps (60 resets) in 351 ms. (113 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40002 steps (60 resets) in 423 ms. (94 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40002 steps (60 resets) in 361 ms. (110 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40003 steps (60 resets) in 343 ms. (116 steps per ms) remains 12/12 properties
[2024-05-25 13:15:06] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32088 cols
[2024-05-25 13:15:15] [INFO ] Computed 1893 invariants in 8104 ms
[2024-05-25 13:15:15] [INFO ] State equation strengthened by 15490 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/98 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/98 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 2 (OVERLAPS) 5556/5654 variables, 37/39 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/5654 variables, 1/40 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5654 variables, 0/40 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 5 (OVERLAPS) 53/5707 variables, 53/93 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/5707 variables, 0/93 constraints. Problems are: Problem set: 0 solved, 12 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 21070/79255 variables, and 701 constraints, problems are : Problem set: 0 solved, 12 unsolved in 5060 ms.
Refiners :[Positive P Invariants (semi-flows): 90/90 constraints, Generalized P Invariants (flows): 611/1803 constraints, State Equation: 0/32088 constraints, ReadFeed: 0/15490 constraints, PredecessorRefiner: 12/9 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 12 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/98 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/98 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 2 (OVERLAPS) 5556/5654 variables, 37/39 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/5654 variables, 1/40 constraints. Problems are: Problem set: 0 solved, 12 unsolved
[2024-05-25 13:15:28] [INFO ] Deduced a trap composed of 98 places in 5354 ms of which 293 ms to minimize.
SMT process timed out in 21307ms, After SMT, problems are : Problem set: 0 solved, 12 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 98 out of 32088 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32088/32088 places, 48223/48223 transitions.
Graph (complete) has 105773 edges and 32088 vertex of which 32032 are kept as prefixes of interest. Removing 56 places using SCC suffix rule.72 ms
Discarding 56 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 10459 transitions
Trivial Post-agglo rules discarded 10459 transitions
Performed 10459 trivial Post agglomeration. Transition count delta: 10459
Iterating post reduction 0 with 10459 rules applied. Total rules applied 10460 place count 32032 transition count 37764
Reduce places removed 10459 places and 0 transitions.
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Iterating post reduction 1 with 10539 rules applied. Total rules applied 20999 place count 21573 transition count 37684
Reduce places removed 80 places and 0 transitions.
Iterating post reduction 2 with 80 rules applied. Total rules applied 21079 place count 21493 transition count 37684
Performed 654 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 654 Pre rules applied. Total rules applied 21079 place count 21493 transition count 37030
Deduced a syphon composed of 654 places in 56 ms
Reduce places removed 654 places and 0 transitions.
Iterating global reduction 3 with 1308 rules applied. Total rules applied 22387 place count 20839 transition count 37030
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 58 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 3 with 62 rules applied. Total rules applied 22449 place count 20808 transition count 36999
Free-agglomeration rule (complex) applied 468 times.
Iterating global reduction 3 with 468 rules applied. Total rules applied 22917 place count 20808 transition count 36531
Reduce places removed 468 places and 0 transitions.
Iterating post reduction 3 with 468 rules applied. Total rules applied 23385 place count 20340 transition count 36531
Partial Free-agglomeration rule applied 8347 times.
Drop transitions (Partial Free agglomeration) removed 8347 transitions
Iterating global reduction 4 with 8347 rules applied. Total rules applied 31732 place count 20340 transition count 36531
Applied a total of 31732 rules in 10697 ms. Remains 20340 /32088 variables (removed 11748) and now considering 36531/48223 (removed 11692) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 10713 ms. Remains : 20340/32088 places, 36531/48223 transitions.
RANDOM walk for 40000 steps (556 resets) in 2356 ms. (16 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (60 resets) in 371 ms. (107 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (60 resets) in 351 ms. (113 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40003 steps (60 resets) in 446 ms. (89 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (60 resets) in 345 ms. (115 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (60 resets) in 340 ms. (117 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (60 resets) in 311 ms. (128 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (60 resets) in 282 ms. (141 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40003 steps (60 resets) in 276 ms. (144 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (60 resets) in 270 ms. (147 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40003 steps (60 resets) in 333 ms. (119 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40003 steps (60 resets) in 271 ms. (147 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40003 steps (60 resets) in 268 ms. (148 steps per ms) remains 12/12 properties
Interrupted probabilistic random walk after 7033 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :0 out of 12
Probabilistic random walk after 7033 steps, saw 3486 distinct states, run finished after 3004 ms. (steps per millisecond=2 ) properties seen :0
[2024-05-25 13:15:43] [INFO ] Flow matrix only has 35011 transitions (discarded 1520 similar events)
// Phase 1: matrix 35011 rows 20340 cols
[2024-05-25 13:15:54] [INFO ] Computed 1837 invariants in 10562 ms
[2024-05-25 13:15:55] [INFO ] State equation strengthened by 15490 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/98 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 12 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/98 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 12 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-04 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-04 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-05 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-05 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-07 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-07 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-10 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-10 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 2 (OVERLAPS) 7886/7984 variables, 25/27 constraints. Problems are: Problem set: 4 solved, 8 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/7984 variables, 1/28 constraints. Problems are: Problem set: 4 solved, 8 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/7984 variables, 0/28 constraints. Problems are: Problem set: 4 solved, 8 unsolved
At refinement iteration 5 (OVERLAPS) 4/7988 variables, 4/32 constraints. Problems are: Problem set: 4 solved, 8 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/7988 variables, 0/32 constraints. Problems are: Problem set: 4 solved, 8 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2023-12 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2023-12 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 7 (OVERLAPS) 11967/19955 variables, 1420/1452 constraints. Problems are: Problem set: 5 solved, 7 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/19955 variables, 0/1452 constraints. Problems are: Problem set: 5 solved, 7 unsolved
At refinement iteration 9 (OVERLAPS) 34/19989 variables, 34/1486 constraints. Problems are: Problem set: 5 solved, 7 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/19989 variables, 0/1486 constraints. Problems are: Problem set: 5 solved, 7 unsolved
At refinement iteration 11 (OVERLAPS) 351/20340 variables, 351/1837 constraints. Problems are: Problem set: 5 solved, 7 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/20340 variables, 0/1837 constraints. Problems are: Problem set: 5 solved, 7 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 55351/55351 variables, and 22177 constraints, problems are : Problem set: 5 solved, 7 unsolved in 45075 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, Generalized P Invariants (flows): 1774/1774 constraints, State Equation: 20340/20340 constraints, ReadFeed: 0/15490 constraints, PredecessorRefiner: 12/7 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 5 solved, 7 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/36 variables, 0/0 constraints. Problems are: Problem set: 5 solved, 7 unsolved
At refinement iteration 1 (OVERLAPS) 7919/7955 variables, 15/15 constraints. Problems are: Problem set: 5 solved, 7 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7955 variables, 1/16 constraints. Problems are: Problem set: 5 solved, 7 unsolved
[2024-05-25 13:16:46] [INFO ] Deduced a trap composed of 2052 places in 3950 ms of which 38 ms to minimize.
[2024-05-25 13:16:50] [INFO ] Deduced a trap composed of 2060 places in 4288 ms of which 33 ms to minimize.
[2024-05-25 13:16:54] [INFO ] Deduced a trap composed of 2695 places in 3640 ms of which 35 ms to minimize.
[2024-05-25 13:16:58] [INFO ] Deduced a trap composed of 2713 places in 3572 ms of which 32 ms to minimize.
[2024-05-25 13:17:04] [INFO ] Deduced a trap composed of 2057 places in 3918 ms of which 33 ms to minimize.
[2024-05-25 13:17:08] [INFO ] Deduced a trap composed of 2490 places in 3695 ms of which 29 ms to minimize.
[2024-05-25 13:17:12] [INFO ] Deduced a trap composed of 2221 places in 3670 ms of which 34 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/7955 variables, 7/23 constraints. Problems are: Problem set: 5 solved, 7 unsolved
[2024-05-25 13:17:16] [INFO ] Deduced a trap composed of 2446 places in 3809 ms of which 33 ms to minimize.
[2024-05-25 13:17:20] [INFO ] Deduced a trap composed of 2742 places in 3619 ms of which 33 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/7955 variables, 2/25 constraints. Problems are: Problem set: 5 solved, 7 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/7955 variables, 0/25 constraints. Problems are: Problem set: 5 solved, 7 unsolved
SMT process timed out in 102276ms, After SMT, problems are : Problem set: 5 solved, 7 unsolved
Fused 7 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 36 out of 20340 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20340/20340 places, 36531/36531 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 13 transitions
Trivial Post-agglo rules discarded 13 transitions
Performed 13 trivial Post agglomeration. Transition count delta: 13
Iterating post reduction 0 with 13 rules applied. Total rules applied 13 place count 20340 transition count 36518
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 1 with 13 rules applied. Total rules applied 26 place count 20327 transition count 36518
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 26 place count 20327 transition count 36514
Deduced a syphon composed of 4 places in 42 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 34 place count 20323 transition count 36514
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 29 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 36 place count 20322 transition count 36513
Free-agglomeration rule (complex) applied 27 times.
Iterating global reduction 2 with 27 rules applied. Total rules applied 63 place count 20322 transition count 36486
Reduce places removed 27 places and 0 transitions.
Iterating post reduction 2 with 27 rules applied. Total rules applied 90 place count 20295 transition count 36486
Partial Free-agglomeration rule applied 20 times.
Drop transitions (Partial Free agglomeration) removed 20 transitions
Iterating global reduction 3 with 20 rules applied. Total rules applied 110 place count 20295 transition count 36486
Applied a total of 110 rules in 6753 ms. Remains 20295 /20340 variables (removed 45) and now considering 36486/36531 (removed 45) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6753 ms. Remains : 20295/20340 places, 36486/36531 transitions.
RANDOM walk for 40000 steps (556 resets) in 2297 ms. (17 steps per ms) remains 6/7 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C10-ReachabilityFireability-2024-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (60 resets) in 409 ms. (97 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (60 resets) in 263 ms. (151 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (60 resets) in 315 ms. (126 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (60 resets) in 271 ms. (147 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (60 resets) in 275 ms. (144 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (60 resets) in 275 ms. (144 steps per ms) remains 6/6 properties
[2024-05-25 13:17:34] [INFO ] Flow matrix only has 34947 transitions (discarded 1539 similar events)
// Phase 1: matrix 34947 rows 20295 cols
[2024-05-25 13:17:44] [INFO ] Computed 1837 invariants in 10313 ms
[2024-05-25 13:17:45] [INFO ] State equation strengthened by 15490 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/34 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 7789/7823 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7823 variables, 1/18 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/7823 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (OVERLAPS) 11997/19820 variables, 1344/1362 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/19820 variables, 0/1362 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 6 (OVERLAPS) 48/19868 variables, 48/1410 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/19868 variables, 0/1410 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 8 (OVERLAPS) 427/20295 variables, 427/1837 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/20295 variables, 0/1837 constraints. Problems are: Problem set: 0 solved, 6 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 55242/55242 variables, and 22132 constraints, problems are : Problem set: 0 solved, 6 unsolved in 75109 ms.
Refiners :[Positive P Invariants (semi-flows): 65/65 constraints, Generalized P Invariants (flows): 1772/1772 constraints, State Equation: 20295/20295 constraints, ReadFeed: 0/15490 constraints, PredecessorRefiner: 6/5 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/34 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 7789/7823 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7823 variables, 1/18 constraints. Problems are: Problem set: 0 solved, 6 unsolved
[2024-05-25 13:19:13] [INFO ] Deduced a trap composed of 2066 places in 11642 ms of which 56 ms to minimize.
[2024-05-25 13:19:25] [INFO ] Deduced a trap composed of 2040 places in 12384 ms of which 54 ms to minimize.
[2024-05-25 13:19:38] [INFO ] Deduced a trap composed of 2675 places in 12876 ms of which 55 ms to minimize.
[2024-05-25 13:19:51] [INFO ] Deduced a trap composed of 2693 places in 12198 ms of which 55 ms to minimize.
[2024-05-25 13:19:59] [INFO ] Deduced a trap composed of 2447 places in 6443 ms of which 32 ms to minimize.
[2024-05-25 13:20:06] [INFO ] Deduced a trap composed of 2562 places in 6527 ms of which 33 ms to minimize.
[2024-05-25 13:20:12] [INFO ] Deduced a trap composed of 2512 places in 6425 ms of which 29 ms to minimize.
[2024-05-25 13:20:26] [INFO ] Deduced a trap composed of 2470 places in 13721 ms of which 56 ms to minimize.
SMT process timed out in 172703ms, After SMT, problems are : Problem set: 0 solved, 6 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 34 out of 20295 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20295/20295 places, 36486/36486 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 20295 transition count 36485
Deduced a syphon composed of 1 places in 32 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 20294 transition count 36485
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 3 place count 20294 transition count 36484
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 4 place count 20293 transition count 36484
Applied a total of 4 rules in 3306 ms. Remains 20293 /20295 variables (removed 2) and now considering 36484/36486 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3306 ms. Remains : 20293/20295 places, 36484/36486 transitions.
RANDOM walk for 40000 steps (556 resets) in 2125 ms. (18 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (60 resets) in 311 ms. (128 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (60 resets) in 278 ms. (143 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (60 resets) in 409 ms. (97 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (60 resets) in 271 ms. (147 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (60 resets) in 320 ms. (124 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (60 resets) in 287 ms. (138 steps per ms) remains 6/6 properties
Interrupted probabilistic random walk after 7221 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :0 out of 6
Probabilistic random walk after 7221 steps, saw 3597 distinct states, run finished after 3001 ms. (steps per millisecond=2 ) properties seen :0
[2024-05-25 13:20:34] [INFO ] Flow matrix only has 34945 transitions (discarded 1539 similar events)
// Phase 1: matrix 34945 rows 20293 cols
[2024-05-25 13:20:45] [INFO ] Computed 1837 invariants in 10690 ms
[2024-05-25 13:20:46] [INFO ] State equation strengthened by 15490 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/34 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 7911/7945 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7945 variables, 1/18 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/7945 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (OVERLAPS) 11955/19900 variables, 1426/1444 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/19900 variables, 0/1444 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 6 (OVERLAPS) 48/19948 variables, 48/1492 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/19948 variables, 0/1492 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 8 (OVERLAPS) 345/20293 variables, 345/1837 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/20293 variables, 0/1837 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 10 (OVERLAPS) 34945/55238 variables, 20293/22130 constraints. Problems are: Problem set: 0 solved, 6 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 55238/55238 variables, and 37620 constraints, problems are : Problem set: 0 solved, 6 unsolved in 90116 ms.
Refiners :[Positive P Invariants (semi-flows): 65/65 constraints, Generalized P Invariants (flows): 1772/1772 constraints, State Equation: 20293/20293 constraints, ReadFeed: 15490/15490 constraints, PredecessorRefiner: 6/5 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/34 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 7911/7945 variables, 17/17 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7945 variables, 1/18 constraints. Problems are: Problem set: 0 solved, 6 unsolved
[2024-05-25 13:22:30] [INFO ] Deduced a trap composed of 2032 places in 12699 ms of which 53 ms to minimize.
[2024-05-25 13:22:42] [INFO ] Deduced a trap composed of 2675 places in 12336 ms of which 52 ms to minimize.
[2024-05-25 13:22:55] [INFO ] Deduced a trap composed of 2040 places in 12765 ms of which 55 ms to minimize.
[2024-05-25 13:23:08] [INFO ] Deduced a trap composed of 3046 places in 12659 ms of which 56 ms to minimize.
[2024-05-25 13:23:21] [INFO ] Deduced a trap composed of 1973 places in 12710 ms of which 56 ms to minimize.
[2024-05-25 13:23:33] [INFO ] Deduced a trap composed of 2693 places in 12311 ms of which 56 ms to minimize.
[2024-05-25 13:23:42] [INFO ] Deduced a trap composed of 2548 places in 7209 ms of which 30 ms to minimize.
[2024-05-25 13:23:49] [INFO ] Deduced a trap composed of 2395 places in 7185 ms of which 32 ms to minimize.
SMT process timed out in 195458ms, After SMT, problems are : Problem set: 0 solved, 6 unsolved
Fused 6 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 34 out of 20293 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20293/20293 places, 36484/36484 transitions.
Applied a total of 0 rules in 1605 ms. Remains 20293 /20293 variables (removed 0) and now considering 36484/36484 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1606 ms. Remains : 20293/20293 places, 36484/36484 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20293/20293 places, 36484/36484 transitions.
Applied a total of 0 rules in 1514 ms. Remains 20293 /20293 variables (removed 0) and now considering 36484/36484 (removed 0) transitions.
[2024-05-25 13:23:53] [INFO ] Flow matrix only has 34945 transitions (discarded 1539 similar events)
[2024-05-25 13:23:53] [INFO ] Invariant cache hit.
[2024-05-25 13:24:27] [INFO ] Performed 6806/20293 implicitness test of which 330 returned IMPLICIT in 30 seconds.
[2024-05-25 13:24:57] [INFO ] Performed 11814/20293 implicitness test of which 694 returned IMPLICIT in 60 seconds.
[2024-05-25 13:25:27] [INFO ] Performed 13909/20293 implicitness test of which 831 returned IMPLICIT in 90 seconds.
[2024-05-25 13:25:57] [INFO ] Performed 17901/20293 implicitness test of which 1026 returned IMPLICIT in 120 seconds.
[2024-05-25 13:26:27] [INFO ] Performed 19785/20293 implicitness test of which 1090 returned IMPLICIT in 150 seconds.
[2024-05-25 13:26:33] [INFO ] Implicit Places using invariants in 160096 ms returned [4, 7, 20, 35, 52, 71, 92, 115, 140, 167, 196, 227, 260, 295, 332, 371, 412, 454, 495, 534, 572, 607, 640, 671, 700, 727, 752, 775, 796, 815, 832, 847, 860, 894, 900, 913, 926, 941, 958, 977, 998, 1021, 1046, 1073, 1103, 1134, 1167, 1202, 1239, 1278, 1318, 1357, 1394, 1430, 1463, 1494, 1523, 1550, 1575, 1598, 1619, 1638, 1655, 1670, 1683, 1696, 1730, 1736, 1749, 1762, 1775, 1790, 1807, 1826, 1847, 1870, 1895, 1922, 1951, 1982, 2015, 2050, 2087, 2125, 2162, 2197, 2231, 2262, 2291, 2318, 2343, 2366, 2387, 2406, 2423, 2438, 2451, 2464, 2477, 2511, 2517, 2530, 2543, 2556, 2569, 2584, 2601, 2620, 2641, 2664, 2689, 2716, 2745, 2776, 2809, 2844, 2880, 2915, 2948, 2980, 3009, 3036, 3061, 3084, 3105, 3124, 3141, 3156, 3169, 3182, 3195, 3208, 3242, 3248, 3261, 3274, 3287, 3300, 3313, 3328, 3345, 3364, 3385, 3408, 3433, 3460, 3489, 3520, 3553, 3587, 3620, 3651, 3681, 3708, 3733, 3756, 3777, 3796, 3813, 3828, 3841, 3854, 3867, 3880, 3893, 3927, 3933, 3946, 3959, 3972, 3985, 3998, 4011, 4026, 4043, 4062, 4083, 4106, 4131, 4158, 4187, 4218, 4250, 4281, 4310, 4338, 4363, 4386, 4427, 4444, 4459, 4472, 4485, 4498, 4511, 4524, 4537, 4571, 4577, 4590, 4603, 4616, 4629, 4642, 4655, 4668, 4683, 4700, 4719, 4740, 4763, 4788, 4815, 4844, 4874, 4903, 4930, 4956, 4979, 5000, 5019, 5036, 5051, 5064, 5077, 5090, 5103, 5116, 5129, 5142, 5176, 5182, 5195, 5208, 5221, 5234, 5247, 5260, 5273, 5286, 5301, 5318, 5337, 5358, 5381, 5406, 5433, 5461, 5488, 5513, 5537, 5558, 5577, 5594, 5609, 5622, 5635, 5648, 5661, 5674, 5687, 5700, 5713, 5747, 5753, 5766, 5779, 5792, 5805, 5818, 5831, 5844, 5857, 5870, 5885, 5902, 5921, 5942, 5965, 5990, 6016, 6041, 6064, 6086, 6105, 6122, 6137, 6150, 6163, 6176, 6189, 6202, 6215, 6228, 6241, 6254, 6288, 6294, 6307, 6320, 6333, 6346, 6359, 6372, 6385, 6398, 6411, 6424, 6439, 6456, 6475, 6496, 6519, 6543, 6566, 6587, 6607, 6624, 6639, 6652, 6665, 6678, 6691, 6704, 6717, 6730, 6743, 6756, 6769, 6803, 6809, 6822, 6835, 6848, 6861, 6874, 6887, 6900, 6913, 6926, 6939, 6952, 6967, 6984, 7003, 7024, 7046, 7067, 7086, 7104, 7119, 7132, 7145, 7158, 7171, 7184, 7197, 7210, 7223, 7236, 7249, 7262, 7296, 7302, 7315, 7328, 7341, 7354, 7367, 7380, 7393, 7406, 7419, 7432, 7445, 7458, 7473, 7490, 7509, 7529, 7548, 7565, 7581, 7594, 7607, 7620, 7633, 7646, 7659, 7672, 7685, 7698, 7711, 7724, 7737, 7771, 7777, 7790, 7803, 7816, 7829, 7842, 7855, 7868, 7881, 7894, 7907, 7920, 7933, 7946, 7961, 7978, 7996, 8013, 8028, 8042, 8055, 8068, 8081, 8094, 8107, 8120, 8133, 8146, 8159, 8172, 8185, 8198, 8232, 8238, 8251, 8264, 8277, 8290, 8303, 8316, 8329, 8342, 8355, 8368, 8381, 8394, 8407, 8420, 8435, 8451, 8466, 8479, 8492, 8505, 8518, 8531, 8544, 8557, 8570, 8583, 8596, 8609, 8622, 8635, 8648, 8682, 8688, 8701, 8714, 8727, 8740, 8753, 8766, 8779, 8792, 8805, 8818, 8831, 8844, 8857, 8870, 8883, 8897, 8910, 8923, 8936, 8949, 8962, 8975, 8988, 9001, 9014, 9027, 9040, 9054, 9067, 9080, 9093, 9127, 9133, 9146, 9159, 9172, 9185, 9198, 9211, 9224, 9237, 9250, 9263, 9276, 9289, 9302, 9315, 9329, 9342, 9355, 9368, 9381, 9394, 9407, 9420, 9433, 9446, 9459, 9472, 9485, 9498, 9511, 9524, 9537, 9571, 9573, 9576, 9589, 9602, 9615, 9628, 9641, 9654, 9667, 9680, 9693, 9706, 9719, 9732, 9745, 9758, 9771, 9784, 9797, 9810, 9823, 9836, 9849, 9862, 9875, 9888, 9901, 9914, 9927, 9940, 9953, 9966, 9979, 10013, 10019, 10032, 10045, 10058, 10071, 10084, 10097, 10110, 10123, 10136, 10149, 10162, 10175, 10188, 10201, 10214, 10227, 10240, 10253, 10266, 10279, 10292, 10305, 10318, 10331, 10344, 10357, 10370, 10383, 10396, 10409, 10422, 10456, 10462, 10475, 10488, 10501, 10514, 10527, 10540, 10553, 10566, 10579, 10592, 10605, 10618, 10631, 10644, 10657, 10670, 10684, 10697, 10710, 10723, 10736, 10749, 10762, 10775, 10788, 10801, 10814, 10827, 10840, 10853, 10866, 10900, 10907, 10920, 10933, 10946, 10959, 10972, 10985, 10998, 11011, 11024, 11037, 11050, 11063, 11076, 11089, 11102, 11117, 11133, 11148, 11161, 11174, 11187, 11200, 11213, 11226, 11239, 11252, 11265, 11278, 11291, 11304, 11317, 11351, 11357, 11370, 11383, 11396, 11409, 11422, 11435, 11449, 11462, 11475, 11488, 11501, 11514, 11527, 11540, 11555, 11572, 11590, 11607, 11622, 11636, 11649, 11662, 11675, 11688, 11701, 11714, 11727, 11740, 11753, 11766, 11779, 11813, 11819, 11832, 11845, 11858, 11871, 11884, 11897, 11910, 11923, 11936, 11949, 11962, 11975, 11988, 12003, 12020, 12039, 12059, 12078, 12095, 12111, 12124, 12137, 12150, 12163, 12176, 12189, 12202, 12215, 12228, 12241, 12254, 12288, 12294, 12307, 12320, 12333, 12346, 12359, 12372, 12385, 12398, 12411, 12424, 12437, 12450, 12465, 12482, 12501, 12522, 12544, 12565, 12584, 12602, 12617, 12630, 12643, 12656, 12669, 12682, 12695, 12708, 12721, 12734, 12747, 12781, 12787, 12800, 12813, 12826, 12839, 12852, 12865, 12878, 12891, 12904, 12917, 12930, 12945, 12962, 12982, 13003, 13026, 13050, 13073, 13094, 13114, 13131, 13146, 13159, 13172, 13185, 13198, 13211, 13224, 13237, 13250, 13263, 13303, 13316, 13329, 13342, 13355, 13368, 13381, 13394, 13407, 13420, 13433, 13448, 13465, 13484, 13505, 13528, 13553, 13579, 13604, 13627, 13649, 13668, 13685, 13700, 13713, 13726, 13739, 13752, 13765, 13778, 13791, 13804, 13838, 13844, 13857, 13870, 13883, 13896, 13909, 13922, 13935, 13948, 13961, 13976, 13993, 14012, 14033, 14056, 14081, 14109, 14137, 14164, 14189, 14213, 14234, 14253, 14270, 14285, 14298, 14311, 14324, 14337, 14350, 14363, 14376, 14411, 14417, 14430, 14443, 14456, 14469, 14482, 14495, 14509, 14522, 14537, 14554, 14573, 14594, 14617, 14642, 14669, 14698, 14728, 14757, 14784, 14810, 14833, 14854, 14873, 14890, 14905, 14918, 14931, 14944, 14957, 14970, 14983, 15017, 15023, 15036, 15049, 15062, 15075, 15088, 15101, 15114, 15129, 15146, 15165, 15186, 15209, 15234, 15261, 15290, 15321, 15353, 15384, 15413, 15441, 15466, 15489, 15510, 15529, 15546, 15561, 15574, 15587, 15600, 15613, 15626, 15660, 15666, 15679, 15692, 15705, 15718, 15731, 15744, 15759, 15776, 15795, 15816, 15839, 15864, 15891, 15920, 15951, 15984, 16018, 16051, 16082, 16112, 16139, 16164, 16187, 16208, 16227, 16244, 16259, 16272, 16285, 16298, 16311, 16345, 16351, 16364, 16377, 16390, 16403, 16416, 16431, 16448, 16467, 16488, 16511, 16536, 16563, 16592, 16623, 16656, 16691, 16727, 16762, 16795, 16827, 16856, 16883, 16908, 16931, 16952, 16971, 16988, 17003, 17016, 17029, 17042, 17076, 17082, 17095, 17108, 17121, 17134, 17149, 17166, 17185, 17206, 17229, 17254, 17281, 17310, 17341, 17374, 17410, 17447, 17485, 17522, 17557, 17591, 17622, 17651, 17678, 17703, 17726, 17747, 17766, 17783, 17798, 17811, 17824, 17858, 17864, 17877, 17890, 17903, 17918, 17935, 17954, 17975, 17998, 18023, 18050, 18079, 18110, 18143, 18178, 18215, 18254, 18294, 18333, 18370, 18406, 18439, 18470, 18499, 18526, 18551, 18574, 18595, 18614, 18631, 18646, 18659, 18693, 18695, 18698, 18711, 18724, 18739, 18756, 18775, 18796, 18819, 18844, 18871, 18900, 18931, 18964, 18999, 19036, 19075, 19116, 19158, 19199, 19238, 19276, 19311, 19344, 19375, 19404, 19431, 19456, 19479, 19500, 19519, 19536, 19551, 19585]
[2024-05-25 13:26:33] [INFO ] Actually due to overlaps returned [894, 1730, 2511, 3242, 3927, 4571, 5176, 5747, 6288, 6803, 7296, 7771, 8232, 8682, 9127, 9571, 10013, 10456, 10900, 11351, 11813, 12288, 12781, 13838, 14411, 15017, 15660, 16345, 17076, 17858, 18693, 19585, 4, 671, 1523, 2318, 3061, 3756, 5019, 5594, 6137, 6652, 7145, 7620, 8081, 8531, 8975, 9420, 9573, 9862, 10305, 10749, 11200, 11662, 12137, 12630, 13700, 14270, 14873, 15510, 16187, 16908, 17678, 18499, 18695, 19375]
Discarding 66 places :
Implicit Place search using SMT only with invariants took 160138 ms to find 66 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 20227/20293 places, 36484/36484 transitions.
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 20227 transition count 36481
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 6 place count 20224 transition count 36481
Applied a total of 6 rules in 3026 ms. Remains 20224 /20227 variables (removed 3) and now considering 36481/36484 (removed 3) transitions.
[2024-05-25 13:26:36] [INFO ] Flow matrix only has 34942 transitions (discarded 1539 similar events)
// Phase 1: matrix 34942 rows 20224 cols
[2024-05-25 13:26:49] [INFO ] Computed 1771 invariants in 13261 ms
[2024-05-25 13:27:23] [INFO ] Performed 7704/20224 implicitness test of which 371 returned IMPLICIT in 30 seconds.
[2024-05-25 13:27:53] [INFO ] Performed 12733/20224 implicitness test of which 713 returned IMPLICIT in 60 seconds.
[2024-05-25 13:28:23] [INFO ] Performed 16963/20224 implicitness test of which 929 returned IMPLICIT in 90 seconds.
[2024-05-25 13:28:55] [INFO ] Performed 19691/20224 implicitness test of which 1024 returned IMPLICIT in 121 seconds.
[2024-05-25 13:29:25] [INFO ] Performed 19915/20224 implicitness test of which 1024 returned IMPLICIT in 151 seconds.
[2024-05-25 13:29:29] [INFO ] Implicit Places using invariants in 173348 ms returned [6, 19, 34, 51, 70, 91, 114, 139, 166, 195, 226, 259, 294, 331, 370, 411, 453, 494, 533, 571, 606, 639, 698, 725, 750, 773, 794, 813, 830, 845, 858, 896, 909, 922, 937, 954, 973, 994, 1017, 1042, 1069, 1099, 1130, 1163, 1198, 1235, 1274, 1314, 1353, 1390, 1426, 1459, 1490, 1545, 1570, 1593, 1614, 1633, 1650, 1665, 1678, 1691, 1730, 1743, 1756, 1769, 1784, 1801, 1820, 1841, 1864, 1889, 1916, 1945, 1976, 2009, 2044, 2081, 2119, 2156, 2191, 2225, 2256, 2285, 2336, 2359, 2380, 2399, 2416, 2431, 2444, 2457, 2470, 2509, 2522, 2535, 2548, 2561, 2576, 2593, 2612, 2633, 2656, 2681, 2708, 2737, 2768, 2801, 2836, 2872, 2907, 2940, 2972, 3001, 3028, 3075, 3096, 3115, 3132, 3147, 3160, 3173, 3186, 3199, 3238, 3251, 3264, 3277, 3290, 3303, 3318, 3335, 3354, 3375, 3398, 3423, 3450, 3479, 3510, 3543, 3577, 3610, 3641, 3671, 3698, 3723, 3766, 3785, 3802, 3817, 3830, 3843, 3856, 3869, 3882, 3921, 3934, 3947, 3960, 3973, 3986, 3999, 4014, 4031, 4050, 4071, 4094, 4119, 4146, 4175, 4206, 4238, 4269, 4298, 4326, 4351, 4374, 4415, 4432, 4447, 4460, 4473, 4486, 4499, 4512, 4525, 4564, 4577, 4590, 4603, 4616, 4629, 4642, 4655, 4670, 4687, 4706, 4727, 4750, 4775, 4802, 4831, 4861, 4890, 4917, 4943, 4966, 4987, 5022, 5037, 5050, 5063, 5076, 5089, 5102, 5115, 5128, 5167, 5180, 5193, 5206, 5219, 5232, 5245, 5258, 5271, 5286, 5303, 5322, 5343, 5366, 5391, 5418, 5446, 5473, 5498, 5522, 5543, 5562, 5593, 5606, 5619, 5632, 5645, 5658, 5671, 5684, 5697, 5736, 5749, 5762, 5775, 5788, 5801, 5814, 5827, 5840, 5853, 5868, 5885, 5904, 5925, 5948, 5973, 5999, 6024, 6047, 6069, 6088, 6105, 6132, 6145, 6158, 6171, 6184, 6197, 6210, 6223, 6236, 6275, 6288, 6301, 6314, 6327, 6340, 6353, 6366, 6379, 6392, 6405, 6420, 6437, 6456, 6477, 6500, 6524, 6547, 6568, 6588, 6605, 6620, 6645, 6658, 6671, 6684, 6697, 6710, 6723, 6736, 6749, 6788, 6801, 6814, 6827, 6840, 6853, 6866, 6879, 6892, 6905, 6918, 6931, 6946, 6963, 6982, 7003, 7025, 7046, 7065, 7083, 7098, 7111, 7136, 7149, 7162, 7175, 7188, 7201, 7214, 7227, 7240, 7279, 7292, 7305, 7318, 7331, 7344, 7357, 7370, 7383, 7396, 7409, 7422, 7435, 7450, 7467, 7486, 7506, 7525, 7542, 7558, 7571, 7584, 7609, 7622, 7635, 7648, 7661, 7674, 7687, 7700, 7713, 7752, 7765, 7778, 7791, 7804, 7817, 7830, 7843, 7856, 7869, 7882, 7895, 7908, 7921, 7936, 7953, 7971, 7988, 8003, 8017, 8030, 8043, 8068, 8081, 8094, 8107, 8120, 8133, 8146, 8159, 8172, 8211, 8224, 8237, 8250, 8263, 8276, 8289, 8302, 8315, 8328, 8341, 8354, 8367, 8380, 8393, 8408, 8424, 8439, 8452, 8465, 8478, 8491, 8516, 8529, 8542, 8555, 8568, 8581, 8594, 8607, 8620, 8659, 8672, 8685, 8698, 8711, 8724, 8737, 8750, 8763, 8776, 8789, 8802, 8815, 8828, 8841, 8854, 8868, 8881, 8894, 8907, 8920, 8933, 8958, 8971, 8984, 8997, 9010, 9024, 9037, 9050, 9063, 9102, 9115, 9128, 9141, 9154, 9167, 9180, 9193, 9206, 9219, 9232, 9245, 9258, 9271, 9284, 9298, 9311, 9324, 9337, 9350, 9363, 9376, 9401, 9414, 9427, 9440, 9453, 9466, 9479, 9492, 9505, 9542, 9555, 9568, 9581, 9594, 9607, 9620, 9633, 9646, 9659, 9672, 9685, 9698, 9711, 9724, 9737, 9750, 9763, 9776, 9789, 9802, 9815, 9840, 9853, 9866, 9879, 9892, 9905, 9918, 9931, 9944, 9982, 9995, 10008, 10021, 10034, 10047, 10060, 10073, 10086, 10099, 10112, 10125, 10138, 10151, 10164, 10177, 10190, 10203, 10216, 10229, 10242, 10255, 10280, 10293, 10306, 10319, 10332, 10345, 10358, 10371, 10384, 10423, 10436, 10449, 10462, 10475, 10488, 10501, 10514, 10527, 10540, 10553, 10566, 10579, 10592, 10605, 10618, 10631, 10645, 10658, 10671, 10684, 10697, 10722, 10735, 10748, 10761, 10774, 10787, 10800, 10813, 10826, 10866, 10879, 10892, 10905, 10918, 10931, 10944, 10957, 10970, 10983, 10996, 11009, 11022, 11035, 11048, 11061, 11076, 11092, 11107, 11120, 11133, 11146, 11171, 11184, 11197, 11210, 11223, 11236, 11249, 11262, 11275, 11314, 11327, 11340, 11353, 11366, 11379, 11392, 11406, 11419, 11432, 11445, 11458, 11471, 11484, 11497, 11512, 11529, 11547, 11564, 11579, 11593, 11606, 11631, 11644, 11657, 11670, 11683, 11696, 11709, 11722, 11735, 11774, 11787, 11800, 11813, 11826, 11839, 11852, 11865, 11878, 11891, 11904, 11917, 11930, 11943, 11958, 11975, 11994, 12014, 12033, 12050, 12066, 12079, 12104, 12117, 12130, 12143, 12156, 12169, 12182, 12195, 12208, 12247, 12260, 12273, 12286, 12299, 12312, 12325, 12338, 12351, 12364, 12377, 12390, 12403, 12418, 12435, 12454, 12475, 12497, 12518, 12537, 12555, 12570, 12595, 12608, 12621, 12634, 12647, 12660, 12673, 12686, 12699, 12738, 12751, 12764, 12777, 12790, 12803, 12816, 12829, 12842, 12855, 12868, 12881, 12896, 12913, 12933, 12954, 12977, 13001, 13024, 13045, 13065, 13082, 13097, 13110, 13123, 13136, 13149, 13162, 13175, 13188, 13201, 13214, 13254, 13267, 13280, 13293, 13306, 13319, 13332, 13345, 13358, 13371, 13384, 13399, 13416, 13435, 13456, 13479, 13504, 13530, 13555, 13578, 13600, 13619, 13636, 13663, 13676, 13689, 13702, 13715, 13728, 13741, 13754, 13793, 13806, 13819, 13832, 13845, 13858, 13871, 13884, 13897, 13910, 13925, 13942, 13961, 13982, 14005, 14030, 14058, 14086, 14113, 14138, 14162, 14183, 14202, 14233, 14246, 14259, 14272, 14285, 14298, 14311, 14324, 14364, 14377, 14390, 14403, 14416, 14429, 14442, 14456, 14469, 14484, 14501, 14520, 14541, 14564, 14589, 14616, 14645, 14675, 14704, 14731, 14757, 14780, 14801, 14836, 14851, 14864, 14877, 14890, 14903, 14916, 14929, 14968, 14981, 14994, 15007, 15020, 15033, 15046, 15059, 15074, 15091, 15110, 15131, 15154, 15179, 15206, 15235, 15266, 15298, 15329, 15358, 15386, 15411, 15434, 15473, 15490, 15505, 15518, 15531, 15544, 15557, 15570, 15609, 15622, 15635, 15648, 15661, 15674, 15687, 15702, 15719, 15738, 15759, 15782, 15807, 15834, 15863, 15894, 15927, 15961, 15994, 16025, 16055, 16082, 16107, 16150, 16169, 16186, 16201, 16214, 16227, 16240, 16253, 16292, 16305, 16318, 16331, 16344, 16357, 16372, 16389, 16408, 16429, 16452, 16477, 16504, 16533, 16564, 16597, 16632, 16668, 16703, 16736, 16768, 16797, 16824, 16871, 16892, 16911, 16928, 16943, 16956, 16969, 16982, 17021, 17034, 17047, 17060, 17073, 17088, 17105, 17124, 17145, 17168, 17193, 17220, 17249, 17280, 17313, 17349, 17386, 17424, 17461, 17496, 17530, 17561, 17590, 17641, 17664, 17685, 17704, 17721, 17736, 17749, 17762, 17801, 17814, 17827, 17840, 17855, 17872, 17891, 17912, 17935, 17960, 17987, 18016, 18047, 18080, 18115, 18152, 18191, 18231, 18270, 18307, 18343, 18376, 18407, 18462, 18487, 18510, 18531, 18550, 18567, 18582, 18595, 18632, 18645, 18658, 18673, 18690, 18709, 18730, 18753, 18778, 18805, 18834, 18865, 18898, 18933, 18970, 19009, 19050, 19092, 19133, 19172, 19210, 19245, 19278, 19337, 19364, 19389, 19412, 19433, 19452, 19469, 19484]
Discarding 1024 places :
Implicit Place search using SMT only with invariants took 173398 ms to find 1024 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 19200/20293 places, 36481/36484 transitions.
Applied a total of 0 rules in 1526 ms. Remains 19200 /19200 variables (removed 0) and now considering 36481/36481 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 339608 ms. Remains : 19200/20293 places, 36481/36484 transitions.
[2024-05-25 13:29:31] [INFO ] Export to MCC of 6 properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 4 ms.
[2024-05-25 13:29:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 19200 places, 36481 transitions and 185818 arcs took 167 ms.
[2024-05-25 13:29:33] [INFO ] Flatten gal took : 1727 ms
Total runtime 872009 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running MultiCrashLeafsetExtension-PT-S32C10
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/411/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 19200
TRANSITIONS: 36481
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.973s, Sys 0.085s]
SAVING FILE /home/mcc/execution/411/model (.net / .def) ...
EXPORT TIME: [User 0.140s, Sys 0.016s]
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -timeout 360 -rebuildPNML
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-S32C10"
export BK_EXAMINATION="ReachabilityFireability"
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-S32C10, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r245-tall-171654349400215"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C10.tgz
mv MultiCrashLeafsetExtension-PT-S32C10 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;