About the Execution of Smart+red for Diffusion2D-PT-D10N200
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12201.147 | 858235.00 | 868690.00 | 3560.80 | 1.3861E+0081 6.3417E+0083 200 200 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r139-smll-167819422000152.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is Diffusion2D-PT-D10N200, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422000152
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 668K
-rw-r--r-- 1 mcc users 7.5K Feb 26 04:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 04:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 04:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 04:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 15:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 15:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 04:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 04:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 04:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 04:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 255K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678325720802
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Diffusion2D-PT-D10N200
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 01:35:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 01:35:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 01:35:24] [INFO ] Load time of PNML (sax parser for PT used): 124 ms
[2023-03-09 01:35:24] [INFO ] Transformed 100 places.
[2023-03-09 01:35:24] [INFO ] Transformed 684 transitions.
[2023-03-09 01:35:24] [INFO ] Parsed PT model containing 100 places and 684 transitions and 1368 arcs in 254 ms.
[2023-03-09 01:35:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 100 places, 684 transitions and 1368 arcs took 9 ms.
Total runtime 307 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Diffusion2D (PT), instance D10N200
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 100 places, 684 transitions, 1368 arcs.
AT ITER 0 NEW BEST:: SOT 39196 SOS 7736 HAS SOPS 7736 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3565.736
AT ITER 1 NEW BEST:: SOT 39188 SOS 7720 HAS SOPS 7720 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3517.72
AT ITER 40 NEW BEST:: SOT 39176 SOS 7696 HAS SOPS 7696 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3503.696
AT ITER 60 NEW BEST:: SOT 39176 SOS 7680 HAS SOPS 7680 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3503.68
AT ITER 75 NEW BEST:: SOT 39148 SOS 7696 HAS SOPS 7696 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3501.696
AT ITER 84 NEW BEST:: SOT 39074 SOS 7698 HAS SOPS 7698 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3445.698
AT ITER 105 NEW BEST:: SOT 39084 SOS 7706 HAS SOPS 7706 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3441.706
AT ITER 137 NEW BEST:: SOT 39094 SOS 7666 HAS SOPS 7666 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3439.666
AT ITER 194 NEW BEST:: SOT 39064 SOS 7708 HAS SOPS 7708 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3437.708
AT ITER 223 NEW BEST:: SOT 39020 SOS 7680 HAS SOPS 7680 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3433.68
AT ITER 226 NEW BEST:: SOT 39016 SOS 7672 HAS SOPS 7672 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3429.672
AT ITER 239 NEW BEST:: SOT 38948 SOS 7646 HAS SOPS 7646 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3427.646
AT ITER 240 NEW BEST:: SOT 38906 SOS 7598 HAS SOPS 7598 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3417.598
AT ITER 275 NEW BEST:: SOT 38902 SOS 7590 HAS SOPS 7590 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3415.59
AT ITER 316 NEW BEST:: SOT 38896 SOS 7586 HAS SOPS 7586 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3415.586
AT ITER 317 NEW BEST:: SOT 38900 SOS 7584 HAS SOPS 7584 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3415.584
AT ITER 342 NEW BEST:: SOT 38796 SOS 7460 HAS SOPS 7460 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3355.46
AT ITER 356 NEW BEST:: SOT 38760 SOS 7484 HAS SOPS 7484 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3353.484
AT ITER 479 NEW BEST:: SOT 38760 SOS 7460 HAS SOPS 7460 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3353.46
AT ITER 518 NEW BEST:: SOT 38754 SOS 7448 HAS SOPS 7448 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3353.448
AT ITER 568 NEW BEST:: SOT 38746 SOS 7432 HAS SOPS 7432 HAS SOUS 3344 HAS SOUPS 3344 WITH SCORE 3351.432
AT ITER 647 NEW BEST:: SOT 38742 SOS 7424 HAS SOPS 7424 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3347.424
AT ITER 695 NEW BEST:: SOT 38724 SOS 7318 HAS SOPS 7318 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3347.318
AT ITER 779 NEW BEST:: SOT 38752 SOS 7326 HAS SOPS 7326 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3341.326
AT ITER 858 NEW BEST:: SOT 38722 SOS 7302 HAS SOPS 7302 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3333.302
AT ITER 884 NEW BEST:: SOT 38718 SOS 7294 HAS SOPS 7294 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3331.294
AT ITER 906 NEW BEST:: SOT 38716 SOS 7262 HAS SOPS 7262 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3331.262
AT ITER 932 NEW BEST:: SOT 38710 SOS 7250 HAS SOPS 7250 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3325.25
AT ITER 990 NEW BEST:: SOT 38692 SOS 7256 HAS SOPS 7256 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3321.256
AT ITER 1133 NEW BEST:: SOT 38694 SOS 7248 HAS SOPS 7248 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3321.248
AT ITER 1157 NEW BEST:: SOT 38694 SOS 7248 HAS SOPS 7248 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3317.248
AT ITER 1174 NEW BEST:: SOT 38694 SOS 7242 HAS SOPS 7242 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3315.242
AT ITER 1181 NEW BEST:: SOT 38674 SOS 7220 HAS SOPS 7220 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3315.22
AT ITER 1217 NEW BEST:: SOT 38672 SOS 7216 HAS SOPS 7216 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3313.216
AT ITER 1252 NEW BEST:: SOT 38656 SOS 7184 HAS SOPS 7184 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3301.184
AT ITER 1281 NEW BEST:: SOT 38648 SOS 7192 HAS SOPS 7192 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3297.192
AT ITER 1284 NEW BEST:: SOT 38638 SOS 7184 HAS SOPS 7184 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3297.184
AT ITER 1350 NEW BEST:: SOT 38616 SOS 7250 HAS SOPS 7250 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3289.25
AT ITER 1431 NEW BEST:: SOT 38632 SOS 7246 HAS SOPS 7246 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3289.246
AT ITER 1448 NEW BEST:: SOT 38650 SOS 7228 HAS SOPS 7228 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3289.228
AT ITER 1468 NEW BEST:: SOT 38648 SOS 7216 HAS SOPS 7216 HAS SOUS 3278 HAS SOUPS 3278 WITH SCORE 3285.216
AT ITER 1493 NEW BEST:: SOT 38656 SOS 7214 HAS SOPS 7214 HAS SOUS 3278 HAS SOUPS 3278 WITH SCORE 3285.214
AT ITER 1647 NEW BEST:: SOT 38652 SOS 7206 HAS SOPS 7206 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3279.206
AT ITER 1667 NEW BEST:: SOT 38650 SOS 7202 HAS SOPS 7202 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3277.202
AT ITER 1736 NEW BEST:: SOT 38618 SOS 7198 HAS SOPS 7198 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3269.198
AT ITER 1871 NEW BEST:: SOT 38600 SOS 7162 HAS SOPS 7162 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3267.162
AT ITER 1876 NEW BEST:: SOT 38616 SOS 7146 HAS SOPS 7146 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3251.146
AT ITER 1931 NEW BEST:: SOT 38616 SOS 7140 HAS SOPS 7140 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3251.14
AT ITER 1964 NEW BEST:: SOT 38602 SOS 7092 HAS SOPS 7092 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3239.092
AT ITER 1995 NEW BEST:: SOT 38594 SOS 7076 HAS SOPS 7076 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3233.076
AT ITER 2004 NEW BEST:: SOT 38592 SOS 7072 HAS SOPS 7072 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3231.072
AT ITER 2062 NEW BEST:: SOT 38586 SOS 7060 HAS SOPS 7060 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3225.06
AT ITER 2084 NEW BEST:: SOT 38584 SOS 7056 HAS SOPS 7056 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3225.056
AT ITER 2085 NEW BEST:: SOT 38564 SOS 7040 HAS SOPS 7040 HAS SOUS 3212 HAS SOUPS 3212 WITH SCORE 3219.04
AT ITER 2113 NEW BEST:: SOT 38560 SOS 7032 HAS SOPS 7032 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3217.032
AT ITER 2128 NEW BEST:: SOT 38556 SOS 7030 HAS SOPS 7030 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3217.03
AT ITER 2231 NEW BEST:: SOT 38548 SOS 7032 HAS SOPS 7032 HAS SOUS 3208 HAS SOUPS 3208 WITH SCORE 3215.032
AT ITER 2234 NEW BEST:: SOT 38536 SOS 7026 HAS SOPS 7026 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3207.026
AT ITER 2268 NEW BEST:: SOT 38532 SOS 7018 HAS SOPS 7018 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3203.018
AT ITER 2324 NEW BEST:: SOT 38524 SOS 6984 HAS SOPS 6984 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3202.984
AT ITER 2338 NEW BEST:: SOT 38520 SOS 6976 HAS SOPS 6976 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3202.976
AT ITER 2410 NEW BEST:: SOT 38522 SOS 6962 HAS SOPS 6962 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3200.962
AT ITER 2568 NEW BEST:: SOT 38510 SOS 6956 HAS SOPS 6956 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3194.956
AT ITER 2636 NEW BEST:: SOT 38506 SOS 6932 HAS SOPS 6932 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3190.932
AT ITER 2708 NEW BEST:: SOT 38498 SOS 6916 HAS SOPS 6916 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3182.916
AT ITER 2715 NEW BEST:: SOT 38500 SOS 6910 HAS SOPS 6910 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3182.91
AT ITER 2774 NEW BEST:: SOT 38496 SOS 6902 HAS SOPS 6902 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3178.902
AT ITER 2812 NEW BEST:: SOT 38508 SOS 6896 HAS SOPS 6896 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3172.896
AT ITER 2884 NEW BEST:: SOT 38502 SOS 6890 HAS SOPS 6890 HAS SOUS 3164 HAS SOUPS 3164 WITH SCORE 3170.89
AT ITER 3016 NEW BEST:: SOT 38504 SOS 6888 HAS SOPS 6888 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3168.888
AT ITER 3029 NEW BEST:: SOT 38502 SOS 6884 HAS SOPS 6884 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3168.884
AT ITER 3088 NEW BEST:: SOT 38488 SOS 6856 HAS SOPS 6856 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3158.856
AT ITER 3137 NEW BEST:: SOT 38500 SOS 6850 HAS SOPS 6850 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3150.85
AT ITER 3151 NEW BEST:: SOT 38496 SOS 6852 HAS SOPS 6852 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3148.852
AT ITER 3267 NEW BEST:: SOT 38488 SOS 6836 HAS SOPS 6836 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3144.836
AT ITER 3323 NEW BEST:: SOT 38486 SOS 6832 HAS SOPS 6832 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3138.832
AT ITER 3328 NEW BEST:: SOT 38488 SOS 6830 HAS SOPS 6830 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3136.83
AT ITER 3641 NEW BEST:: SOT 38466 SOS 6828 HAS SOPS 6828 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3130.828
AT ITER 3668 NEW BEST:: SOT 38468 SOS 6832 HAS SOPS 6832 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3126.832
AT ITER 3759 NEW BEST:: SOT 38454 SOS 6804 HAS SOPS 6804 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3126.804
AT ITER 3858 NEW BEST:: SOT 38450 SOS 6802 HAS SOPS 6802 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3124.802
AT ITER 3919 NEW BEST:: SOT 38448 SOS 6798 HAS SOPS 6798 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3120.798
AT ITER 4250 NEW BEST:: SOT 38448 SOS 6798 HAS SOPS 6798 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3114.798
AT ITER 4318 NEW BEST:: SOT 38442 SOS 6786 HAS SOPS 6786 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3102.786
AT ITER 4410 NEW BEST:: SOT 38438 SOS 6778 HAS SOPS 6778 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3100.778
AT ITER 4434 NEW BEST:: SOT 38434 SOS 6776 HAS SOPS 6776 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3098.776
AT ITER 4505 NEW BEST:: SOT 38408 SOS 6784 HAS SOPS 6784 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3092.784
AT ITER 4592 NEW BEST:: SOT 38406 SOS 6780 HAS SOPS 6780 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3092.78
AT ITER 4640 NEW BEST:: SOT 38390 SOS 6748 HAS SOPS 6748 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3086.748
AT ITER 4947 NEW BEST:: SOT 38384 SOS 6736 HAS SOPS 6736 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3086.736
AT ITER 5006 NEW BEST:: SOT 38380 SOS 6728 HAS SOPS 6728 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3084.728
AT ITER 5067 NEW BEST:: SOT 38366 SOS 6688 HAS SOPS 6688 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3080.688
AT ITER 5159 NEW BEST:: SOT 38364 SOS 6684 HAS SOPS 6684 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3078.684
AT ITER 5162 NEW BEST:: SOT 38366 SOS 6682 HAS SOPS 6682 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3078.682
AT ITER 5260 NEW BEST:: SOT 38360 SOS 6674 HAS SOPS 6674 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3072.674
AT ITER 5296 NEW BEST:: SOT 38360 SOS 6668 HAS SOPS 6668 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3072.668
AT ITER 5398 NEW BEST:: SOT 38362 SOS 6666 HAS SOPS 6666 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3072.666
AT ITER 5428 NEW BEST:: SOT 38360 SOS 6668 HAS SOPS 6668 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3070.668
AT ITER 5776 NEW BEST:: SOT 38360 SOS 6652 HAS SOPS 6652 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3070.652
AT ITER 5802 NEW BEST:: SOT 38352 SOS 6636 HAS SOPS 6636 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3070.636
AT ITER 5855 NEW BEST:: SOT 38350 SOS 6632 HAS SOPS 6632 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3068.632
AT ITER 5920 NEW BEST:: SOT 38344 SOS 6630 HAS SOPS 6630 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3066.63
AT ITER 5927 NEW BEST:: SOT 38342 SOS 6626 HAS SOPS 6626 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3064.626
AT ITER 6080 NEW BEST:: SOT 38344 SOS 6630 HAS SOPS 6630 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3062.63
AT ITER 6208 NEW BEST:: SOT 38344 SOS 6624 HAS SOPS 6624 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3060.624
AT ITER 6357 NEW BEST:: SOT 38342 SOS 6620 HAS SOPS 6620 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3056.62
AT ITER 6405 NEW BEST:: SOT 38340 SOS 6616 HAS SOPS 6616 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3056.616
AT ITER 6488 NEW BEST:: SOT 38340 SOS 6612 HAS SOPS 6612 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3056.612
AT ITER 6671 NEW BEST:: SOT 38334 SOS 6606 HAS SOPS 6606 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3054.606
AT ITER 6729 NEW BEST:: SOT 38328 SOS 6594 HAS SOPS 6594 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3050.594
AT ITER 6803 NEW BEST:: SOT 38314 SOS 6566 HAS SOPS 6566 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3042.566
AT ITER 6956 NEW BEST:: SOT 38312 SOS 6562 HAS SOPS 6562 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3040.562
AT ITER 6995 NEW BEST:: SOT 38314 SOS 6560 HAS SOPS 6560 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3040.56
AT ITER 7010 NEW BEST:: SOT 38306 SOS 6564 HAS SOPS 6564 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3038.564
AT ITER 7163 NEW BEST:: SOT 38288 SOS 6528 HAS SOPS 6528 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3038.528
AT ITER 7204 NEW BEST:: SOT 38286 SOS 6524 HAS SOPS 6524 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3038.524
AT ITER 7220 NEW BEST:: SOT 38284 SOS 6520 HAS SOPS 6520 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3034.52
AT ITER 7552 NEW BEST:: SOT 38280 SOS 6512 HAS SOPS 6512 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3030.512
AT ITER 7842 NEW BEST:: SOT 38280 SOS 6494 HAS SOPS 6494 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3030.494
AT ITER 7898 NEW BEST:: SOT 38280 SOS 6490 HAS SOPS 6490 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3030.49
AT ITER 8038 NEW BEST:: SOT 38282 SOS 6488 HAS SOPS 6488 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3030.488
AT ITER 8080 NEW BEST:: SOT 38284 SOS 6486 HAS SOPS 6486 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3030.486
AT ITER 8259 NEW BEST:: SOT 38284 SOS 6486 HAS SOPS 6486 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3028.486
AT ITER 8371 NEW BEST:: SOT 38280 SOS 6484 HAS SOPS 6484 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3026.484
AT ITER 8608 NEW BEST:: SOT 38278 SOS 6480 HAS SOPS 6480 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3026.48
AT ITER 8615 NEW BEST:: SOT 38274 SOS 6478 HAS SOPS 6478 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3024.478
AT ITER 9006 NEW BEST:: SOT 38276 SOS 6476 HAS SOPS 6476 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3024.476
AT ITER 9024 NEW BEST:: SOT 38284 SOS 6492 HAS SOPS 6492 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3022.492
AT ITER 9402 NEW BEST:: SOT 38284 SOS 6486 HAS SOPS 6486 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3022.486
AT ITER 9573 NEW BEST:: SOT 38278 SOS 6486 HAS SOPS 6486 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3020.486
AT ITER 9972 NEW BEST:: SOT 38274 SOS 6478 HAS SOPS 6478 HAS SOUS 3012 HAS SOUPS 3012 WITH SCORE 3018.478
STATE_SPACE STATES 1386083821086188248261127842108801860093488668581216236221011219101585442774669540 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 200 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 200 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 634168116135754355726161501004963526624713210240502946873024531013701968466805328000 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678326579037
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="Diffusion2D-PT-D10N200"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is Diffusion2D-PT-D10N200, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r139-smll-167819422000152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D10N200.tgz
mv Diffusion2D-PT-D10N200 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;