About the Execution of Marcie+red for NoC3x3-PT-3A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6676.512 | 128216.00 | 139117.00 | 800.60 | FTFTTTTTTTTTFFFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r266-smll-167863540700257.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool marciexred
Input is NoC3x3-PT-3A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r266-smll-167863540700257
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 6.1K Feb 26 10:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 10:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 10:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 10:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 26 10:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 10:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 133K Mar 5 18:23 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 NoC3x3-PT-3A-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1678930184015
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=marciexred
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NoC3x3-PT-3A
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-16 01:29:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2023-03-16 01:29:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-16 01:29:47] [INFO ] Load time of PNML (sax parser for PT used): 168 ms
[2023-03-16 01:29:47] [INFO ] Transformed 370 places.
[2023-03-16 01:29:47] [INFO ] Transformed 450 transitions.
[2023-03-16 01:29:47] [INFO ] Found NUPN structural information;
[2023-03-16 01:29:47] [INFO ] Parsed PT model containing 370 places and 450 transitions and 1773 arcs in 346 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 24 ms.
Ensure Unique test removed 1 transitions
Reduce redundant transitions removed 1 transitions.
Initial state reduction rules removed 1 formulas.
FORMULA NoC3x3-PT-3A-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NoC3x3-PT-3A-CTLCardinality-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NoC3x3-PT-3A-CTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 85 out of 370 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 370/370 places, 449/449 transitions.
Ensure Unique test removed 17 places
Iterating post reduction 0 with 17 rules applied. Total rules applied 17 place count 353 transition count 449
Discarding 75 places :
Symmetric choice reduction at 1 with 75 rule applications. Total rules 92 place count 278 transition count 354
Ensure Unique test removed 20 places
Iterating global reduction 1 with 95 rules applied. Total rules applied 187 place count 258 transition count 354
Ensure Unique test removed 47 transitions
Reduce isomorphic transitions removed 47 transitions.
Iterating post reduction 1 with 47 rules applied. Total rules applied 234 place count 258 transition count 307
Drop transitions removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 2 with 24 rules applied. Total rules applied 258 place count 258 transition count 283
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 264 place count 252 transition count 283
Applied a total of 264 rules in 107 ms. Remains 252 /370 variables (removed 118) and now considering 283/449 (removed 166) transitions.
[2023-03-16 01:29:48] [INFO ] Flow matrix only has 271 transitions (discarded 12 similar events)
// Phase 1: matrix 271 rows 252 cols
[2023-03-16 01:29:48] [INFO ] Computed 84 place invariants in 31 ms
[2023-03-16 01:29:48] [INFO ] Implicit Places using invariants in 644 ms returned [20, 25, 50, 53, 67, 99, 100, 105, 111, 116, 151, 158, 201, 203, 211, 212, 236]
Discarding 17 places :
Implicit Place search using SMT only with invariants took 705 ms to find 17 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 235/370 places, 283/449 transitions.
Applied a total of 0 rules in 15 ms. Remains 235 /235 variables (removed 0) and now considering 283/283 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 828 ms. Remains : 235/370 places, 283/449 transitions.
Support contains 85 out of 235 places after structural reductions.
[2023-03-16 01:29:49] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2023-03-16 01:29:49] [INFO ] Flatten gal took : 111 ms
FORMULA NoC3x3-PT-3A-CTLCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-16 01:29:49] [INFO ] Flatten gal took : 54 ms
[2023-03-16 01:29:49] [INFO ] Input system was already deterministic with 283 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=15 ) properties (out of 48) seen :47
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
[2023-03-16 01:29:50] [INFO ] Flow matrix only has 271 transitions (discarded 12 similar events)
// Phase 1: matrix 271 rows 235 cols
[2023-03-16 01:29:50] [INFO ] Computed 67 place invariants in 8 ms
[2023-03-16 01:29:50] [INFO ] After 135ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-16 01:29:50] [INFO ] [Nat]Absence check using 60 positive place invariants in 19 ms returned sat
[2023-03-16 01:29:50] [INFO ] [Nat]Absence check using 60 positive and 7 generalized place invariants in 2 ms returned sat
[2023-03-16 01:29:50] [INFO ] After 104ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :0
Fused 1 Parikh solutions to 0 different solutions.
Parikh walk visited 0 properties in 0 ms.
Successfully simplified 1 atomic propositions for a total of 12 simplifications.
[2023-03-16 01:29:50] [INFO ] Flatten gal took : 26 ms
[2023-03-16 01:29:50] [INFO ] Flatten gal took : 38 ms
[2023-03-16 01:29:50] [INFO ] Input system was already deterministic with 283 transitions.
Computed a total of 4 stabilizing places and 1 stable transitions
Graph (complete) has 700 edges and 235 vertex of which 232 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.7 ms
Starting structural reductions in LTL mode, iteration 0 : 235/235 places, 283/283 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 231 transition count 283
Discarding 30 places :
Symmetric choice reduction at 1 with 30 rule applications. Total rules 34 place count 201 transition count 251
Ensure Unique test removed 6 places
Iterating global reduction 1 with 36 rules applied. Total rules applied 70 place count 195 transition count 251
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 90 place count 195 transition count 231
Applied a total of 90 rules in 18 ms. Remains 195 /235 variables (removed 40) and now considering 231/283 (removed 52) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 18 ms. Remains : 195/235 places, 231/283 transitions.
[2023-03-16 01:29:50] [INFO ] Flatten gal took : 26 ms
[2023-03-16 01:29:50] [INFO ] Flatten gal took : 27 ms
[2023-03-16 01:29:50] [INFO ] Input system was already deterministic with 231 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 235/235 places, 283/283 transitions.
Graph (complete) has 700 edges and 235 vertex of which 232 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.4 ms
Discarding 3 places :
Also discarding 0 output transitions
Ensure Unique test removed 1 places
Drop transitions removed 65 transitions
Trivial Post-agglo rules discarded 65 transitions
Performed 65 trivial Post agglomeration. Transition count delta: 65
Iterating post reduction 0 with 65 rules applied. Total rules applied 66 place count 231 transition count 218
Reduce places removed 65 places and 0 transitions.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Iterating post reduction 1 with 88 rules applied. Total rules applied 154 place count 166 transition count 195
Reduce places removed 7 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 162 place count 159 transition count 194
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 180 place count 141 transition count 172
Ensure Unique test removed 4 places
Iterating global reduction 3 with 22 rules applied. Total rules applied 202 place count 137 transition count 172
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 3 with 8 rules applied. Total rules applied 210 place count 137 transition count 164
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 214 place count 133 transition count 164
Applied a total of 214 rules in 52 ms. Remains 133 /235 variables (removed 102) and now considering 164/283 (removed 119) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 53 ms. Remains : 133/235 places, 164/283 transitions.
[2023-03-16 01:29:50] [INFO ] Flatten gal took : 16 ms
[2023-03-16 01:29:50] [INFO ] Flatten gal took : 17 ms
[2023-03-16 01:29:50] [INFO ] Input system was already deterministic with 164 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 235/235 places, 283/283 transitions.
Graph (complete) has 700 edges and 235 vertex of which 232 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.3 ms
Discarding 3 places :
Also discarding 0 output transitions
Ensure Unique test removed 1 places
Reduce places removed 2 places and 1 transitions.
Drop transitions removed 73 transitions
Trivial Post-agglo rules discarded 73 transitions
Performed 73 trivial Post agglomeration. Transition count delta: 73
Iterating post reduction 0 with 73 rules applied. Total rules applied 74 place count 230 transition count 209
Reduce places removed 78 places and 0 transitions.
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Iterating post reduction 1 with 99 rules applied. Total rules applied 173 place count 152 transition count 188
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 194 place count 131 transition count 163
Ensure Unique test removed 6 places
Iterating global reduction 2 with 27 rules applied. Total rules applied 221 place count 125 transition count 163
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 2 with 12 rules applied. Total rules applied 233 place count 125 transition count 151
Reduce places removed 10 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 14 rules applied. Total rules applied 247 place count 115 transition count 147
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 247 place count 115 transition count 146
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 3 rules applied. Total rules applied 250 place count 113 transition count 146
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 250 place count 113 transition count 145
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 3 rules applied. Total rules applied 253 place count 111 transition count 145
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 256 place count 111 transition count 142
Applied a total of 256 rules in 39 ms. Remains 111 /235 variables (removed 124) and now considering 142/283 (removed 141) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 40 ms. Remains : 111/235 places, 142/283 transitions.
[2023-03-16 01:29:50] [INFO ] Flatten gal took : 12 ms
[2023-03-16 01:29:50] [INFO ] Flatten gal took : 12 ms
[2023-03-16 01:29:50] [INFO ] Input system was already deterministic with 142 transitions.
Finished random walk after 764 steps, including 0 resets, run visited all 1 properties in 8 ms. (steps per millisecond=95 )
FORMULA NoC3x3-PT-3A-CTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in SI_CTL mode, iteration 0 : 235/235 places, 283/283 transitions.
Graph (complete) has 700 edges and 235 vertex of which 232 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.2 ms
Discarding 3 places :
Also discarding 0 output transitions
Ensure Unique test removed 1 places
Drop transitions removed 71 transitions
Trivial Post-agglo rules discarded 71 transitions
Performed 71 trivial Post agglomeration. Transition count delta: 71
Iterating post reduction 0 with 71 rules applied. Total rules applied 72 place count 231 transition count 212
Reduce places removed 71 places and 0 transitions.
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 1 with 89 rules applied. Total rules applied 161 place count 160 transition count 194
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 181 place count 140 transition count 170
Ensure Unique test removed 6 places
Iterating global reduction 2 with 26 rules applied. Total rules applied 207 place count 134 transition count 170
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 2 with 12 rules applied. Total rules applied 219 place count 134 transition count 158
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 225 place count 128 transition count 158
Applied a total of 225 rules in 21 ms. Remains 128 /235 variables (removed 107) and now considering 158/283 (removed 125) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 21 ms. Remains : 128/235 places, 158/283 transitions.
[2023-03-16 01:29:50] [INFO ] Flatten gal took : 10 ms
[2023-03-16 01:29:50] [INFO ] Flatten gal took : 10 ms
[2023-03-16 01:29:50] [INFO ] Input system was already deterministic with 158 transitions.
Starting structural reductions in LTL mode, iteration 0 : 235/235 places, 283/283 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 231 transition count 283
Discarding 33 places :
Symmetric choice reduction at 1 with 33 rule applications. Total rules 37 place count 198 transition count 248
Ensure Unique test removed 6 places
Iterating global reduction 1 with 39 rules applied. Total rules applied 76 place count 192 transition count 248
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Iterating post reduction 1 with 21 rules applied. Total rules applied 97 place count 192 transition count 227
Applied a total of 97 rules in 9 ms. Remains 192 /235 variables (removed 43) and now considering 227/283 (removed 56) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 9 ms. Remains : 192/235 places, 227/283 transitions.
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 13 ms
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 14 ms
[2023-03-16 01:29:51] [INFO ] Input system was already deterministic with 227 transitions.
Starting structural reductions in LTL mode, iteration 0 : 235/235 places, 283/283 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 231 transition count 283
Discarding 33 places :
Symmetric choice reduction at 1 with 33 rule applications. Total rules 37 place count 198 transition count 247
Ensure Unique test removed 5 places
Iterating global reduction 1 with 38 rules applied. Total rules applied 75 place count 193 transition count 247
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 95 place count 193 transition count 227
Applied a total of 95 rules in 8 ms. Remains 193 /235 variables (removed 42) and now considering 227/283 (removed 56) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 8 ms. Remains : 193/235 places, 227/283 transitions.
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 12 ms
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 12 ms
[2023-03-16 01:29:51] [INFO ] Input system was already deterministic with 227 transitions.
Starting structural reductions in LTL mode, iteration 0 : 235/235 places, 283/283 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 231 transition count 283
Discarding 34 places :
Symmetric choice reduction at 1 with 34 rule applications. Total rules 38 place count 197 transition count 245
Ensure Unique test removed 5 places
Iterating global reduction 1 with 39 rules applied. Total rules applied 77 place count 192 transition count 245
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 96 place count 192 transition count 226
Applied a total of 96 rules in 8 ms. Remains 192 /235 variables (removed 43) and now considering 226/283 (removed 57) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 8 ms. Remains : 192/235 places, 226/283 transitions.
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 20 ms
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 12 ms
[2023-03-16 01:29:51] [INFO ] Input system was already deterministic with 226 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 235/235 places, 283/283 transitions.
Graph (complete) has 700 edges and 235 vertex of which 233 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.2 ms
Discarding 2 places :
Also discarding 0 output transitions
Ensure Unique test removed 1 places
Drop transitions removed 74 transitions
Trivial Post-agglo rules discarded 74 transitions
Performed 74 trivial Post agglomeration. Transition count delta: 74
Iterating post reduction 0 with 74 rules applied. Total rules applied 75 place count 232 transition count 209
Reduce places removed 74 places and 0 transitions.
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 1 with 92 rules applied. Total rules applied 167 place count 158 transition count 191
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 188 place count 137 transition count 166
Ensure Unique test removed 6 places
Iterating global reduction 2 with 27 rules applied. Total rules applied 215 place count 131 transition count 166
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 2 with 11 rules applied. Total rules applied 226 place count 131 transition count 155
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 3 with 5 rules applied. Total rules applied 231 place count 126 transition count 155
Applied a total of 231 rules in 20 ms. Remains 126 /235 variables (removed 109) and now considering 155/283 (removed 128) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 20 ms. Remains : 126/235 places, 155/283 transitions.
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 7 ms
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 7 ms
[2023-03-16 01:29:51] [INFO ] Input system was already deterministic with 155 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 235/235 places, 283/283 transitions.
Graph (complete) has 700 edges and 235 vertex of which 232 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.2 ms
Discarding 3 places :
Also discarding 0 output transitions
Ensure Unique test removed 1 places
Drop transitions removed 65 transitions
Trivial Post-agglo rules discarded 65 transitions
Performed 65 trivial Post agglomeration. Transition count delta: 65
Iterating post reduction 0 with 65 rules applied. Total rules applied 66 place count 231 transition count 218
Reduce places removed 65 places and 0 transitions.
Ensure Unique test removed 15 transitions
Reduce isomorphic transitions removed 15 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 82 rules applied. Total rules applied 148 place count 166 transition count 201
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 150 place count 164 transition count 201
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 170 place count 144 transition count 177
Ensure Unique test removed 6 places
Iterating global reduction 3 with 26 rules applied. Total rules applied 196 place count 138 transition count 177
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 3 with 12 rules applied. Total rules applied 208 place count 138 transition count 165
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 213 place count 133 transition count 165
Applied a total of 213 rules in 19 ms. Remains 133 /235 variables (removed 102) and now considering 165/283 (removed 118) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 19 ms. Remains : 133/235 places, 165/283 transitions.
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 8 ms
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 8 ms
[2023-03-16 01:29:51] [INFO ] Input system was already deterministic with 165 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 235/235 places, 283/283 transitions.
Graph (complete) has 700 edges and 235 vertex of which 233 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.1 ms
Discarding 2 places :
Also discarding 0 output transitions
Ensure Unique test removed 1 places
Drop transitions removed 69 transitions
Trivial Post-agglo rules discarded 69 transitions
Performed 69 trivial Post agglomeration. Transition count delta: 69
Iterating post reduction 0 with 69 rules applied. Total rules applied 70 place count 232 transition count 214
Reduce places removed 69 places and 0 transitions.
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 17 transitions.
Iterating post reduction 1 with 86 rules applied. Total rules applied 156 place count 163 transition count 197
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 174 place count 145 transition count 175
Ensure Unique test removed 5 places
Iterating global reduction 2 with 23 rules applied. Total rules applied 197 place count 140 transition count 175
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 2 with 11 rules applied. Total rules applied 208 place count 140 transition count 164
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 3 with 5 rules applied. Total rules applied 213 place count 135 transition count 164
Applied a total of 213 rules in 17 ms. Remains 135 /235 variables (removed 100) and now considering 164/283 (removed 119) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 17 ms. Remains : 135/235 places, 164/283 transitions.
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 7 ms
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 7 ms
[2023-03-16 01:29:51] [INFO ] Input system was already deterministic with 164 transitions.
Starting structural reductions in LTL mode, iteration 0 : 235/235 places, 283/283 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 231 transition count 283
Discarding 37 places :
Symmetric choice reduction at 1 with 37 rule applications. Total rules 41 place count 194 transition count 242
Ensure Unique test removed 6 places
Iterating global reduction 1 with 43 rules applied. Total rules applied 84 place count 188 transition count 242
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 23 transitions.
Iterating post reduction 1 with 23 rules applied. Total rules applied 107 place count 188 transition count 219
Applied a total of 107 rules in 7 ms. Remains 188 /235 variables (removed 47) and now considering 219/283 (removed 64) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7 ms. Remains : 188/235 places, 219/283 transitions.
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 9 ms
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 10 ms
[2023-03-16 01:29:51] [INFO ] Input system was already deterministic with 219 transitions.
Starting structural reductions in LTL mode, iteration 0 : 235/235 places, 283/283 transitions.
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 231 transition count 283
Discarding 37 places :
Symmetric choice reduction at 1 with 37 rule applications. Total rules 41 place count 194 transition count 242
Ensure Unique test removed 5 places
Iterating global reduction 1 with 42 rules applied. Total rules applied 83 place count 189 transition count 242
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 23 transitions.
Iterating post reduction 1 with 23 rules applied. Total rules applied 106 place count 189 transition count 219
Applied a total of 106 rules in 7 ms. Remains 189 /235 variables (removed 46) and now considering 219/283 (removed 64) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7 ms. Remains : 189/235 places, 219/283 transitions.
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 9 ms
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 17 ms
[2023-03-16 01:29:51] [INFO ] Input system was already deterministic with 219 transitions.
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 13 ms
[2023-03-16 01:29:51] [INFO ] Flatten gal took : 12 ms
[2023-03-16 01:29:51] [INFO ] Export to MCC of 11 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2023-03-16 01:29:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 235 places, 283 transitions and 961 arcs took 3 ms.
Total runtime 4069 ms.
There are residual formulas that ITS could not solve within timeout
timeout --kill-after=10s --signal=SIGINT 1m for testing only
Marcie built on Linux at 2019-11-18.
A model checker for Generalized Stochastic Petri nets
authors: Alex Tovchigrechko (IDD package and CTL model checking)
Martin Schwarick (Symbolic numerical analysis and CSL model checking)
Christian Rohr (Simulative and approximative numerical model checking)
marcie@informatik.tu-cottbus.de
called as: /home/mcc/BenchKit/bin//../reducer/bin//../../marcie/bin/marcie --net-file=model.pnml --mcc-file=CTLCardinality.xml --memory=6 --mcc-mode
parse successfull
net created successfully
Net: Petri
(NrP: 235 NrTr: 283 NrArc: 961)
parse formulas
formulas created successfully
place and transition orderings generation:0m 0.011sec
net check time: 0m 0.000sec
init dd package: 0m 3.661sec
RS generation: 0m25.248sec
-> reachability set: #nodes 13242 (1.3e+04) #states 30,446,247,688,425,576,450,293,761 (25)
starting MCC model checker
--------------------------
checking: EF [EG [[[p186<=0 & 0<=p186] & [p199<=1 & 1<=p199]]]]
normalized: E [true U EG [[[p186<=0 & 0<=p186] & [p199<=1 & 1<=p199]]]]
abstracting: (1<=p199)
states: 12,090,839,194,466,547,758,530,560 (25)
abstracting: (p199<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p186)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p186<=0)
states: 25,521,214,734,694,994,255,216,641 (25)
.
EG iterations: 1
-> the formula is TRUE
FORMULA NoC3x3-PT-3A-CTLCardinality-04 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 2.640sec
checking: ~ [A [EF [[p74<=0 & 0<=p74]] U [p97<=1 & 1<=p97]]]
normalized: ~ [[~ [EG [~ [[p97<=1 & 1<=p97]]]] & ~ [E [~ [[p97<=1 & 1<=p97]] U [~ [E [true U [p74<=0 & 0<=p74]]] & ~ [[p97<=1 & 1<=p97]]]]]]]
abstracting: (1<=p97)
states: 4,057,527,924,233,881,200,230,400 (24)
abstracting: (p97<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p74)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p74<=0)
states: 1
abstracting: (1<=p97)
states: 4,057,527,924,233,881,200,230,400 (24)
abstracting: (p97<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p97)
states: 4,057,527,924,233,881,200,230,400 (24)
abstracting: (p97<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
-> the formula is TRUE
FORMULA NoC3x3-PT-3A-CTLCardinality-09 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 0.022sec
checking: AG [[[EF [[[[p68<=0 & 0<=p68] & [p164<=0 & 0<=p164]] | [p112<=1 & 1<=p112]]] | [p168<=0 & 0<=p168]] | [[p90<=0 & 0<=p90] | [p200<=1 & 1<=p200]]]]
normalized: ~ [E [true U ~ [[[[p200<=1 & 1<=p200] | [p90<=0 & 0<=p90]] | [[p168<=0 & 0<=p168] | E [true U [[p112<=1 & 1<=p112] | [[p164<=0 & 0<=p164] & [p68<=0 & 0<=p68]]]]]]]]]
abstracting: (0<=p68)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p68<=0)
states: 24,816,022,850,872,201,299,886,081 (25)
abstracting: (0<=p164)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p164<=0)
states: 27,100,506,184,202,985,631,580,161 (25)
abstracting: (1<=p112)
states: 10,629,059,482,617,228,656,640,000 (25)
abstracting: (p112<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p168)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p168<=0)
states: 23,680,414,868,775,448,350,228,481 (25)
abstracting: (0<=p90)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p90<=0)
states: 26,967,701,132,739,733,204,500,481 (25)
abstracting: (1<=p200)
states: 2,178,529,584,588,567,163,699,200 (24)
abstracting: (p200<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
-> the formula is TRUE
FORMULA NoC3x3-PT-3A-CTLCardinality-01 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 1.098sec
checking: AF [[EG [[[~ [[p217<=0 & 0<=p217]] & ~ [[p23<=1 & 1<=p23]]] | [~ [[p85<=0 & 0<=p85]] & ~ [[p116<=1 & 1<=p116]]]]] | EF [AG [[[p69<=0 & 0<=p69] & [p224<=1 & 1<=p224]]]]]]
normalized: ~ [EG [~ [[E [true U ~ [E [true U ~ [[[p224<=1 & 1<=p224] & [p69<=0 & 0<=p69]]]]]] | EG [[[~ [[p116<=1 & 1<=p116]] & ~ [[p85<=0 & 0<=p85]]] | [~ [[p23<=1 & 1<=p23]] & ~ [[p217<=0 & 0<=p217]]]]]]]]]
abstracting: (0<=p217)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p217<=0)
states: 25,342,264,090,246,647,666,769,921 (25)
abstracting: (1<=p23)
states: 5,395,537,565,037,443,927,900,160 (24)
abstracting: (p23<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p85)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p85<=0)
states: 27,810,441,793,137,849,867,141,121 (25)
abstracting: (1<=p116)
states: 2,354,105,608,889,224,468,561,920 (24)
abstracting: (p116<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
abstracting: (0<=p69)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p69<=0)
states: 24,816,022,850,872,201,299,886,081 (25)
abstracting: (1<=p224)
states: 30,446,247,688,425,576,450,293,760 (25)
abstracting: (p224<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
-> the formula is TRUE
FORMULA NoC3x3-PT-3A-CTLCardinality-11 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 6.624sec
checking: [AG [[[p122<=0 & 0<=p122] | [p156<=1 & 1<=p156]]] & EF [[~ [A [EX [[p215<=0 & 0<=p215]] U AF [[[p147<=0 & 0<=p147] | [p218<=1 & 1<=p218]]]]] | [[p73<=0 & 0<=p73] | [p70<=1 & 1<=p70]]]]]
normalized: [E [true U [[[p70<=1 & 1<=p70] | [p73<=0 & 0<=p73]] | ~ [[~ [EG [EG [~ [[[p218<=1 & 1<=p218] | [p147<=0 & 0<=p147]]]]]] & ~ [E [EG [~ [[[p218<=1 & 1<=p218] | [p147<=0 & 0<=p147]]]] U [~ [EX [[p215<=0 & 0<=p215]]] & EG [~ [[[p218<=1 & 1<=p218] | [p147<=0 & 0<=p147]]]]]]]]]]] & ~ [E [true U ~ [[[p156<=1 & 1<=p156] | [p122<=0 & 0<=p122]]]]]]
abstracting: (0<=p122)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p122<=0)
states: 28,417,483,726,308,635,850,178,561 (25)
abstracting: (1<=p156)
states: 12,211,956,490,412,456,488,304,640 (25)
abstracting: (p156<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p147)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p147<=0)
states: 24,925,774,206,458,301,599,416,321 (25)
abstracting: (1<=p218)
states: 2,551,991,799,089,464,391,761,920 (24)
abstracting: (p218<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
abstracting: (0<=p215)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p215<=0)
states: 16,253,386,793,591,131,446,312,961 (25)
.abstracting: (0<=p147)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p147<=0)
states: 24,925,774,206,458,301,599,416,321 (25)
abstracting: (1<=p218)
states: 2,551,991,799,089,464,391,761,920 (24)
abstracting: (p218<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
abstracting: (0<=p147)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p147<=0)
states: 24,925,774,206,458,301,599,416,321 (25)
abstracting: (1<=p218)
states: 2,551,991,799,089,464,391,761,920 (24)
abstracting: (p218<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
.
EG iterations: 1
abstracting: (0<=p73)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p73<=0)
states: 27,218,730,265,624,278,593,372,161 (25)
abstracting: (1<=p70)
states: 2,582,013,938,241,038,285,537,280 (24)
abstracting: (p70<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
-> the formula is FALSE
FORMULA NoC3x3-PT-3A-CTLCardinality-13 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 6.526sec
checking: E [~ [[~ [[[p76<=0 & 0<=p76] | [[p219<=1 & 1<=p219] | [p46<=1 & 1<=p46]]]] & [[p57<=0 & 0<=p57] & [[p186<=0 & 0<=p186] | [p218<=1 & 1<=p218]]]]] U ~ [[[p54<=0 & 0<=p54] | [p148<=1 & 1<=p148]]]]
normalized: E [~ [[[[[p218<=1 & 1<=p218] | [p186<=0 & 0<=p186]] & [p57<=0 & 0<=p57]] & ~ [[[[p46<=1 & 1<=p46] | [p219<=1 & 1<=p219]] | [p76<=0 & 0<=p76]]]]] U ~ [[[p148<=1 & 1<=p148] | [p54<=0 & 0<=p54]]]]
abstracting: (0<=p54)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p54<=0)
states: 26,164,744,107,240,729,761,971,201 (25)
abstracting: (1<=p148)
states: 6,691,483,008,445,181,637,427,200 (24)
abstracting: (p148<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p76)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p76<=0)
states: 27,864,233,750,184,538,164,756,481 (25)
abstracting: (1<=p219)
states: 4,926,329,697,530,932,532,674,560 (24)
abstracting: (p219<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p46)
states: 7,611,561,922,106,394,112,573,440 (24)
abstracting: (p46<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p57)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p57<=0)
states: 24,737,576,246,845,780,865,863,681 (25)
abstracting: (0<=p186)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p186<=0)
states: 25,521,214,734,694,994,255,216,641 (25)
abstracting: (1<=p218)
states: 2,551,991,799,089,464,391,761,920 (24)
abstracting: (p218<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
-> the formula is TRUE
FORMULA NoC3x3-PT-3A-CTLCardinality-10 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 4.163sec
checking: AF [[[AF [[[p98<=0 & 0<=p98] & [p125<=1 & 1<=p125]]] & AG [[[p219<=0 & 0<=p219] & [p190<=1 & 1<=p190]]]] & [EF [[p70<=0 & 0<=p70]] & [AG [[p109<=0 & 0<=p109]] & EX [[[p16<=0 & 0<=p16] & [p113<=1 & 1<=p113]]]]]]]
normalized: ~ [EG [~ [[[[EX [[[p113<=1 & 1<=p113] & [p16<=0 & 0<=p16]]] & ~ [E [true U ~ [[p109<=0 & 0<=p109]]]]] & E [true U [p70<=0 & 0<=p70]]] & [~ [E [true U ~ [[[p190<=1 & 1<=p190] & [p219<=0 & 0<=p219]]]]] & ~ [EG [~ [[[p125<=1 & 1<=p125] & [p98<=0 & 0<=p98]]]]]]]]]]
abstracting: (0<=p98)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p98<=0)
states: 24,823,937,355,142,045,848,698,881 (25)
abstracting: (1<=p125)
states: 7,637,210,304,770,970,468,679,680 (24)
abstracting: (p125<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
abstracting: (0<=p219)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p219<=0)
states: 25,519,917,990,894,643,917,619,201 (25)
abstracting: (1<=p190)
states: 9,152,417,742,872,682,762,731,520 (24)
abstracting: (p190<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p70)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p70<=0)
states: 27,864,233,750,184,538,164,756,481 (25)
abstracting: (0<=p109)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p109<=0)
states: 28,261,282,765,216,260,924,702,721 (25)
abstracting: (0<=p16)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p16<=0)
states: 12,178,499,075,370,230,580,117,505 (25)
abstracting: (1<=p113)
states: 10,629,059,482,617,228,656,640,000 (25)
abstracting: (p113<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 0
-> the formula is FALSE
FORMULA NoC3x3-PT-3A-CTLCardinality-12 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 4.489sec
checking: AX [A [[[p232<=1 & 1<=p232] | [~ [AF [[p37<=1 & 1<=p37]]] & EX [[[p79<=0 & 0<=p79] & [p195<=0 & 0<=p195]]]]] U ~ [E [A [[p180<=1 & 1<=p180] U [p137<=1 & 1<=p137]] U [[p200<=1 & 1<=p200] & [[p202<=0 & 0<=p202] | [p42<=1 & 1<=p42]]]]]]]
normalized: ~ [EX [~ [[~ [EG [E [[~ [EG [~ [[p137<=1 & 1<=p137]]]] & ~ [E [~ [[p137<=1 & 1<=p137]] U [~ [[p180<=1 & 1<=p180]] & ~ [[p137<=1 & 1<=p137]]]]]] U [[[p42<=1 & 1<=p42] | [p202<=0 & 0<=p202]] & [p200<=1 & 1<=p200]]]]] & ~ [E [E [[~ [EG [~ [[p137<=1 & 1<=p137]]]] & ~ [E [~ [[p137<=1 & 1<=p137]] U [~ [[p180<=1 & 1<=p180]] & ~ [[p137<=1 & 1<=p137]]]]]] U [[[p42<=1 & 1<=p42] | [p202<=0 & 0<=p202]] & [p200<=1 & 1<=p200]]] U [~ [[[EX [[[p195<=0 & 0<=p195] & [p79<=0 & 0<=p79]]] & EG [~ [[p37<=1 & 1<=p37]]]] | [p232<=1 & 1<=p232]]] & E [[~ [EG [~ [[p137<=1 & 1<=p137]]]] & ~ [E [~ [[p137<=1 & 1<=p137]] U [~ [[p180<=1 & 1<=p180]] & ~ [[p137<=1 & 1<=p137]]]]]] U [[[p42<=1 & 1<=p42] | [p202<=0 & 0<=p202]] & [p200<=1 & 1<=p200]]]]]]]]]]
abstracting: (1<=p200)
states: 2,178,529,584,588,567,163,699,200 (24)
abstracting: (p200<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p202)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p202<=0)
states: 18,453,961,022,785,654,349,168,641 (25)
abstracting: (1<=p42)
states: 9,549,245,055,582,142,824,775,680 (24)
abstracting: (p42<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p137)
states: 3,367,101,190,884,744,695,316,480 (24)
abstracting: (p137<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p180)
states: 13,531,665,639,300,256,200,130,560 (25)
abstracting: (p180<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p137)
states: 3,367,101,190,884,744,695,316,480 (24)
abstracting: (p137<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p137)
states: 3,367,101,190,884,744,695,316,480 (24)
abstracting: (p137<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
abstracting: (1<=p232)
states: 6,973,563,972,334,028,014,632,960 (24)
abstracting: (p232<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p37)
states: 1,798,512,521,679,147,975,966,720 (24)
abstracting: (p37<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
abstracting: (0<=p79)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p79<=0)
states: 26,842,186,566,297,460,510,064,641 (25)
abstracting: (0<=p195)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p195<=0)
states: 28,423,327,359,879,049,798,287,361 (25)
.abstracting: (1<=p200)
states: 2,178,529,584,588,567,163,699,200 (24)
abstracting: (p200<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p202)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p202<=0)
states: 18,453,961,022,785,654,349,168,641 (25)
abstracting: (1<=p42)
states: 9,549,245,055,582,142,824,775,680 (24)
abstracting: (p42<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p137)
states: 3,367,101,190,884,744,695,316,480 (24)
abstracting: (p137<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p180)
states: 13,531,665,639,300,256,200,130,560 (25)
abstracting: (p180<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p137)
states: 3,367,101,190,884,744,695,316,480 (24)
abstracting: (p137<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p137)
states: 3,367,101,190,884,744,695,316,480 (24)
abstracting: (p137<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
abstracting: (1<=p200)
states: 2,178,529,584,588,567,163,699,200 (24)
abstracting: (p200<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p202)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p202<=0)
states: 18,453,961,022,785,654,349,168,641 (25)
abstracting: (1<=p42)
states: 9,549,245,055,582,142,824,775,680 (24)
abstracting: (p42<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p137)
states: 3,367,101,190,884,744,695,316,480 (24)
abstracting: (p137<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p180)
states: 13,531,665,639,300,256,200,130,560 (25)
abstracting: (p180<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p137)
states: 3,367,101,190,884,744,695,316,480 (24)
abstracting: (p137<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p137)
states: 3,367,101,190,884,744,695,316,480 (24)
abstracting: (p137<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
.
EG iterations: 1
.-> the formula is TRUE
FORMULA NoC3x3-PT-3A-CTLCardinality-08 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m18.932sec
checking: A [[[0<=p207 & p207<=0] | [p121<=1 & 1<=p121]] U [[[p173<=0 & 0<=p173] | [p66<=1 & 1<=p66]] & [~ [[E [~ [[p131<=1 & 1<=p131]] U EF [[p75<=1 & 1<=p75]]] | [[AF [[p94<=1 & 1<=p94]] & E [[[p212<=0 & 0<=p212] | [p108<=1 & 1<=p108]] U [p102<=0 & 0<=p102]]] & [[p106<=0 & 0<=p106] & [p217<=1 & 1<=p217]]]]] | EX [EG [[p24<=1 & 1<=p24]]]]]]
normalized: [~ [EG [~ [[[EX [EG [[p24<=1 & 1<=p24]]] | ~ [[[[[p217<=1 & 1<=p217] & [p106<=0 & 0<=p106]] & [E [[[p108<=1 & 1<=p108] | [p212<=0 & 0<=p212]] U [p102<=0 & 0<=p102]] & ~ [EG [~ [[p94<=1 & 1<=p94]]]]]] | E [~ [[p131<=1 & 1<=p131]] U E [true U [p75<=1 & 1<=p75]]]]]] & [[p66<=1 & 1<=p66] | [p173<=0 & 0<=p173]]]]]] & ~ [E [~ [[[EX [EG [[p24<=1 & 1<=p24]]] | ~ [[[[[p217<=1 & 1<=p217] & [p106<=0 & 0<=p106]] & [E [[[p108<=1 & 1<=p108] | [p212<=0 & 0<=p212]] U [p102<=0 & 0<=p102]] & ~ [EG [~ [[p94<=1 & 1<=p94]]]]]] | E [~ [[p131<=1 & 1<=p131]] U E [true U [p75<=1 & 1<=p75]]]]]] & [[p66<=1 & 1<=p66] | [p173<=0 & 0<=p173]]]] U [~ [[[p121<=1 & 1<=p121] | [0<=p207 & p207<=0]]] & ~ [[[EX [EG [[p24<=1 & 1<=p24]]] | ~ [[[[[p217<=1 & 1<=p217] & [p106<=0 & 0<=p106]] & [E [[[p108<=1 & 1<=p108] | [p212<=0 & 0<=p212]] U [p102<=0 & 0<=p102]] & ~ [EG [~ [[p94<=1 & 1<=p94]]]]]] | E [~ [[p131<=1 & 1<=p131]] U E [true U [p75<=1 & 1<=p75]]]]]] & [[p66<=1 & 1<=p66] | [p173<=0 & 0<=p173]]]]]]]]
abstracting: (0<=p173)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p173<=0)
states: 21,801,016,863,317,079,433,543,681 (25)
abstracting: (1<=p66)
states: 5,271,611,790,575,453,166,305,280 (24)
abstracting: (p66<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p75)
states: 2,402,707,414,752,077,293,486,080 (24)
abstracting: (p75<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p131)
states: 2,028,763,962,116,940,600,115,200 (24)
abstracting: (p131<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p94)
states: 6,086,291,886,350,821,800,345,600 (24)
abstracting: (p94<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
abstracting: (0<=p102)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p102<=0)
states: 25,738,036,470,647,127,513,169,921 (25)
abstracting: (0<=p212)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p212<=0)
states: 27,754,207,558,898,275,598,008,321 (25)
abstracting: (1<=p108)
states: 2,739,524,548,389,344,846,807,040 (24)
abstracting: (p108<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p106)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p106<=0)
states: 25,117,853,956,487,461,388,943,361 (25)
abstracting: (1<=p217)
states: 5,103,983,598,178,928,783,523,840 (24)
abstracting: (p217<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p24)
states: 5,395,537,565,037,443,927,900,160 (24)
abstracting: (p24<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
.abstracting: (p207<=0)
states: 28,970,553,243,626,892,264,407,041 (25)
abstracting: (0<=p207)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p121)
states: 1,738,544,424,939,391,922,012,160 (24)
abstracting: (p121<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p173)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p173<=0)
states: 21,801,016,863,317,079,433,543,681 (25)
abstracting: (1<=p66)
states: 5,271,611,790,575,453,166,305,280 (24)
abstracting: (p66<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p75)
states: 2,402,707,414,752,077,293,486,080 (24)
abstracting: (p75<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p131)
states: 2,028,763,962,116,940,600,115,200 (24)
abstracting: (p131<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p94)
states: 6,086,291,886,350,821,800,345,600 (24)
abstracting: (p94<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
abstracting: (0<=p102)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p102<=0)
states: 25,738,036,470,647,127,513,169,921 (25)
abstracting: (0<=p212)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p212<=0)
states: 27,754,207,558,898,275,598,008,321 (25)
abstracting: (1<=p108)
states: 2,739,524,548,389,344,846,807,040 (24)
abstracting: (p108<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p106)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p106<=0)
states: 25,117,853,956,487,461,388,943,361 (25)
abstracting: (1<=p217)
states: 5,103,983,598,178,928,783,523,840 (24)
abstracting: (p217<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p24)
states: 5,395,537,565,037,443,927,900,160 (24)
abstracting: (p24<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
.abstracting: (0<=p173)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p173<=0)
states: 21,801,016,863,317,079,433,543,681 (25)
abstracting: (1<=p66)
states: 5,271,611,790,575,453,166,305,280 (24)
abstracting: (p66<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p75)
states: 2,402,707,414,752,077,293,486,080 (24)
abstracting: (p75<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p131)
states: 2,028,763,962,116,940,600,115,200 (24)
abstracting: (p131<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p94)
states: 6,086,291,886,350,821,800,345,600 (24)
abstracting: (p94<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
abstracting: (0<=p102)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p102<=0)
states: 25,738,036,470,647,127,513,169,921 (25)
abstracting: (0<=p212)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p212<=0)
states: 27,754,207,558,898,275,598,008,321 (25)
abstracting: (1<=p108)
states: 2,739,524,548,389,344,846,807,040 (24)
abstracting: (p108<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p106)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p106<=0)
states: 25,117,853,956,487,461,388,943,361 (25)
abstracting: (1<=p217)
states: 5,103,983,598,178,928,783,523,840 (24)
abstracting: (p217<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p24)
states: 5,395,537,565,037,443,927,900,160 (24)
abstracting: (p24<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
..
EG iterations: 1
-> the formula is FALSE
FORMULA NoC3x3-PT-3A-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m10.942sec
checking: AG [[[E [[~ [EX [[p20<=1 & 1<=p20]]] | AG [[[[p71<=0 & 0<=p71] | [p143<=1 & 1<=p143]] | [[p117<=0 & 0<=p117] | [p30<=1 & 1<=p30]]]]] U ~ [[[EF [[[p25<=0 & 0<=p25] | [p107<=1 & 1<=p107]]] & [p176<=1 & 1<=p176]] & [[[p128<=0 & 0<=p128] | [p158<=1 & 1<=p158]] & [p101<=1 & 1<=p101]]]]] | [p170<=0 & 0<=p170]] | [[p192<=1 & 1<=p192] | [[p56<=1 & 1<=p56] & EX [[[p145<=0 & 0<=p145] | [p100<=1 & 1<=p100]]]]]]]
normalized: ~ [E [true U ~ [[[[[p56<=1 & 1<=p56] & EX [[[p100<=1 & 1<=p100] | [p145<=0 & 0<=p145]]]] | [p192<=1 & 1<=p192]] | [[p170<=0 & 0<=p170] | E [[~ [E [true U ~ [[[[p30<=1 & 1<=p30] | [p117<=0 & 0<=p117]] | [[p143<=1 & 1<=p143] | [p71<=0 & 0<=p71]]]]]] | ~ [EX [[p20<=1 & 1<=p20]]]] U ~ [[[[p101<=1 & 1<=p101] & [[p158<=1 & 1<=p158] | [p128<=0 & 0<=p128]]] & [[p176<=1 & 1<=p176] & E [true U [[p107<=1 & 1<=p107] | [p25<=0 & 0<=p25]]]]]]]]]]]]
abstracting: (0<=p25)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p25<=0)
states: 26,977,687,825,187,219,639,500,801 (25)
abstracting: (1<=p107)
states: 2,023,218,365,865,140,306,903,040 (24)
abstracting: (p107<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p176)
states: 4,322,615,412,554,248,508,375,040 (24)
abstracting: (p176<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p128)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p128<=0)
states: 28,417,483,726,308,635,850,178,561 (25)
abstracting: (1<=p158)
states: 3,387,563,273,025,373,203,947,520 (24)
abstracting: (p158<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p101)
states: 2,136,903,089,027,046,317,752,320 (24)
abstracting: (p101<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p20)
states: 4,496,281,304,197,869,939,916,800 (24)
abstracting: (p20<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.abstracting: (0<=p71)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p71<=0)
states: 24,816,022,850,872,201,299,886,081 (25)
abstracting: (1<=p143)
states: 3,763,959,192,250,414,671,052,800 (24)
abstracting: (p143<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p117)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p117<=0)
states: 19,756,186,647,038,544,568,320,001 (25)
abstracting: (1<=p30)
states: 2,954,699,142,758,600,246,231,040 (24)
abstracting: (p30<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p170)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p170<=0)
states: 24,995,993,472,596,306,591,907,841 (25)
abstracting: (1<=p192)
states: 4,714,960,458,073,827,504,291,840 (24)
abstracting: (p192<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p145)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p145<=0)
states: 24,925,774,206,458,301,599,416,321 (25)
abstracting: (1<=p100)
states: 5,622,310,333,283,530,601,594,880 (24)
abstracting: (p100<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.abstracting: (1<=p56)
states: 10,941,620,263,027,941,536,824,320 (25)
abstracting: (p56<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
-> the formula is TRUE
FORMULA NoC3x3-PT-3A-CTLCardinality-07 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m 6.896sec
checking: EG [E [[[p158<=0 & 0<=p158] | [p41<=1 & 1<=p41]] U [[E [[p223<=1 & 1<=p223] U ~ [[[p70<=0 & 0<=p70] | [p208<=1 & 1<=p208]]]] & EG [[[p187<=0 & 0<=p187] | [p196<=1 & 1<=p196]]]] & [[AX [[p75<=1 & 1<=p75]] | [~ [[p213<=1 & 1<=p213]] & [[p156<=0 & 0<=p156] | [[p170<=1 & 1<=p170] | [p70<=0 & 0<=p70]]]]] & [[~ [[[p91<=0 & 0<=p91] | [p144<=1 & 1<=p144]]] | [p67<=0 & 0<=p67]] | [[p189<=0 & 0<=p189] | [p225<=1 & 1<=p225]]]]]]]
normalized: EG [E [[[p41<=1 & 1<=p41] | [p158<=0 & 0<=p158]] U [[[[[p225<=1 & 1<=p225] | [p189<=0 & 0<=p189]] | [[p67<=0 & 0<=p67] | ~ [[[p144<=1 & 1<=p144] | [p91<=0 & 0<=p91]]]]] & [[[[[p70<=0 & 0<=p70] | [p170<=1 & 1<=p170]] | [p156<=0 & 0<=p156]] & ~ [[p213<=1 & 1<=p213]]] | ~ [EX [~ [[p75<=1 & 1<=p75]]]]]] & [EG [[[p196<=1 & 1<=p196] | [p187<=0 & 0<=p187]]] & E [[p223<=1 & 1<=p223] U ~ [[[p208<=1 & 1<=p208] | [p70<=0 & 0<=p70]]]]]]]]
abstracting: (0<=p70)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p70<=0)
states: 27,864,233,750,184,538,164,756,481 (25)
abstracting: (1<=p208)
states: 8,186,343,611,611,681,252,638,720 (24)
abstracting: (p208<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (1<=p223)
states: 13,947,127,944,668,056,029,265,920 (25)
abstracting: (p223<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p187)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p187<=0)
states: 28,341,632,500,456,978,529,648,641 (25)
abstracting: (1<=p196)
states: 4,714,960,458,073,827,504,291,840 (24)
abstracting: (p196<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
abstracting: (1<=p75)
states: 2,402,707,414,752,077,293,486,080 (24)
abstracting: (p75<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.abstracting: (1<=p213)
states: 2,845,055,897,968,640,688,783,360 (24)
abstracting: (p213<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p156)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p156<=0)
states: 18,234,291,198,013,119,961,989,121 (25)
abstracting: (1<=p170)
states: 5,450,254,215,829,269,858,385,920 (24)
abstracting: (p170<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p70)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p70<=0)
states: 27,864,233,750,184,538,164,756,481 (25)
abstracting: (0<=p91)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p91<=0)
states: 14,972,094,711,328,242,836,275,201 (25)
abstracting: (1<=p144)
states: 5,185,899,331,545,015,769,006,080 (24)
abstracting: (p144<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p67)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p67<=0)
states: 23,489,154,577,053,889,958,707,201 (25)
abstracting: (0<=p189)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p189<=0)
states: 25,521,214,734,694,994,255,216,641 (25)
abstracting: (1<=p225)
states: 2,551,991,799,089,464,391,761,920 (24)
abstracting: (p225<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (0<=p158)
states: 30,446,247,688,425,576,450,293,761 (25)
abstracting: (p158<=0)
states: 27,058,684,415,400,203,246,346,241 (25)
abstracting: (1<=p41)
states: 1,798,512,521,679,147,975,966,720 (24)
abstracting: (p41<=1)
states: 30,446,247,688,425,576,450,293,761 (25)
.
EG iterations: 1
-> the formula is TRUE
FORMULA NoC3x3-PT-3A-CTLCardinality-06 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 0m25.159sec
totally nodes used: 17479515 (1.7e+07)
number of garbage collections: 0
fire ops cache: hits/miss/sum: 89292353 259146725 348439078
used/not used/entry size/cache size: 65948686 1160178 16 1024MB
basic ops cache: hits/miss/sum: 4937777 13850458 18788235
used/not used/entry size/cache size: 11304461 5472755 12 192MB
unary ops cache: hits/miss/sum: 0 0 0
used/not used/entry size/cache size: 0 16777216 8 128MB
abstract ops cache: hits/miss/sum: 0 0 0
used/not used/entry size/cache size: 0 16777216 12 192MB
state nr cache: hits/miss/sum: 144818 417257 562075
used/not used/entry size/cache size: 407989 7980619 32 256MB
max state cache: hits/miss/sum: 0 0 0
used/not used/entry size/cache size: 0 8388608 32 256MB
uniqueHash elements/entry size/size: 67108864 4 256MB
0 53005720
1 11333863
2 2254281
3 434682
4 69848
5 9303
6 1040
7 119
8 8
9 0
>= 10 0
Total processing time: 1m59.640sec
BK_STOP 1678930312231
--------------------
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.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -timeout 360 -rebuildPNML
check for maximal unmarked siphon
ok
check for constant places
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok
initing FirstDep: 0m 0.000sec
iterations count:59427 (209), effective:4020 (14)
initing FirstDep: 0m 0.001sec
iterations count:1994 (7), effective:94 (0)
iterations count:283 (1), effective:0 (0)
iterations count:548 (1), effective:1 (0)
iterations count:523 (1), effective:13 (0)
iterations count:865 (3), effective:45 (0)
iterations count:1221 (4), effective:59 (0)
iterations count:1983 (7), effective:73 (0)
iterations count:3455 (12), effective:236 (0)
iterations count:322 (1), effective:1 (0)
iterations count:1057 (3), effective:46 (0)
iterations count:1319 (4), effective:81 (0)
iterations count:286 (1), effective:1 (0)
iterations count:1570 (5), effective:68 (0)
iterations count:1392 (4), effective:81 (0)
iterations count:1191 (4), effective:69 (0)
iterations count:1392 (4), effective:81 (0)
iterations count:1191 (4), effective:69 (0)
iterations count:7031 (24), effective:382 (1)
iterations count:1392 (4), effective:81 (0)
iterations count:1191 (4), effective:69 (0)
iterations count:1014 (3), effective:18 (0)
iterations count:283 (1), effective:0 (0)
iterations count:320 (1), effective:2 (0)
iterations count:1014 (3), effective:18 (0)
iterations count:283 (1), effective:0 (0)
iterations count:320 (1), effective:2 (0)
iterations count:3593 (12), effective:179 (0)
iterations count:1014 (3), effective:18 (0)
iterations count:283 (1), effective:0 (0)
iterations count:320 (1), effective:2 (0)
iterations count:302 (1), effective:1 (0)
iterations count:2173 (7), effective:82 (0)
iterations count:288 (1), effective:1 (0)
iterations count:871 (3), effective:47 (0)
iterations count:3016 (10), effective:160 (0)
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="NoC3x3-PT-3A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="marciexred"
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-5348"
echo " Executing tool marciexred"
echo " Input is NoC3x3-PT-3A, 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 r266-smll-167863540700257"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-3A.tgz
mv NoC3x3-PT-3A 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 ;