About the Execution of GreatSPN+red for ViralEpidemic-PT-S02D1C1A10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10267.371 | 3600000.00 | 13858570.00 | 1704.60 | ??????????F??F?? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r443-smll-171701110200297.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool greatspnxred
Input is ViralEpidemic-PT-S02D1C1A10, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r443-smll-171701110200297
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.3M
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 98K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.8K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.9K May 19 07:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 19 16:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 19 07:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 19:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 12 05:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Apr 12 05:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 12 04:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Apr 12 04:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 23 08:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 23 08:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 11 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 8.8M May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2024-00
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2024-01
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2024-02
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2024-03
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2024-04
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2024-05
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2024-06
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2024-07
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2024-08
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2024-09
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2024-10
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2024-11
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2023-12
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2023-13
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2023-14
FORMULA_NAME ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2023-15
=== Now, execution of the tool begins
BK_START 1717099865566
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S02D1C1A10
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-30 20:11:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2024-05-30 20:11:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-30 20:11:09] [INFO ] Load time of PNML (sax parser for PT used): 1268 ms
[2024-05-30 20:11:09] [INFO ] Transformed 8189 places.
[2024-05-30 20:11:09] [INFO ] Transformed 10235 transitions.
[2024-05-30 20:11:09] [INFO ] Found NUPN structural information;
[2024-05-30 20:11:09] [INFO ] Parsed PT model containing 8189 places and 10235 transitions and 22517 arcs in 1636 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 41 ms.
Initial state reduction rules removed 1 formulas.
FORMULA ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2024-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ViralEpidemic-PT-S02D1C1A10-CTLCardinality-2023-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 139 out of 8189 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 8189/8189 places, 10235/10235 transitions.
Discarding 2964 places :
Symmetric choice reduction at 0 with 2964 rule applications. Total rules 2964 place count 5225 transition count 5257
Iterating global reduction 0 with 2964 rules applied. Total rules applied 5928 place count 5225 transition count 5257
Applied a total of 5928 rules in 3775 ms. Remains 5225 /8189 variables (removed 2964) and now considering 5257/10235 (removed 4978) transitions.
// Phase 1: matrix 5257 rows 5225 cols
[2024-05-30 20:11:14] [INFO ] Invariants computation overflowed in 901 ms
[2024-05-30 20:11:18] [INFO ] Implicit Places using invariants in 4809 ms returned []
// Phase 1: matrix 5257 rows 5225 cols
[2024-05-30 20:11:18] [INFO ] Invariants computation overflowed in 325 ms
[2024-05-30 20:11:30] [INFO ] Implicit Places using invariants and state equation in 11818 ms returned [0, 5, 10, 12, 14, 19, 21, 23, 25, 28, 31, 32, 35, 38, 39, 42, 45, 48, 51, 54, 55, 58, 61, 62, 65, 67, 69, 72, 75, 76, 81, 82, 85, 88, 91, 92, 97, 98, 101, 103, 105, 108, 111, 112, 116, 119, 122, 123, 130, 133, 136, 139, 140, 143, 145, 147, 150, 155, 160, 161, 164, 168, 171, 172, 177, 178, 181, 183, 185, 189, 192, 193, 196, 199, 200, 203, 206, 209, 212, 215, 216, 219, 224, 227, 229, 231, 233, 235, 238, 241, 244, 247, 249, 251, 254, 257, 260, 263, 265, 267, 269, 271, 274, 277, 278, 283, 284, 287, 290, 293, 294, 299, 300, 303, 305, 307, 309, 311, 314, 317, 320, 323, 325, 327, 330, 333, 336, 342, 347, 349, 352, 355, 356, 359, 362, 363, 370, 373, 376, 379, 380, 383, 386, 387, 390, 392, 394, 397, 400, 401, 406, 407, 410, 413, 416, 417, 422, 423, 426, 428, 430, 433, 436, 437, 440, 443, 446, 447, 452, 453, 456, 459, 462, 463, 466, 468, 470, 473, 476, 477, 482, 483, 490, 493, 494, 499, 500, 503, 505, 507, 510, 513, 514, 517, 520, 521, 524, 527, 530, 533, 536, 537, 540, 543, 544, 547, 549, 551, 553, 555, 557, 559, 563, 565, 569, 571, 573, 575, 579, 581, 585, 587, 589, 591, 593, 595, 598, 601, 604, 607, 610, 612, 615, 622, 625, 630, 635, 637, 639, 643, 645, 649, 651, 653, 655, 659, 661, 665, 667, 669, 671, 673, 675, 678, 681, 682, 685, 688, 689, 692, 695, 698, 701, 704, 705, 708, 711, 712, 715, 717, 719, 722, 727, 733, 734, 737, 740, 743, 744, 749, 750, 753, 755, 757, 760, 763, 764, 767, 770, 773, 774, 779, 780, 783, 786, 789, 790, 793, 795, 797, 800, 803, 804, 809, 810, 813, 816, 819, 820, 825, 826, 829, 831, 833, 836, 839, 844, 847, 848, 851, 858, 862, 865, 866, 869, 872, 873, 876, 878, 880, 882, 884, 887, 890, 893, 896, 898, 900, 903, 906, 909, 912, 914, 916, 918, 920, 923, 926, 927, 932, 933, 936, 939, 944, 949, 950, 953, 955, 957, 962, 965, 968, 971, 974, 976, 978, 981, 984, 987, 990, 992, 994, 996, 998, 1001, 1004, 1005, 1008, 1011, 1012, 1015, 1018, 1021, 1024, 1027, 1028, 1031, 1034, 1035, 1038, 1040, 1042, 1045, 1048, 1049, 1054, 1055, 1058, 1061, 1064, 1065, 1070, 1071, 1074, 1076, 1078, 1081, 1084, 1085, 1088, 1091, 1095, 1096, 1101, 1102, 1105, 1108, 1111, 1112, 1115, 1117, 1119, 1122, 1125, 1126, 1131, 1132, 1135, 1138, 1141, 1142, 1147, 1148, 1151, 1153, 1155, 1158, 1161, 1162, 1165, 1168, 1169, 1172, 1175, 1178, 1185, 1186, 1189, 1192, 1193, 1196, 1198, 1200, 1202, 1204, 1206, 1208, 1210, 1214, 1216, 1220, 1222, 1224, 1226, 1230, 1232, 1236, 1238, 1240, 1242, 1244, 1246, 1248, 1252, 1254, 1258, 1260, 1262, 1264, 1268, 1270, 1274, 1276, 1278, 1280, 1282, 1284, 1286, 1290, 1292, 1296, 1298, 1303, 1307, 1309, 1313, 1315, 1317, 1319, 1321, 1323, 1325, 1328, 1331, 1332, 1335, 1338, 1339, 1342, 1345, 1348, 1351, 1354, 1355, 1358, 1361, 1362, 1365, 1367, 1369, 1372, 1375, 1376, 1381, 1382, 1385, 1388, 1391, 1392, 1397, 1398, 1401, 1403, 1405, 1408, 1411, 1412, 1415, 1418, 1421, 1422, 1428, 1429, 1432, 1435, 1438, 1439, 1442, 1444, 1446, 1449, 1452, 1453, 1460, 1463, 1466, 1469, 1470, 1475, 1480, 1483, 1485, 1488, 1491, 1492, 1495, 1498, 1499, 1502, 1505, 1508, 1515, 1516, 1519, 1522, 1523, 1526, 1528, 1530, 1532, 1534, 1537, 1540, 1543, 1546, 1548, 1550, 1553, 1556, 1559, 1562, 1564, 1569, 1571, 1578, 1579, 1584, 1585, 1588, 1591, 1594, 1595, 1600, 1601, 1604, 1606, 1608, 1610, 1612, 1616, 1619, 1622, 1625, 1627, 1629, 1636, 1639, 1642, 1644, 1646, 1648, 1650, 1653, 1656, 1657, 1660, 1663, 1664, 1667, 1670, 1673, 1676, 1679, 1680, 1683, 1686, 1687, 1690, 1692, 1694, 1697, 1700, 1701, 1706, 1707, 1710, 1713, 1716, 1717, 1722, 1723, 1726, 1728, 1730, 1733, 1736, 1737, 1740, 1743, 1747, 1748, 1753, 1754, 1757, 1760, 1763, 1764, 1767, 1769, 1771, 1774, 1777, 1778, 1783, 1784, 1787, 1790, 1795, 1800, 1801, 1804, 1806, 1808, 1811, 1814, 1815, 1818, 1821, 1822, 1825, 1828, 1831, 1834, 1837, 1838, 1841, 1844, 1845, 1848, 1850, 1852, 1854, 1856, 1858, 1860, 1864, 1866, 1870, 1872, 1874, 1876, 1880, 1882, 1886, 1888, 1890, 1892, 1894, 1896, 1899, 1902, 1905, 1908, 1910, 1912, 1915, 1918, 1921, 1924, 1926, 1928, 1930, 1932, 1934, 1936, 1940, 1942, 1946, 1948, 1950, 1952, 1956, 1958, 1962, 1964, 1966, 1968, 1970, 1972, 1975, 1978, 1979, 1982, 1985, 1986, 1993, 1996, 1999, 2002, 2003, 2006, 2009, 2010, 2013, 2015, 2017, 2020, 2023, 2024, 2029, 2030, 2033, 2037, 2040, 2041, 2046, 2047, 2050, 2052, 2054, 2057, 2060, 2061, 2068, 2073, 2078, 2079, 2082, 2085, 2088, 2089, 2092, 2094, 2096, 2099, 2102, 2103, 2108, 2109, 2112, 2115, 2118, 2119, 2124, 2125, 2128, 2130, 2132, 2135, 2138, 2139, 2142, 2145, 2146, 2149, 2152, 2155, 2158, 2161, 2162, 2165, 2168, 2169, 2172, 2174, 2176, 2178, 2180, 2183, 2186, 2190, 2193, 2195, 2197, 2200, 2203, 2206, 2209, 2211, 2213, 2215, 2221, 2224, 2225, 2230, 2231, 2234, 2237, 2240, 2241, 2246, 2247, 2250, 2252, 2254, 2256, 2258, 2261, 2264, 2267, 2270, 2275, 2278, 2281, 2284, 2287, 2289, 2291, 2293, 2295, 2298, 2301, 2302, 2305, 2308, 2309, 2312, 2315, 2318, 2322, 2325, 2326, 2329, 2332, 2333, 2336, 2338, 2340, 2343, 2346, 2347, 2352, 2353, 2356, 2359, 2362, 2363, 2368, 2369, 2372, 2374, 2376, 2379, 2382, 2383, 2386, 2389, 2392, 2393, 2398, 2399, 2402, 2405, 2408, 2409, 2412, 2414, 2416, 2419, 2422, 2423, 2428, 2429, 2432, 2436, 2439, 2440, 2445, 2446, 2449, 2451, 2453, 2456, 2459, 2460, 2463, 2466, 2467, 2470, 2473, 2476, 2480, 2482, 2485, 2491, 2493, 2496, 2499, 2501, 2504, 2507, 2509, 2511, 2513, 2516, 2519, 2521, 2524, 2527, 2529, 2531, 2534, 2537, 2539, 2542, 2545, 2547, 2549, 2551, 2553, 2555, 2557, 2559, 2561, 2564, 2567, 2569, 2572, 2575, 2577, 2579, 2582, 2585, 2587, 2590, 2593, 2595, 2597, 2599, 2602, 2605, 2607, 2610, 2613, 2615, 2617, 2620, 2623, 2625, 2628, 2631, 2633, 2635, 2637, 2639, 2643, 2647, 2649, 2652, 2655, 2657, 2659, 2662, 2665, 2667, 2670, 2673, 2675, 2677, 2679, 2682, 2685, 2687, 2690, 2693, 2695, 2697, 2700, 2703, 2705, 2708, 2711, 2713, 2715, 2717, 2719, 2721, 2724, 2728, 2730, 2733, 2736, 2738, 2740, 2743, 2746, 2748, 2751, 2754, 2756, 2758, 2760, 2763, 2766, 2768, 2771, 2774, 2776, 2778, 2781, 2784, 2786, 2789, 2792, 2794, 2796, 2798, 2800, 2803, 2806, 2808, 2811, 2814, 2816, 2818, 2821, 2825, 2827, 2834, 2836, 2838, 2840, 2843, 2846, 2848, 2855, 2857, 2859, 2862, 2865, 2867, 2870, 2874, 2879, 2881, 2883, 2885, 2887, 2890, 2893, 2895, 2898, 2901, 2903, 2905, 2908, 2911, 2913, 2916, 2919, 2921, 2923, 2925, 2928, 2931, 2933, 2936, 2939, 2944, 2947, 2950, 2952, 2955, 2958, 2960, 2962, 2964, 2966, 2969, 2972, 2974, 2977, 2980, 2982, 2984, 2987, 2990, 2992, 2995, 2998, 3000, 3002, 3004, 3007, 3010, 3012, 3015, 3018, 3020, 3022, 3025, 3028, 3030, 3033, 3036, 3038, 3040, 3042, 3044, 3050, 3053, 3055, 3059, 3062, 3064, 3066, 3069, 3072, 3074, 3077, 3080, 3082, 3084, 3086, 3089, 3092, 3094, 3097, 3100, 3102, 3104, 3111, 3113, 3116, 3119, 3121, 3123, 3125, 3127, 3130, 3133, 3135, 3138, 3141, 3143, 3145, 3148, 3151, 3153, 3156, 3159, 3161, 3163, 3165, 3168, 3171, 3173, 3176, 3179, 3181, 3183, 3187, 3190, 3192, 3195, 3198, 3200, 3202, 3204, 3206, 3208, 3210, 3212, 3215, 3218, 3220, 3223, 3227, 3229, 3231, 3234, 3237, 3239, 3242, 3245, 3247, 3249, 3251, 3254, 3257, 3259, 3262, 3265, 3267, 3273, 3276, 3278, 3281, 3284, 3286, 3291, 3293, 3296, 3299, 3301, 3304, 3307, 3309, 3311, 3314, 3317, 3319, 3322, 3325, 3327, 3329, 3331, 3334, 3337, 3339, 3342, 3345, 3347, 3349, 3352, 3355, 3357, 3360, 3363, 3365, 3367, 3369, 3371, 3373, 3376, 3379, 3385, 3388, 3390, 3392, 3395, 3398, 3400, 3403, 3406, 3408, 3410, 3412, 3415, 3418, 3420, 3423, 3426, 3428, 3430, 3434, 3437, 3439, 3442, 3445, 3447, 3449, 3451, 3453, 3456, 3459, 3461, 3464, 3467, 3469, 3471, 3474, 3477, 3479, 3486, 3488, 3490, 3492, 3495, 3498, 3500, 3503, 3506, 3508, 3510, 3513, 3516, 3518, 3521, 3524, 3526, 3528, 3533, 3535, 3537, 3540, 3543, 3545, 3548, 3551, 3553, 3555, 3558, 3561, 3563, 3566, 3569, 3571, 3573, 3575, 3578, 3581, 3583, 3590, 3592, 3594, 3601, 3603, 3606, 3609, 3611, 3613, 3615, 3617, 3620, 3623, 3625, 3628, 3631, 3633, 3635, 3638, 3641, 3643, 3646, 3649, 3651, 3656, 3659, 3662, 3664, 3667, 3670, 3672, 3674, 3682, 3684, 3687, 3690, 3692, 3697, 3699, 3701, 3704, 3707, 3709, 3712, 3715, 3717, 3719, 3722, 3725, 3727, 3730, 3733, 3735, 3737, 3739, 3742, 3748, 3751, 3754, 3756, 3758, 3761, 3764, 3766, 3769, 3772, 3774, 3776, 3778, 3780, 3783, 3786, 3792, 3795, 3797, 3799, 3802, 3805, 3807, 3810, 3813, 3815, 3817, 3819, 3822, 3825, 3827, 3830, 3833, 3835, 3837, 3840, 3844, 3846, 3849, 3852, 3854, 3856, 3858, 3860, 3862, 3864, 3866, 3868, 3870, 3873, 3876, 3878, 3881, 3884, 3886, 3888, 3892, 3895, 3897, 3900, 3903, 3905, 3907, 3909, 3912, 3918, 3921, 3924, 3926, 3928, 3931, 3934, 3936, 3939, 3942, 3944, 3946, 3948, 3950, 3957, 3959, 3962, 3965, 3967, 3969, 3972, 3975, 3977, 3980, 3983, 3985, 3987, 3989, 3992, 3995, 3997, 4000, 4003, 4005, 4007, 4010, 4013, 4015, 4018, 4021, 4023, 4025, 4027, 4029, 4031, 4034, 4037, 4039, 4042, 4045, 4047, 4049, 4052, 4055, 4057, 4060, 4063, 4065, 4067, 4069, 4072, 4075, 4077, 4080, 4083, 4085, 4087, 4090, 4093, 4095, 4098, 4101, 4103, 4105, 4107, 4109, 4112, 4115, 4121, 4124, 4126, 4128, 4131, 4134, 4136, 4139, 4142, 4144, 4146, 4148, 4151, 4154, 4156, 4159, 4165, 4167, 4171, 4174, 4176, 4179, 4182, 4184, 4186, 4188, 4190, 4192, 4194, 4197, 4203, 4206, 4210, 4212, 4214, 4217, 4220, 4222, 4225, 4228, 4230, 4232, 4234, 4237, 4240, 4242, 4245, 4248, 4250, 4252, 4255, 4258, 4260, 4263, 4266, 4268, 4270, 4272, 4274, 4277, 4280, 4282, 4285, 4289, 4291, 4293, 4296, 4299, 4301, 4304, 4308, 4310, 4312, 4318, 4321, 4323, 4326, 4329, 4331, 4333, 4336, 4339, 4341, 4344, 4347, 4349, 4351, 4353, 4355, 4357, 4360, 4363, 4365, 4375, 4377, 4380, 4383, 4385, 4388, 4391, 4393, 4395, 4397, 4400, 4404, 4406, 4409, 4412, 4414, 4416, 4419, 4422, 4424, 4431, 4433, 4435, 4437, 4439, 4442, 4445, 4447, 4450, 4453, 4458, 4461, 4464, 4466, 4469, 4472, 4474, 4476, 4478, 4481, 4484, 4486, 4489, 4492, 4494, 4496, 4499, 4502, 4504, 4507, 4511, 4513, 4515, 4517, 4519, 4521, 4523, 4525, 4528, 4531, 4533, 4536, 4539, 4541, 4543, 4546, 4549, 4551, 4554, 4557, 4562, 4568, 4571, 4573, 4576, 4579, 4581, 4583, 4586, 4589, 4591, 4594, 4597, 4599, 4601, 4603, 4605, 4608, 4611, 4613, 4616, 4619, 4621, 4623, 4626, 4629, 4631, 4634, 4637, 4639, 4641, 4643, 4650, 4652, 4655, 4658, 4660, 4662, 4665, 4668, 4670, 4673, 4676, 4678, 4680, 4682, 4684, 4686, 4689, 4692, 4694, 4697, 4700, 4702, 4704, 4707, 4710, 4712, 4715, 4718, 4720, 4722, 4724, 4727, 4730, 4732, 4735, 4738, 4740, 4742, 4745, 4748, 4750, 4753, 4756, 4758, 4760, 4765, 4768, 4771, 4773, 4776, 4780, 4782, 4784, 4787, 4790, 4792, 4795, 4798, 4800, 4802, 4804, 4807, 4810, 4812, 4815, 4818, 4820, 4822, 4825, 4828, 4830, 4833, 4836, 4838, 4840, 4842, 4844, 4846, 4848, 4851, 4854, 4856, 4859, 4862, 4864, 4866, 4869, 4872, 4874, 4877, 4880, 4882, 4884, 4886, 4889, 4892, 4894, 4897, 4900, 4902, 4904, 4907, 4910, 4912, 4915, 4918, 4920, 4922, 4924, 4926, 4929, 4932, 4934, 4937, 4940, 4942, 4944, 4947, 4950, 4952, 4955, 4959, 4964, 4966, 4969, 4972, 4974, 4977, 4980, 4982, 4984, 4987, 4990, 4992, 4995, 4998, 5000, 5002, 5004, 5006, 5008, 5011, 5014, 5016, 5019, 5023, 5025, 5027, 5030, 5033, 5035, 5038, 5041, 5043, 5045, 5047, 5051, 5054, 5056, 5059, 5062, 5064, 5066, 5069, 5072, 5074, 5077, 5080, 5082, 5084, 5086, 5088, 5095, 5097, 5100, 5103, 5105, 5107, 5110, 5113, 5115, 5118, 5122, 5124, 5126, 5128, 5131, 5134, 5136, 5139, 5142, 5144, 5146, 5149, 5152, 5154, 5157, 5160, 5162, 5164, 5166, 5168, 5170, 5172, 5174, 5176, 5179, 5182, 5184, 5187, 5190, 5192, 5194, 5197, 5200, 5202, 5205, 5208, 5210, 5212, 5214, 5217, 5221, 5223]
Discarding 1981 places :
Implicit Place search using SMT with State Equation took 16720 ms to find 1981 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3244/8189 places, 5257/10235 transitions.
Discarding 987 places :
Symmetric choice reduction at 0 with 987 rule applications. Total rules 987 place count 2257 transition count 4270
Iterating global reduction 0 with 987 rules applied. Total rules applied 1974 place count 2257 transition count 4270
Discarding 921 places :
Symmetric choice reduction at 0 with 921 rule applications. Total rules 2895 place count 1336 transition count 2417
Iterating global reduction 0 with 921 rules applied. Total rules applied 3816 place count 1336 transition count 2417
Discarding 396 places :
Symmetric choice reduction at 0 with 396 rule applications. Total rules 4212 place count 940 transition count 1621
Iterating global reduction 0 with 396 rules applied. Total rules applied 4608 place count 940 transition count 1621
Discarding 149 places :
Symmetric choice reduction at 0 with 149 rule applications. Total rules 4757 place count 791 transition count 1321
Iterating global reduction 0 with 149 rules applied. Total rules applied 4906 place count 791 transition count 1321
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 4948 place count 749 transition count 1237
Iterating global reduction 0 with 42 rules applied. Total rules applied 4990 place count 749 transition count 1237
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 4998 place count 741 transition count 1221
Iterating global reduction 0 with 8 rules applied. Total rules applied 5006 place count 741 transition count 1221
Applied a total of 5006 rules in 954 ms. Remains 741 /3244 variables (removed 2503) and now considering 1221/5257 (removed 4036) transitions.
// Phase 1: matrix 1221 rows 741 cols
[2024-05-30 20:11:31] [INFO ] Computed 0 invariants in 10 ms
[2024-05-30 20:11:31] [INFO ] Implicit Places using invariants in 314 ms returned []
[2024-05-30 20:11:31] [INFO ] Invariant cache hit.
[2024-05-30 20:11:32] [INFO ] Implicit Places using invariants and state equation in 812 ms returned []
Implicit Place search using SMT with State Equation took 1130 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 741/8189 places, 1221/10235 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 22613 ms. Remains : 741/8189 places, 1221/10235 transitions.
Support contains 139 out of 741 places after structural reductions.
[2024-05-30 20:11:33] [INFO ] Flatten gal took : 196 ms
[2024-05-30 20:11:33] [INFO ] Flatten gal took : 108 ms
[2024-05-30 20:11:33] [INFO ] Input system was already deterministic with 1221 transitions.
Support contains 130 out of 741 places (down from 139) after GAL structural reductions.
RANDOM walk for 40025 steps (1570 resets) in 4129 ms. (9 steps per ms) remains 18/73 properties
BEST_FIRST walk for 4003 steps (22 resets) in 50 ms. (78 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4003 steps (30 resets) in 44 ms. (88 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (19 resets) in 48 ms. (81 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (15 resets) in 33 ms. (117 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4003 steps (27 resets) in 41 ms. (95 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (25 resets) in 53 ms. (74 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (12 resets) in 41 ms. (95 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4003 steps (31 resets) in 26 ms. (148 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (28 resets) in 38 ms. (102 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (38 resets) in 51 ms. (77 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (20 resets) in 41 ms. (95 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (40 resets) in 50 ms. (78 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4003 steps (24 resets) in 39 ms. (100 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4003 steps (36 resets) in 54 ms. (72 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4003 steps (36 resets) in 25 ms. (153 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (31 resets) in 59 ms. (66 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (22 resets) in 32 ms. (121 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (14 resets) in 34 ms. (114 steps per ms) remains 18/18 properties
[2024-05-30 20:11:35] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/43 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 1 (OVERLAPS) 82/125 variables, 43/43 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/125 variables, 0/43 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 3 (OVERLAPS) 370/495 variables, 59/102 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/495 variables, 0/102 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 5 (OVERLAPS) 793/1288 variables, 317/419 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1288 variables, 0/419 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 7 (OVERLAPS) 409/1697 variables, 186/605 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1697 variables, 0/605 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 9 (OVERLAPS) 176/1873 variables, 97/702 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1873 variables, 0/702 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 11 (OVERLAPS) 59/1932 variables, 26/728 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1932 variables, 0/728 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 13 (OVERLAPS) 22/1954 variables, 9/737 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1954 variables, 0/737 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 15 (OVERLAPS) 8/1962 variables, 4/741 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1962 variables, 0/741 constraints. Problems are: Problem set: 0 solved, 18 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1962/1962 variables, and 741 constraints, problems are : Problem set: 0 solved, 18 unsolved in 5010 ms.
Refiners :[State Equation: 741/741 constraints, PredecessorRefiner: 18/18 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 18 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/43 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 1 (OVERLAPS) 82/125 variables, 43/43 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/125 variables, 3/46 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/125 variables, 0/46 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 4 (OVERLAPS) 370/495 variables, 59/105 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/495 variables, 15/120 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/495 variables, 0/120 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 7 (OVERLAPS) 793/1288 variables, 317/437 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1288 variables, 0/437 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 9 (OVERLAPS) 409/1697 variables, 186/623 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1697 variables, 0/623 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 11 (OVERLAPS) 176/1873 variables, 97/720 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1873 variables, 0/720 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 13 (OVERLAPS) 59/1932 variables, 26/746 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1932 variables, 0/746 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 15 (OVERLAPS) 22/1954 variables, 9/755 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1954 variables, 0/755 constraints. Problems are: Problem set: 0 solved, 18 unsolved
At refinement iteration 17 (OVERLAPS) 8/1962 variables, 4/759 constraints. Problems are: Problem set: 0 solved, 18 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1962/1962 variables, and 759 constraints, problems are : Problem set: 0 solved, 18 unsolved in 5010 ms.
Refiners :[State Equation: 741/741 constraints, PredecessorRefiner: 18/18 constraints, Known Traps: 0/0 constraints]
After SMT, in 10080ms problems are : Problem set: 0 solved, 18 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 43 out of 741 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Graph (complete) has 953 edges and 741 vertex of which 300 are kept as prefixes of interest. Removing 441 places using SCC suffix rule.5 ms
Discarding 441 places :
Also discarding 668 output transitions
Drop transitions (Output transitions of discarded places.) removed 668 transitions
Drop transitions (Empty/Sink Transition effects.) removed 267 transitions
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 275 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 122 transitions
Trivial Post-agglo rules discarded 122 transitions
Performed 122 trivial Post agglomeration. Transition count delta: 122
Iterating post reduction 0 with 397 rules applied. Total rules applied 398 place count 300 transition count 156
Reduce places removed 122 places and 0 transitions.
Iterating post reduction 1 with 122 rules applied. Total rules applied 520 place count 178 transition count 156
Performed 22 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 22 Pre rules applied. Total rules applied 520 place count 178 transition count 134
Deduced a syphon composed of 22 places in 0 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 564 place count 156 transition count 134
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 571 place count 149 transition count 127
Iterating global reduction 2 with 7 rules applied. Total rules applied 578 place count 149 transition count 127
Performed 58 Post agglomeration using F-continuation condition.Transition count delta: 58
Deduced a syphon composed of 58 places in 0 ms
Reduce places removed 58 places and 0 transitions.
Iterating global reduction 2 with 116 rules applied. Total rules applied 694 place count 91 transition count 69
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 695 place count 90 transition count 68
Ensure Unique test removed 18 places
Iterating post reduction 2 with 18 rules applied. Total rules applied 713 place count 72 transition count 68
Applied a total of 713 rules in 97 ms. Remains 72 /741 variables (removed 669) and now considering 68/1221 (removed 1153) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 97 ms. Remains : 72/741 places, 68/1221 transitions.
RANDOM walk for 2852 steps (42 resets) in 83 ms. (33 steps per ms) remains 0/18 properties
[2024-05-30 20:11:45] [INFO ] Flatten gal took : 89 ms
[2024-05-30 20:11:45] [INFO ] Flatten gal took : 82 ms
[2024-05-30 20:11:45] [INFO ] Input system was already deterministic with 1221 transitions.
Computed a total of 741 stabilizing places and 1221 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 741 transition count 1221
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Starting structural reductions in LTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Discarding 120 places :
Symmetric choice reduction at 0 with 120 rule applications. Total rules 120 place count 621 transition count 1063
Iterating global reduction 0 with 120 rules applied. Total rules applied 240 place count 621 transition count 1063
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 290 place count 571 transition count 963
Iterating global reduction 0 with 50 rules applied. Total rules applied 340 place count 571 transition count 963
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 384 place count 527 transition count 875
Iterating global reduction 0 with 44 rules applied. Total rules applied 428 place count 527 transition count 875
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 459 place count 496 transition count 813
Iterating global reduction 0 with 31 rules applied. Total rules applied 490 place count 496 transition count 813
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 506 place count 480 transition count 781
Iterating global reduction 0 with 16 rules applied. Total rules applied 522 place count 480 transition count 781
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 530 place count 472 transition count 764
Iterating global reduction 0 with 8 rules applied. Total rules applied 538 place count 472 transition count 764
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 539 place count 471 transition count 762
Iterating global reduction 0 with 1 rules applied. Total rules applied 540 place count 471 transition count 762
Applied a total of 540 rules in 354 ms. Remains 471 /741 variables (removed 270) and now considering 762/1221 (removed 459) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 354 ms. Remains : 471/741 places, 762/1221 transitions.
[2024-05-30 20:11:46] [INFO ] Flatten gal took : 25 ms
[2024-05-30 20:11:46] [INFO ] Flatten gal took : 24 ms
[2024-05-30 20:11:46] [INFO ] Input system was already deterministic with 762 transitions.
Starting structural reductions in LTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Discarding 129 places :
Symmetric choice reduction at 0 with 129 rule applications. Total rules 129 place count 612 transition count 1050
Iterating global reduction 0 with 129 rules applied. Total rules applied 258 place count 612 transition count 1050
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 314 place count 556 transition count 938
Iterating global reduction 0 with 56 rules applied. Total rules applied 370 place count 556 transition count 938
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 420 place count 506 transition count 838
Iterating global reduction 0 with 50 rules applied. Total rules applied 470 place count 506 transition count 838
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 505 place count 471 transition count 768
Iterating global reduction 0 with 35 rules applied. Total rules applied 540 place count 471 transition count 768
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 558 place count 453 transition count 732
Iterating global reduction 0 with 18 rules applied. Total rules applied 576 place count 453 transition count 732
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 585 place count 444 transition count 714
Iterating global reduction 0 with 9 rules applied. Total rules applied 594 place count 444 transition count 714
Applied a total of 594 rules in 153 ms. Remains 444 /741 variables (removed 297) and now considering 714/1221 (removed 507) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 154 ms. Remains : 444/741 places, 714/1221 transitions.
[2024-05-30 20:11:46] [INFO ] Flatten gal took : 21 ms
[2024-05-30 20:11:46] [INFO ] Flatten gal took : 22 ms
[2024-05-30 20:11:46] [INFO ] Input system was already deterministic with 714 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Graph (complete) has 953 edges and 741 vertex of which 23 are kept as prefixes of interest. Removing 718 places using SCC suffix rule.4 ms
Discarding 718 places :
Also discarding 1180 output transitions
Drop transitions (Output transitions of discarded places.) removed 1180 transitions
Reduce places removed 1 places and 1 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 22 transition count 39
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 3 place count 21 transition count 37
Iterating global reduction 1 with 1 rules applied. Total rules applied 4 place count 21 transition count 37
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 1 with 15 rules applied. Total rules applied 19 place count 21 transition count 22
Drop transitions (Trivial Post-Agglo cleanup.) removed 13 transitions
Trivial Post-agglo rules discarded 13 transitions
Performed 13 trivial Post agglomeration. Transition count delta: 13
Iterating post reduction 1 with 13 rules applied. Total rules applied 32 place count 21 transition count 9
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 2 with 13 rules applied. Total rules applied 45 place count 8 transition count 9
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 45 place count 8 transition count 7
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 49 place count 6 transition count 7
Applied a total of 49 rules in 13 ms. Remains 6 /741 variables (removed 735) and now considering 7/1221 (removed 1214) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 13 ms. Remains : 6/741 places, 7/1221 transitions.
[2024-05-30 20:11:46] [INFO ] Flatten gal took : 1 ms
[2024-05-30 20:11:46] [INFO ] Flatten gal took : 1 ms
[2024-05-30 20:11:46] [INFO ] Input system was already deterministic with 7 transitions.
Starting structural reductions in LTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Discarding 131 places :
Symmetric choice reduction at 0 with 131 rule applications. Total rules 131 place count 610 transition count 1048
Iterating global reduction 0 with 131 rules applied. Total rules applied 262 place count 610 transition count 1048
Discarding 57 places :
Symmetric choice reduction at 0 with 57 rule applications. Total rules 319 place count 553 transition count 934
Iterating global reduction 0 with 57 rules applied. Total rules applied 376 place count 553 transition count 934
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 427 place count 502 transition count 832
Iterating global reduction 0 with 51 rules applied. Total rules applied 478 place count 502 transition count 832
Discarding 36 places :
Symmetric choice reduction at 0 with 36 rule applications. Total rules 514 place count 466 transition count 760
Iterating global reduction 0 with 36 rules applied. Total rules applied 550 place count 466 transition count 760
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 569 place count 447 transition count 722
Iterating global reduction 0 with 19 rules applied. Total rules applied 588 place count 447 transition count 722
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 597 place count 438 transition count 704
Iterating global reduction 0 with 9 rules applied. Total rules applied 606 place count 438 transition count 704
Applied a total of 606 rules in 116 ms. Remains 438 /741 variables (removed 303) and now considering 704/1221 (removed 517) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 116 ms. Remains : 438/741 places, 704/1221 transitions.
[2024-05-30 20:11:46] [INFO ] Flatten gal took : 20 ms
[2024-05-30 20:11:46] [INFO ] Flatten gal took : 20 ms
[2024-05-30 20:11:46] [INFO ] Input system was already deterministic with 704 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Graph (complete) has 953 edges and 741 vertex of which 12 are kept as prefixes of interest. Removing 729 places using SCC suffix rule.3 ms
Discarding 729 places :
Also discarding 1201 output transitions
Drop transitions (Output transitions of discarded places.) removed 1201 transitions
Reduce places removed 1 places and 1 transitions.
Drop transitions (Redundant composition of simpler transitions.) removed 7 transitions
Redundant transition composition rules discarded 7 transitions
Iterating global reduction 0 with 7 rules applied. Total rules applied 8 place count 11 transition count 12
Drop transitions (Trivial Post-Agglo cleanup.) removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 0 with 6 rules applied. Total rules applied 14 place count 11 transition count 6
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 20 place count 5 transition count 6
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 20 place count 5 transition count 5
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 22 place count 4 transition count 5
Applied a total of 22 rules in 9 ms. Remains 4 /741 variables (removed 737) and now considering 5/1221 (removed 1216) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 9 ms. Remains : 4/741 places, 5/1221 transitions.
[2024-05-30 20:11:46] [INFO ] Flatten gal took : 0 ms
[2024-05-30 20:11:46] [INFO ] Flatten gal took : 1 ms
[2024-05-30 20:11:46] [INFO ] Input system was already deterministic with 5 transitions.
Starting structural reductions in LTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Discarding 108 places :
Symmetric choice reduction at 0 with 108 rule applications. Total rules 108 place count 633 transition count 1079
Iterating global reduction 0 with 108 rules applied. Total rules applied 216 place count 633 transition count 1079
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 262 place count 587 transition count 987
Iterating global reduction 0 with 46 rules applied. Total rules applied 308 place count 587 transition count 987
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 350 place count 545 transition count 903
Iterating global reduction 0 with 42 rules applied. Total rules applied 392 place count 545 transition count 903
Discarding 29 places :
Symmetric choice reduction at 0 with 29 rule applications. Total rules 421 place count 516 transition count 845
Iterating global reduction 0 with 29 rules applied. Total rules applied 450 place count 516 transition count 845
Discarding 13 places :
Symmetric choice reduction at 0 with 13 rule applications. Total rules 463 place count 503 transition count 819
Iterating global reduction 0 with 13 rules applied. Total rules applied 476 place count 503 transition count 819
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 482 place count 497 transition count 807
Iterating global reduction 0 with 6 rules applied. Total rules applied 488 place count 497 transition count 807
Applied a total of 488 rules in 109 ms. Remains 497 /741 variables (removed 244) and now considering 807/1221 (removed 414) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 109 ms. Remains : 497/741 places, 807/1221 transitions.
[2024-05-30 20:11:46] [INFO ] Flatten gal took : 22 ms
[2024-05-30 20:11:46] [INFO ] Flatten gal took : 23 ms
[2024-05-30 20:11:46] [INFO ] Input system was already deterministic with 807 transitions.
Starting structural reductions in LTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Discarding 114 places :
Symmetric choice reduction at 0 with 114 rule applications. Total rules 114 place count 627 transition count 1070
Iterating global reduction 0 with 114 rules applied. Total rules applied 228 place count 627 transition count 1070
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 276 place count 579 transition count 974
Iterating global reduction 0 with 48 rules applied. Total rules applied 324 place count 579 transition count 974
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 366 place count 537 transition count 890
Iterating global reduction 0 with 42 rules applied. Total rules applied 408 place count 537 transition count 890
Discarding 29 places :
Symmetric choice reduction at 0 with 29 rule applications. Total rules 437 place count 508 transition count 832
Iterating global reduction 0 with 29 rules applied. Total rules applied 466 place count 508 transition count 832
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 481 place count 493 transition count 802
Iterating global reduction 0 with 15 rules applied. Total rules applied 496 place count 493 transition count 802
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 502 place count 487 transition count 790
Iterating global reduction 0 with 6 rules applied. Total rules applied 508 place count 487 transition count 790
Applied a total of 508 rules in 106 ms. Remains 487 /741 variables (removed 254) and now considering 790/1221 (removed 431) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 106 ms. Remains : 487/741 places, 790/1221 transitions.
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 19 ms
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 19 ms
[2024-05-30 20:11:47] [INFO ] Input system was already deterministic with 790 transitions.
Starting structural reductions in LTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Discarding 112 places :
Symmetric choice reduction at 0 with 112 rule applications. Total rules 112 place count 629 transition count 1076
Iterating global reduction 0 with 112 rules applied. Total rules applied 224 place count 629 transition count 1076
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 271 place count 582 transition count 981
Iterating global reduction 0 with 47 rules applied. Total rules applied 318 place count 582 transition count 981
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 360 place count 540 transition count 897
Iterating global reduction 0 with 42 rules applied. Total rules applied 402 place count 540 transition count 897
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 433 place count 509 transition count 835
Iterating global reduction 0 with 31 rules applied. Total rules applied 464 place count 509 transition count 835
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 482 place count 491 transition count 799
Iterating global reduction 0 with 18 rules applied. Total rules applied 500 place count 491 transition count 799
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 507 place count 484 transition count 785
Iterating global reduction 0 with 7 rules applied. Total rules applied 514 place count 484 transition count 785
Applied a total of 514 rules in 134 ms. Remains 484 /741 variables (removed 257) and now considering 785/1221 (removed 436) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 135 ms. Remains : 484/741 places, 785/1221 transitions.
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 17 ms
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 18 ms
[2024-05-30 20:11:47] [INFO ] Input system was already deterministic with 785 transitions.
Starting structural reductions in LTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Discarding 124 places :
Symmetric choice reduction at 0 with 124 rule applications. Total rules 124 place count 617 transition count 1058
Iterating global reduction 0 with 124 rules applied. Total rules applied 248 place count 617 transition count 1058
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 301 place count 564 transition count 952
Iterating global reduction 0 with 53 rules applied. Total rules applied 354 place count 564 transition count 952
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 401 place count 517 transition count 858
Iterating global reduction 0 with 47 rules applied. Total rules applied 448 place count 517 transition count 858
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 483 place count 482 transition count 788
Iterating global reduction 0 with 35 rules applied. Total rules applied 518 place count 482 transition count 788
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 537 place count 463 transition count 750
Iterating global reduction 0 with 19 rules applied. Total rules applied 556 place count 463 transition count 750
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 565 place count 454 transition count 732
Iterating global reduction 0 with 9 rules applied. Total rules applied 574 place count 454 transition count 732
Applied a total of 574 rules in 106 ms. Remains 454 /741 variables (removed 287) and now considering 732/1221 (removed 489) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 106 ms. Remains : 454/741 places, 732/1221 transitions.
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 15 ms
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 16 ms
[2024-05-30 20:11:47] [INFO ] Input system was already deterministic with 732 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Graph (complete) has 953 edges and 741 vertex of which 94 are kept as prefixes of interest. Removing 647 places using SCC suffix rule.3 ms
Discarding 647 places :
Also discarding 1057 output transitions
Drop transitions (Output transitions of discarded places.) removed 1057 transitions
Reduce places removed 1 places and 1 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 3 place count 93 transition count 161
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 5 place count 91 transition count 157
Iterating global reduction 1 with 2 rules applied. Total rules applied 7 place count 91 transition count 157
Drop transitions (Redundant composition of simpler transitions.) removed 48 transitions
Redundant transition composition rules discarded 48 transitions
Iterating global reduction 1 with 48 rules applied. Total rules applied 55 place count 91 transition count 109
Drop transitions (Trivial Post-Agglo cleanup.) removed 37 transitions
Trivial Post-agglo rules discarded 37 transitions
Performed 37 trivial Post agglomeration. Transition count delta: 37
Iterating post reduction 1 with 37 rules applied. Total rules applied 92 place count 91 transition count 72
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 2 with 37 rules applied. Total rules applied 129 place count 54 transition count 72
Performed 11 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 11 Pre rules applied. Total rules applied 129 place count 54 transition count 61
Deduced a syphon composed of 11 places in 0 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 3 with 22 rules applied. Total rules applied 151 place count 43 transition count 61
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 152 place count 43 transition count 60
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 152 place count 43 transition count 59
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 154 place count 42 transition count 59
Partial Post-agglomeration rule applied 6 times.
Drop transitions (Partial Post agglomeration) removed 6 transitions
Iterating global reduction 3 with 6 rules applied. Total rules applied 160 place count 42 transition count 59
Drop transitions (Redundant composition of simpler transitions.) removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 3 with 4 rules applied. Total rules applied 164 place count 42 transition count 55
Applied a total of 164 rules in 24 ms. Remains 42 /741 variables (removed 699) and now considering 55/1221 (removed 1166) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 24 ms. Remains : 42/741 places, 55/1221 transitions.
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 1 ms
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 1 ms
[2024-05-30 20:11:47] [INFO ] Input system was already deterministic with 55 transitions.
Starting structural reductions in LTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Discarding 124 places :
Symmetric choice reduction at 0 with 124 rule applications. Total rules 124 place count 617 transition count 1057
Iterating global reduction 0 with 124 rules applied. Total rules applied 248 place count 617 transition count 1057
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 304 place count 561 transition count 945
Iterating global reduction 0 with 56 rules applied. Total rules applied 360 place count 561 transition count 945
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 410 place count 511 transition count 844
Iterating global reduction 0 with 50 rules applied. Total rules applied 460 place count 511 transition count 844
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 495 place count 476 transition count 774
Iterating global reduction 0 with 35 rules applied. Total rules applied 530 place count 476 transition count 774
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 548 place count 458 transition count 738
Iterating global reduction 0 with 18 rules applied. Total rules applied 566 place count 458 transition count 738
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 576 place count 448 transition count 718
Iterating global reduction 0 with 10 rules applied. Total rules applied 586 place count 448 transition count 718
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 587 place count 447 transition count 716
Iterating global reduction 0 with 1 rules applied. Total rules applied 588 place count 447 transition count 716
Applied a total of 588 rules in 107 ms. Remains 447 /741 variables (removed 294) and now considering 716/1221 (removed 505) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 107 ms. Remains : 447/741 places, 716/1221 transitions.
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 15 ms
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 15 ms
[2024-05-30 20:11:47] [INFO ] Input system was already deterministic with 716 transitions.
Starting structural reductions in LTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Discarding 131 places :
Symmetric choice reduction at 0 with 131 rule applications. Total rules 131 place count 610 transition count 1048
Iterating global reduction 0 with 131 rules applied. Total rules applied 262 place count 610 transition count 1048
Discarding 57 places :
Symmetric choice reduction at 0 with 57 rule applications. Total rules 319 place count 553 transition count 934
Iterating global reduction 0 with 57 rules applied. Total rules applied 376 place count 553 transition count 934
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 427 place count 502 transition count 832
Iterating global reduction 0 with 51 rules applied. Total rules applied 478 place count 502 transition count 832
Discarding 36 places :
Symmetric choice reduction at 0 with 36 rule applications. Total rules 514 place count 466 transition count 760
Iterating global reduction 0 with 36 rules applied. Total rules applied 550 place count 466 transition count 760
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 569 place count 447 transition count 722
Iterating global reduction 0 with 19 rules applied. Total rules applied 588 place count 447 transition count 722
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 598 place count 437 transition count 702
Iterating global reduction 0 with 10 rules applied. Total rules applied 608 place count 437 transition count 702
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 609 place count 436 transition count 700
Iterating global reduction 0 with 1 rules applied. Total rules applied 610 place count 436 transition count 700
Applied a total of 610 rules in 104 ms. Remains 436 /741 variables (removed 305) and now considering 700/1221 (removed 521) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 104 ms. Remains : 436/741 places, 700/1221 transitions.
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 14 ms
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 15 ms
[2024-05-30 20:11:47] [INFO ] Input system was already deterministic with 700 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Graph (complete) has 953 edges and 741 vertex of which 32 are kept as prefixes of interest. Removing 709 places using SCC suffix rule.3 ms
Discarding 709 places :
Also discarding 1167 output transitions
Drop transitions (Output transitions of discarded places.) removed 1167 transitions
Reduce places removed 1 places and 1 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 3 place count 29 transition count 49
Iterating global reduction 0 with 2 rules applied. Total rules applied 5 place count 29 transition count 49
Drop transitions (Redundant composition of simpler transitions.) removed 12 transitions
Redundant transition composition rules discarded 12 transitions
Iterating global reduction 0 with 12 rules applied. Total rules applied 17 place count 29 transition count 37
Drop transitions (Trivial Post-Agglo cleanup.) removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 0 with 10 rules applied. Total rules applied 27 place count 29 transition count 27
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 37 place count 19 transition count 27
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 37 place count 19 transition count 25
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 41 place count 17 transition count 25
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 42 place count 17 transition count 24
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 42 place count 17 transition count 23
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 44 place count 16 transition count 23
Partial Post-agglomeration rule applied 1 times.
Drop transitions (Partial Post agglomeration) removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 45 place count 16 transition count 23
Applied a total of 45 rules in 12 ms. Remains 16 /741 variables (removed 725) and now considering 23/1221 (removed 1198) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 12 ms. Remains : 16/741 places, 23/1221 transitions.
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 1 ms
[2024-05-30 20:11:47] [INFO ] Flatten gal took : 0 ms
[2024-05-30 20:11:47] [INFO ] Input system was already deterministic with 23 transitions.
Starting structural reductions in LTL mode, iteration 0 : 741/741 places, 1221/1221 transitions.
Discarding 116 places :
Symmetric choice reduction at 0 with 116 rule applications. Total rules 116 place count 625 transition count 1066
Iterating global reduction 0 with 116 rules applied. Total rules applied 232 place count 625 transition count 1066
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 283 place count 574 transition count 964
Iterating global reduction 0 with 51 rules applied. Total rules applied 334 place count 574 transition count 964
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 380 place count 528 transition count 871
Iterating global reduction 0 with 46 rules applied. Total rules applied 426 place count 528 transition count 871
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 457 place count 497 transition count 809
Iterating global reduction 0 with 31 rules applied. Total rules applied 488 place count 497 transition count 809
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 505 place count 480 transition count 775
Iterating global reduction 0 with 17 rules applied. Total rules applied 522 place count 480 transition count 775
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 531 place count 471 transition count 757
Iterating global reduction 0 with 9 rules applied. Total rules applied 540 place count 471 transition count 757
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 541 place count 470 transition count 755
Iterating global reduction 0 with 1 rules applied. Total rules applied 542 place count 470 transition count 755
Applied a total of 542 rules in 111 ms. Remains 470 /741 variables (removed 271) and now considering 755/1221 (removed 466) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 111 ms. Remains : 470/741 places, 755/1221 transitions.
[2024-05-30 20:11:48] [INFO ] Flatten gal took : 15 ms
[2024-05-30 20:11:48] [INFO ] Flatten gal took : 16 ms
[2024-05-30 20:11:48] [INFO ] Input system was already deterministic with 755 transitions.
[2024-05-30 20:11:48] [INFO ] Flatten gal took : 25 ms
[2024-05-30 20:11:48] [INFO ] Flatten gal took : 24 ms
[2024-05-30 20:11:48] [INFO ] Export to MCC of 14 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 5 ms.
[2024-05-30 20:11:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 741 places, 1221 transitions and 2338 arcs took 8 ms.
Total runtime 40437 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running ViralEpidemic-PT-S02D1C1A10
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/414/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 741
TRANSITIONS: 1221
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.012s, Sys 0.009s]
SAVING FILE /home/mcc/execution/414/model (.net / .def) ...
EXPORT TIME: [User 0.005s, Sys 0.000s]
----------------------------------------------------------------------
GreatSPN/Meddly.
Copyright (C) 1987-2022, University of Torino, Italy.
website: https://github.com/greatspn/SOURCES
Based on MEDDLY version 0.16.0
Copyright (C) 2009, Iowa State University Research Foundation, Inc.
website: http://meddly.sourceforge.net
Process ID: 567
MODEL NAME: /home/mcc/execution/414/model
741 places, 1221 transitions.
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -timeout 360 -rebuildPNML
MEDDLY ERROR: Insufficient memory
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="ViralEpidemic-PT-S02D1C1A10"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="greatspnxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool greatspnxred"
echo " Input is ViralEpidemic-PT-S02D1C1A10, 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 r443-smll-171701110200297"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S02D1C1A10.tgz
mv ViralEpidemic-PT-S02D1C1A10 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 ;