About the Execution of GreatSPN+red for MultiCrashLeafsetExtension-PT-S32C03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14335.604 | 1545483.00 | 2317380.00 | 3638.70 | TFTFT?FTTFFTTT?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-171654349300159.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-S32C03, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-171654349300159
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 19M
-rw-r--r-- 1 mcc users 15K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Apr 22 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 22 14:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Apr 22 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 22 14:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 30K Apr 12 07:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 176K Apr 12 07:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Apr 22 14:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 22 14:53 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 18M 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-S32C03-ReachabilityFireability-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1716621001239
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-S32C03
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-25 07:10:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2024-05-25 07:10:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 07:10:03] [INFO ] Load time of PNML (sax parser for PT used): 748 ms
[2024-05-25 07:10:03] [INFO ] Transformed 15862 places.
[2024-05-25 07:10:03] [INFO ] Transformed 25109 transitions.
[2024-05-25 07:10:03] [INFO ] Parsed PT model containing 15862 places and 25109 transitions and 104566 arcs in 941 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 21 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (1278 resets) in 2853 ms. (14 steps per ms) remains 14/16 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40003 steps (180 resets) in 678 ms. (58 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (180 resets) in 448 ms. (89 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (180 resets) in 401 ms. (99 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (180 resets) in 422 ms. (94 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (180 resets) in 316 ms. (126 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (180 resets) in 698 ms. (57 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (180 resets) in 260 ms. (153 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (180 resets) in 272 ms. (146 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (180 resets) in 290 ms. (137 steps per ms) remains 13/14 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-01 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40004 steps (180 resets) in 314 ms. (126 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (180 resets) in 284 ms. (140 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (180 resets) in 211 ms. (188 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (180 resets) in 240 ms. (165 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (180 resets) in 234 ms. (170 steps per ms) remains 13/13 properties
[2024-05-25 07:10:06] [INFO ] Flow matrix only has 24053 transitions (discarded 1056 similar events)
// Phase 1: matrix 24053 rows 15862 cols
[2024-05-25 07:10:08] [INFO ] Computed 1403 invariants in 2059 ms
[2024-05-25 07:10:08] [INFO ] State equation strengthened by 8098 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/252 variables, 20/20 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/252 variables, 2/22 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/252 variables, 0/22 constraints. Problems are: Problem set: 0 solved, 13 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-03 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-03 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 3 (OVERLAPS) 5471/5723 variables, 44/66 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5723 variables, 2/68 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/5723 variables, 0/68 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 6 (OVERLAPS) 12/5735 variables, 12/80 constraints. Problems are: Problem set: 1 solved, 12 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5735 variables, 0/80 constraints. Problems are: Problem set: 1 solved, 12 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-00 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-00 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-06 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-06 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-12 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-12 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-13 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-13 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 8 (OVERLAPS) 6808/12543 variables, 614/694 constraints. Problems are: Problem set: 5 solved, 8 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 12543/39915 variables, and 694 constraints, problems are : Problem set: 5 solved, 8 unsolved in 5047 ms.
Refiners :[Positive P Invariants (semi-flows): 76/76 constraints, Generalized P Invariants (flows): 618/1327 constraints, State Equation: 0/15862 constraints, ReadFeed: 0/8098 constraints, PredecessorRefiner: 13/9 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 5 solved, 8 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/116 variables, 5/5 constraints. Problems are: Problem set: 5 solved, 8 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/116 variables, 1/6 constraints. Problems are: Problem set: 5 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/116 variables, 0/6 constraints. Problems are: Problem set: 5 solved, 8 unsolved
At refinement iteration 3 (OVERLAPS) 5521/5637 variables, 35/41 constraints. Problems are: Problem set: 5 solved, 8 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5637 variables, 1/42 constraints. Problems are: Problem set: 5 solved, 8 unsolved
[2024-05-25 07:10:20] [INFO ] Deduced a trap composed of 98 places in 5227 ms of which 269 ms to minimize.
SMT process timed out in 14190ms, After SMT, problems are : Problem set: 5 solved, 8 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 116 out of 15862 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 15862/15862 places, 25109/25109 transitions.
Graph (complete) has 59447 edges and 15862 vertex of which 15820 are kept as prefixes of interest. Removing 42 places using SCC suffix rule.48 ms
Discarding 42 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 2985 transitions
Trivial Post-agglo rules discarded 2985 transitions
Performed 2985 trivial Post agglomeration. Transition count delta: 2985
Iterating post reduction 0 with 2985 rules applied. Total rules applied 2986 place count 15820 transition count 22124
Reduce places removed 2985 places and 0 transitions.
Performed 175 Post agglomeration using F-continuation condition.Transition count delta: 175
Iterating post reduction 1 with 3160 rules applied. Total rules applied 6146 place count 12835 transition count 21949
Reduce places removed 175 places and 0 transitions.
Iterating post reduction 2 with 175 rules applied. Total rules applied 6321 place count 12660 transition count 21949
Performed 187 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 187 Pre rules applied. Total rules applied 6321 place count 12660 transition count 21762
Deduced a syphon composed of 187 places in 19 ms
Reduce places removed 187 places and 0 transitions.
Iterating global reduction 3 with 374 rules applied. Total rules applied 6695 place count 12473 transition count 21762
Discarding 2951 places :
Symmetric choice reduction at 3 with 2951 rule applications. Total rules 9646 place count 9522 transition count 18811
Iterating global reduction 3 with 2951 rules applied. Total rules applied 12597 place count 9522 transition count 18811
Discarding 962 places :
Symmetric choice reduction at 3 with 962 rule applications. Total rules 13559 place count 8560 transition count 15925
Iterating global reduction 3 with 962 rules applied. Total rules applied 14521 place count 8560 transition count 15925
Performed 28 Post agglomeration using F-continuation condition.Transition count delta: 28
Deduced a syphon composed of 28 places in 12 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 3 with 56 rules applied. Total rules applied 14577 place count 8532 transition count 15897
Free-agglomeration rule (complex) applied 462 times.
Iterating global reduction 3 with 462 rules applied. Total rules applied 15039 place count 8532 transition count 15435
Reduce places removed 462 places and 0 transitions.
Iterating post reduction 3 with 462 rules applied. Total rules applied 15501 place count 8070 transition count 15435
Partial Free-agglomeration rule applied 187 times.
Drop transitions (Partial Free agglomeration) removed 187 transitions
Iterating global reduction 4 with 187 rules applied. Total rules applied 15688 place count 8070 transition count 15435
Applied a total of 15688 rules in 14425 ms. Remains 8070 /15862 variables (removed 7792) and now considering 15435/25109 (removed 9674) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 14436 ms. Remains : 8070/15862 places, 15435/25109 transitions.
RANDOM walk for 40000 steps (1780 resets) in 1044 ms. (38 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40002 steps (188 resets) in 253 ms. (157 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (188 resets) in 256 ms. (155 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40004 steps (188 resets) in 144 ms. (275 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40003 steps (188 resets) in 143 ms. (277 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40003 steps (188 resets) in 142 ms. (279 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40002 steps (188 resets) in 147 ms. (270 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40003 steps (188 resets) in 200 ms. (199 steps per ms) remains 8/8 properties
BEST_FIRST walk for 40003 steps (188 resets) in 181 ms. (219 steps per ms) remains 8/8 properties
Interrupted probabilistic random walk after 12147 steps, run timeout after 3001 ms. (steps per millisecond=4 ) properties seen :0 out of 8
Probabilistic random walk after 12147 steps, saw 5697 distinct states, run finished after 3005 ms. (steps per millisecond=4 ) properties seen :0
[2024-05-25 07:10:38] [INFO ] Flow matrix only has 13917 transitions (discarded 1518 similar events)
// Phase 1: matrix 13917 rows 8070 cols
[2024-05-25 07:10:39] [INFO ] Computed 1361 invariants in 672 ms
[2024-05-25 07:10:39] [INFO ] State equation strengthened by 6174 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/116 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/116 variables, 2/7 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/116 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 3 (OVERLAPS) 6071/6187 variables, 26/33 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/6187 variables, 2/35 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/6187 variables, 0/35 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 6 (OVERLAPS) 10/6197 variables, 10/45 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/6197 variables, 0/45 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 8 (OVERLAPS) 1549/7746 variables, 992/1037 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/7746 variables, 0/1037 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 10 (OVERLAPS) 22/7768 variables, 22/1059 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/7768 variables, 0/1059 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 12 (OVERLAPS) 302/8070 variables, 302/1361 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/8070 variables, 0/1361 constraints. Problems are: Problem set: 0 solved, 8 unsolved
At refinement iteration 14 (OVERLAPS) 13917/21987 variables, 8070/9431 constraints. Problems are: Problem set: 0 solved, 8 unsolved
Problem MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-02 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-02 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-07 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-07 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-09 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-09 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-10 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-10 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-11 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-11 TRUE TECHNIQUES SMT_REFINEMENT
At refinement iteration 15 (INCLUDED_ONLY) 0/21987 variables, 6174/15605 constraints. Problems are: Problem set: 5 solved, 3 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/21987 variables, 0/15605 constraints. Problems are: Problem set: 5 solved, 3 unsolved
At refinement iteration 17 (OVERLAPS) 0/21987 variables, 0/15605 constraints. Problems are: Problem set: 5 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Real declared 21987/21987 variables, and 15605 constraints, problems are : Problem set: 5 solved, 3 unsolved in 43230 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, Generalized P Invariants (flows): 1298/1298 constraints, State Equation: 8070/8070 constraints, ReadFeed: 6174/6174 constraints, PredecessorRefiner: 8/6 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 5 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/70 variables, 1/1 constraints. Problems are: Problem set: 5 solved, 3 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/70 variables, 1/2 constraints. Problems are: Problem set: 5 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/70 variables, 0/2 constraints. Problems are: Problem set: 5 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 6089/6159 variables, 21/23 constraints. Problems are: Problem set: 5 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/6159 variables, 1/24 constraints. Problems are: Problem set: 5 solved, 3 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/6159 variables, 0/24 constraints. Problems are: Problem set: 5 solved, 3 unsolved
At refinement iteration 6 (OVERLAPS) 9/6168 variables, 9/33 constraints. Problems are: Problem set: 5 solved, 3 unsolved
[2024-05-25 07:11:28] [INFO ] Deduced a trap composed of 975 places in 4246 ms of which 29 ms to minimize.
[2024-05-25 07:11:32] [INFO ] Deduced a trap composed of 973 places in 3985 ms of which 34 ms to minimize.
[2024-05-25 07:11:36] [INFO ] Deduced a trap composed of 941 places in 4075 ms of which 29 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/6168 variables, 3/36 constraints. Problems are: Problem set: 5 solved, 3 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/6168 variables, 0/36 constraints. Problems are: Problem set: 5 solved, 3 unsolved
At refinement iteration 9 (OVERLAPS) 1566/7734 variables, 992/1028 constraints. Problems are: Problem set: 5 solved, 3 unsolved
[2024-05-25 07:11:49] [INFO ] Deduced a trap composed of 6 places in 11478 ms of which 53 ms to minimize.
[2024-05-25 07:12:01] [INFO ] Deduced a trap composed of 96 places in 12221 ms of which 53 ms to minimize.
[2024-05-25 07:12:13] [INFO ] Deduced a trap composed of 541 places in 11455 ms of which 46 ms to minimize.
SMT process timed out in 94887ms, After SMT, problems are : Problem set: 5 solved, 3 unsolved
Fused 3 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 70 out of 8070 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8070/8070 places, 15435/15435 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 8070 transition count 15434
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 8069 transition count 15434
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 2 place count 8069 transition count 15430
Deduced a syphon composed of 4 places in 8 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 10 place count 8065 transition count 15430
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 17 place count 8058 transition count 15417
Iterating global reduction 2 with 7 rules applied. Total rules applied 24 place count 8058 transition count 15417
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 28 place count 8054 transition count 15405
Iterating global reduction 2 with 4 rules applied. Total rules applied 32 place count 8054 transition count 15405
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 7 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 40 place count 8050 transition count 15401
Free-agglomeration rule (complex) applied 22 times.
Iterating global reduction 2 with 22 rules applied. Total rules applied 62 place count 8050 transition count 15379
Reduce places removed 22 places and 0 transitions.
Iterating post reduction 2 with 22 rules applied. Total rules applied 84 place count 8028 transition count 15379
Partial Free-agglomeration rule applied 5 times.
Drop transitions (Partial Free agglomeration) removed 5 transitions
Iterating global reduction 3 with 5 rules applied. Total rules applied 89 place count 8028 transition count 15379
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 90 place count 8027 transition count 15378
Iterating global reduction 3 with 1 rules applied. Total rules applied 91 place count 8027 transition count 15378
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 92 place count 8026 transition count 15375
Iterating global reduction 3 with 1 rules applied. Total rules applied 93 place count 8026 transition count 15375
Applied a total of 93 rules in 14482 ms. Remains 8026 /8070 variables (removed 44) and now considering 15375/15435 (removed 60) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 14483 ms. Remains : 8026/8070 places, 15375/15435 transitions.
RANDOM walk for 40000 steps (1790 resets) in 994 ms. (40 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (188 resets) in 155 ms. (256 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40002 steps (188 resets) in 192 ms. (207 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40001 steps (188 resets) in 175 ms. (227 steps per ms) remains 3/3 properties
Interrupted probabilistic random walk after 12896 steps, run timeout after 3001 ms. (steps per millisecond=4 ) properties seen :0 out of 3
Probabilistic random walk after 12896 steps, saw 6049 distinct states, run finished after 3001 ms. (steps per millisecond=4 ) properties seen :0
[2024-05-25 07:12:31] [INFO ] Flow matrix only has 13835 transitions (discarded 1540 similar events)
// Phase 1: matrix 13835 rows 8026 cols
[2024-05-25 07:12:31] [INFO ] Computed 1361 invariants in 608 ms
[2024-05-25 07:12:31] [INFO ] State equation strengthened by 6158 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/70 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/70 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/70 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 3 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 6099/6169 variables, 23/25 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/6169 variables, 1/26 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/6169 variables, 0/26 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 6 (OVERLAPS) 9/6178 variables, 9/35 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/6178 variables, 0/35 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 1523/7701 variables, 1001/1036 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/7701 variables, 0/1036 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 10 (OVERLAPS) 32/7733 variables, 32/1068 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/7733 variables, 0/1068 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 12 (OVERLAPS) 293/8026 variables, 293/1361 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/8026 variables, 0/1361 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 14 (OVERLAPS) 13835/21861 variables, 8026/9387 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/21861 variables, 6158/15545 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/21861 variables, 0/15545 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 17 (OVERLAPS) 0/21861 variables, 0/15545 constraints. Problems are: Problem set: 0 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Real declared 21861/21861 variables, and 15545 constraints, problems are : Problem set: 0 solved, 3 unsolved in 27845 ms.
Refiners :[Positive P Invariants (semi-flows): 65/65 constraints, Generalized P Invariants (flows): 1296/1296 constraints, State Equation: 8026/8026 constraints, ReadFeed: 6158/6158 constraints, PredecessorRefiner: 3/2 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/70 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/70 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/70 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 6099/6169 variables, 23/25 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/6169 variables, 1/26 constraints. Problems are: Problem set: 0 solved, 3 unsolved
[2024-05-25 07:13:04] [INFO ] Deduced a trap composed of 459 places in 3451 ms of which 27 ms to minimize.
[2024-05-25 07:13:07] [INFO ] Deduced a trap composed of 396 places in 3510 ms of which 25 ms to minimize.
[2024-05-25 07:13:11] [INFO ] Deduced a trap composed of 556 places in 3460 ms of which 26 ms to minimize.
[2024-05-25 07:13:14] [INFO ] Deduced a trap composed of 454 places in 3437 ms of which 24 ms to minimize.
[2024-05-25 07:13:18] [INFO ] Deduced a trap composed of 461 places in 3464 ms of which 26 ms to minimize.
[2024-05-25 07:13:21] [INFO ] Deduced a trap composed of 540 places in 3445 ms of which 25 ms to minimize.
[2024-05-25 07:13:25] [INFO ] Deduced a trap composed of 450 places in 3697 ms of which 29 ms to minimize.
[2024-05-25 07:13:29] [INFO ] Deduced a trap composed of 504 places in 3681 ms of which 27 ms to minimize.
[2024-05-25 07:13:33] [INFO ] Deduced a trap composed of 577 places in 3846 ms of which 29 ms to minimize.
[2024-05-25 07:13:37] [INFO ] Deduced a trap composed of 634 places in 3721 ms of which 27 ms to minimize.
[2024-05-25 07:13:41] [INFO ] Deduced a trap composed of 633 places in 3541 ms of which 25 ms to minimize.
[2024-05-25 07:13:44] [INFO ] Deduced a trap composed of 614 places in 3686 ms of which 27 ms to minimize.
[2024-05-25 07:13:49] [INFO ] Deduced a trap composed of 540 places in 4066 ms of which 28 ms to minimize.
[2024-05-25 07:13:53] [INFO ] Deduced a trap composed of 454 places in 3889 ms of which 28 ms to minimize.
[2024-05-25 07:13:56] [INFO ] Deduced a trap composed of 556 places in 3424 ms of which 25 ms to minimize.
[2024-05-25 07:14:00] [INFO ] Deduced a trap composed of 437 places in 3804 ms of which 28 ms to minimize.
[2024-05-25 07:14:04] [INFO ] Deduced a trap composed of 595 places in 3710 ms of which 28 ms to minimize.
[2024-05-25 07:14:08] [INFO ] Deduced a trap composed of 572 places in 3773 ms of which 28 ms to minimize.
[2024-05-25 07:14:11] [INFO ] Deduced a trap composed of 543 places in 3619 ms of which 27 ms to minimize.
[2024-05-25 07:14:15] [INFO ] Deduced a trap composed of 674 places in 3589 ms of which 28 ms to minimize.
SMT process timed out in 104253ms, After SMT, problems are : Problem set: 0 solved, 3 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 70 out of 8026 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8026/8026 places, 15375/15375 transitions.
Applied a total of 0 rules in 1974 ms. Remains 8026 /8026 variables (removed 0) and now considering 15375/15375 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1974 ms. Remains : 8026/8026 places, 15375/15375 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8026/8026 places, 15375/15375 transitions.
Applied a total of 0 rules in 1936 ms. Remains 8026 /8026 variables (removed 0) and now considering 15375/15375 (removed 0) transitions.
[2024-05-25 07:14:19] [INFO ] Flow matrix only has 13835 transitions (discarded 1540 similar events)
[2024-05-25 07:14:19] [INFO ] Invariant cache hit.
[2024-05-25 07:14:42] [INFO ] Implicit Places using invariants in 23181 ms returned [4, 7, 10, 11, 12, 13, 17, 23, 31, 41, 53, 67, 83, 101, 121, 143, 167, 193, 221, 251, 282, 313, 314, 315, 316, 344, 370, 395, 417, 437, 455, 471, 485, 497, 507, 515, 521, 525, 527, 536, 542, 545, 546, 547, 548, 550, 554, 560, 568, 578, 590, 604, 620, 638, 658, 680, 704, 730, 758, 787, 816, 817, 818, 819, 845, 869, 892, 912, 930, 946, 960, 972, 982, 990, 996, 1000, 1002, 1004, 1019, 1022, 1023, 1025, 1027, 1029, 1033, 1042, 1050, 1060, 1072, 1086, 1102, 1120, 1140, 1162, 1186, 1212, 1239, 1266, 1268, 1269, 1293, 1315, 1336, 1354, 1370, 1384, 1396, 1406, 1417, 1423, 1427, 1429, 1431, 1433, 1442, 1448, 1452, 1453, 1454, 1456, 1458, 1460, 1464, 1470, 1481, 1491, 1503, 1517, 1533, 1551, 1571, 1595, 1619, 1644, 1669, 1670, 1671, 1672, 1694, 1714, 1733, 1749, 1763, 1775, 1785, 1793, 1799, 1803, 1805, 1807, 1809, 1811, 1821, 1827, 1830, 1831, 1832, 1833, 1835, 1837, 1839, 1841, 1845, 1851, 1859, 1869, 1881, 1895, 1911, 1929, 1949, 1971, 1994, 2017, 2018, 2019, 2020, 2041, 2059, 2076, 2090, 2102, 2112, 2120, 2126, 2130, 2132, 2134, 2136, 2138, 2140, 2149, 2155, 2158, 2159, 2160, 2161, 2163, 2165, 2167, 2169, 2171, 2175, 2181, 2189, 2199, 2211, 2225, 2241, 2259, 2279, 2300, 2321, 2323, 2324, 2344, 2360, 2375, 2387, 2397, 2405, 2411, 2415, 2417, 2419, 2421, 2423, 2425, 2428, 2438, 2444, 2447, 2448, 2449, 2450, 2452, 2454, 2456, 2458, 2460, 2462, 2466, 2472, 2480, 2490, 2502, 2516, 2532, 2550, 2569, 2588, 2589, 2590, 2591, 2607, 2621, 2634, 2645, 2653, 2659, 2663, 2665, 2667, 2669, 2671, 2673, 2675, 2677, 2686, 2692, 2695, 2696, 2697, 2698, 2700, 2702, 2704, 2706, 2708, 2710, 2712, 2716, 2722, 2730, 2740, 2754, 2768, 2784, 2801, 2818, 2819, 2820, 2821, 2835, 2847, 2858, 2866, 2872, 2876, 2878, 2880, 2882, 2884, 2886, 2888, 2890, 2892, 2901, 2907, 2910, 2911, 2912, 2913, 2915, 2917, 2919, 2921, 2923, 2925, 2927, 2929, 2933, 2939, 2947, 2957, 2969, 2983, 2998, 3013, 3014, 3015, 3016, 3028, 3038, 3047, 3053, 3057, 3059, 3061, 3063, 3065, 3067, 3069, 3071, 3073, 3075, 3084, 3090, 3093, 3094, 3095, 3096, 3098, 3100, 3102, 3104, 3106, 3108, 3110, 3112, 3114, 3118, 3124, 3132, 3142, 3154, 3167, 3180, 3181, 3182, 3183, 3193, 3201, 3208, 3212, 3214, 3216, 3218, 3220, 3222, 3224, 3226, 3228, 3230, 3232, 3241, 3247, 3250, 3251, 3252, 3253, 3255, 3257, 3259, 3261, 3263, 3265, 3267, 3269, 3271, 3273, 3277, 3283, 3291, 3301, 3312, 3324, 3325, 3326, 3336, 3342, 3347, 3349, 3351, 3353, 3355, 3357, 3359, 3361, 3363, 3365, 3367, 3369, 3379, 3385, 3388, 3389, 3390, 3391, 3393, 3395, 3397, 3399, 3401, 3403, 3405, 3407, 3409, 3411, 3413, 3417, 3423, 3431, 3440, 3449, 3450, 3452, 3458, 3462, 3465, 3467, 3469, 3471, 3475, 3477, 3479, 3481, 3483, 3485, 3487, 3489, 3499, 3505, 3508, 3509, 3510, 3511, 3513, 3515, 3517, 3519, 3521, 3523, 3525, 3527, 3529, 3531, 3533, 3535, 3539, 3545, 3552, 3559, 3560, 3561, 3562, 3566, 3568, 3570, 3572, 3574, 3576, 3578, 3580, 3582, 3584, 3586, 3588, 3590, 3592, 3601, 3607, 3610, 3611, 3612, 3613, 3615, 3617, 3619, 3621, 3623, 3625, 3627, 3629, 3631, 3633, 3635, 3637, 3639, 3643, 3648, 3653, 3654, 3655, 3656, 3658, 3660, 3662, 3664, 3666, 3668, 3670, 3672, 3674, 3676, 3678, 3680, 3682, 3684, 3693, 3699, 3702, 3703, 3704, 3705, 3707, 3709, 3711, 3713, 3715, 3717, 3719, 3721, 3723, 3725, 3727, 3729, 3731, 3733, 3736, 3739, 3740, 3741, 3742, 3744, 3746, 3748, 3750, 3752, 3754, 3756, 3758, 3760, 3762, 3764, 3766, 3768, 3770, 3779, 3785, 3788, 3789, 3790, 3791, 3793, 3795, 3797, 3799, 3801, 3803, 3805, 3807, 3809, 3811, 3813, 3815, 3817, 3819, 3821, 3824, 3825, 3826, 3827, 3829, 3831, 3833, 3835, 3837, 3839, 3841, 3843, 3845, 3847, 3849, 3851, 3853, 3855, 3864, 3866, 3869, 3872, 3873, 3874, 3875, 3877, 3879, 3881, 3883, 3885, 3887, 3889, 3891, 3893, 3895, 3897, 3899, 3901, 3903, 3905, 3908, 3909, 3910, 3911, 3913, 3915, 3917, 3919, 3921, 3923, 3925, 3927, 3929, 3931, 3933, 3935, 3937, 3939, 3948, 3954, 3957, 3958, 3959, 3960, 3962, 3964, 3966, 3968, 3970, 3972, 3974, 3976, 3978, 3980, 3982, 3984, 3986, 3988, 3990, 3993, 3994, 3995, 3996, 3998, 4000, 4002, 4004, 4006, 4008, 4010, 4012, 4014, 4016, 4018, 4020, 4022, 4024, 4033, 4039, 4042, 4043, 4044, 4045, 4047, 4049, 4051, 4053, 4055, 4057, 4059, 4061, 4063, 4065, 4067, 4069, 4071, 4073, 4075, 4079, 4080, 4082, 4084, 4086, 4088, 4090, 4092, 4094, 4096, 4098, 4100, 4102, 4107, 4109, 4111, 4113, 4122, 4128, 4131, 4132, 4133, 4134, 4136, 4138, 4140, 4142, 4144, 4146, 4148, 4150, 4152, 4154, 4156, 4158, 4160, 4162, 4166, 4172, 4173, 4175, 4179, 4181, 4183, 4185, 4187, 4189, 4191, 4193, 4195, 4199, 4201, 4203, 4205, 4207, 4217, 4224, 4227, 4228, 4229, 4230, 4232, 4234, 4236, 4238, 4240, 4242, 4244, 4246, 4248, 4250, 4252, 4254, 4256, 4260, 4266, 4274, 4275, 4277, 4284, 4288, 4293, 4295, 4297, 4299, 4301, 4303, 4305, 4307, 4309, 4312, 4314, 4316, 4325, 4331, 4334, 4335, 4336, 4337, 4339, 4341, 4343, 4345, 4347, 4349, 4351, 4353, 4355, 4357, 4359, 4361, 4365, 4371, 4379, 4389, 4391, 4392, 4400, 4406, 4410, 4413, 4415, 4417, 4419, 4421, 4423, 4425, 4427, 4431, 4433, 4435, 4445, 4451, 4454, 4455, 4456, 4457, 4459, 4461, 4463, 4465, 4467, 4469, 4471, 4473, 4475, 4477, 4479, 4483, 4489, 4497, 4507, 4519, 4520, 4521, 4522, 4532, 4540, 4546, 4551, 4553, 4555, 4557, 4559, 4561, 4563, 4565, 4567, 4569, 4571, 4580, 4586, 4589, 4590, 4591, 4592, 4594, 4596, 4598, 4600, 4602, 4604, 4606, 4608, 4610, 4612, 4616, 4622, 4630, 4640, 4652, 4666, 4667, 4668, 4669, 4681, 4691, 4699, 4706, 4710, 4712, 4714, 4716, 4718, 4720, 4722, 4724, 4726, 4728, 4737, 4743, 4746, 4748, 4749, 4751, 4753, 4755, 4757, 4759, 4761, 4763, 4765, 4767, 4771, 4777, 4785, 4798, 4810, 4824, 4840, 4841, 4842, 4843, 4857, 4869, 4879, 4888, 4894, 4898, 4900, 4902, 4904, 4906, 4908, 4910, 4912, 4914, 4923, 4929, 4932, 4933, 4934, 4935, 4937, 4939, 4941, 4943, 4945, 4947, 4949, 4951, 4955, 4961, 4969, 4979, 4991, 5005, 5021, 5039, 5040, 5041, 5042, 5058, 5072, 5084, 5095, 5103, 5109, 5113, 5115, 5117, 5119, 5121, 5123, 5125, 5127, 5136, 5142, 5145, 5146, 5147, 5150, 5152, 5154, 5156, 5158, 5160, 5162, 5166, 5172, 5180, 5190, 5202, 5216, 5232, 5250, 5270, 5271, 5272, 5273, 5291, 5307, 5321, 5334, 5344, 5352, 5358, 5362, 5364, 5366, 5368, 5370, 5372, 5374, 5383, 5389, 5392, 5393, 5394, 5395, 5397, 5399, 5401, 5403, 5405, 5407, 5411, 5417, 5425, 5435, 5447, 5461, 5477, 5495, 5515, 5537, 5538, 5539, 5540, 5560, 5578, 5594, 5609, 5621, 5631, 5639, 5645, 5649, 5651, 5653, 5655, 5657, 5659, 5668, 5674, 5677, 5679, 5680, 5682, 5684, 5686, 5688, 5690, 5694, 5700, 5708, 5721, 5733, 5747, 5763, 5781, 5801, 5823, 5847, 5848, 5849, 5850, 5872, 5892, 5910, 5927, 5942, 5954, 5964, 5972, 5978, 5982, 5984, 5986, 5988, 5990, 5999, 6005, 6008, 6009, 6010, 6011, 6013, 6015, 6017, 6019, 6023, 6029, 6037, 6047, 6059, 6073, 6089, 6107, 6127, 6149, 6173, 6199, 6200, 6201, 6202, 6226, 6248, 6268, 6287, 6303, 6317, 6329, 6339, 6347, 6353, 6357, 6359, 6361, 6363, 6372, 6378, 6381, 6382, 6383, 6384, 6386, 6388, 6390, 6394, 6400, 6408, 6418, 6430, 6444, 6460, 6478, 6498, 6520, 6544, 6570, 6598, 6599, 6600, 6601, 6627, 6651, 6673, 6694, 6712, 6728, 6742, 6754, 6764, 6772, 6778, 6782, 6784, 6786, 6795, 6801, 6805, 6806, 6807, 6809, 6811, 6815, 6821, 6829, 6839, 6851, 6865, 6881, 6899, 6919, 6941, 6965, 6991, 7021, 7051, 7052, 7053, 7054, 7082, 7108, 7132, 7155, 7175, 7193, 7209, 7223, 7235, 7245, 7253, 7259, 7263, 7265, 7275, 7277, 7280, 7283, 7284, 7285, 7286, 7288, 7292, 7298, 7306, 7316, 7328, 7342, 7358, 7376, 7396, 7418, 7442, 7468, 7496, 7526, 7558, 7559, 7560, 7561, 7591, 7619, 7645, 7670, 7692, 7712, 7730, 7746, 7760, 7772, 7782, 7790, 7796, 7800, 7809]
[2024-05-25 07:14:42] [INFO ] Actually due to overlaps returned [536, 1442, 1821, 2149, 2438, 2686, 2901, 3084, 3241, 3379, 3499, 3601, 3693, 3779, 3864, 3948, 4033, 4122, 4217, 4325, 4445, 4580, 4737, 4923, 5136, 5383, 5668, 5999, 6372, 6795, 7275, 7809, 4, 7, 10, 11, 12, 313, 314, 315, 545, 546, 547, 816, 817, 818, 1022, 1023, 1025, 1266, 1268, 1452, 1453, 1454, 1669, 1670, 1671, 1830, 1831, 1832, 1833, 2017, 2018, 2019, 2158, 2159, 2160, 2161, 2321, 2323, 2447, 2448, 2449, 2450, 2588, 2589, 2590, 2695, 2696, 2697, 2698, 2818, 2819, 2820, 2910, 2911, 2912, 2913, 3013, 3014, 3015, 3093, 3094, 3095, 3096, 3180, 3181, 3182, 3250, 3251, 3252, 3253, 3324, 3325, 3388, 3389, 3390, 3391, 3449, 3450, 3508, 3509, 3510, 3511, 3559, 3560, 3561, 3610, 3611, 3612, 3613, 3653, 3654, 3655, 3702, 3703, 3704, 3705, 3739, 3740, 3741, 3788, 3789, 3790, 3791, 3824, 3825, 3826, 3866, 3872, 3873, 3874, 3875, 3908, 3909, 3910, 3957, 3958, 3959, 3960, 3993, 3994, 3995, 4042, 4043, 4044, 4045, 4079, 4080, 4131, 4132, 4133, 4134, 4172, 4173, 4227, 4228, 4229, 4230, 4274, 4275, 4334, 4335, 4336, 4337, 4389, 4391, 4454, 4455, 4456, 4457, 4519, 4520, 4521, 4589, 4590, 4591, 4592, 4666, 4667, 4668, 4746, 4748, 4749, 4840, 4841, 4842, 4932, 4933, 4934, 4935, 5039, 5040, 5041, 5145, 5146, 5147, 5270, 5271, 5272, 5392, 5393, 5394, 5395, 5537, 5538, 5539, 5677, 5679, 5680, 5847, 5848, 5849, 6008, 6009, 6010, 6011, 6199, 6200, 6201, 6381, 6382, 6383, 6384, 6598, 6599, 6600, 6805, 6806, 6807, 7051, 7052, 7053, 7277, 7283, 7284, 7285, 7286, 7558, 7559, 7560]
Discarding 251 places :
Implicit Place search using SMT only with invariants took 23205 ms to find 251 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 7775/8026 places, 15375/15375 transitions.
Discarding 179 places :
Symmetric choice reduction at 0 with 179 rule applications. Total rules 179 place count 7596 transition count 15196
Iterating global reduction 0 with 179 rules applied. Total rules applied 358 place count 7596 transition count 15196
Discarding 178 places :
Symmetric choice reduction at 0 with 178 rule applications. Total rules 536 place count 7418 transition count 15018
Iterating global reduction 0 with 178 rules applied. Total rules applied 714 place count 7418 transition count 15018
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 764 place count 7368 transition count 14868
Iterating global reduction 0 with 50 rules applied. Total rules applied 814 place count 7368 transition count 14868
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 817 place count 7368 transition count 14865
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 820 place count 7365 transition count 14865
Applied a total of 820 rules in 9000 ms. Remains 7365 /7775 variables (removed 410) and now considering 14865/15375 (removed 510) transitions.
[2024-05-25 07:14:51] [INFO ] Flow matrix only has 13325 transitions (discarded 1540 similar events)
// Phase 1: matrix 13325 rows 7365 cols
[2024-05-25 07:14:52] [INFO ] Computed 1110 invariants in 587 ms
[2024-05-25 07:15:11] [INFO ] Implicit Places using invariants in 20193 ms returned [8, 12, 18, 26, 36, 48, 62, 78, 96, 116, 138, 162, 188, 216, 246, 277, 308, 336, 362, 387, 409, 429, 447, 463, 477, 489, 499, 507, 513, 517, 519, 532, 534, 536, 540, 546, 554, 564, 576, 590, 606, 624, 644, 666, 690, 716, 744, 773, 801, 827, 851, 874, 894, 912, 928, 942, 954, 964, 972, 978, 982, 984, 986, 995, 1000, 1002, 1006, 1015, 1023, 1033, 1045, 1059, 1075, 1093, 1113, 1135, 1159, 1185, 1212, 1240, 1264, 1286, 1307, 1325, 1341, 1355, 1367, 1377, 1388, 1394, 1398, 1400, 1402, 1404, 1414, 1419, 1421, 1423, 1427, 1433, 1444, 1454, 1466, 1480, 1496, 1514, 1534, 1558, 1582, 1607, 1631, 1653, 1673, 1692, 1708, 1722, 1734, 1744, 1752, 1758, 1762, 1764, 1766, 1768, 1770, 1780, 1783, 1785, 1787, 1789, 1793, 1799, 1807, 1817, 1829, 1843, 1859, 1877, 1897, 1919, 1942, 1964, 1985, 2003, 2020, 2034, 2046, 2056, 2064, 2070, 2074, 2076, 2078, 2080, 2082, 2084, 2092, 2096, 2098, 2100, 2102, 2104, 2108, 2114, 2122, 2132, 2144, 2158, 2174, 2192, 2212, 2233, 2255, 2275, 2291, 2306, 2318, 2328, 2336, 2342, 2346, 2348, 2350, 2352, 2354, 2356, 2359, 2370, 2373, 2375, 2377, 2379, 2381, 2383, 2387, 2393, 2401, 2411, 2423, 2437, 2453, 2471, 2490, 2508, 2524, 2538, 2551, 2562, 2570, 2576, 2580, 2582, 2584, 2586, 2588, 2590, 2592, 2594, 2602, 2605, 2607, 2609, 2611, 2613, 2615, 2617, 2621, 2627, 2635, 2645, 2659, 2673, 2689, 2706, 2722, 2736, 2748, 2759, 2767, 2773, 2777, 2779, 2781, 2783, 2785, 2787, 2789, 2791, 2793, 2801, 2804, 2806, 2808, 2810, 2812, 2814, 2816, 2818, 2822, 2828, 2836, 2846, 2858, 2872, 2887, 2901, 2913, 2923, 2932, 2938, 2942, 2944, 2946, 2948, 2950, 2952, 2954, 2956, 2958, 2960, 2968, 2971, 2973, 2975, 2977, 2979, 2981, 2983, 2985, 2987, 2991, 2997, 3005, 3015, 3027, 3040, 3052, 3062, 3070, 3077, 3081, 3083, 3085, 3087, 3089, 3091, 3093, 3095, 3097, 3099, 3101, 3109, 3112, 3114, 3116, 3118, 3120, 3122, 3124, 3126, 3128, 3130, 3134, 3140, 3148, 3158, 3169, 3181, 3191, 3197, 3202, 3204, 3206, 3208, 3210, 3212, 3214, 3216, 3218, 3220, 3222, 3224, 3234, 3237, 3239, 3241, 3243, 3245, 3247, 3249, 3251, 3253, 3255, 3257, 3261, 3267, 3275, 3284, 3294, 3300, 3304, 3307, 3309, 3311, 3313, 3317, 3319, 3321, 3323, 3325, 3327, 3329, 3331, 3341, 3344, 3346, 3348, 3350, 3352, 3354, 3356, 3358, 3360, 3362, 3364, 3366, 3370, 3376, 3383, 3389, 3393, 3395, 3397, 3399, 3401, 3403, 3405, 3407, 3409, 3411, 3413, 3415, 3417, 3419, 3427, 3430, 3432, 3434, 3436, 3438, 3440, 3442, 3444, 3446, 3448, 3450, 3452, 3454, 3458, 3463, 3467, 3469, 3471, 3473, 3475, 3477, 3479, 3481, 3483, 3485, 3487, 3489, 3491, 3493, 3495, 3503, 3506, 3508, 3510, 3512, 3514, 3516, 3518, 3520, 3522, 3524, 3526, 3528, 3530, 3532, 3535, 3537, 3539, 3541, 3543, 3545, 3547, 3549, 3551, 3553, 3555, 3557, 3559, 3561, 3563, 3565, 3573, 3576, 3578, 3580, 3582, 3584, 3586, 3588, 3590, 3592, 3594, 3596, 3598, 3600, 3602, 3604, 3606, 3608, 3610, 3612, 3614, 3616, 3618, 3620, 3622, 3624, 3626, 3628, 3630, 3632, 3634, 3640, 3643, 3645, 3647, 3649, 3651, 3653, 3655, 3657, 3659, 3661, 3663, 3665, 3667, 3669, 3671, 3673, 3675, 3677, 3679, 3681, 3683, 3685, 3687, 3689, 3691, 3693, 3695, 3697, 3699, 3701, 3708, 3711, 3713, 3715, 3717, 3719, 3721, 3723, 3725, 3727, 3729, 3731, 3733, 3735, 3737, 3739, 3741, 3743, 3745, 3747, 3749, 3751, 3753, 3755, 3757, 3759, 3761, 3763, 3765, 3767, 3769, 3777, 3780, 3782, 3784, 3786, 3788, 3790, 3792, 3794, 3796, 3798, 3800, 3802, 3804, 3806, 3808, 3813, 3815, 3817, 3819, 3821, 3823, 3825, 3827, 3829, 3831, 3833, 3838, 3840, 3842, 3844, 3853, 3856, 3858, 3860, 3862, 3864, 3866, 3868, 3870, 3872, 3874, 3876, 3878, 3880, 3882, 3886, 3893, 3897, 3899, 3901, 3903, 3905, 3907, 3909, 3911, 3913, 3917, 3919, 3921, 3923, 3925, 3936, 3939, 3941, 3943, 3945, 3947, 3949, 3951, 3953, 3955, 3957, 3959, 3961, 3963, 3967, 3973, 3982, 3989, 3993, 3998, 4000, 4002, 4004, 4006, 4008, 4010, 4012, 4014, 4017, 4019, 4021, 4030, 4033, 4035, 4037, 4039, 4041, 4043, 4045, 4047, 4049, 4051, 4053, 4055, 4059, 4065, 4073, 4084, 4092, 4098, 4102, 4105, 4107, 4109, 4111, 4113, 4115, 4117, 4119, 4123, 4125, 4127, 4137, 4140, 4142, 4144, 4146, 4148, 4150, 4152, 4154, 4156, 4158, 4160, 4164, 4170, 4178, 4188, 4199, 4209, 4217, 4223, 4228, 4230, 4232, 4234, 4236, 4238, 4240, 4242, 4244, 4246, 4248, 4256, 4259, 4261, 4263, 4265, 4267, 4269, 4271, 4273, 4275, 4277, 4281, 4287, 4295, 4305, 4317, 4330, 4342, 4352, 4360, 4367, 4371, 4373, 4375, 4377, 4379, 4381, 4383, 4385, 4387, 4389, 4397, 4402, 4404, 4406, 4408, 4410, 4412, 4414, 4416, 4418, 4422, 4428, 4436, 4449, 4461, 4475, 4490, 4504, 4516, 4526, 4535, 4541, 4545, 4547, 4549, 4551, 4553, 4555, 4557, 4559, 4561, 4570, 4573, 4575, 4577, 4579, 4581, 4583, 4585, 4587, 4591, 4597, 4605, 4615, 4627, 4641, 4657, 4674, 4690, 4704, 4716, 4727, 4735, 4741, 4745, 4747, 4749, 4751, 4753, 4755, 4757, 4759, 4767, 4771, 4773, 4775, 4777, 4779, 4781, 4783, 4787, 4793, 4801, 4811, 4823, 4837, 4853, 4871, 4890, 4908, 4924, 4938, 4951, 4961, 4969, 4975, 4979, 4981, 4983, 4985, 4987, 4989, 4991, 4999, 5002, 5004, 5006, 5008, 5010, 5012, 5016, 5022, 5030, 5040, 5052, 5066, 5082, 5100, 5120, 5141, 5161, 5179, 5195, 5210, 5222, 5232, 5240, 5246, 5250, 5252, 5254, 5256, 5258, 5260, 5268, 5273, 5275, 5277, 5279, 5281, 5285, 5291, 5299, 5312, 5324, 5338, 5354, 5372, 5392, 5414, 5437, 5459, 5479, 5497, 5514, 5529, 5541, 5551, 5559, 5565, 5569, 5571, 5573, 5575, 5577, 5586, 5589, 5591, 5593, 5595, 5599, 5605, 5613, 5623, 5635, 5649, 5665, 5683, 5703, 5725, 5749, 5774, 5798, 5820, 5840, 5859, 5875, 5889, 5901, 5911, 5919, 5925, 5929, 5931, 5933, 5935, 5943, 5946, 5948, 5950, 5954, 5960, 5968, 5978, 5990, 6004, 6020, 6038, 6058, 6080, 6104, 6130, 6157, 6183, 6207, 6229, 6250, 6268, 6284, 6298, 6310, 6320, 6328, 6334, 6338, 6340, 6342, 6350, 6355, 6357, 6361, 6367, 6375, 6385, 6397, 6411, 6427, 6445, 6465, 6487, 6511, 6537, 6567, 6596, 6624, 6650, 6674, 6697, 6717, 6735, 6751, 6765, 6777, 6787, 6795, 6801, 6805, 6807, 6815, 6818, 6822, 6828, 6836, 6846, 6858, 6872, 6888, 6906, 6926, 6948, 6972, 6998, 7026, 7056, 7087, 7117, 7145, 7171, 7196, 7218, 7238, 7256, 7272, 7286, 7298, 7308, 7316, 7322, 7326]
Discarding 1024 places :
Implicit Place search using SMT only with invariants took 20225 ms to find 1024 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 6341/8026 places, 14865/15375 transitions.
Applied a total of 0 rules in 1909 ms. Remains 6341 /6341 variables (removed 0) and now considering 14865/14865 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 56278 ms. Remains : 6341/8026 places, 14865/15375 transitions.
RANDOM walk for 40000 steps (1912 resets) in 1091 ms. (36 steps per ms) remains 2/3 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C03-ReachabilityFireability-2024-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40004 steps (132 resets) in 150 ms. (264 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (115 resets) in 210 ms. (189 steps per ms) remains 2/2 properties
[2024-05-25 07:15:14] [INFO ] Flow matrix only has 13325 transitions (discarded 1540 similar events)
// Phase 1: matrix 13325 rows 6341 cols
[2024-05-25 07:15:14] [INFO ] Computed 86 invariants in 581 ms
[2024-05-25 07:15:14] [INFO ] State equation strengthened by 6058 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/38 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/38 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (OVERLAPS) 6197/6235 variables, 16/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (INCLUDED_ONLY) 0/6235 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (OVERLAPS) 6/6241 variables, 6/23 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/6241 variables, 0/23 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (OVERLAPS) 56/6297 variables, 19/42 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/6297 variables, 0/42 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (OVERLAPS) 42/6339 variables, 42/84 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/6339 variables, 0/84 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (OVERLAPS) 2/6341 variables, 2/86 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/6341 variables, 0/86 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (OVERLAPS) 13325/19666 variables, 6341/6427 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/19666 variables, 6058/12485 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/19666 variables, 0/12485 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 15 (OVERLAPS) 0/19666 variables, 0/12485 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 19666/19666 variables, and 12485 constraints, problems are : Problem set: 0 solved, 2 unsolved in 17924 ms.
Refiners :[Positive P Invariants (semi-flows): 65/65 constraints, Generalized P Invariants (flows): 21/21 constraints, State Equation: 6341/6341 constraints, ReadFeed: 6058/6058 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/38 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/38 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (OVERLAPS) 6197/6235 variables, 16/17 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-25 07:15:40] [INFO ] Deduced a trap composed of 288 places in 6566 ms of which 44 ms to minimize.
[2024-05-25 07:15:47] [INFO ] Deduced a trap composed of 311 places in 6763 ms of which 44 ms to minimize.
[2024-05-25 07:15:53] [INFO ] Deduced a trap composed of 358 places in 6522 ms of which 39 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/6235 variables, 3/20 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/6235 variables, 0/20 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 6/6241 variables, 6/26 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/6241 variables, 0/26 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 56/6297 variables, 19/45 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-05-25 07:16:02] [INFO ] Deduced a trap composed of 6 places in 7463 ms of which 39 ms to minimize.
[2024-05-25 07:16:10] [INFO ] Deduced a trap composed of 278 places in 8372 ms of which 45 ms to minimize.
[2024-05-25 07:16:18] [INFO ] Deduced a trap composed of 182 places in 7672 ms of which 42 ms to minimize.
[2024-05-25 07:16:26] [INFO ] Deduced a trap composed of 233 places in 7756 ms of which 41 ms to minimize.
[2024-05-25 07:16:33] [INFO ] Deduced a trap composed of 233 places in 7332 ms of which 42 ms to minimize.
[2024-05-25 07:16:40] [INFO ] Deduced a trap composed of 290 places in 7350 ms of which 43 ms to minimize.
[2024-05-25 07:16:48] [INFO ] Deduced a trap composed of 149 places in 7688 ms of which 39 ms to minimize.
[2024-05-25 07:16:56] [INFO ] Deduced a trap composed of 159 places in 7464 ms of which 41 ms to minimize.
[2024-05-25 07:17:03] [INFO ] Deduced a trap composed of 159 places in 7569 ms of which 42 ms to minimize.
SMT process timed out in 109664ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 38 out of 6341 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6341/6341 places, 14865/14865 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 6341 transition count 14861
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 6337 transition count 14861
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 8 place count 6337 transition count 14857
Deduced a syphon composed of 4 places in 6 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 16 place count 6333 transition count 14857
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 25 place count 6324 transition count 14840
Iterating global reduction 2 with 9 rules applied. Total rules applied 34 place count 6324 transition count 14840
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 39 place count 6319 transition count 14825
Iterating global reduction 2 with 5 rules applied. Total rules applied 44 place count 6319 transition count 14825
Free-agglomeration rule (complex) applied 26 times.
Iterating global reduction 2 with 26 rules applied. Total rules applied 70 place count 6319 transition count 16857
Reduce places removed 26 places and 0 transitions.
Iterating post reduction 2 with 26 rules applied. Total rules applied 96 place count 6293 transition count 16857
Partial Free-agglomeration rule applied 7 times.
Drop transitions (Partial Free agglomeration) removed 7 transitions
Iterating global reduction 3 with 7 rules applied. Total rules applied 103 place count 6293 transition count 16857
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 106 place count 6290 transition count 16854
Iterating global reduction 3 with 3 rules applied. Total rules applied 109 place count 6290 transition count 16854
Applied a total of 109 rules in 10397 ms. Remains 6290 /6341 variables (removed 51) and now considering 16854/14865 (removed -1989) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 10397 ms. Remains : 6290/6341 places, 16854/14865 transitions.
[2024-05-25 07:17:14] [INFO ] Export to MCC of 2 properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 8 ms.
[2024-05-25 07:17:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 6290 places, 16854 transitions and 81266 arcs took 70 ms.
[2024-05-25 07:17:15] [INFO ] Flatten gal took : 774 ms
Total runtime 433129 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running MultiCrashLeafsetExtension-PT-S32C03
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/412/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 6290
TRANSITIONS: 16854
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.409s, Sys 0.029s]
SAVING FILE /home/mcc/execution/412/model (.net / .def) ...
EXPORT TIME: [User 0.057s, Sys 0.003s]
----------------------------------------------------------------------
GreatSPN/Meddly.
Copyright (C) 1987-2022, University of Torino, Italy.
website: https://github.com/greatspn/SOURCES
Based on MEDDLY version 0.16.0
Copyright (C) 2009, Iowa State University Research Foundation, Inc.
website: http://meddly.sourceforge.net
Process ID: 731
MODEL NAME: /home/mcc/execution/412/model
6290 places, 16854 transitions.
No place bound informations found.
No place bound informations found.
No place bound informations found.
No place bound informations found.
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
CANNOT_COMPUTE
EXITCODE: 87
----------------------------------------------------------------------
BK_STOP 1716622546722
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -timeout 360 -rebuildPNML
Error in allocating array of size 1178103172 at storage/ct_typebased.h, line 1565
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C03"
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-S32C03, 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-171654349300159"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C03.tgz
mv MultiCrashLeafsetExtension-PT-S32C03 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 ;