About the Execution of GreatSPN+red for HypercubeGrid-PT-C5K3P3B15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15090.159 | 1955191.00 | 6418015.00 | 1972.00 | [undef] | Cannot compute |
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.r201-smll-171649586900274.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 HypercubeGrid-PT-C5K3P3B15, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r201-smll-171649586900274
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 6.4K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 47K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.4K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.5K May 19 07:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 19 16:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K May 19 07:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 19 18:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 13 20:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Apr 13 20:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Apr 13 07:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Apr 13 07:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 19 07:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 19 15:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 10 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rwxr-xr-x 1 mcc users 14M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2024-00
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2024-01
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2024-02
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2024-03
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2024-04
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2024-05
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2024-06
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2024-07
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2024-08
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2024-09
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2024-10
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2024-11
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2023-12
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2023-13
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2023-14
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-CTLFireability-2023-15
=== Now, execution of the tool begins
BK_START 1716757263459
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypercubeGrid-PT-C5K3P3B15
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-26 21:01:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -timeout, 360, -rebuildPNML]
[2024-05-26 21:01:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-26 21:01:06] [INFO ] Load time of PNML (sax parser for PT used): 1040 ms
[2024-05-26 21:01:06] [INFO ] Transformed 9153 places.
[2024-05-26 21:01:06] [INFO ] Transformed 25110 transitions.
[2024-05-26 21:01:06] [INFO ] Parsed PT model containing 9153 places and 25110 transitions and 100440 arcs in 1385 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 47 ms.
Support contains 224 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2641 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
// Phase 1: matrix 25110 rows 9153 cols
[2024-05-26 21:01:11] [INFO ] Computed 3484 invariants in 1568 ms
[2024-05-26 21:01:32] [INFO ] Implicit Places using invariants in 23003 ms returned []
Implicit Place search using SMT only with invariants took 23050 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2024-05-26 21:01:33] [INFO ] Invariant cache hit.
(s4725 1.0timeout
^^^^^^^^^^
(error "Invalid token: 1.0timeout")
Error getting values : (error "ParserException while parsing response: ((s2430 1.0)
(s2431 1.0)
(s2432 1.0)
(s2433 1.0)
(s2434 1.0)
(s2435 1.0)
(s2436 1.0)
(s2437 1.0)
(s2438 1.0)
(s2439 1.0)
(s2440 1.0)
(s2441 1.0)
(s2442 1.0)
(s2443 1.0)
(s2444 1.0)
(s2445 1.0)
(s2446 1.0)
(s2447 1.0)
(s2448 1.0)
(s2449 1.0)
(s2450 1.0)
(s2451 1.0)
(s2452 1.0)
(s2453 1.0)
(s2454 1.0)
(s2455 1.0)
(s2456 1.0)
(s2457 1.0)
(s2458 1.0)
(s2459 1.0)
(s2460 1.0)
(s2461 1.0)
(s2462 1.0)
(s2463 1.0)
(s2464 1.0)
(s2465 1.0)
(s2466 1.0)
(s2467 1.0)
(s2468 1.0)
(s2469 1.0)
(s2470 1.0)
(s2471 1.0)
(s2472 1.0)
(s2473 1.0)
(s2474 1.0)
(s2475 1.0)
(s2476 1.0)
(s2477 1.0)
(s2478 1.0)
(s2479 1.0)
(s2480 1.0)
(s2481 1.0)
(s2482 1.0)
(s2483 1.0)
(s2484 1.0)
(s2485 1.0)
(s2486 1.0)
(s2487 1.0)
(s2488 1.0)
(s2489 1.0)
(s2490 1.0)
(s2491 1.0)
(s2492 1.0)
(s2493 1.0)
(s2494 1.0)
(s2495 1.0)
(s2496 1.0)
(s2497 1.0)
(s2498 1.0)
(s2499 1.0)
(s2500 1.0)
(s2501 1.0)
(s2502 1.0)
(s2503 1.0)
(s2504 1.0)
(s2505 1.0)
(s2506 1.0)
(s2507 1.0)
(s2508 1.0)
(s2509 1.0)
(s2510 1.0)
(s2511 1.0)
(s2512 1.0)
(s2513 1.0)
(s2514 1.0)
(s2515 1.0)
(s2516 1.0)
(s2517 1.0)
(s2518 1.0)
(s2519 1.0)
(s2520 1.0)
(s2521 1.0)
(s2522 1.0)
(s2523 1.0)
(s2524 1.0)
(s2525 1.0)
(s2526 1.0)
(s2527 1.0)
(s2528 1.0)
(s2529 1.0)
(s2530 1.0)
(s2531 1.0)
(s2532 1.0)
(s2533 1.0)
(s2534 1.0)
(s2535 1.0)
(s2536 1.0)
(s2537 1.0)
(s2538 1.0)
(s2539 1.0)
(s2540 1.0)
(s2541 1.0)
(s2542 1.0)
(s2543 1.0)
(s2544 1.0)
(s2545 1.0)
(s2546 1.0)
(s2547 1.0)
(s2548 1.0)
(s2549 1.0)
(s2550 1.0)
(s2551 1.0)
(s2552 1.0)
(s2553 1.0)
(s2554 1.0)
(s2555 1.0)
(s2556 1.0)
(s2557 1.0)
(s2558 1.0)
(s2559 1.0)
(s2560 1.0)
(s2561 1.0)
(s2562 1.0)
(s2563 1.0)
(s2564 1.0)
(s2565 1.0)
(s2566 1.0)
(s2567 1.0)
(s2568 1.0)
(s2569 1.0)
(s2570 1.0)
(s2571 1.0)
(s2572 1.0)
(s2573 1.0)
(s2574 1.0)
(s2575 1.0)
(s2576 1.0)
(s2577 1.0)
(s2578 1.0)
(s2579 1.0)
(s2580 1.0)
(s2581 1.0)
(s2582 1.0)
(s2583 1.0)
(s2584 1.0)
(s2585 1.0)
(s2586 1.0)
(s2587 1.0)
(s2588 1.0)
(s2589 1.0)
(s2590 1.0)
(s2591 1.0)
(s2592 1.0)
(s2593 1.0)
(s2594 1.0)
(s2595 1.0)
(s2596 1.0)
(s2597 1.0)
(s2598 1.0)
(s2599 1.0)
(s2600 1.0)
(s2601 1.0)
(s2602 1.0)
(s2603 1.0)
(s2604 1.0)
(s2605 1.0)
(s2606 1.0)
(s2607 1.0)
(s2608 1.0)
(s2609 1.0)
(s2610 1.0)
(s2611 1.0)
(s2612 1.0)
(s2613 1.0)
(s2614 1.0)
(s2615 1.0)
(s2616 1.0)
(s2617 1.0)
(s2618 1.0)
(s2619 1.0)
(s2620 1.0)
(s2621 1.0)
(s2622 1.0)
(s2623 1.0)
(s2624 1.0)
(s2625 1.0)
(s2626 1.0)
(s2627 1.0)
(s2628 1.0)
(s2629 1.0)
(s2630 1.0)
(s2631 1.0)
(s2632 1.0)
(s2633 1.0)
(s2634 1.0)
(s2635 1.0)
(s2636 1.0)
(s2637 1.0)
(s2638 1.0)
(s2639 1.0)
(s2640 1.0)
(s2641 1.0)
(s2642 1.0)
(s2643 1.0)
(s2644 1.0)
(s2645 1.0)
(s2646 1.0)
(s2647 1.0)
(s2648 1.0)
(s2649 1.0)
(s2650 1.0)
(s2651 1.0)
(s2652 1.0)
(s2653 1.0)
(s2654 1.0)
(s2655 1.0)
(s2656 1.0)
(s2657 1.0)
(s2658 1.0)
(s2659 1.0)
(s2660 1.0)
(s2661 1.0)
(s2662 1.0)
(s2663 1.0)
(s2664 1.0)
(s2665 1.0)
(s2666 1.0)
(s2667 1.0)
(s2668 1.0)
(s2669 1.0)
(s2670 1.0)
(s2671 1.0)
(s2672 1.0)
(s2673 1.0)
(s2674 1.0)
(s2675 1.0)
(s2676 1.0)
(s2677 1.0)
(s2678 1.0)
(s2679 1.0)
(s2680 1.0)
(s2681 1.0)
(s2682 1.0)
(s2683 1.0)
(s2684 1.0)
(s2685 1.0)
(s2686 1.0)
(s2687 1.0)
(s2688 1.0)
(s2689 1.0)
(s2690 1.0)
(s2691 1.0)
(s2692 1.0)
(s2693 1.0)
(s2694 1.0)
(s2695 1.0)
(s2696 1.0)
(s2697 1.0)
(s2698 1.0)
(s2699 1.0)
(s2700 1.0)
(s2701 1.0)
(s2702 1.0)
(s2703 1.0)
(s2704 1.0)
(s2705 1.0)
(s2706 1.0)
(s2707 0.0)
(s2708 0.0)
(s2709 0.0)
(s2710 0.0)
(s2711 0.0)
(s2712 0.0)
(s2713 0.0)
(s2714 0.0)
(s2715 0.0)
(s2716 0.0)
(s2717 0.0)
(s2718 0.0)
(s2719 0.0)
(s2720 0.0)
(s2721 0.0)
(s2722 0.0)
(s2723 0.0)
(s2724 0.0)
(s2725 0.0)
(s2726 0.0)
(s2727 0.0)
(s2728 0.0)
(s2729 0.0)
(s2730 0.0)
(s2731 0.0)
(s2732 0.0)
(s2733 0.0)
(s2734 0.0)
(s2735 0.0)
(s2736 0.0)
(s2737 0.0)
(s2738 0.0)
(s2739 0.0)
(s2740 0.0)
(s2741 0.0)
(s2742 0.0)
(s2743 0.0)
(s2744 0.0)
(s2745 0.0)
(s2746 0.0)
(s2747 0.0)
(s2748 0.0)
(s2749 0.0)
(s2750 0.0)
(s2751 0.0)
(s2752 0.0)
(s2753 0.0)
(s2754 1.0)
(s2755 1.0)
(s2756 1.0)
(s2757 1.0)
(s2758 1.0)
(s2759 1.0)
(s2760 1.0)
(s2761 1.0)
(s2762 1.0)
(s2763 1.0)
(s2764 1.0)
(s2765 1.0)
(s2766 1.0)
(s2767 1.0)
(s2768 1.0)
(s2769 1.0)
(s2770 1.0)
(s2771 1.0)
(s2772 1.0)
(s2773 1.0)
(s2774 1.0)
(s2775 1.0)
(s2776 1.0)
(s2777 1.0)
(s2778 1.0)
(s2779 1.0)
(s2780 1.0)
(s2781 1.0)
(s2782 1.0)
(s2783 1.0)
(s2784 1.0)
(s2785 1.0)
(s2786 1.0)
(s2787 1.0)
(s2788 1.0)
(s2789 1.0)
(s2790 1.0)
(s2791 1.0)
(s2792 1.0)
(s2793 1.0)
(s2794 1.0)
(s2795 1.0)
(s2796 1.0)
(s2797 1.0)
(s2798 1.0)
(s2799 1.0)
(s2800 1.0)
(s2801 1.0)
(s2802 1.0)
(s2803 1.0)
(s2804 1.0)
(s2805 1.0)
(s2806 1.0)
(s2807 1.0)
(s2808 1.0)
(s2809 1.0)
(s2810 1.0)
(s2811 1.0)
(s2812 1.0)
(s2813 1.0)
(s2814 1.0)
(s2815 1.0)
(s2816 1.0)
(s2817 1.0)
(s2818 1.0)
(s2819 1.0)
(s2820 1.0)
(s2821 1.0)
(s2822 1.0)
(s2823 1.0)
(s2824 1.0)
(s2825 1.0)
(s2826 1.0)
(s2827 1.0)
(s2828 1.0)
(s2829 1.0)
(s2830 1.0)
(s2831 1.0)
(s2832 1.0)
(s2833 1.0)
(s2834 1.0)
(s2835 1.0)
(s2836 1.0)
(s2837 1.0)
(s2838 1.0)
(s2839 1.0)
(s2840 1.0)
(s2841 1.0)
(s2842 1.0)
(s2843 1.0)
(s2844 1.0)
(s2845 1.0)
(s2846 1.0)
(s2847 1.0)
(s2848 1.0)
(s2849 1.0)
(s2850 1.0)
(s2851 1.0)
(s2852 1.0)
(s2853 1.0)
(s2854 1.0)
(s2855 1.0)
(s2856 1.0)
(s2857 1.0)
(s2858 1.0)
(s2859 1.0)
(s2860 1.0)
(s2861 1.0)
(s2862 1.0)
(s2863 1.0)
(s2864 1.0)
(s2865 1.0)
(s2866 1.0)
(s2867 1.0)
(s2868 1.0)
(s2869 1.0)
(s2870 1.0)
(s2871 1.0)
(s2872 1.0)
(s2873 1.0)
(s2874 1.0)
(s2875 1.0)
(s2876 1.0)
(s2877 1.0)
(s2878 1.0)
(s2879 1.0)
(s2880 1.0)
(s2881 1.0)
(s2882 1.0)
(s2883 1.0)
(s2884 1.0)
(s2885 1.0)
(s2886 1.0)
(s2887 1.0)
(s2888 1.0)
(s2889 1.0)
(s2890 1.0)
(s2891 1.0)
(s2892 1.0)
(s2893 1.0)
(s2894 1.0)
(s2895 1.0)
(s2896 1.0)
(s2897 1.0)
(s2898 1.0)
(s2899 1.0)
(s2900 1.0)
(s2901 1.0)
(s2902 1.0)
(s2903 1.0)
(s2904 1.0)
(s2905 1.0)
(s2906 1.0)
(s2907 1.0)
(s2908 1.0)
(s2909 1.0)
(s2910 1.0)
(s2911 1.0)
(s2912 1.0)
(s2913 1.0)
(s2914 1.0)
(s2915 1.0)
(s2916 1.0)
(s2917 1.0)
(s2918 1.0)
(s2919 1.0)
(s2920 1.0)
(s2921 1.0)
(s2922 1.0)
(s2923 1.0)
(s2924 1.0)
(s2925 1.0)
(s2926 1.0)
(s2927 1.0)
(s2928 1.0)
(s2929 1.0)
(s2930 1.0)
(s2931 1.0)
(s2932 1.0)
(s2933 1.0)
(s2934 1.0)
(s2935 1.0)
(s2936 1.0)
(s2937 1.0)
(s2938 1.0)
(s2939 1.0)
(s2940 1.0)
(s2941 1.0)
(s2942 1.0)
(s2943 1.0)
(s2944 1.0)
(s2945 1.0)
(s2946 1.0)
(s2947 1.0)
(s2948 1.0)
(s2949 1.0)
(s2950 1.0)
(s2951 1.0)
(s2952 1.0)
(s2953 1.0)
(s2954 1.0)
(s2955 1.0)
(s2956 1.0)
(s2957 1.0)
(s2958 1.0)
(s2959 1.0)
(s2960 1.0)
(s2961 1.0)
(s2962 1.0)
(s2963 1.0)
(s2964 1.0)
(s2965 1.0)
(s2966 1.0)
(s2967 1.0)
(s2968 1.0)
(s2969 1.0)
(s2970 1.0)
(s2971 1.0)
(s2972 1.0)
(s2973 1.0)
(s2974 1.0)
(s2975 1.0)
(s2976 1.0)
(s2977 1.0)
(s2978 1.0)
(s2979 1.0)
(s2980 1.0)
(s2981 1.0)
(s2982 1.0)
(s2983 1.0)
(s2984 1.0)
(s2985 1.0)
(s2986 1.0)
(s2987 1.0)
(s2988 1.0)
(s2989 1.0)
(s2990 1.0)
(s2991 1.0)
(s2992 1.0)
(s2993 1.0)
(s2994 1.0)
(s2995 1.0)
(s2996 1.0)
(s2997 0.0)
(s2998 0.0)
(s2999 0.0)
(s3000 0.0)
(s3001 0.0)
(s3002 0.0)
(s3003 0.0)
(s3004 0.0)
(s3005 0.0)
(s3006 0.0)
(s3007 0.0)
(s3008 0.0)
(s3009 0.0)
(s3010 0.0)
(s3011 0.0)
(s3012 0.0)
(s3013 0.0)
(s3014 0.0)
(s3015 0.0)
(s3016 0.0)
(s3017 0.0)
(s3018 0.0)
(s3019 0.0)
(s3020 0.0)
(s3021 0.0)
(s3022 0.0)
(s3023 0.0)
(s3024 1.0)
(s3025 1.0)
(s3026 1.0)
(s3027 1.0)
(s3028 1.0)
(s3029 1.0)
(s3030 1.0)
(s3031 1.0)
(s3032 1.0)
(s3033 1.0)
(s3034 1.0)
(s3035 1.0)
(s3036 1.0)
(s3037 1.0)
(s3038 1.0)
(s3039 1.0)
(s3040 1.0)
(s3041 1.0)
(s3042 1.0)
(s3043 1.0)
(s3044 1.0)
(s3045 1.0)
(s3046 1.0)
(s3047 1.0)
(s3048 1.0)
(s3049 1.0)
(s3050 1.0)
(s3051 1.0)
(s3052 1.0)
(s3053 1.0)
(s3054 1.0)
(s3055 1.0)
(s3056 1.0)
(s3057 1.0)
(s3058 1.0)
(s3059 1.0)
(s3060 1.0)
(s3061 1.0)
(s3062 1.0)
(s3063 1.0)
(s3064 1.0)
(s3065 1.0)
(s3066 1.0)
(s3067 1.0)
(s3068 1.0)
(s3069 1.0)
(s3070 1.0)
(s3071 1.0)
(s3072 1.0)
(s3073 1.0)
(s3074 1.0)
(s3075 1.0)
(s3076 1.0)
(s3077 1.0)
(s3078 1.0)
(s3079 1.0)
(s3080 1.0)
(s3081 1.0)
(s3082 1.0)
(s3083 1.0)
(s3084 1.0)
(s3085 1.0)
(s3086 1.0)
(s3087 1.0)
(s3088 1.0)
(s3089 1.0)
(s3090 1.0)
(s3091 1.0)
(s3092 1.0)
(s3093 1.0)
(s3094 1.0)
(s3095 1.0)
(s3096 1.0)
(s3097 1.0)
(s3098 1.0)
(s3099 1.0)
(s3100 1.0)
(s3101 1.0)
(s3102 1.0)
(s3103 1.0)
(s3104 1.0)
(s3105 0.0)
(s3106 0.0)
(s3107 0.0)
(s3108 0.0)
(s3109 0.0)
(s3110 0.0)
(s3111 0.0)
(s3112 0.0)
(s3113 0.0)
(s3114 0.0)
(s3115 0.0)
(s3116 0.0)
(s3117 0.0)
(s3118 0.0)
(s3119 0.0)
(s3120 0.0)
(s3121 0.0)
(s3122 0.0)
(s3123 0.0)
(s3124 0.0)
(s3125 0.0)
(s3126 0.0)
(s3127 0.0)
(s3128 0.0)
(s3129 0.0)
(s3130 0.0)
(s3131 0.0)
(s3132 1.0)
(s3133 1.0)
(s3134 1.0)
(s3135 1.0)
(s3136 1.0)
(s3137 1.0)
(s3138 1.0)
(s3139 1.0)
(s3140 1.0)
(s3141 1.0)
(s3142 1.0)
(s3143 1.0)
(s3144 1.0)
(s3145 1.0)
(s3146 1.0)
(s3147 1.0)
(s3148 1.0)
(s3149 1.0)
(s3150 1.0)
(s3151 1.0)
(s3152 1.0)
(s3153 1.0)
(s3154 1.0)
(s3155 1.0)
(s3156 1.0)
(s3157 1.0)
(s3158 1.0)
(s3159 1.0)
(s3160 1.0)
(s3161 1.0)
(s3162 1.0)
(s3163 1.0)
(s3164 1.0)
(s3165 1.0)
(s3166 1.0)
(s3167 1.0)
(s3168 1.0)
(s3169 1.0)
(s3170 1.0)
(s3171 1.0)
(s3172 1.0)
(s3173 1.0)
(s3174 1.0)
(s3175 1.0)
(s3176 1.0)
(s3177 1.0)
(s3178 1.0)
(s3179 1.0)
(s3180 1.0)
(s3181 1.0)
(s3182 1.0)
(s3183 1.0)
(s3184 1.0)
(s3185 1.0)
(s3186 1.0)
(s3187 1.0)
(s3188 1.0)
(s3189 1.0)
(s3190 1.0)
(s3191 1.0)
(s3192 1.0)
(s3193 1.0)
(s3194 1.0)
(s3195 1.0)
(s3196 1.0)
(s3197 1.0)
(s3198 1.0)
(s3199 1.0)
(s3200 1.0)
(s3201 1.0)
(s3202 1.0)
(s3203 1.0)
(s3204 1.0)
(s3205 1.0)
(s3206 1.0)
(s3207 1.0)
(s3208 1.0)
(s3209 1.0)
(s3210 1.0)
(s3211 1.0)
(s3212 1.0)
(s3213 0.0)
(s3214 0.0)
(s3215 0.0)
(s3216 0.0)
(s3217 0.0)
(s3218 0.0)
(s3219 0.0)
(s3220 0.0)
(s3221 0.0)
(s3222 0.0)
(s3223 0.0)
(s3224 0.0)
(s3225 0.0)
(s3226 0.0)
(s3227 0.0)
(s3228 0.0)
(s3229 0.0)
(s3230 0.0)
(s3231 0.0)
(s3232 0.0)
(s3233 0.0)
(s3234 0.0)
(s3235 0.0)
(s3236 0.0)
(s3237 0.0)
(s3238 0.0)
(s3239 0.0)
(s3240 1.0)
(s3241 1.0)
(s3242 1.0)
(s3243 1.0)
(s3244 1.0)
(s3245 1.0)
(s3246 1.0)
(s3247 1.0)
(s3248 1.0)
(s3249 1.0)
(s3250 1.0)
(s3251 1.0)
(s3252 1.0)
(s3253 1.0)
(s3254 1.0)
(s3255 1.0)
(s3256 1.0)
(s3257 1.0)
(s3258 1.0)
(s3259 1.0)
(s3260 1.0)
(s3261 1.0)
(s3262 1.0)
(s3263 1.0)
(s3264 1.0)
(s3265 1.0)
(s3266 1.0)
(s3267 1.0)
(s3268 1.0)
(s3269 1.0)
(s3270 1.0)
(s3271 1.0)
(s3272 1.0)
(s3273 1.0)
(s3274 1.0)
(s3275 1.0)
(s3276 1.0)
(s3277 1.0)
(s3278 1.0)
(s3279 1.0)
(s3280 1.0)
(s3281 1.0)
(s3282 1.0)
(s3283 1.0)
(s3284 1.0)
(s3285 1.0)
(s3286 1.0)
(s3287 1.0)
(s3288 1.0)
(s3289 1.0)
(s3290 1.0)
(s3291 1.0)
(s3292 1.0)
(s3293 1.0)
(s3294 1.0)
(s3295 1.0)
(s3296 1.0)
(s3297 1.0)
(s3298 1.0)
(s3299 1.0)
(s3300 1.0)
(s3301 1.0)
(s3302 1.0)
(s3303 1.0)
(s3304 1.0)
(s3305 1.0)
(s3306 1.0)
(s3307 1.0)
(s3308 1.0)
(s3309 1.0)
(s3310 1.0)
(s3311 1.0)
(s3312 1.0)
(s3313 1.0)
(s3314 1.0)
(s3315 1.0)
(s3316 1.0)
(s3317 1.0)
(s3318 1.0)
(s3319 1.0)
(s3320 1.0)
(s3321 0.0)
(s3322 0.0)
(s3323 0.0)
(s3324 0.0)
(s3325 0.0)
(s3326 0.0)
(s3327 0.0)
(s3328 0.0)
(s3329 0.0)
(s3330 1.0)
(s3331 1.0)
(s3332 1.0)
(s3333 1.0)
(s3334 1.0)
(s3335 1.0)
(s3336 1.0)
(s3337 1.0)
(s3338 1.0)
(s3339 1.0)
(s3340 1.0)
(s3341 1.0)
(s3342 1.0)
(s3343 1.0)
(s3344 1.0)
(s3345 1.0)
(s3346 1.0)
(s3347 1.0)
(s3348 1.0)
(s3349 1.0)
(s3350 1.0)
(s3351 1.0)
(s3352 1.0)
(s3353 1.0)
(s3354 1.0)
(s3355 1.0)
(s3356 1.0)
(s3357 0.0)
(s3358 0.0)
(s3359 0.0)
(s3360 0.0)
(s3361 0.0)
(s3362 0.0)
(s3363 0.0)
(s3364 0.0)
(s3365 0.0)
(s3366 1.0)
(s3367 1.0)
(s3368 1.0)
(s3369 1.0)
(s3370 1.0)
(s3371 1.0)
(s3372 1.0)
(s3373 1.0)
(s3374 1.0)
(s3375 1.0)
(s3376 1.0)
(s3377 1.0)
(s3378 1.0)
(s3379 1.0)
(s3380 1.0)
(s3381 1.0)
(s3382 1.0)
(s3383 1.0)
(s3384 1.0)
(s3385 1.0)
(s3386 1.0)
(s3387 1.0)
(s3388 1.0)
(s3389 1.0)
(s3390 1.0)
(s3391 1.0)
(s3392 1.0)
(s3393 0.0)
(s3394 0.0)
(s3395 0.0)
(s3396 0.0)
(s3397 0.0)
(s3398 0.0)
(s3399 0.0)
(s3400 0.0)
(s3401 0.0)
(s3402 1.0)
(s3403 1.0)
(s3404 1.0)
(s3405 1.0)
(s3406 1.0)
(s3407 1.0)
(s3408 1.0)
(s3409 1.0)
(s3410 1.0)
(s3411 1.0)
(s3412 1.0)
(s3413 1.0)
(s3414 1.0)
(s3415 1.0)
(s3416 1.0)
(s3417 1.0)
(s3418 1.0)
(s3419 1.0)
(s3420 1.0)
(s3421 1.0)
(s3422 1.0)
(s3423 1.0)
(s3424 1.0)
(s3425 1.0)
(s3426 1.0)
(s3427 1.0)
(s3428 1.0)
(s3429 0.0)
(s3430 0.0)
(s3431 0.0)
(s3432 0.0)
(s3433 0.0)
(s3434 0.0)
(s3435 0.0)
(s3436 0.0)
(s3437 0.0)
(s3438 1.0)
(s3439 1.0)
(s3440 1.0)
(s3441 1.0)
(s3442 1.0)
(s3443 1.0)
(s3444 1.0)
(s3445 1.0)
(s3446 1.0)
(s3447 1.0)
(s3448 1.0)
(s3449 1.0)
(s3450 1.0)
(s3451 1.0)
(s3452 1.0)
(s3453 1.0)
(s3454 1.0)
(s3455 1.0)
(s3456 1.0)
(s3457 1.0)
(s3458 1.0)
(s3459 1.0)
(s3460 1.0)
(s3461 1.0)
(s3462 1.0)
(s3463 1.0)
(s3464 1.0)
(s3465 0.0)
(s3466 0.0)
(s3467 0.0)
(s3468 0.0)
(s3469 0.0)
(s3470 0.0)
(s3471 0.0)
(s3472 0.0)
(s3473 0.0)
(s3474 1.0)
(s3475 1.0)
(s3476 1.0)
(s3477 1.0)
(s3478 1.0)
(s3479 1.0)
(s3480 1.0)
(s3481 1.0)
(s3482 1.0)
(s3483 1.0)
(s3484 1.0)
(s3485 1.0)
(s3486 1.0)
(s3487 1.0)
(s3488 1.0)
(s3489 1.0)
(s3490 1.0)
(s3491 1.0)
(s3492 1.0)
(s3493 1.0)
(s3494 1.0)
(s3495 1.0)
(s3496 1.0)
(s3497 1.0)
(s3498 1.0)
(s3499 1.0)
(s3500 1.0)
(s3501 0.0)
(s3502 0.0)
(s3503 0.0)
(s3504 0.0)
(s3505 0.0)
(s3506 0.0)
(s3507 0.0)
(s3508 0.0)
(s3509 0.0)
(s3510 1.0)
(s3511 1.0)
(s3512 1.0)
(s3513 1.0)
(s3514 1.0)
(s3515 1.0)
(s3516 1.0)
(s3517 1.0)
(s3518 1.0)
(s3519 1.0)
(s3520 1.0)
(s3521 1.0)
(s3522 1.0)
(s3523 1.0)
(s3524 1.0)
(s3525 1.0)
(s3526 1.0)
(s3527 1.0)
(s3528 1.0)
(s3529 1.0)
(s3530 1.0)
(s3531 1.0)
(s3532 1.0)
(s3533 1.0)
(s3534 1.0)
(s3535 1.0)
(s3536 1.0)
(s3537 0.0)
(s3538 0.0)
(s3539 0.0)
(s3540 0.0)
(s3541 0.0)
(s3542 0.0)
(s3543 0.0)
(s3544 0.0)
(s3545 0.0)
(s3546 1.0)
(s3547 1.0)
(s3548 1.0)
(s3549 1.0)
(s3550 1.0)
(s3551 1.0)
(s3552 1.0)
(s3553 1.0)
(s3554 1.0)
(s3555 1.0)
(s3556 1.0)
(s3557 1.0)
(s3558 1.0)
(s3559 1.0)
(s3560 1.0)
(s3561 1.0)
(s3562 1.0)
(s3563 1.0)
(s3564 1.0)
(s3565 1.0)
(s3566 1.0)
(s3567 1.0)
(s3568 1.0)
(s3569 1.0)
(s3570 1.0)
(s3571 1.0)
(s3572 1.0)
(s3573 0.0)
(s3574 0.0)
(s3575 0.0)
(s3576 0.0)
(s3577 0.0)
(s3578 0.0)
(s3579 0.0)
(s3580 0.0)
(s3581 0.0)
(s3582 1.0)
(s3583 1.0)
(s3584 1.0)
(s3585 1.0)
(s3586 1.0)
(s3587 1.0)
(s3588 1.0)
(s3589 1.0)
(s3590 1.0)
(s3591 1.0)
(s3592 1.0)
(s3593 1.0)
(s3594 1.0)
(s3595 1.0)
(s3596 1.0)
(s3597 1.0)
(s3598 1.0)
(s3599 1.0)
(s3600 1.0)
(s3601 1.0)
(s3602 1.0)
(s3603 1.0)
(s3604 1.0)
(s3605 1.0)
(s3606 1.0)
(s3607 1.0)
(s3608 1.0)
(s3609 0.0)
(s3610 0.0)
(s3611 0.0)
(s3612 0.0)
(s3613 0.0)
(s3614 0.0)
(s3615 0.0)
(s3616 0.0)
(s3617 0.0)
(s3618 1.0)
(s3619 1.0)
(s3620 1.0)
(s3621 1.0)
(s3622 1.0)
(s3623 1.0)
(s3624 1.0)
(s3625 1.0)
(s3626 1.0)
(s3627 1.0)
(s3628 1.0)
(s3629 1.0)
(s3630 1.0)
(s3631 1.0)
(s3632 1.0)
(s3633 1.0)
(s3634 1.0)
(s3635 1.0)
(s3636 1.0)
(s3637 1.0)
(s3638 1.0)
(s3639 1.0)
(s3640 1.0)
(s3641 1.0)
(s3642 1.0)
(s3643 1.0)
(s3644 1.0)
(s3645 0.0)
(s3646 0.0)
(s3647 0.0)
(s3648 1.0)
(s3649 1.0)
(s3650 1.0)
(s3651 1.0)
(s3652 1.0)
(s3653 1.0)
(s3654 1.0)
(s3655 1.0)
(s3656 1.0)
(s3657 0.0)
(s3658 0.0)
(s3659 0.0)
(s3660 1.0)
(s3661 1.0)
(s3662 1.0)
(s3663 1.0)
(s3664 1.0)
(s3665 1.0)
(s3666 1.0)
(s3667 1.0)
(s3668 1.0)
(s3669 0.0)
(s3670 0.0)
(s3671 0.0)
(s3672 1.0)
(s3673 1.0)
(s3674 1.0)
(s3675 1.0)
(s3676 1.0)
(s3677 1.0)
(s3678 1.0)
(s3679 1.0)
(s3680 1.0)
(s3681 0.0)
(s3682 0.0)
(s3683 0.0)
(s3684 1.0)
(s3685 1.0)
(s3686 1.0)
(s3687 1.0)
(s3688 1.0)
(s3689 1.0)
(s3690 1.0)
(s3691 1.0)
(s3692 1.0)
(s3693 0.0)
(s3694 0.0)
(s3695 0.0)
(s3696 1.0)
(s3697 1.0)
(s3698 1.0)
(s3699 1.0)
(s3700 1.0)
(s3701 1.0)
(s3702 1.0)
(s3703 1.0)
(s3704 1.0)
(s3705 0.0)
(s3706 0.0)
(s3707 0.0)
(s3708 1.0)
(s3709 1.0)
(s3710 1.0)
(s3711 1.0)
(s3712 1.0)
(s3713 1.0)
(s3714 1.0)
(s3715 1.0)
(s3716 1.0)
(s3717 0.0)
(s3718 0.0)
(s3719 0.0)
(s3720 1.0)
(s3721 1.0)
(s3722 1.0)
(s3723 1.0)
(s3724 1.0)
(s3725 1.0)
(s3726 1.0)
(s3727 1.0)
(s3728 1.0)
(s3729 0.0)
(s3730 0.0)
(s3731 0.0)
(s3732 1.0)
(s3733 1.0)
(s3734 1.0)
(s3735 1.0)
(s3736 1.0)
(s3737 1.0)
(s3738 1.0)
(s3739 1.0)
(s3740 1.0)
(s3741 0.0)
(s3742 0.0)
(s3743 0.0)
(s3744 1.0)
(s3745 1.0)
(s3746 1.0)
(s3747 1.0)
(s3748 1.0)
(s3749 1.0)
(s3750 1.0)
(s3751 1.0)
(s3752 1.0)
(s3753 0.0)
(s3754 0.0)
(s3755 0.0)
(s3756 1.0)
(s3757 1.0)
(s3758 1.0)
(s3759 1.0)
(s3760 1.0)
(s3761 1.0)
(s3762 1.0)
(s3763 1.0)
(s3764 1.0)
(s3765 0.0)
(s3766 0.0)
(s3767 0.0)
(s3768 1.0)
(s3769 1.0)
(s3770 1.0)
(s3771 1.0)
(s3772 1.0)
(s3773 1.0)
(s3774 1.0)
(s3775 1.0)
(s3776 1.0)
(s3777 0.0)
(s3778 0.0)
(s3779 0.0)
(s3780 1.0)
(s3781 1.0)
(s3782 1.0)
(s3783 1.0)
(s3784 1.0)
(s3785 1.0)
(s3786 1.0)
(s3787 1.0)
(s3788 1.0)
(s3789 0.0)
(s3790 0.0)
(s3791 0.0)
(s3792 1.0)
(s3793 1.0)
(s3794 1.0)
(s3795 1.0)
(s3796 1.0)
(s3797 1.0)
(s3798 1.0)
(s3799 1.0)
(s3800 1.0)
(s3801 0.0)
(s3802 0.0)
(s3803 0.0)
(s3804 1.0)
(s3805 1.0)
(s3806 1.0)
(s3807 1.0)
(s3808 1.0)
(s3809 1.0)
(s3810 1.0)
(s3811 1.0)
(s3812 1.0)
(s3813 0.0)
(s3814 0.0)
(s3815 0.0)
(s3816 1.0)
(s3817 1.0)
(s3818 1.0)
(s3819 1.0)
(s3820 1.0)
(s3821 1.0)
(s3822 1.0)
(s3823 1.0)
(s3824 1.0)
(s3825 0.0)
(s3826 0.0)
(s3827 0.0)
(s3828 1.0)
(s3829 1.0)
(s3830 1.0)
(s3831 1.0)
(s3832 1.0)
(s3833 1.0)
(s3834 1.0)
(s3835 1.0)
(s3836 1.0)
(s3837 0.0)
(s3838 0.0)
(s3839 0.0)
(s3840 1.0)
(s3841 1.0)
(s3842 1.0)
(s3843 1.0)
(s3844 1.0)
(s3845 1.0)
(s3846 1.0)
(s3847 1.0)
(s3848 1.0)
(s3849 0.0)
(s3850 0.0)
(s3851 0.0)
(s3852 1.0)
(s3853 1.0)
(s3854 1.0)
(s3855 1.0)
(s3856 1.0)
(s3857 1.0)
(s3858 1.0)
(s3859 1.0)
(s3860 1.0)
(s3861 0.0)
(s3862 0.0)
(s3863 0.0)
(s3864 1.0)
(s3865 1.0)
(s3866 1.0)
(s3867 1.0)
(s3868 1.0)
(s3869 1.0)
(s3870 1.0)
(s3871 1.0)
(s3872 1.0)
(s3873 0.0)
(s3874 0.0)
(s3875 0.0)
(s3876 1.0)
(s3877 1.0)
(s3878 1.0)
(s3879 1.0)
(s3880 1.0)
(s3881 1.0)
(s3882 1.0)
(s3883 1.0)
(s3884 1.0)
(s3885 0.0)
(s3886 0.0)
(s3887 0.0)
(s3888 1.0)
(s3889 1.0)
(s3890 1.0)
(s3891 1.0)
(s3892 1.0)
(s3893 1.0)
(s3894 1.0)
(s3895 1.0)
(s3896 1.0)
(s3897 0.0)
(s3898 0.0)
(s3899 0.0)
(s3900 1.0)
(s3901 1.0)
(s3902 1.0)
(s3903 1.0)
(s3904 1.0)
(s3905 1.0)
(s3906 1.0)
(s3907 1.0)
(s3908 1.0)
(s3909 0.0)
(s3910 0.0)
(s3911 0.0)
(s3912 1.0)
(s3913 1.0)
(s3914 1.0)
(s3915 1.0)
(s3916 1.0)
(s3917 1.0)
(s3918 1.0)
(s3919 1.0)
(s3920 1.0)
(s3921 0.0)
(s3922 0.0)
(s3923 0.0)
(s3924 1.0)
(s3925 1.0)
(s3926 1.0)
(s3927 1.0)
(s3928 1.0)
(s3929 1.0)
(s3930 1.0)
(s3931 1.0)
(s3932 1.0)
(s3933 0.0)
(s3934 0.0)
(s3935 0.0)
(s3936 1.0)
(s3937 1.0)
(s3938 1.0)
(s3939 1.0)
(s3940 1.0)
(s3941 1.0)
(s3942 1.0)
(s3943 1.0)
(s3944 1.0)
(s3945 0.0)
(s3946 0.0)
(s3947 0.0)
(s3948 1.0)
(s3949 1.0)
(s3950 1.0)
(s3951 1.0)
(s3952 1.0)
(s3953 1.0)
(s3954 1.0)
(s3955 1.0)
(s3956 1.0)
(s3957 0.0)
(s3958 0.0)
(s3959 0.0)
(s3960 1.0)
(s3961 1.0)
(s3962 1.0)
(s3963 1.0)
(s3964 1.0)
(s3965 1.0)
(s3966 1.0)
(s3967 1.0)
(s3968 1.0)
(s3969 0.0)
(s3970 1.0)
(s3971 1.0)
(s3972 1.0)
(s3973 0.0)
(s3974 1.0)
(s3975 1.0)
(s3976 1.0)
(s3977 0.0)
(s3978 1.0)
(s3979 1.0)
(s3980 1.0)
(s3981 0.0)
(s3982 1.0)
(s3983 1.0)
(s3984 1.0)
(s3985 0.0)
(s3986 1.0)
(s3987 1.0)
(s3988 1.0)
(s3989 0.0)
(s3990 1.0)
(s3991 1.0)
(s3992 1.0)
(s3993 0.0)
(s3994 1.0)
(s3995 1.0)
(s3996 1.0)
(s3997 0.0)
(s3998 1.0)
(s3999 1.0)
(s4000 1.0)
(s4001 0.0)
(s4002 1.0)
(s4003 1.0)
(s4004 1.0)
(s4005 0.0)
(s4006 1.0)
(s4007 1.0)
(s4008 1.0)
(s4009 0.0)
(s4010 1.0)
(s4011 1.0)
(s4012 1.0)
(s4013 0.0)
(s4014 1.0)
(s4015 1.0)
(s4016 1.0)
(s4017 0.0)
(s4018 1.0)
(s4019 1.0)
(s4020 1.0)
(s4021 0.0)
(s4022 1.0)
(s4023 1.0)
(s4024 1.0)
(s4025 0.0)
(s4026 1.0)
(s4027 1.0)
(s4028 1.0)
(s4029 0.0)
(s4030 1.0)
(s4031 1.0)
(s4032 1.0)
(s4033 0.0)
(s4034 1.0)
(s4035 1.0)
(s4036 1.0)
(s4037 0.0)
(s4038 1.0)
(s4039 1.0)
(s4040 1.0)
(s4041 0.0)
(s4042 1.0)
(s4043 1.0)
(s4044 1.0)
(s4045 0.0)
(s4046 1.0)
(s4047 1.0)
(s4048 1.0)
(s4049 0.0)
(s4050 1.0)
(s4051 1.0)
(s4052 1.0)
(s4053 0.0)
(s4054 1.0)
(s4055 1.0)
(s4056 1.0)
(s4057 0.0)
(s4058 1.0)
(s4059 1.0)
(s4060 1.0)
(s4061 0.0)
(s4062 1.0)
(s4063 1.0)
(s4064 1.0)
(s4065 0.0)
(s4066 1.0)
(s4067 1.0)
(s4068 1.0)
(s4069 0.0)
(s4070 1.0)
(s4071 1.0)
(s4072 1.0)
(s4073 0.0)
(s4074 1.0)
(s4075 1.0)
(s4076 1.0)
(s4077 0.0)
(s4078 1.0)
(s4079 1.0)
(s4080 1.0)
(s4081 0.0)
(s4082 1.0)
(s4083 1.0)
(s4084 1.0)
(s4085 0.0)
(s4086 1.0)
(s4087 1.0)
(s4088 1.0)
(s4089 0.0)
(s4090 1.0)
(s4091 1.0)
(s4092 1.0)
(s4093 0.0)
(s4094 1.0)
(s4095 1.0)
(s4096 1.0)
(s4097 0.0)
(s4098 1.0)
(s4099 1.0)
(s4100 1.0)
(s4101 0.0)
(s4102 1.0)
(s4103 1.0)
(s4104 1.0)
(s4105 0.0)
(s4106 1.0)
(s4107 1.0)
(s4108 1.0)
(s4109 0.0)
(s4110 1.0)
(s4111 1.0)
(s4112 1.0)
(s4113 0.0)
(s4114 1.0)
(s4115 1.0)
(s4116 1.0)
(s4117 0.0)
(s4118 1.0)
(s4119 1.0)
(s4120 1.0)
(s4121 0.0)
(s4122 1.0)
(s4123 1.0)
(s4124 1.0)
(s4125 0.0)
(s4126 1.0)
(s4127 1.0)
(s4128 1.0)
(s4129 0.0)
(s4130 1.0)
(s4131 1.0)
(s4132 1.0)
(s4133 0.0)
(s4134 1.0)
(s4135 1.0)
(s4136 1.0)
(s4137 0.0)
(s4138 1.0)
(s4139 1.0)
(s4140 1.0)
(s4141 0.0)
(s4142 1.0)
(s4143 1.0)
(s4144 1.0)
(s4145 0.0)
(s4146 1.0)
(s4147 1.0)
(s4148 1.0)
(s4149 0.0)
(s4150 1.0)
(s4151 1.0)
(s4152 1.0)
(s4153 0.0)
(s4154 1.0)
(s4155 1.0)
(s4156 1.0)
(s4157 0.0)
(s4158 1.0)
(s4159 1.0)
(s4160 1.0)
(s4161 0.0)
(s4162 1.0)
(s4163 1.0)
(s4164 1.0)
(s4165 0.0)
(s4166 1.0)
(s4167 1.0)
(s4168 1.0)
(s4169 0.0)
(s4170 1.0)
(s4171 1.0)
(s4172 1.0)
(s4173 0.0)
(s4174 1.0)
(s4175 1.0)
(s4176 1.0)
(s4177 0.0)
(s4178 1.0)
(s4179 1.0)
(s4180 1.0)
(s4181 0.0)
(s4182 1.0)
(s4183 1.0)
(s4184 1.0)
(s4185 0.0)
(s4186 1.0)
(s4187 1.0)
(s4188 1.0)
(s4189 0.0)
(s4190 1.0)
(s4191 1.0)
(s4192 1.0)
(s4193 0.0)
(s4194 1.0)
(s4195 1.0)
(s4196 1.0)
(s4197 0.0)
(s4198 1.0)
(s4199 1.0)
(s4200 1.0)
(s4201 0.0)
(s4202 1.0)
(s4203 1.0)
(s4204 1.0)
(s4205 0.0)
(s4206 1.0)
(s4207 1.0)
(s4208 1.0)
(s4209 0.0)
(s4210 1.0)
(s4211 1.0)
(s4212 1.0)
(s4213 0.0)
(s4214 1.0)
(s4215 1.0)
(s4216 1.0)
(s4217 0.0)
(s4218 1.0)
(s4219 1.0)
(s4220 1.0)
(s4221 0.0)
(s4222 1.0)
(s4223 1.0)
(s4224 1.0)
(s4225 0.0)
(s4226 1.0)
(s4227 1.0)
(s4228 1.0)
(s4229 0.0)
(s4230 1.0)
(s4231 1.0)
(s4232 1.0)
(s4233 0.0)
(s4234 1.0)
(s4235 1.0)
(s4236 1.0)
(s4237 0.0)
(s4238 1.0)
(s4239 1.0)
(s4240 1.0)
(s4241 0.0)
(s4242 1.0)
(s4243 1.0)
(s4244 1.0)
(s4245 0.0)
(s4246 1.0)
(s4247 1.0)
(s4248 1.0)
(s4249 0.0)
(s4250 1.0)
(s4251 1.0)
(s4252 1.0)
(s4253 0.0)
(s4254 1.0)
(s4255 1.0)
(s4256 1.0)
(s4257 0.0)
(s4258 1.0)
(s4259 1.0)
(s4260 1.0)
(s4261 0.0)
(s4262 1.0)
(s4263 1.0)
(s4264 1.0)
(s4265 0.0)
(s4266 1.0)
(s4267 1.0)
(s4268 1.0)
(s4269 0.0)
(s4270 1.0)
(s4271 1.0)
(s4272 1.0)
(s4273 0.0)
(s4274 1.0)
(s4275 1.0)
(s4276 1.0)
(s4277 0.0)
(s4278 1.0)
(s4279 1.0)
(s4280 1.0)
(s4281 0.0)
(s4282 1.0)
(s4283 1.0)
(s4284 1.0)
(s4285 0.0)
(s4286 1.0)
(s4287 1.0)
(s4288 1.0)
(s4289 0.0)
(s4290 1.0)
(s4291 1.0)
(s4292 1.0)
(s4293 0.0)
(s4294 0.0)
(s4295 0.0)
(s4296 0.0)
(s4297 0.0)
(s4298 0.0)
(s4299 0.0)
(s4300 0.0)
(s4301 0.0)
(s4302 0.0)
(s4303 0.0)
(s4304 0.0)
(s4305 0.0)
(s4306 0.0)
(s4307 0.0)
(s4308 0.0)
(s4309 0.0)
(s4310 0.0)
(s4311 0.0)
(s4312 0.0)
(s4313 0.0)
(s4314 0.0)
(s4315 0.0)
(s4316 0.0)
(s4317 0.0)
(s4318 0.0)
(s4319 0.0)
(s4320 0.0)
(s4321 0.0)
(s4322 0.0)
(s4323 0.0)
(s4324 0.0)
(s4325 0.0)
(s4326 0.0)
(s4327 1.0)
(s4328 1.0)
(s4329 1.0)
(s4330 1.0)
(s4331 1.0)
(s4332 1.0)
(s4333 1.0)
(s4334 1.0)
(s4335 1.0)
(s4336 1.0)
(s4337 1.0)
(s4338 1.0)
(s4339 1.0)
(s4340 1.0)
(s4341 1.0)
(s4342 1.0)
(s4343 1.0)
(s4344 1.0)
(s4345 1.0)
(s4346 1.0)
(s4347 1.0)
(s4348 1.0)
(s4349 1.0)
(s4350 1.0)
(s4351 1.0)
(s4352 1.0)
(s4353 1.0)
(s4354 1.0)
(s4355 1.0)
(s4356 1.0)
(s4357 1.0)
(s4358 1.0)
(s4359 1.0)
(s4360 1.0)
(s4361 1.0)
(s4362 1.0)
(s4363 1.0)
(s4364 1.0)
(s4365 1.0)
(s4366 1.0)
(s4367 1.0)
(s4368 1.0)
(s4369 1.0)
(s4370 1.0)
(s4371 1.0)
(s4372 1.0)
(s4373 1.0)
(s4617 1.0)
(s4618 1.0)
(s4619 1.0)
(s4620 1.0)
(s4621 1.0)
(s4622 1.0)
(s4623 1.0)
(s4624 1.0)
(s4625 1.0)
(s4626 1.0)
(s4627 1.0)
(s4628 1.0)
(s4629 1.0)
(s4630 1.0)
(s4631 1.0)
(s4632 1.0)
(s4633 1.0)
(s4634 1.0)
(s4635 1.0)
(s4636 1.0)
(s4637 1.0)
(s4638 1.0)
(s4639 1.0)
(s4640 1.0)
(s4641 1.0)
(s4642 1.0)
(s4643 1.0)
(s4725 1.0timeout
) org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30535 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30412 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints]
After SMT, in 162255ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 162689ms
Finished structural reductions in LTL mode , in 1 iterations and 188535 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Support contains 224 out of 9153 places after structural reductions.
[2024-05-26 21:04:17] [INFO ] Flatten gal took : 1589 ms
[2024-05-26 21:04:19] [INFO ] Flatten gal took : 1273 ms
[2024-05-26 21:04:21] [INFO ] Input system was already deterministic with 25110 transitions.
RANDOM walk for 40000 steps (8 resets) in 41485 ms. (0 steps per ms) remains 5/98 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5351 ms. (7 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5530 ms. (7 steps per ms) remains 4/5 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5121 ms. (7 steps per ms) remains 3/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5275 ms. (7 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5111 ms. (7 steps per ms) remains 3/3 properties
[2024-05-26 21:04:39] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/12 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 3537/3549 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3549 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 5594/9143 variables, 3470/3483 constraints. Problems are: Problem set: 0 solved, 3 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 9143/34263 variables, and 3483 constraints, problems are : Problem set: 0 solved, 3 unsolved in 5114 ms.
Refiners :[Positive P Invariants (semi-flows): 3483/3483 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 3/3 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/12 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 3537/3549 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3549 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 5594/9143 variables, 3470/3483 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9143 variables, 0/3483 constraints. Problems are: Problem set: 0 solved, 3 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 9153/34263 variables, and 3484 constraints, problems are : Problem set: 0 solved, 3 unsolved in 5022 ms.
Refiners :[Positive P Invariants (semi-flows): 3483/3483 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/3 constraints, Known Traps: 0/0 constraints]
After SMT, in 10264ms problems are : Problem set: 0 solved, 3 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 12 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2942 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2948 ms. Remains : 9153/9153 places, 25110/25110 transitions.
RANDOM walk for 40000 steps (8 resets) in 36518 ms. (1 steps per ms) remains 1/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5081 ms. (7 steps per ms) remains 1/1 properties
[2024-05-26 21:05:02] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/4 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 3501/3505 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3505 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 5638/9143 variables, 3478/3483 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9143 variables, 0/3483 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 10/9153 variables, 1/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 34263/34263 variables, and 12637 constraints, problems are : Problem set: 0 solved, 1 unsolved in 21041 ms.
Refiners :[Positive P Invariants (semi-flows): 3483/3483 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/4 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 3501/3505 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3505 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 5638/9143 variables, 3478/3483 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9143 variables, 0/3483 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 10/9153 variables, 1/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 34263/34263 variables, and 12637 constraints, problems are : Problem set: 0 solved, 1 unsolved in 21310 ms.
Refiners :[Positive P Invariants (semi-flows): 3483/3483 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 0/0 constraints]
After SMT, in 42431ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 6278 steps, including 0 resets, run visited all 1 properties in 3642 ms. (steps per millisecond=1 )
Parikh walk visited 1 properties in 3677 ms.
[2024-05-26 21:05:50] [INFO ] Flatten gal took : 884 ms
[2024-05-26 21:05:51] [INFO ] Flatten gal took : 997 ms
[2024-05-26 21:05:52] [INFO ] Input system was already deterministic with 25110 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2050 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 2052 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:05:55] [INFO ] Flatten gal took : 843 ms
[2024-05-26 21:05:56] [INFO ] Flatten gal took : 969 ms
[2024-05-26 21:05:58] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2212 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 2213 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:06:01] [INFO ] Flatten gal took : 839 ms
[2024-05-26 21:06:02] [INFO ] Flatten gal took : 969 ms
[2024-05-26 21:06:04] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1827 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1828 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:06:07] [INFO ] Flatten gal took : 829 ms
[2024-05-26 21:06:08] [INFO ] Flatten gal took : 965 ms
[2024-05-26 21:06:09] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1893 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 1894 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:06:12] [INFO ] Flatten gal took : 844 ms
[2024-05-26 21:06:13] [INFO ] Flatten gal took : 986 ms
[2024-05-26 21:06:15] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1776 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1777 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:06:18] [INFO ] Flatten gal took : 793 ms
[2024-05-26 21:06:19] [INFO ] Flatten gal took : 960 ms
[2024-05-26 21:06:20] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1769 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1770 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:06:23] [INFO ] Flatten gal took : 832 ms
[2024-05-26 21:06:24] [INFO ] Flatten gal took : 986 ms
[2024-05-26 21:06:26] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1767 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1769 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:06:28] [INFO ] Flatten gal took : 790 ms
[2024-05-26 21:06:29] [INFO ] Flatten gal took : 982 ms
[2024-05-26 21:06:31] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1885 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 1886 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:06:34] [INFO ] Flatten gal took : 835 ms
[2024-05-26 21:06:35] [INFO ] Flatten gal took : 948 ms
[2024-05-26 21:06:36] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1763 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1764 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:06:39] [INFO ] Flatten gal took : 826 ms
[2024-05-26 21:06:40] [INFO ] Flatten gal took : 976 ms
[2024-05-26 21:06:42] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1783 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1783 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:06:44] [INFO ] Flatten gal took : 818 ms
[2024-05-26 21:06:45] [INFO ] Flatten gal took : 947 ms
[2024-05-26 21:06:47] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1794 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1794 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:06:50] [INFO ] Flatten gal took : 845 ms
[2024-05-26 21:06:51] [INFO ] Flatten gal took : 986 ms
[2024-05-26 21:06:52] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1773 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1774 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:06:55] [INFO ] Flatten gal took : 841 ms
[2024-05-26 21:06:56] [INFO ] Flatten gal took : 947 ms
[2024-05-26 21:06:58] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1796 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1797 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:07:01] [INFO ] Flatten gal took : 843 ms
[2024-05-26 21:07:02] [INFO ] Flatten gal took : 982 ms
[2024-05-26 21:07:03] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1817 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1817 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:07:06] [INFO ] Flatten gal took : 824 ms
[2024-05-26 21:07:07] [INFO ] Flatten gal took : 964 ms
[2024-05-26 21:07:09] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1877 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 1877 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:07:11] [INFO ] Flatten gal took : 809 ms
[2024-05-26 21:07:12] [INFO ] Flatten gal took : 948 ms
[2024-05-26 21:07:14] [INFO ] Input system was already deterministic with 25110 transitions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1733 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1734 ms. Remains : 9153/9153 places, 25110/25110 transitions.
[2024-05-26 21:07:17] [INFO ] Flatten gal took : 830 ms
[2024-05-26 21:07:18] [INFO ] Flatten gal took : 977 ms
[2024-05-26 21:07:19] [INFO ] Input system was already deterministic with 25110 transitions.
[2024-05-26 21:07:20] [INFO ] Flatten gal took : 916 ms
[2024-05-26 21:07:21] [INFO ] Flatten gal took : 968 ms
[2024-05-26 21:07:21] [INFO ] Export to MCC of 16 properties in file /home/mcc/execution/CTLFireability.sr.xml took 7 ms.
[2024-05-26 21:07:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 9153 places, 25110 transitions and 100440 arcs took 132 ms.
Total runtime 376802 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running HypercubeGrid-PT-C5K3P3B15
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/412/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 9153
TRANSITIONS: 25110
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.794s, Sys 0.049s]
SAVING FILE /home/mcc/execution/412/model (.net / .def) ...
EXPORT TIME: [User 0.126s, Sys 0.011s]
----------------------------------------------------------------------
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: 593
MODEL NAME: /home/mcc/execution/412/model
9153 places, 25110 transitions.
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
CANNOT_COMPUTE
EXITCODE: 87
----------------------------------------------------------------------
BK_STOP 1716759218650
--------------------
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 CTLFireability -timeout 360 -rebuildPNML
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
MEDDLY ERROR: Insufficient memory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypercubeGrid-PT-C5K3P3B15"
export BK_EXAMINATION="CTLFireability"
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 HypercubeGrid-PT-C5K3P3B15, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r201-smll-171649586900274"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C5K3P3B15.tgz
mv HypercubeGrid-PT-C5K3P3B15 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;