About the Execution of GreatSPN+red for FamilyReunion-COL-L00050M0005C002P002G001
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13336.115 | 3600000.00 | 5409806.00 | 10827.80 | ????FTTTTFFF??T? | 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.r157-smll-171636265600401.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 FamilyReunion-COL-L00050M0005C002P002G001, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r157-smll-171636265600401
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 668K
-rw-r--r-- 1 mcc users 6.8K Apr 11 20:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Apr 11 20:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Apr 11 20:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Apr 11 20:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.0K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Apr 22 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 22 14:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 22 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 22 14:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 11 21:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Apr 11 21:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Apr 11 21:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 110K Apr 11 21:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 22 14:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 22 14:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_pt
-rw-r--r-- 1 mcc users 24 May 18 16:42 instance
-rw-r--r-- 1 mcc users 5 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 137K May 18 16:42 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 FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-00
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-01
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-02
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-03
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-04
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-05
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-06
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-07
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-08
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-09
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-10
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-11
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-12
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-13
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-14
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1716622148147
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-COL-L00050M0005C002P002G001
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-25 07:29:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2024-05-25 07:29:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 07:29:10] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2024-05-25 07:29:10] [WARNING] Using fallBack plugin, rng conformance not checked
[2024-05-25 07:29:11] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1170 ms
[2024-05-25 07:29:11] [INFO ] Detected 5 constant HL places corresponding to 17 PT places.
[2024-05-25 07:29:11] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 12245 PT places and 10611.0 transition bindings in 54 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 28 ms.
[2024-05-25 07:29:11] [INFO ] Built PT skeleton of HLPN with 104 places and 66 transitions 198 arcs in 9 ms.
[2024-05-25 07:29:11] [INFO ] Skeletonized 16 HLPN properties in 5 ms.
Computed a total of 104 stabilizing places and 66 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 104 transition count 66
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
AF dead knowledge conclusive for 2 formulas.
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Remains 14 properties that can be checked using skeleton over-approximation.
Reduce places removed 5 places and 0 transitions.
Computed a total of 99 stabilizing places and 66 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 99 transition count 66
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
RANDOM walk for 40045 steps (12 resets) in 448 ms. (89 steps per ms) remains 27/68 properties
BEST_FIRST walk for 4003 steps (8 resets) in 100 ms. (39 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 95 ms. (41 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4004 steps (8 resets) in 95 ms. (41 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 33 ms. (117 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 18 ms. (210 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 19 ms. (200 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 19 ms. (200 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 29 ms. (133 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4001 steps (8 resets) in 25 ms. (153 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 11 ms. (333 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 31 ms. (125 steps per ms) remains 27/27 properties
BEST_FIRST walk for 4003 steps (8 resets) in 28 ms. (138 steps per ms) remains 27/27 properties
// Phase 1: matrix 66 rows 99 cols
[2024-05-25 07:29:12] [INFO ] Computed 33 invariants in 10 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/29 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 27 unsolved
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp29 is UNSAT
Problem AtomicPropp36 is UNSAT
Problem AtomicPropp45 is UNSAT
Problem AtomicPropp49 is UNSAT
Problem AtomicPropp52 is UNSAT
Problem AtomicPropp57 is UNSAT
Problem AtomicPropp59 is UNSAT
Problem AtomicPropp61 is UNSAT
Problem AtomicPropp63 is UNSAT
Problem AtomicPropp66 is UNSAT
At refinement iteration 1 (OVERLAPS) 35/64 variables, 4/4 constraints. Problems are: Problem set: 13 solved, 14 unsolved
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp41 is UNSAT
Problem AtomicPropp43 is UNSAT
Problem AtomicPropp51 is UNSAT
Problem AtomicPropp54 is UNSAT
At refinement iteration 2 (INCLUDED_ONLY) 0/64 variables, 5/9 constraints. Problems are: Problem set: 18 solved, 9 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/64 variables, 0/9 constraints. Problems are: Problem set: 18 solved, 9 unsolved
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp40 is UNSAT
Problem AtomicPropp42 is UNSAT
Problem AtomicPropp44 is UNSAT
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp64 is UNSAT
At refinement iteration 4 (OVERLAPS) 33/97 variables, 23/32 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/97 variables, 0/32 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 2/99 variables, 1/33 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/99 variables, 0/33 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 66/165 variables, 99/132 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/165 variables, 0/132 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 0/165 variables, 0/132 constraints. Problems are: Problem set: 26 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 165/165 variables, and 132 constraints, problems are : Problem set: 26 solved, 1 unsolved in 627 ms.
Refiners :[Positive P Invariants (semi-flows): 4/4 constraints, Generalized P Invariants (flows): 29/29 constraints, State Equation: 99/99 constraints, PredecessorRefiner: 27/27 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 26 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 29/31 variables, 2/2 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/31 variables, 0/2 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 10/41 variables, 1/3 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/41 variables, 1/4 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/41 variables, 0/4 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 39/80 variables, 17/21 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/80 variables, 0/21 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 5/85 variables, 1/22 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/85 variables, 0/22 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 14/99 variables, 11/33 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/99 variables, 0/33 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 12 (OVERLAPS) 66/165 variables, 99/132 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/165 variables, 1/133 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/165 variables, 0/133 constraints. Problems are: Problem set: 26 solved, 1 unsolved
At refinement iteration 15 (OVERLAPS) 0/165 variables, 0/133 constraints. Problems are: Problem set: 26 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 165/165 variables, and 133 constraints, problems are : Problem set: 26 solved, 1 unsolved in 228 ms.
Refiners :[Positive P Invariants (semi-flows): 4/4 constraints, Generalized P Invariants (flows): 29/29 constraints, State Equation: 99/99 constraints, PredecessorRefiner: 1/27 constraints, Known Traps: 0/0 constraints]
After SMT, in 925ms problems are : Problem set: 26 solved, 1 unsolved
Finished Parikh walk after 631 steps, including 0 resets, run visited all 1 properties in 5 ms. (steps per millisecond=126 )
Parikh walk visited 1 properties in 14 ms.
Successfully simplified 26 atomic propositions for a total of 14 simplifications.
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-25 07:29:13] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2024-05-25 07:29:13] [INFO ] Flatten gal took : 46 ms
[2024-05-25 07:29:13] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-25 07:29:13] [INFO ] Flatten gal took : 14 ms
Transition Gate2ANDJoin forces synchronizations/join behavior on parameter l of sort LegalResident
Transition ReceiveLangChoice forces synchronizations/join behavior on parameter m of sort MICSystem
Symmetric sort wr.t. initial and guards and successors and join/free detected :CINFORMI
Symmetric sort wr.t. initial detected :CINFORMI
Symmetric sort wr.t. initial and guards detected :CINFORMI
Applying symmetric unfolding of full symmetric sort :CINFORMI domain size was 3
Transition Gate1ANDJoin forces synchronizations/join behavior on parameter p of sort PublicAdminOffice
Symmetric sort wr.t. initial and guards and successors and join/free detected :Response
Symmetric sort wr.t. initial detected :Response
Transition SendClearanceToRel : guard parameter $r(Response:2) in guard (EQ $r 0)introduces in Response(2) partition with 2 elements
Symmetric sort wr.t. initial and guards and successors and join/free detected :GovernmentCommission
Symmetric sort wr.t. initial detected :GovernmentCommission
Symmetric sort wr.t. initial and guards detected :GovernmentCommission
Applying symmetric unfolding of full symmetric sort :GovernmentCommission domain size was 2
[2024-05-25 07:29:13] [INFO ] Unfolded HLPN to a Petri net with 11467 places and 9336 transitions 26832 arcs in 222 ms.
[2024-05-25 07:29:13] [INFO ] Unfolded 8 HLPN properties in 1 ms.
Deduced a syphon composed of 51 places in 69 ms
Reduce places removed 64 places and 0 transitions.
Support contains 5270 out of 11403 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 11403/11403 places, 9336/9336 transitions.
Reduce places removed 113 places and 0 transitions.
Discarding 969 places :
Implicit places reduction removed 969 places
Iterating post reduction 0 with 1082 rules applied. Total rules applied 1082 place count 10321 transition count 9336
Discarding 152 places :
Symmetric choice reduction at 1 with 152 rule applications. Total rules 1234 place count 10169 transition count 9184
Iterating global reduction 1 with 152 rules applied. Total rules applied 1386 place count 10169 transition count 9184
Applied a total of 1386 rules in 2357 ms. Remains 10169 /11403 variables (removed 1234) and now considering 9184/9336 (removed 152) transitions.
// Phase 1: matrix 9184 rows 10169 cols
[2024-05-25 07:29:17] [INFO ] Computed 1690 invariants in 815 ms
[2024-05-25 07:29:24] [INFO ] Implicit Places using invariants in 8386 ms returned [918, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 930, 931, 932, 933, 934, 935, 936, 937, 938, 939, 940, 941, 942, 943, 944, 945, 946, 947, 948, 949, 950, 951, 952, 953, 954, 955, 956, 957, 958, 959, 960, 961, 962, 963, 964, 965, 966, 967, 968, 2397, 5919, 7661, 7662, 7663, 7664, 7665, 7666, 7667, 7668, 7669, 7670, 7671, 7672, 7673, 7674, 7675, 7676, 7677, 7678, 7679, 7680, 7681, 7682, 7683, 7684, 7685, 7686, 7687, 7688, 7689, 7690, 7691, 7692, 7693, 7694, 7695, 7696, 7697, 7698, 7699, 7700, 7701, 7702, 7703, 7704, 7705, 7706, 7707, 7708, 7709, 7710, 7711, 8171, 8172, 8173, 8174, 8175, 8176, 8177, 8178, 8179, 8180, 8181, 8182, 8183, 8184, 8185, 8186, 8187, 8188, 8189, 8190, 8191, 8192, 8193, 8194, 8195, 8196, 8197, 8198, 8199, 8200, 8201, 8202, 8203, 8204, 8205, 8206, 8207, 8208, 8209, 8210, 8211, 8212, 8213, 8214, 8215, 8216, 8217, 8218, 8219, 8220, 8221]
Discarding 155 places :
Implicit Place search using SMT only with invariants took 8418 ms to find 155 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 10014/11403 places, 9184/9336 transitions.
Applied a total of 0 rules in 824 ms. Remains 10014 /10014 variables (removed 0) and now considering 9184/9184 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 11620 ms. Remains : 10014/11403 places, 9184/9336 transitions.
Support contains 5270 out of 10014 places after structural reductions.
[2024-05-25 07:29:26] [INFO ] Flatten gal took : 547 ms
[2024-05-25 07:29:26] [INFO ] Flatten gal took : 353 ms
[2024-05-25 07:29:28] [INFO ] Input system was already deterministic with 9184 transitions.
Support contains 4964 out of 10014 places (down from 5270) after GAL structural reductions.
RANDOM walk for 40000 steps (12 resets) in 4374 ms. (9 steps per ms) remains 9/25 properties
BEST_FIRST walk for 40004 steps (8 resets) in 576 ms. (69 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 396 ms. (100 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 157 ms. (253 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 215 ms. (185 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 541 ms. (73 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 179 ms. (222 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 380 ms. (104 steps per ms) remains 9/9 properties
// Phase 1: matrix 9184 rows 10014 cols
[2024-05-25 07:29:30] [INFO ] Computed 1535 invariants in 265 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/1533 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp20 is UNSAT
At refinement iteration 1 (OVERLAPS) 6747/8280 variables, 772/772 constraints. Problems are: Problem set: 4 solved, 5 unsolved
[2024-05-25 07:29:49] [INFO ] Deduced a trap composed of 236 places in 15038 ms of which 664 ms to minimize.
SMT process timed out in 18744ms, After SMT, problems are : Problem set: 4 solved, 5 unsolved
Fused 5 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 918 out of 10014 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10014/10014 places, 9184/9184 transitions.
Graph (complete) has 13518 edges and 10014 vertex of which 9700 are kept as prefixes of interest. Removing 314 places using SCC suffix rule.30 ms
Discarding 314 places :
Also discarding 208 output transitions
Drop transitions (Output transitions of discarded places.) removed 208 transitions
Ensure Unique test removed 51 transitions
Reduce isomorphic transitions removed 51 transitions.
Discarding 1071 places :
Implicit places reduction removed 1071 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 4437 transitions
Trivial Post-agglo rules discarded 4437 transitions
Performed 4437 trivial Post agglomeration. Transition count delta: 4437
Iterating post reduction 0 with 5559 rules applied. Total rules applied 5560 place count 8629 transition count 4488
Reduce places removed 4437 places and 0 transitions.
Performed 459 Post agglomeration using F-continuation condition.Transition count delta: 459
Iterating post reduction 1 with 4896 rules applied. Total rules applied 10456 place count 4192 transition count 4029
Reduce places removed 459 places and 0 transitions.
Iterating post reduction 2 with 459 rules applied. Total rules applied 10915 place count 3733 transition count 4029
Performed 663 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 663 Pre rules applied. Total rules applied 10915 place count 3733 transition count 3366
Deduced a syphon composed of 663 places in 1 ms
Ensure Unique test removed 204 places
Reduce places removed 867 places and 0 transitions.
Iterating global reduction 3 with 1530 rules applied. Total rules applied 12445 place count 2866 transition count 3366
Drop transitions (Trivial Post-Agglo cleanup.) removed 153 transitions
Trivial Post-agglo rules discarded 153 transitions
Performed 153 trivial Post agglomeration. Transition count delta: 153
Iterating post reduction 3 with 153 rules applied. Total rules applied 12598 place count 2866 transition count 3213
Reduce places removed 153 places and 0 transitions.
Iterating post reduction 4 with 153 rules applied. Total rules applied 12751 place count 2713 transition count 3213
Discarding 359 places :
Symmetric choice reduction at 5 with 359 rule applications. Total rules 13110 place count 2354 transition count 2754
Iterating global reduction 5 with 359 rules applied. Total rules applied 13469 place count 2354 transition count 2754
Ensure Unique test removed 102 transitions
Reduce isomorphic transitions removed 102 transitions.
Discarding 51 places :
Implicit places reduction removed 51 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 51 transitions
Trivial Post-agglo rules discarded 51 transitions
Performed 51 trivial Post agglomeration. Transition count delta: 51
Iterating post reduction 5 with 204 rules applied. Total rules applied 13673 place count 2303 transition count 2601
Reduce places removed 51 places and 0 transitions.
Performed 51 Post agglomeration using F-continuation condition.Transition count delta: 51
Iterating post reduction 6 with 102 rules applied. Total rules applied 13775 place count 2252 transition count 2550
Reduce places removed 51 places and 0 transitions.
Iterating post reduction 7 with 51 rules applied. Total rules applied 13826 place count 2201 transition count 2550
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 51 Pre rules applied. Total rules applied 13826 place count 2201 transition count 2499
Deduced a syphon composed of 51 places in 0 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 8 with 102 rules applied. Total rules applied 13928 place count 2150 transition count 2499
Discarding 5 places :
Symmetric choice reduction at 8 with 5 rule applications. Total rules 13933 place count 2145 transition count 2244
Iterating global reduction 8 with 5 rules applied. Total rules applied 13938 place count 2145 transition count 2244
Free-agglomeration rule applied 306 times.
Iterating global reduction 8 with 306 rules applied. Total rules applied 14244 place count 2145 transition count 1938
Reduce places removed 306 places and 0 transitions.
Iterating post reduction 8 with 306 rules applied. Total rules applied 14550 place count 1839 transition count 1938
Free-agglomeration rule (complex) applied 102 times.
Iterating global reduction 9 with 102 rules applied. Total rules applied 14652 place count 1839 transition count 1836
Reduce places removed 102 places and 0 transitions.
Iterating post reduction 9 with 102 rules applied. Total rules applied 14754 place count 1737 transition count 1836
Applied a total of 14754 rules in 1995 ms. Remains 1737 /10014 variables (removed 8277) and now considering 1836/9184 (removed 7348) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1995 ms. Remains : 1737/10014 places, 1836/9184 transitions.
RANDOM walk for 40000 steps (52 resets) in 1636 ms. (24 steps per ms) remains 4/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 694 ms. (57 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 216 ms. (184 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 100 ms. (396 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 4/4 properties
// Phase 1: matrix 1836 rows 1737 cols
[2024-05-25 07:29:52] [INFO ] Computed 156 invariants in 24 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/867 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 819/1686 variables, 155/155 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1686 variables, 0/155 constraints. Problems are: Problem set: 0 solved, 4 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 51/1737 variables, 1/156 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1737 variables, 0/156 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Problem AtomicPropp22 is UNSAT
At refinement iteration 5 (OVERLAPS) 1836/3573 variables, 1737/1893 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/3573 variables, 0/1893 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 7 (OVERLAPS) 0/3573 variables, 0/1893 constraints. Problems are: Problem set: 1 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Real declared 3573/3573 variables, and 1893 constraints, problems are : Problem set: 1 solved, 3 unsolved in 2802 ms.
Refiners :[Generalized P Invariants (flows): 156/156 constraints, State Equation: 1737/1737 constraints, PredecessorRefiner: 4/4 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/510 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 768/1278 variables, 154/154 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1278 variables, 0/154 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 408/1686 variables, 2/156 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1686 variables, 0/156 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 5 (OVERLAPS) 1785/3471 variables, 1686/1842 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/3471 variables, 3/1845 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/3471 variables, 0/1845 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 102/3573 variables, 51/1896 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/3573 variables, 0/1896 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 10 (OVERLAPS) 0/3573 variables, 0/1896 constraints. Problems are: Problem set: 1 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Int declared 3573/3573 variables, and 1896 constraints, problems are : Problem set: 1 solved, 3 unsolved in 20840 ms.
Refiners :[Generalized P Invariants (flows): 156/156 constraints, State Equation: 1737/1737 constraints, PredecessorRefiner: 3/4 constraints, Known Traps: 0/0 constraints]
After SMT, in 23838ms problems are : Problem set: 1 solved, 3 unsolved
Finished Parikh walk after 330 steps, including 0 resets, run visited all 1 properties in 13 ms. (steps per millisecond=25 )
Parikh walk visited 3 properties in 989 ms.
Successfully simplified 5 atomic propositions for a total of 8 simplifications.
[2024-05-25 07:30:17] [INFO ] Flatten gal took : 299 ms
[2024-05-25 07:30:17] [INFO ] Flatten gal took : 303 ms
[2024-05-25 07:30:18] [INFO ] Input system was already deterministic with 9184 transitions.
Support contains 3629 out of 10014 places (down from 3935) after GAL structural reductions.
Computed a total of 10014 stabilizing places and 9184 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 10014 transition count 9184
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Starting structural reductions in LTL mode, iteration 0 : 10014/10014 places, 9184/9184 transitions.
Reduce places removed 3 places and 0 transitions.
Discarding 1071 places :
Implicit places reduction removed 1071 places
Iterating post reduction 0 with 1074 rules applied. Total rules applied 1074 place count 8940 transition count 9184
Discarding 614 places :
Symmetric choice reduction at 1 with 614 rule applications. Total rules 1688 place count 8326 transition count 8470
Iterating global reduction 1 with 614 rules applied. Total rules applied 2302 place count 8326 transition count 8470
Discarding 51 places :
Implicit places reduction removed 51 places
Iterating post reduction 1 with 51 rules applied. Total rules applied 2353 place count 8275 transition count 8470
Discarding 357 places :
Symmetric choice reduction at 2 with 357 rule applications. Total rules 2710 place count 7918 transition count 8113
Iterating global reduction 2 with 357 rules applied. Total rules applied 3067 place count 7918 transition count 8113
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 3322 place count 7663 transition count 7858
Iterating global reduction 2 with 255 rules applied. Total rules applied 3577 place count 7663 transition count 7858
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 3582 place count 7658 transition count 7603
Iterating global reduction 2 with 5 rules applied. Total rules applied 3587 place count 7658 transition count 7603
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 3842 place count 7403 transition count 7348
Iterating global reduction 2 with 255 rules applied. Total rules applied 4097 place count 7403 transition count 7348
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 4352 place count 7148 transition count 7093
Iterating global reduction 2 with 255 rules applied. Total rules applied 4607 place count 7148 transition count 7093
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 4862 place count 6893 transition count 6838
Iterating global reduction 2 with 255 rules applied. Total rules applied 5117 place count 6893 transition count 6838
Applied a total of 5117 rules in 10078 ms. Remains 6893 /10014 variables (removed 3121) and now considering 6838/9184 (removed 2346) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 10079 ms. Remains : 6893/10014 places, 6838/9184 transitions.
[2024-05-25 07:30:28] [INFO ] Flatten gal took : 155 ms
[2024-05-25 07:30:28] [INFO ] Flatten gal took : 159 ms
[2024-05-25 07:30:29] [INFO ] Input system was already deterministic with 6838 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10014/10014 places, 9184/9184 transitions.
Reduce places removed 55 places and 0 transitions.
Discarding 1020 places :
Implicit places reduction removed 1020 places
Iterating post reduction 0 with 1075 rules applied. Total rules applied 1075 place count 8939 transition count 9184
Discarding 666 places :
Symmetric choice reduction at 1 with 666 rule applications. Total rules 1741 place count 8273 transition count 8518
Iterating global reduction 1 with 666 rules applied. Total rules applied 2407 place count 8273 transition count 8518
Discarding 305 places :
Symmetric choice reduction at 1 with 305 rule applications. Total rules 2712 place count 7968 transition count 8213
Iterating global reduction 1 with 305 rules applied. Total rules applied 3017 place count 7968 transition count 8213
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 3272 place count 7713 transition count 7958
Iterating global reduction 1 with 255 rules applied. Total rules applied 3527 place count 7713 transition count 7958
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 3532 place count 7708 transition count 7703
Iterating global reduction 1 with 5 rules applied. Total rules applied 3537 place count 7708 transition count 7703
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 3792 place count 7453 transition count 7448
Iterating global reduction 1 with 255 rules applied. Total rules applied 4047 place count 7453 transition count 7448
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 4302 place count 7198 transition count 7193
Iterating global reduction 1 with 255 rules applied. Total rules applied 4557 place count 7198 transition count 7193
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 4812 place count 6943 transition count 6938
Iterating global reduction 1 with 255 rules applied. Total rules applied 5067 place count 6943 transition count 6938
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 5322 place count 6688 transition count 6683
Iterating global reduction 1 with 255 rules applied. Total rules applied 5577 place count 6688 transition count 6683
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 5832 place count 6433 transition count 6428
Iterating global reduction 1 with 255 rules applied. Total rules applied 6087 place count 6433 transition count 6428
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 6342 place count 6178 transition count 6173
Iterating global reduction 1 with 255 rules applied. Total rules applied 6597 place count 6178 transition count 6173
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 6852 place count 5923 transition count 5918
Iterating global reduction 1 with 255 rules applied. Total rules applied 7107 place count 5923 transition count 5918
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 7362 place count 5668 transition count 5663
Iterating global reduction 1 with 255 rules applied. Total rules applied 7617 place count 5668 transition count 5663
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 7872 place count 5413 transition count 5408
Iterating global reduction 1 with 255 rules applied. Total rules applied 8127 place count 5413 transition count 5408
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 8382 place count 5158 transition count 5153
Iterating global reduction 1 with 255 rules applied. Total rules applied 8637 place count 5158 transition count 5153
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 8892 place count 4903 transition count 4898
Iterating global reduction 1 with 255 rules applied. Total rules applied 9147 place count 4903 transition count 4898
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 9402 place count 4648 transition count 4643
Iterating global reduction 1 with 255 rules applied. Total rules applied 9657 place count 4648 transition count 4643
Discarding 255 places :
Symmetric choice reduction at 1 with 255 rule applications. Total rules 9912 place count 4393 transition count 4388
Iterating global reduction 1 with 255 rules applied. Total rules applied 10167 place count 4393 transition count 4388
Ensure Unique test removed 255 transitions
Reduce isomorphic transitions removed 255 transitions.
Iterating post reduction 1 with 255 rules applied. Total rules applied 10422 place count 4393 transition count 4133
Applied a total of 10422 rules in 20616 ms. Remains 4393 /10014 variables (removed 5621) and now considering 4133/9184 (removed 5051) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 20617 ms. Remains : 4393/10014 places, 4133/9184 transitions.
[2024-05-25 07:30:49] [INFO ] Flatten gal took : 95 ms
[2024-05-25 07:30:49] [INFO ] Flatten gal took : 102 ms
[2024-05-25 07:30:50] [INFO ] Input system was already deterministic with 4133 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10014/10014 places, 9184/9184 transitions.
Reduce places removed 55 places and 0 transitions.
Discarding 1020 places :
Implicit places reduction removed 1020 places
Iterating post reduction 0 with 1075 rules applied. Total rules applied 1075 place count 8939 transition count 9184
Discarding 668 places :
Symmetric choice reduction at 1 with 668 rule applications. Total rules 1743 place count 8271 transition count 8416
Iterating global reduction 1 with 668 rules applied. Total rules applied 2411 place count 8271 transition count 8416
Discarding 51 places :
Implicit places reduction removed 51 places
Iterating post reduction 1 with 51 rules applied. Total rules applied 2462 place count 8220 transition count 8416
Discarding 407 places :
Symmetric choice reduction at 2 with 407 rule applications. Total rules 2869 place count 7813 transition count 8009
Iterating global reduction 2 with 407 rules applied. Total rules applied 3276 place count 7813 transition count 8009
Discarding 357 places :
Symmetric choice reduction at 2 with 357 rule applications. Total rules 3633 place count 7456 transition count 7652
Iterating global reduction 2 with 357 rules applied. Total rules applied 3990 place count 7456 transition count 7652
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 3995 place count 7451 transition count 7397
Iterating global reduction 2 with 5 rules applied. Total rules applied 4000 place count 7451 transition count 7397
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 4255 place count 7196 transition count 7142
Iterating global reduction 2 with 255 rules applied. Total rules applied 4510 place count 7196 transition count 7142
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 4765 place count 6941 transition count 6887
Iterating global reduction 2 with 255 rules applied. Total rules applied 5020 place count 6941 transition count 6887
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 5275 place count 6686 transition count 6632
Iterating global reduction 2 with 255 rules applied. Total rules applied 5530 place count 6686 transition count 6632
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 5785 place count 6431 transition count 6377
Iterating global reduction 2 with 255 rules applied. Total rules applied 6040 place count 6431 transition count 6377
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 6295 place count 6176 transition count 6122
Iterating global reduction 2 with 255 rules applied. Total rules applied 6550 place count 6176 transition count 6122
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 6805 place count 5921 transition count 5867
Iterating global reduction 2 with 255 rules applied. Total rules applied 7060 place count 5921 transition count 5867
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 7315 place count 5666 transition count 5612
Iterating global reduction 2 with 255 rules applied. Total rules applied 7570 place count 5666 transition count 5612
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 7825 place count 5411 transition count 5357
Iterating global reduction 2 with 255 rules applied. Total rules applied 8080 place count 5411 transition count 5357
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 8335 place count 5156 transition count 5102
Iterating global reduction 2 with 255 rules applied. Total rules applied 8590 place count 5156 transition count 5102
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 8845 place count 4901 transition count 4847
Iterating global reduction 2 with 255 rules applied. Total rules applied 9100 place count 4901 transition count 4847
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 9355 place count 4646 transition count 4592
Iterating global reduction 2 with 255 rules applied. Total rules applied 9610 place count 4646 transition count 4592
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 9865 place count 4391 transition count 4337
Iterating global reduction 2 with 255 rules applied. Total rules applied 10120 place count 4391 transition count 4337
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 10375 place count 4136 transition count 4082
Iterating global reduction 2 with 255 rules applied. Total rules applied 10630 place count 4136 transition count 4082
Ensure Unique test removed 255 transitions
Reduce isomorphic transitions removed 255 transitions.
Iterating post reduction 2 with 255 rules applied. Total rules applied 10885 place count 4136 transition count 3827
Applied a total of 10885 rules in 22044 ms. Remains 4136 /10014 variables (removed 5878) and now considering 3827/9184 (removed 5357) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 22045 ms. Remains : 4136/10014 places, 3827/9184 transitions.
[2024-05-25 07:31:12] [INFO ] Flatten gal took : 84 ms
[2024-05-25 07:31:12] [INFO ] Flatten gal took : 90 ms
[2024-05-25 07:31:12] [INFO ] Input system was already deterministic with 3827 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 10014/10014 places, 9184/9184 transitions.
Graph (complete) has 13518 edges and 10014 vertex of which 8166 are kept as prefixes of interest. Removing 1848 places using SCC suffix rule.20 ms
Discarding 1848 places :
Also discarding 1585 output transitions
Drop transitions (Output transitions of discarded places.) removed 1585 transitions
Reduce places removed 51 places and 51 transitions.
Discarding 714 places :
Implicit places reduction removed 714 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 4386 transitions
Trivial Post-agglo rules discarded 4386 transitions
Performed 4386 trivial Post agglomeration. Transition count delta: 4386
Iterating post reduction 0 with 5100 rules applied. Total rules applied 5101 place count 7401 transition count 3162
Reduce places removed 4386 places and 0 transitions.
Performed 306 Post agglomeration using F-continuation condition.Transition count delta: 306
Iterating post reduction 1 with 4692 rules applied. Total rules applied 9793 place count 3015 transition count 2856
Reduce places removed 306 places and 0 transitions.
Iterating post reduction 2 with 306 rules applied. Total rules applied 10099 place count 2709 transition count 2856
Performed 867 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 867 Pre rules applied. Total rules applied 10099 place count 2709 transition count 1989
Deduced a syphon composed of 867 places in 0 ms
Ensure Unique test removed 459 places
Reduce places removed 1326 places and 0 transitions.
Iterating global reduction 3 with 2193 rules applied. Total rules applied 12292 place count 1383 transition count 1989
Discarding 260 places :
Symmetric choice reduction at 3 with 260 rule applications. Total rules 12552 place count 1123 transition count 1479
Iterating global reduction 3 with 260 rules applied. Total rules applied 12812 place count 1123 transition count 1479
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 51 Pre rules applied. Total rules applied 12812 place count 1123 transition count 1428
Deduced a syphon composed of 51 places in 1 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 3 with 102 rules applied. Total rules applied 12914 place count 1072 transition count 1428
Applied a total of 12914 rules in 558 ms. Remains 1072 /10014 variables (removed 8942) and now considering 1428/9184 (removed 7756) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 558 ms. Remains : 1072/10014 places, 1428/9184 transitions.
[2024-05-25 07:31:13] [INFO ] Flatten gal took : 25 ms
[2024-05-25 07:31:13] [INFO ] Flatten gal took : 26 ms
[2024-05-25 07:31:13] [INFO ] Input system was already deterministic with 1428 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 10014/10014 places, 9184/9184 transitions.
Graph (complete) has 13518 edges and 10014 vertex of which 9394 are kept as prefixes of interest. Removing 620 places using SCC suffix rule.13 ms
Discarding 620 places :
Also discarding 565 output transitions
Drop transitions (Output transitions of discarded places.) removed 565 transitions
Reduce places removed 51 places and 51 transitions.
Discarding 1071 places :
Implicit places reduction removed 1071 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 5712 transitions
Trivial Post-agglo rules discarded 5712 transitions
Performed 5712 trivial Post agglomeration. Transition count delta: 5712
Iterating post reduction 0 with 6783 rules applied. Total rules applied 6784 place count 8272 transition count 2856
Reduce places removed 5712 places and 0 transitions.
Performed 306 Post agglomeration using F-continuation condition.Transition count delta: 306
Iterating post reduction 1 with 6018 rules applied. Total rules applied 12802 place count 2560 transition count 2550
Reduce places removed 306 places and 0 transitions.
Iterating post reduction 2 with 306 rules applied. Total rules applied 13108 place count 2254 transition count 2550
Performed 867 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 867 Pre rules applied. Total rules applied 13108 place count 2254 transition count 1683
Deduced a syphon composed of 867 places in 0 ms
Ensure Unique test removed 357 places
Reduce places removed 1224 places and 0 transitions.
Iterating global reduction 3 with 2091 rules applied. Total rules applied 15199 place count 1030 transition count 1683
Drop transitions (Trivial Post-Agglo cleanup.) removed 204 transitions
Trivial Post-agglo rules discarded 204 transitions
Performed 204 trivial Post agglomeration. Transition count delta: 204
Iterating post reduction 3 with 204 rules applied. Total rules applied 15403 place count 1030 transition count 1479
Reduce places removed 204 places and 0 transitions.
Iterating post reduction 4 with 204 rules applied. Total rules applied 15607 place count 826 transition count 1479
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 51 Pre rules applied. Total rules applied 15607 place count 826 transition count 1428
Deduced a syphon composed of 51 places in 1 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 5 with 102 rules applied. Total rules applied 15709 place count 775 transition count 1428
Discarding 364 places :
Symmetric choice reduction at 5 with 364 rule applications. Total rules 16073 place count 411 transition count 714
Iterating global reduction 5 with 364 rules applied. Total rules applied 16437 place count 411 transition count 714
Ensure Unique test removed 357 transitions
Reduce isomorphic transitions removed 357 transitions.
Discarding 51 places :
Implicit places reduction removed 51 places
Performed 51 Post agglomeration using F-continuation condition.Transition count delta: 51
Iterating post reduction 5 with 459 rules applied. Total rules applied 16896 place count 360 transition count 306
Reduce places removed 51 places and 0 transitions.
Iterating post reduction 6 with 51 rules applied. Total rules applied 16947 place count 309 transition count 306
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 51 Pre rules applied. Total rules applied 16947 place count 309 transition count 255
Deduced a syphon composed of 51 places in 0 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 7 with 102 rules applied. Total rules applied 17049 place count 258 transition count 255
Discarding 50 places :
Symmetric choice reduction at 7 with 50 rule applications. Total rules 17099 place count 208 transition count 205
Iterating global reduction 7 with 50 rules applied. Total rules applied 17149 place count 208 transition count 205
Discarding 50 places :
Symmetric choice reduction at 7 with 50 rule applications. Total rules 17199 place count 158 transition count 155
Ensure Unique test removed 1 places
Iterating global reduction 7 with 51 rules applied. Total rules applied 17250 place count 157 transition count 155
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1 Pre rules applied. Total rules applied 17250 place count 157 transition count 154
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 17252 place count 156 transition count 154
Reduce places removed 51 places and 51 transitions.
Iterating global reduction 7 with 51 rules applied. Total rules applied 17303 place count 105 transition count 103
Applied a total of 17303 rules in 433 ms. Remains 105 /10014 variables (removed 9909) and now considering 103/9184 (removed 9081) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 433 ms. Remains : 105/10014 places, 103/9184 transitions.
[2024-05-25 07:31:13] [INFO ] Flatten gal took : 2 ms
[2024-05-25 07:31:13] [INFO ] Flatten gal took : 3 ms
[2024-05-25 07:31:13] [INFO ] Input system was already deterministic with 103 transitions.
RANDOM walk for 4 steps (0 resets) in 4 ms. (0 steps per ms) remains 0/1 properties
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-CTLCardinality-2024-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in LTL mode, iteration 0 : 10014/10014 places, 9184/9184 transitions.
Reduce places removed 4 places and 0 transitions.
Discarding 1020 places :
Implicit places reduction removed 1020 places
Iterating post reduction 0 with 1024 rules applied. Total rules applied 1024 place count 8990 transition count 9184
Discarding 260 places :
Symmetric choice reduction at 1 with 260 rule applications. Total rules 1284 place count 8730 transition count 8824
Iterating global reduction 1 with 260 rules applied. Total rules applied 1544 place count 8730 transition count 8824
Discarding 51 places :
Implicit places reduction removed 51 places
Iterating post reduction 1 with 51 rules applied. Total rules applied 1595 place count 8679 transition count 8824
Applied a total of 1595 rules in 4524 ms. Remains 8679 /10014 variables (removed 1335) and now considering 8824/9184 (removed 360) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4526 ms. Remains : 8679/10014 places, 8824/9184 transitions.
[2024-05-25 07:31:18] [INFO ] Flatten gal took : 190 ms
[2024-05-25 07:31:18] [INFO ] Flatten gal took : 210 ms
[2024-05-25 07:31:19] [INFO ] Input system was already deterministic with 8824 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10014/10014 places, 9184/9184 transitions.
Reduce places removed 55 places and 0 transitions.
Discarding 1071 places :
Implicit places reduction removed 1071 places
Iterating post reduction 0 with 1126 rules applied. Total rules applied 1126 place count 8888 transition count 9184
Discarding 668 places :
Symmetric choice reduction at 1 with 668 rule applications. Total rules 1794 place count 8220 transition count 8416
Iterating global reduction 1 with 668 rules applied. Total rules applied 2462 place count 8220 transition count 8416
Discarding 51 places :
Implicit places reduction removed 51 places
Iterating post reduction 1 with 51 rules applied. Total rules applied 2513 place count 8169 transition count 8416
Discarding 407 places :
Symmetric choice reduction at 2 with 407 rule applications. Total rules 2920 place count 7762 transition count 8009
Iterating global reduction 2 with 407 rules applied. Total rules applied 3327 place count 7762 transition count 8009
Discarding 357 places :
Symmetric choice reduction at 2 with 357 rule applications. Total rules 3684 place count 7405 transition count 7652
Iterating global reduction 2 with 357 rules applied. Total rules applied 4041 place count 7405 transition count 7652
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 4046 place count 7400 transition count 7397
Iterating global reduction 2 with 5 rules applied. Total rules applied 4051 place count 7400 transition count 7397
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 4306 place count 7145 transition count 7142
Iterating global reduction 2 with 255 rules applied. Total rules applied 4561 place count 7145 transition count 7142
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 4816 place count 6890 transition count 6887
Iterating global reduction 2 with 255 rules applied. Total rules applied 5071 place count 6890 transition count 6887
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 5326 place count 6635 transition count 6632
Iterating global reduction 2 with 255 rules applied. Total rules applied 5581 place count 6635 transition count 6632
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 5836 place count 6380 transition count 6377
Iterating global reduction 2 with 255 rules applied. Total rules applied 6091 place count 6380 transition count 6377
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 6346 place count 6125 transition count 6122
Iterating global reduction 2 with 255 rules applied. Total rules applied 6601 place count 6125 transition count 6122
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 6856 place count 5870 transition count 5867
Iterating global reduction 2 with 255 rules applied. Total rules applied 7111 place count 5870 transition count 5867
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 7366 place count 5615 transition count 5612
Iterating global reduction 2 with 255 rules applied. Total rules applied 7621 place count 5615 transition count 5612
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 7876 place count 5360 transition count 5357
Iterating global reduction 2 with 255 rules applied. Total rules applied 8131 place count 5360 transition count 5357
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 8386 place count 5105 transition count 5102
Iterating global reduction 2 with 255 rules applied. Total rules applied 8641 place count 5105 transition count 5102
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 8896 place count 4850 transition count 4847
Iterating global reduction 2 with 255 rules applied. Total rules applied 9151 place count 4850 transition count 4847
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 9406 place count 4595 transition count 4592
Iterating global reduction 2 with 255 rules applied. Total rules applied 9661 place count 4595 transition count 4592
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 9916 place count 4340 transition count 4337
Iterating global reduction 2 with 255 rules applied. Total rules applied 10171 place count 4340 transition count 4337
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 10426 place count 4085 transition count 4082
Iterating global reduction 2 with 255 rules applied. Total rules applied 10681 place count 4085 transition count 4082
Ensure Unique test removed 255 transitions
Reduce isomorphic transitions removed 255 transitions.
Iterating post reduction 2 with 255 rules applied. Total rules applied 10936 place count 4085 transition count 3827
Applied a total of 10936 rules in 22138 ms. Remains 4085 /10014 variables (removed 5929) and now considering 3827/9184 (removed 5357) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 22139 ms. Remains : 4085/10014 places, 3827/9184 transitions.
[2024-05-25 07:31:41] [INFO ] Flatten gal took : 82 ms
[2024-05-25 07:31:41] [INFO ] Flatten gal took : 90 ms
[2024-05-25 07:31:41] [INFO ] Input system was already deterministic with 3827 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 10014/10014 places, 9184/9184 transitions.
Graph (complete) has 13518 edges and 10014 vertex of which 8373 are kept as prefixes of interest. Removing 1641 places using SCC suffix rule.11 ms
Discarding 1641 places :
Also discarding 1330 output transitions
Drop transitions (Output transitions of discarded places.) removed 1330 transitions
Reduce places removed 51 places and 51 transitions.
Discarding 1020 places :
Implicit places reduction removed 1020 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 5712 transitions
Trivial Post-agglo rules discarded 5712 transitions
Performed 5712 trivial Post agglomeration. Transition count delta: 5712
Iterating post reduction 0 with 6732 rules applied. Total rules applied 6733 place count 7302 transition count 2091
Reduce places removed 5712 places and 0 transitions.
Iterating post reduction 1 with 5712 rules applied. Total rules applied 12445 place count 1590 transition count 2091
Performed 459 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 459 Pre rules applied. Total rules applied 12445 place count 1590 transition count 1632
Deduced a syphon composed of 459 places in 0 ms
Ensure Unique test removed 153 places
Reduce places removed 612 places and 0 transitions.
Iterating global reduction 2 with 1071 rules applied. Total rules applied 13516 place count 978 transition count 1632
Drop transitions (Trivial Post-Agglo cleanup.) removed 153 transitions
Trivial Post-agglo rules discarded 153 transitions
Performed 153 trivial Post agglomeration. Transition count delta: 153
Iterating post reduction 2 with 153 rules applied. Total rules applied 13669 place count 978 transition count 1479
Reduce places removed 153 places and 0 transitions.
Iterating post reduction 3 with 153 rules applied. Total rules applied 13822 place count 825 transition count 1479
Discarding 364 places :
Symmetric choice reduction at 4 with 364 rule applications. Total rules 14186 place count 461 transition count 765
Iterating global reduction 4 with 364 rules applied. Total rules applied 14550 place count 461 transition count 765
Ensure Unique test removed 357 transitions
Reduce isomorphic transitions removed 357 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 51 transitions
Trivial Post-agglo rules discarded 51 transitions
Performed 51 trivial Post agglomeration. Transition count delta: 51
Iterating post reduction 4 with 408 rules applied. Total rules applied 14958 place count 461 transition count 357
Reduce places removed 51 places and 0 transitions.
Iterating post reduction 5 with 51 rules applied. Total rules applied 15009 place count 410 transition count 357
Reduce places removed 51 places and 51 transitions.
Iterating global reduction 6 with 51 rules applied. Total rules applied 15060 place count 359 transition count 306
Applied a total of 15060 rules in 215 ms. Remains 359 /10014 variables (removed 9655) and now considering 306/9184 (removed 8878) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 215 ms. Remains : 359/10014 places, 306/9184 transitions.
[2024-05-25 07:31:41] [INFO ] Flatten gal took : 7 ms
[2024-05-25 07:31:41] [INFO ] Flatten gal took : 7 ms
[2024-05-25 07:31:41] [INFO ] Input system was already deterministic with 306 transitions.
[2024-05-25 07:31:42] [INFO ] Flatten gal took : 246 ms
[2024-05-25 07:31:42] [INFO ] Flatten gal took : 245 ms
[2024-05-25 07:31:42] [INFO ] Export to MCC of 7 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 8 ms.
[2024-05-25 07:31:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 10014 places, 9184 transitions and 22801 arcs took 52 ms.
Total runtime 152490 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running FamilyReunion-COL-L00050M0005C002P002G001
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/411/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 10014
TRANSITIONS: 9184
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.200s, Sys 0.022s]
SAVING FILE /home/mcc/execution/411/model (.net / .def) ...
EXPORT TIME: [User 0.050s, Sys 0.000s]
----------------------------------------------------------------------
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: 575
MODEL NAME: /home/mcc/execution/411/model
10014 places, 9184 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.
Split: SplitSubtract
Start RS construction.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -timeout 360 -rebuildPNML
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="FamilyReunion-COL-L00050M0005C002P002G001"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="greatspnxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool greatspnxred"
echo " Input is FamilyReunion-COL-L00050M0005C002P002G001, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r157-smll-171636265600401"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00050M0005C002P002G001.tgz
mv FamilyReunion-COL-L00050M0005C002P002G001 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;