About the Execution of Smart+red for DrinkVendingMachine-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3978.420 | 3600000.00 | 3900235.00 | 10783.10 | [undef] | Time out reached |
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-167819423700640.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 DrinkVendingMachine-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423700640
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 305M
-rw-r--r-- 1 mcc users 27K Feb 26 07:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 180K Feb 26 07:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5M Feb 26 07:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 21M Feb 26 07:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 18K Feb 25 16:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 16:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11M Feb 25 16:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 29M Feb 25 16:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 101K Feb 26 21:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 645K Feb 26 21:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 29M Feb 26 21:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99M Feb 26 21:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 111M 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 1678499951905
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=DrinkVendingMachine-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 01:59:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 01:59:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 01:59:18] [INFO ] Load time of PNML (sax parser for PT used): 3635 ms
[2023-03-11 01:59:18] [INFO ] Transformed 120 places.
[2023-03-11 01:59:18] [INFO ] Transformed 111160 transitions.
[2023-03-11 01:59:19] [INFO ] Parsed PT model containing 120 places and 111160 transitions and 1026520 arcs in 4553 ms.
[2023-03-11 01:59:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 120 places, 111160 transitions and 1026520 arcs took 787 ms.
Total runtime 5557 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DrinkVendingMachine (PT), instance 10
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: 120 places, 111160 transitions, 1026520 arcs.
AT ITER 0 NEW BEST:: SOT 12613836 SOS 12366472 HAS SOPS 12366472 HAS SOUS 543544 HAS SOUPS 543544 WITH SCORE 555910.472
AT ITER 5 NEW BEST:: SOT 12613891 SOS 12367252 HAS SOPS 12367252 HAS SOUS 541741 HAS SOUPS 541741 WITH SCORE 554108.252
AT ITER 10 NEW BEST:: SOT 12613927 SOS 12367774 HAS SOPS 12367774 HAS SOUS 541528 HAS SOUPS 541528 WITH SCORE 553895.774
AT ITER 12 NEW BEST:: SOT 12613932 SOS 12367784 HAS SOPS 12367784 HAS SOUS 541208 HAS SOUPS 541208 WITH SCORE 553575.784
AT ITER 15 NEW BEST:: SOT 12613923 SOS 12368306 HAS SOPS 12368306 HAS SOUS 539704 HAS SOUPS 539704 WITH SCORE 552072.306
AT ITER 16 NEW BEST:: SOT 12613929 SOS 12368318 HAS SOPS 12368318 HAS SOUS 539591 HAS SOUPS 539591 WITH SCORE 551959.318
AT ITER 18 NEW BEST:: SOT 12613963 SOS 12368386 HAS SOPS 12368386 HAS SOUS 538109 HAS SOUPS 538109 WITH SCORE 550477.386
AT ITER 28 NEW BEST:: SOT 12613987 SOS 12368804 HAS SOPS 12368804 HAS SOUS 537644 HAS SOUPS 537644 WITH SCORE 550012.804
AT ITER 32 NEW BEST:: SOT 12613997 SOS 12368824 HAS SOPS 12368824 HAS SOUS 534824 HAS SOUPS 534824 WITH SCORE 547192.824
AT ITER 33 NEW BEST:: SOT 12613963 SOS 12368756 HAS SOPS 12368756 HAS SOUS 527276 HAS SOUPS 527276 WITH SCORE 539644.756
AT ITER 34 NEW BEST:: SOT 12613963 SOS 12368756 HAS SOPS 12368756 HAS SOUS 527161 HAS SOUPS 527161 WITH SCORE 539529.756
AT ITER 35 NEW BEST:: SOT 12613969 SOS 12368978 HAS SOPS 12368978 HAS SOUS 527144 HAS SOUPS 527144 WITH SCORE 539512.978
AT ITER 37 NEW BEST:: SOT 12613979 SOS 12286968 HAS SOPS 12286968 HAS SOUS 526924 HAS SOUPS 526924 WITH SCORE 539210.968
AT ITER 44 NEW BEST:: SOT 12614012 SOS 12287034 HAS SOPS 12287034 HAS SOUS 525220 HAS SOUPS 525220 WITH SCORE 537507.034
AT ITER 45 NEW BEST:: SOT 12469638 SOS 12142678 HAS SOPS 12142678 HAS SOUS 513845 HAS SOUPS 513845 WITH SCORE 525987.678
AT ITER 49 NEW BEST:: SOT 12469635 SOS 12142672 HAS SOPS 12142672 HAS SOUS 513674 HAS SOUPS 513674 WITH SCORE 525816.672
AT ITER 51 NEW BEST:: SOT 12469633 SOS 12139088 HAS SOPS 12139088 HAS SOUS 513568 HAS SOUPS 513568 WITH SCORE 525707.088
AT ITER 53 NEW BEST:: SOT 12469653 SOS 12139478 HAS SOPS 12139478 HAS SOUS 513493 HAS SOUPS 513493 WITH SCORE 525632.478
AT ITER 54 NEW BEST:: SOT 12469658 SOS 12139488 HAS SOPS 12139488 HAS SOUS 511798 HAS SOUPS 511798 WITH SCORE 523937.488
AT ITER 55 NEW BEST:: SOT 12358602 SOS 12028442 HAS SOPS 12028442 HAS SOUS 497547 HAS SOUPS 497547 WITH SCORE 509575.442
AT ITER 61 NEW BEST:: SOT 12358594 SOS 12028426 HAS SOPS 12028426 HAS SOUS 497451 HAS SOUPS 497451 WITH SCORE 509479.426
AT ITER 67 NEW BEST:: SOT 12358603 SOS 12028444 HAS SOPS 12028444 HAS SOUS 493959 HAS SOUPS 493959 WITH SCORE 505987.444
AT ITER 80 NEW BEST:: SOT 12358654 SOS 12029136 HAS SOPS 12029136 HAS SOUS 492360 HAS SOUPS 492360 WITH SCORE 504389.136
AT ITER 85 NEW BEST:: SOT 12358690 SOS 12029208 HAS SOPS 12029208 HAS SOUS 491672 HAS SOUPS 491672 WITH SCORE 503701.208
AT ITER 87 NEW BEST:: SOT 12314256 SOS 11984766 HAS SOPS 11984766 HAS SOUS 480230 HAS SOUPS 480230 WITH SCORE 492214.766
AT ITER 89 NEW BEST:: SOT 12314232 SOS 11984478 HAS SOPS 11984478 HAS SOUS 480158 HAS SOUPS 480158 WITH SCORE 492142.478
AT ITER 91 NEW BEST:: SOT 12314227 SOS 11984418 HAS SOPS 11984418 HAS SOUS 480143 HAS SOUPS 480143 WITH SCORE 492127.418
AT ITER 94 NEW BEST:: SOT 12314239 SOS 11848512 HAS SOPS 11848512 HAS SOUS 480058 HAS SOUPS 480058 WITH SCORE 491906.512
AT ITER 97 NEW BEST:: SOT 12314225 SOS 11848484 HAS SOPS 11848484 HAS SOUS 480030 HAS SOUPS 480030 WITH SCORE 491878.484
AT ITER 108 NEW BEST:: SOT 12314238 SOS 11738450 HAS SOPS 11738450 HAS SOUS 480003 HAS SOUPS 480003 WITH SCORE 491741.45
AT ITER 109 NEW BEST:: SOT 12314252 SOS 11738478 HAS SOPS 11738478 HAS SOUS 479331 HAS SOUPS 479331 WITH SCORE 491069.478
AT ITER 111 NEW BEST:: SOT 12314266 SOS 11738506 HAS SOPS 11738506 HAS SOUS 478314 HAS SOUPS 478314 WITH SCORE 490052.506
AT ITER 120 NEW BEST:: SOT 12314266 SOS 11738506 HAS SOPS 11738506 HAS SOUS 477214 HAS SOUPS 477214 WITH SCORE 488952.506
AT ITER 123 NEW BEST:: SOT 12314254 SOS 11738542 HAS SOPS 11738542 HAS SOUS 476206 HAS SOUPS 476206 WITH SCORE 487944.542
AT ITER 125 NEW BEST:: SOT 12314267 SOS 11735878 HAS SOPS 11735878 HAS SOUS 475802 HAS SOUPS 475802 WITH SCORE 487537.878
AT ITER 128 NEW BEST:: SOT 12314267 SOS 11736348 HAS SOPS 11736348 HAS SOUS 465509 HAS SOUPS 465509 WITH SCORE 477245.348
AT ITER 133 NEW BEST:: SOT 12314267 SOS 11736348 HAS SOPS 11736348 HAS SOUS 464024 HAS SOUPS 464024 WITH SCORE 475760.348
AT ITER 134 NEW BEST:: SOT 12314289 SOS 11736392 HAS SOPS 11736392 HAS SOUS 463793 HAS SOUPS 463793 WITH SCORE 475529.392
AT ITER 139 NEW BEST:: SOT 12314280 SOS 11736374 HAS SOPS 11736374 HAS SOUS 461795 HAS SOUPS 461795 WITH SCORE 473531.374
AT ITER 141 NEW BEST:: SOT 12314337 SOS 11724908 HAS SOPS 11724908 HAS SOUS 461209 HAS SOUPS 461209 WITH SCORE 472933.908
AT ITER 149 NEW BEST:: SOT 12314337 SOS 11716968 HAS SOPS 11716968 HAS SOUS 458747 HAS SOUPS 458747 WITH SCORE 470463.968
AT ITER 152 NEW BEST:: SOT 12314329 SOS 11690242 HAS SOPS 11690242 HAS SOUS 458265 HAS SOUPS 458265 WITH SCORE 469955.242
AT ITER 158 NEW BEST:: SOT 12314329 SOS 11681362 HAS SOPS 11681362 HAS SOUS 458203 HAS SOUPS 458203 WITH SCORE 469884.362
AT ITER 159 NEW BEST:: SOT 12314319 SOS 11680982 HAS SOPS 11680982 HAS SOUS 457923 HAS SOUPS 457923 WITH SCORE 469603.982
AT ITER 161 NEW BEST:: SOT 12314336 SOS 11681186 HAS SOPS 11681186 HAS SOUS 455187 HAS SOUPS 455187 WITH SCORE 466868.186
AT ITER 165 NEW BEST:: SOT 12314331 SOS 11681006 HAS SOPS 11681006 HAS SOUS 455139 HAS SOUPS 455139 WITH SCORE 466820.006
AT ITER 172 NEW BEST:: SOT 12314324 SOS 11680922 HAS SOPS 11680922 HAS SOUS 453585 HAS SOUPS 453585 WITH SCORE 465265.922
AT ITER 173 NEW BEST:: SOT 12314282 SOS 11680518 HAS SOPS 11680518 HAS SOUS 451741 HAS SOUPS 451741 WITH SCORE 463421.518
AT ITER 177 NEW BEST:: SOT 12314270 SOS 11680374 HAS SOPS 11680374 HAS SOUS 451057 HAS SOUPS 451057 WITH SCORE 462737.374
AT ITER 180 NEW BEST:: SOT 12314267 SOS 11653638 HAS SOPS 11653638 HAS SOUS 450841 HAS SOUPS 450841 WITH SCORE 462494.638
AT ITER 184 NEW BEST:: SOT 12314247 SOS 11653398 HAS SOPS 11653398 HAS SOUS 446401 HAS SOUPS 446401 WITH SCORE 458054.398
AT ITER 194 NEW BEST:: SOT 12314246 SOS 11653386 HAS SOPS 11653386 HAS SOUS 446179 HAS SOUPS 446179 WITH SCORE 457832.386
AT ITER 203 NEW BEST:: SOT 12314240 SOS 11653314 HAS SOPS 11653314 HAS SOUS 443032 HAS SOUPS 443032 WITH SCORE 454685.314
AT ITER 212 NEW BEST:: SOT 12314225 SOS 11653134 HAS SOPS 11653134 HAS SOUS 442987 HAS SOUPS 442987 WITH SCORE 454640.134
AT ITER 218 NEW BEST:: SOT 12225417 SOS 11564326 HAS SOPS 11564326 HAS SOUS 420179 HAS SOUPS 420179 WITH SCORE 431743.326
AT ITER 230 NEW BEST:: SOT 12225417 SOS 11536206 HAS SOPS 11536206 HAS SOUS 420083 HAS SOUPS 420083 WITH SCORE 431619.206
AT ITER 231 NEW BEST:: SOT 12225422 SOS 11536266 HAS SOPS 11536266 HAS SOUS 420044 HAS SOUPS 420044 WITH SCORE 431580.266
AT ITER 237 NEW BEST:: SOT 12225413 SOS 11536158 HAS SOPS 11536158 HAS SOUS 418046 HAS SOUPS 418046 WITH SCORE 429582.158
AT ITER 238 NEW BEST:: SOT 12225396 SOS 11535954 HAS SOPS 11535954 HAS SOUS 417842 HAS SOUPS 417842 WITH SCORE 429377.954
AT ITER 240 NEW BEST:: SOT 12225385 SOS 11535822 HAS SOPS 11535822 HAS SOUS 417215 HAS SOUPS 417215 WITH SCORE 428750.822
AT ITER 257 NEW BEST:: SOT 12225364 SOS 11535660 HAS SOPS 11535660 HAS SOUS 416954 HAS SOUPS 416954 WITH SCORE 428489.66
AT ITER 266 NEW BEST:: SOT 12225401 SOS 11535994 HAS SOPS 11535994 HAS SOUS 416192 HAS SOUPS 416192 WITH SCORE 427727.994
AT ITER 267 NEW BEST:: SOT 12158753 SOS 11469334 HAS SOPS 11469334 HAS SOUS 384737 HAS SOUPS 384737 WITH SCORE 396206.334
AT ITER 275 NEW BEST:: SOT 12158745 SOS 11469228 HAS SOPS 11469228 HAS SOUS 384642 HAS SOUPS 384642 WITH SCORE 396111.228
AT ITER 278 NEW BEST:: SOT 12158748 SOS 11469124 HAS SOPS 11469124 HAS SOUS 384641 HAS SOUPS 384641 WITH SCORE 396110.124
AT ITER 283 NEW BEST:: SOT 12158745 SOS 11469088 HAS SOPS 11469088 HAS SOUS 383099 HAS SOUPS 383099 WITH SCORE 394568.088
AT ITER 290 NEW BEST:: SOT 12158736 SOS 11468980 HAS SOPS 11468980 HAS SOUS 382991 HAS SOUPS 382991 WITH SCORE 394459.98
AT ITER 291 NEW BEST:: SOT 12158733 SOS 11468944 HAS SOPS 11468944 HAS SOUS 382325 HAS SOUPS 382325 WITH SCORE 393793.944
AT ITER 292 NEW BEST:: SOT 12110232 SOS 11420451 HAS SOPS 11420451 HAS SOUS 381058 HAS SOUPS 381058 WITH SCORE 392478.451
AT ITER 309 NEW BEST:: SOT 12110239 SOS 11419655 HAS SOPS 11419655 HAS SOUS 380969 HAS SOUPS 380969 WITH SCORE 392388.655
AT ITER 335 NEW BEST:: SOT 12110231 SOS 11404289 HAS SOPS 11404289 HAS SOUS 380422 HAS SOUPS 380422 WITH SCORE 391826.289
AT ITER 337 NEW BEST:: SOT 12110228 SOS 11404253 HAS SOPS 11404253 HAS SOUS 379756 HAS SOUPS 379756 WITH SCORE 391160.253
AT ITER 343 NEW BEST:: SOT 12110228 SOS 11404193 HAS SOPS 11404193 HAS SOUS 379726 HAS SOUPS 379726 WITH SCORE 391130.193
AT ITER 352 NEW BEST:: SOT 12110235 SOS 11404277 HAS SOPS 11404277 HAS SOUS 379225 HAS SOUPS 379225 WITH SCORE 390629.277
AT ITER 357 NEW BEST:: SOT 12110243 SOS 11404293 HAS SOPS 11404293 HAS SOUS 378286 HAS SOUPS 378286 WITH SCORE 389690.293
AT ITER 366 NEW BEST:: SOT 12110243 SOS 11404293 HAS SOPS 11404293 HAS SOUS 376141 HAS SOUPS 376141 WITH SCORE 387545.293
AT ITER 382 NEW BEST:: SOT 12110241 SOS 11403759 HAS SOPS 11403759 HAS SOUS 376105 HAS SOUPS 376105 WITH SCORE 387508.759
AT ITER 384 NEW BEST:: SOT 12110240 SOS 11403747 HAS SOPS 11403747 HAS SOUS 376048 HAS SOUPS 376048 WITH SCORE 387451.747
AT ITER 389 NEW BEST:: SOT 12110244 SOS 11317585 HAS SOPS 11317585 HAS SOUS 375882 HAS SOUPS 375882 WITH SCORE 387199.585
AT ITER 398 NEW BEST:: SOT 12110254 SOS 11267255 HAS SOPS 11267255 HAS SOUS 375458 HAS SOUPS 375458 WITH SCORE 386725.255
AT ITER 405 NEW BEST:: SOT 12110246 SOS 11266809 HAS SOPS 11266809 HAS SOUS 373957 HAS SOUPS 373957 WITH SCORE 385223.809
AT ITER 417 NEW BEST:: SOT 12110243 SOS 11266800 HAS SOPS 11266800 HAS SOUS 365371 HAS SOUPS 365371 WITH SCORE 376637.8
AT ITER 421 NEW BEST:: SOT 12110242 SOS 11266788 HAS SOPS 11266788 HAS SOUS 365368 HAS SOUPS 365368 WITH SCORE 376634.788
AT ITER 425 NEW BEST:: SOT 12110296 SOS 11091406 HAS SOPS 11091406 HAS SOUS 365374 HAS SOUPS 365374 WITH SCORE 376465.406
AT ITER 426 NEW BEST:: SOT 12110309 SOS 11084302 HAS SOPS 11084302 HAS SOUS 363251 HAS SOUPS 363251 WITH SCORE 374335.302
AT ITER 432 NEW BEST:: SOT 12110320 SOS 11050324 HAS SOPS 11050324 HAS SOUS 363239 HAS SOUPS 363239 WITH SCORE 374289.324
AT ITER 434 NEW BEST:: SOT 12110313 SOS 10974220 HAS SOPS 10974220 HAS SOUS 363049 HAS SOUPS 363049 WITH SCORE 374023.22
AT ITER 435 NEW BEST:: SOT 12110310 SOS 10974184 HAS SOPS 10974184 HAS SOUS 363040 HAS SOUPS 363040 WITH SCORE 374014.184
AT ITER 446 NEW BEST:: SOT 12110310 SOS 10973424 HAS SOPS 10973424 HAS SOUS 362927 HAS SOUPS 362927 WITH SCORE 373900.424
AT ITER 449 NEW BEST:: SOT 12105810 SOS 10968924 HAS SOPS 10968924 HAS SOUS 362102 HAS SOUPS 362102 WITH SCORE 373070.924
AT ITER 454 NEW BEST:: SOT 12105790 SOS 10968684 HAS SOPS 10968684 HAS SOUS 360962 HAS SOUPS 360962 WITH SCORE 371930.684
AT ITER 456 NEW BEST:: SOT 12105774 SOS 10968522 HAS SOPS 10968522 HAS SOUS 360215 HAS SOUPS 360215 WITH SCORE 371183.522
AT ITER 461 NEW BEST:: SOT 12083558 SOS 10946302 HAS SOPS 10946302 HAS SOUS 348777 HAS SOUPS 348777 WITH SCORE 359723.302
AT ITER 462 NEW BEST:: SOT 12083553 SOS 10764652 HAS SOPS 10764652 HAS SOUS 348686 HAS SOUPS 348686 WITH SCORE 359450.652
AT ITER 464 NEW BEST:: SOT 12083547 SOS 10763950 HAS SOPS 10763950 HAS SOUS 343250 HAS SOUPS 343250 WITH SCORE 354013.95
AT ITER 470 NEW BEST:: SOT 12083543 SOS 10763862 HAS SOPS 10763862 HAS SOUS 343206 HAS SOUPS 343206 WITH SCORE 353969.862
AT ITER 471 NEW BEST:: SOT 12083536 SOS 10763818 HAS SOPS 10763818 HAS SOUS 341652 HAS SOUPS 341652 WITH SCORE 352415.818
AT ITER 489 NEW BEST:: SOT 12083803 SOS 10763332 HAS SOPS 10763332 HAS SOUS 341519 HAS SOUPS 341519 WITH SCORE 352282.332
AT ITER 494 NEW BEST:: SOT 12083796 SOS 10763248 HAS SOPS 10763248 HAS SOUS 341120 HAS SOUPS 341120 WITH SCORE 351883.248
AT ITER 502 NEW BEST:: SOT 12083789 SOS 10762984 HAS SOPS 10762984 HAS SOUS 341054 HAS SOUPS 341054 WITH SCORE 351816.984
AT ITER 511 NEW BEST:: SOT 12083786 SOS 10669138 HAS SOPS 10669138 HAS SOUS 341019 HAS SOUPS 341019 WITH SCORE 351688.138
AT ITER 517 NEW BEST:: SOT 12083778 SOS 10669052 HAS SOPS 10669052 HAS SOUS 339243 HAS SOUPS 339243 WITH SCORE 349912.052
AT ITER 521 NEW BEST:: SOT 12083780 SOS 10638346 HAS SOPS 10638346 HAS SOUS 339264 HAS SOUPS 339264 WITH SCORE 349902.346
AT ITER 534 NEW BEST:: SOT 12083780 SOS 10635496 HAS SOPS 10635496 HAS SOUS 339107 HAS SOUPS 339107 WITH SCORE 349742.496
AT ITER 538 NEW BEST:: SOT 12083779 SOS 10635484 HAS SOPS 10635484 HAS SOUS 338885 HAS SOUPS 338885 WITH SCORE 349520.484
AT ITER 542 NEW BEST:: SOT 12083736 SOS 10435828 HAS SOPS 10435828 HAS SOUS 330996 HAS SOUPS 330996 WITH SCORE 341431.828
AT ITER 545 NEW BEST:: SOT 12083746 SOS 10435918 HAS SOPS 10435918 HAS SOUS 330081 HAS SOUPS 330081 WITH SCORE 340516.918
AT ITER 570 NEW BEST:: SOT 12083734 SOS 10432604 HAS SOPS 10432604 HAS SOUS 329303 HAS SOUPS 329303 WITH SCORE 339735.604
AT ITER 576 NEW BEST:: SOT 12083739 SOS 10430724 HAS SOPS 10430724 HAS SOUS 328604 HAS SOUPS 328604 WITH SCORE 339034.724
AT ITER 580 NEW BEST:: SOT 12083734 SOS 10430514 HAS SOPS 10430514 HAS SOUS 328559 HAS SOUPS 328559 WITH SCORE 338989.514
AT ITER 587 NEW BEST:: SOT 12083731 SOS 10430478 HAS SOPS 10430478 HAS SOUS 327893 HAS SOUPS 327893 WITH SCORE 338323.478
AT ITER 626 NEW BEST:: SOT 12083731 SOS 10429788 HAS SOPS 10429788 HAS SOUS 327707 HAS SOUPS 327707 WITH SCORE 338136.788
AT ITER 629 NEW BEST:: SOT 12083734 SOS 10429624 HAS SOPS 10429624 HAS SOUS 327682 HAS SOUPS 327682 WITH SCORE 338111.624
AT ITER 660 NEW BEST:: SOT 12083724 SOS 10425884 HAS SOPS 10425884 HAS SOUS 327506 HAS SOUPS 327506 WITH SCORE 337931.884
AT ITER 667 NEW BEST:: SOT 12083721 SOS 10425848 HAS SOPS 10425848 HAS SOUS 327497 HAS SOUPS 327497 WITH SCORE 337922.848
AT ITER 675 NEW BEST:: SOT 12083717 SOS 10425800 HAS SOPS 10425800 HAS SOUS 327485 HAS SOUPS 327485 WITH SCORE 337910.8
AT ITER 683 NEW BEST:: SOT 12083717 SOS 10413450 HAS SOPS 10413450 HAS SOUS 327388 HAS SOUPS 327388 WITH SCORE 337801.45
AT ITER 698 NEW BEST:: SOT 12083726 SOS 10285228 HAS SOPS 10285228 HAS SOUS 325409 HAS SOUPS 325409 WITH SCORE 335694.228
AT ITER 719 NEW BEST:: SOT 12083715 SOS 10285096 HAS SOPS 10285096 HAS SOUS 322967 HAS SOUPS 322967 WITH SCORE 333252.096
AT ITER 723 NEW BEST:: SOT 12083710 SOS 10281886 HAS SOPS 10281886 HAS SOUS 322537 HAS SOUPS 322537 WITH SCORE 332818.886
AT ITER 727 NEW BEST:: SOT 12083742 SOS 10074900 HAS SOPS 10074900 HAS SOUS 322505 HAS SOUPS 322505 WITH SCORE 332579.9
AT ITER 731 NEW BEST:: SOT 12083739 SOS 10074744 HAS SOPS 10074744 HAS SOUS 322481 HAS SOUPS 322481 WITH SCORE 332555.744
AT ITER 736 NEW BEST:: SOT 12083737 SOS 10051860 HAS SOPS 10051860 HAS SOUS 322273 HAS SOUPS 322273 WITH SCORE 332324.86
AT ITER 748 NEW BEST:: SOT 12083408 SOS 10051352 HAS SOPS 10051352 HAS SOUS 321225 HAS SOUPS 321225 WITH SCORE 331276.352
AT ITER 765 NEW BEST:: SOT 12083388 SOS 10051112 HAS SOPS 10051112 HAS SOUS 321165 HAS SOUPS 321165 WITH SCORE 331216.112
AT ITER 777 NEW BEST:: SOT 12083387 SOS 10049260 HAS SOPS 10049260 HAS SOUS 321022 HAS SOUPS 321022 WITH SCORE 331071.26
AT ITER 784 NEW BEST:: SOT 12083369 SOS 10048234 HAS SOPS 10048234 HAS SOUS 320220 HAS SOUPS 320220 WITH SCORE 330268.234
AT ITER 787 NEW BEST:: SOT 12083370 SOS 10030856 HAS SOPS 10030856 HAS SOUS 317778 HAS SOUPS 317778 WITH SCORE 327808.856
AT ITER 817 NEW BEST:: SOT 12083367 SOS 10012750 HAS SOPS 10012750 HAS SOUS 317491 HAS SOUPS 317491 WITH SCORE 327503.75
AT ITER 827 NEW BEST:: SOT 12083363 SOS 9717762 HAS SOPS 9717762 HAS SOUS 313687 HAS SOUPS 313687 WITH SCORE 323404.762
AT ITER 831 NEW BEST:: SOT 12083331 SOS 9707198 HAS SOPS 9707198 HAS SOUS 313079 HAS SOUPS 313079 WITH SCORE 322786.198
AT ITER 833 NEW BEST:: SOT 12083329 SOS 9707194 HAS SOPS 9707194 HAS SOUS 312635 HAS SOUPS 312635 WITH SCORE 322342.194
AT ITER 847 NEW BEST:: SOT 12085959 SOS 9700714 HAS SOPS 9700714 HAS SOUS 310285 HAS SOUPS 310285 WITH SCORE 319985.714
AT ITER 884 NEW BEST:: SOT 12085980 SOS 9405526 HAS SOPS 9405526 HAS SOUS 310575 HAS SOUPS 310575 WITH SCORE 319980.526
AT ITER 889 NEW BEST:: SOT 12085992 SOS 9346210 HAS SOPS 9346210 HAS SOUS 309488 HAS SOUPS 309488 WITH SCORE 318834.21
AT ITER 897 NEW BEST:: SOT 12085988 SOS 9349132 HAS SOPS 9349132 HAS SOUS 309476 HAS SOUPS 309476 WITH SCORE 318825.132
AT ITER 903 NEW BEST:: SOT 12152568 SOS 9415696 HAS SOPS 9415696 HAS SOUS 303668 HAS SOUPS 303668 WITH SCORE 313083.696
AT ITER 913 NEW BEST:: SOT 12152565 SOS 9412690 HAS SOPS 9412690 HAS SOUS 303659 HAS SOUPS 303659 WITH SCORE 313071.69
AT ITER 933 NEW BEST:: SOT 12152553 SOS 9378276 HAS SOPS 9378276 HAS SOUS 300687 HAS SOUPS 300687 WITH SCORE 310065.276
AT ITER 940 NEW BEST:: SOT 12152558 SOS 9308556 HAS SOPS 9308556 HAS SOUS 300714 HAS SOUPS 300714 WITH SCORE 310022.556
AT ITER 949 NEW BEST:: SOT 12152561 SOS 9304542 HAS SOPS 9304542 HAS SOUS 300675 HAS SOUPS 300675 WITH SCORE 309979.542
AT ITER 951 NEW BEST:: SOT 12152577 SOS 8988054 HAS SOPS 8988054 HAS SOUS 300535 HAS SOUPS 300535 WITH SCORE 309523.054
AT ITER 957 NEW BEST:: SOT 12152577 SOS 8978614 HAS SOPS 8978614 HAS SOUS 300448 HAS SOUPS 300448 WITH SCORE 309426.614
AT ITER 962 NEW BEST:: SOT 12152576 SOS 8978532 HAS SOPS 8978532 HAS SOUS 300281 HAS SOUPS 300281 WITH SCORE 309259.532
AT ITER 971 NEW BEST:: SOT 12152575 SOS 8977720 HAS SOPS 8977720 HAS SOUS 299873 HAS SOUPS 299873 WITH SCORE 308850.72
AT ITER 972 NEW BEST:: SOT 12156075 SOS 8928695 HAS SOPS 8928695 HAS SOUS 299713 HAS SOUPS 299713 WITH SCORE 308641.695
AT ITER 975 NEW BEST:: SOT 12156072 SOS 8928509 HAS SOPS 8928509 HAS SOUS 299692 HAS SOUPS 299692 WITH SCORE 308620.509
AT ITER 983 NEW BEST:: SOT 12156067 SOS 8912439 HAS SOPS 8912439 HAS SOUS 298505 HAS SOUPS 298505 WITH SCORE 307417.439
AT ITER 985 NEW BEST:: SOT 12156066 SOS 8910537 HAS SOPS 8910537 HAS SOUS 298502 HAS SOUPS 298502 WITH SCORE 307412.537
AT ITER 987 NEW BEST:: SOT 12156062 SOS 8891339 HAS SOPS 8891339 HAS SOUS 297764 HAS SOUPS 297764 WITH SCORE 306655.339
AT ITER 996 NEW BEST:: SOT 12156056 SOS 8878367 HAS SOPS 8878367 HAS SOUS 297542 HAS SOUPS 297542 WITH SCORE 306420.367
AT ITER 998 NEW BEST:: SOT 12156050 SOS 8877845 HAS SOPS 8877845 HAS SOUS 297515 HAS SOUPS 297515 WITH SCORE 306392.845
AT ITER 999 NEW BEST:: SOT 12152555 SOS 8874350 HAS SOPS 8874350 HAS SOUS 296709 HAS SOUPS 296709 WITH SCORE 305583.35
AT ITER 1006 NEW BEST:: SOT 12152552 SOS 8873264 HAS SOPS 8873264 HAS SOUS 296658 HAS SOUPS 296658 WITH SCORE 305531.264
AT ITER 1008 NEW BEST:: SOT 12152552 SOS 8872164 HAS SOPS 8872164 HAS SOUS 296570 HAS SOUPS 296570 WITH SCORE 305442.164
AT ITER 1014 NEW BEST:: SOT 12152533 SOS 8863986 HAS SOPS 8863986 HAS SOUS 296297 HAS SOUPS 296297 WITH SCORE 305160.986
AT ITER 1022 NEW BEST:: SOT 12063661 SOS 8775098 HAS SOPS 8775098 HAS SOUS 250537 HAS SOUPS 250537 WITH SCORE 259312.098
AT ITER 1029 NEW BEST:: SOT 12063657 SOS 8774810 HAS SOPS 8774810 HAS SOUS 250513 HAS SOUPS 250513 WITH SCORE 259287.81
AT ITER 1038 NEW BEST:: SOT 12063654 SOS 8774774 HAS SOPS 8774774 HAS SOUS 250504 HAS SOUPS 250504 WITH SCORE 259278.774
AT ITER 1044 NEW BEST:: SOT 12063638 SOS 8768982 HAS SOPS 8768982 HAS SOUS 250232 HAS SOUPS 250232 WITH SCORE 259000.982
AT ITER 1048 NEW BEST:: SOT 12063636 SOS 8768838 HAS SOPS 8768838 HAS SOUS 250220 HAS SOUPS 250220 WITH SCORE 258988.838
AT ITER 1050 NEW BEST:: SOT 12063624 SOS 8768694 HAS SOPS 8768694 HAS SOUS 250184 HAS SOUPS 250184 WITH SCORE 258952.694
AT ITER 1054 NEW BEST:: SOT 12063622 SOS 8768550 HAS SOPS 8768550 HAS SOUS 250172 HAS SOUPS 250172 WITH SCORE 258940.55
AT ITER 1077 NEW BEST:: SOT 12063611 SOS 8817418 HAS SOPS 8817418 HAS SOUS 250084 HAS SOUPS 250084 WITH SCORE 258901.418
AT ITER 1083 NEW BEST:: SOT 12063613 SOS 8816502 HAS SOPS 8816502 HAS SOUS 249846 HAS SOUPS 249846 WITH SCORE 258662.502
AT ITER 1099 NEW BEST:: SOT 12063621 SOS 8593538 HAS SOPS 8593538 HAS SOUS 249798 HAS SOUPS 249798 WITH SCORE 258391.538
AT ITER 1110 NEW BEST:: SOT 12063606 SOS 8592478 HAS SOPS 8592478 HAS SOUS 249706 HAS SOUPS 249706 WITH SCORE 258298.478
AT ITER 1111 NEW BEST:: SOT 12063606 SOS 8592438 HAS SOPS 8592438 HAS SOUS 249702 HAS SOUPS 249702 WITH SCORE 258294.438
AT ITER 1122 NEW BEST:: SOT 12063612 SOS 8474490 HAS SOPS 8474490 HAS SOUS 248770 HAS SOUPS 248770 WITH SCORE 257244.49
AT ITER 1156 NEW BEST:: SOT 12063608 SOS 8464572 HAS SOPS 8464572 HAS SOUS 248637 HAS SOUPS 248637 WITH SCORE 257101.572
AT ITER 1163 NEW BEST:: SOT 12063605 SOS 8464326 HAS SOPS 8464326 HAS SOUS 248622 HAS SOUPS 248622 WITH SCORE 257086.326
AT ITER 1175 NEW BEST:: SOT 12063596 SOS 8464218 HAS SOPS 8464218 HAS SOUS 248595 HAS SOUPS 248595 WITH SCORE 257059.218
AT ITER 1216 NEW BEST:: SOT 12063594 SOS 8464194 HAS SOPS 8464194 HAS SOUS 248589 HAS SOUPS 248589 WITH SCORE 257053.194
AT ITER 1248 NEW BEST:: SOT 12062043 SOS 8461300 HAS SOPS 8461300 HAS SOUS 248263 HAS SOUPS 248263 WITH SCORE 256724.3
AT ITER 1252 NEW BEST:: SOT 12050934 SOS 8450189 HAS SOPS 8450189 HAS SOUS 245402 HAS SOUPS 245402 WITH SCORE 253852.189
AT ITER 1274 NEW BEST:: SOT 12059022 SOS 8456246 HAS SOPS 8456246 HAS SOUS 241856 HAS SOUPS 241856 WITH SCORE 250312.246
AT ITER 1278 NEW BEST:: SOT 12059022 SOS 8452726 HAS SOPS 8452726 HAS SOUS 241840 HAS SOUPS 241840 WITH SCORE 250292.726
AT ITER 1288 NEW BEST:: SOT 12059018 SOS 8452438 HAS SOPS 8452438 HAS SOUS 241816 HAS SOUPS 241816 WITH SCORE 250268.438
AT ITER 1340 NEW BEST:: SOT 12059015 SOS 8452202 HAS SOPS 8452202 HAS SOUS 241800 HAS SOUPS 241800 WITH SCORE 250252.202
AT ITER 1371 NEW BEST:: SOT 12059015 SOS 8452022 HAS SOPS 8452022 HAS SOUS 241791 HAS SOUPS 241791 WITH SCORE 250243.022
AT ITER 1379 NEW BEST:: SOT 12059022 SOS 8401076 HAS SOPS 8401076 HAS SOUS 241829 HAS SOUPS 241829 WITH SCORE 250230.076
AT ITER 1399 NEW BEST:: SOT 12026399 SOS 8368453 HAS SOPS 8368453 HAS SOUS 233641 HAS SOUPS 233641 WITH SCORE 242009.453
AT ITER 1411 NEW BEST:: SOT 12026392 SOS 8368719 HAS SOPS 8368719 HAS SOUS 233621 HAS SOUPS 233621 WITH SCORE 241989.719
AT ITER 1472 NEW BEST:: SOT 12026386 SOS 8365767 HAS SOPS 8365767 HAS SOUS 233549 HAS SOUPS 233549 WITH SCORE 241914.767
AT ITER 1500 NEW BEST:: SOT 12026390 SOS 8342325 HAS SOPS 8342325 HAS SOUS 231902 HAS SOUPS 231902 WITH SCORE 240244.325
AT ITER 1514 NEW BEST:: SOT 12026397 SOS 8282819 HAS SOPS 8282819 HAS SOUS 231867 HAS SOUPS 231867 WITH SCORE 240149.819
AT ITER 1557 NEW BEST:: SOT 12026394 SOS 8254483 HAS SOPS 8254483 HAS SOUS 231701 HAS SOUPS 231701 WITH SCORE 239955.483
AT ITER 1564 NEW BEST:: SOT 12026413 SOS 8085791 HAS SOPS 8085791 HAS SOUS 231711 HAS SOUPS 231711 WITH SCORE 239796.791
AT ITER 1586 NEW BEST:: SOT 12025336 SOS 8104171 HAS SOPS 8104171 HAS SOUS 231569 HAS SOUPS 231569 WITH SCORE 239673.171
AT ITER 1593 NEW BEST:: SOT 12025336 SOS 7855301 HAS SOPS 7855301 HAS SOUS 231258 HAS SOUPS 231258 WITH SCORE 239113.301
AT ITER 1595 NEW BEST:: SOT 12025336 SOS 7855191 HAS SOPS 7855191 HAS SOUS 230873 HAS SOUPS 230873 WITH SCORE 238728.191
AT ITER 1636 NEW BEST:: SOT 12025332 SOS 7859103 HAS SOPS 7859103 HAS SOUS 230861 HAS SOUPS 230861 WITH SCORE 238720.103
AT ITER 1637 NEW BEST:: SOT 12025331 SOS 7859091 HAS SOPS 7859091 HAS SOUS 230858 HAS SOUPS 230858 WITH SCORE 238717.09100000001
AT ITER 1653 NEW BEST:: SOT 12025330 SOS 7854539 HAS SOPS 7854539 HAS SOUS 230660 HAS SOUPS 230660 WITH SCORE 238514.539
AT ITER 1660 NEW BEST:: SOT 12025330 SOS 7848069 HAS SOPS 7848069 HAS SOUS 229540 HAS SOUPS 229540 WITH SCORE 237388.069
AT ITER 1667 NEW BEST:: SOT 12025330 SOS 7847489 HAS SOPS 7847489 HAS SOUS 229535 HAS SOUPS 229535 WITH SCORE 237382.489
AT ITER 1673 NEW BEST:: SOT 12023726 SOS 7845885 HAS SOPS 7845885 HAS SOUS 229159 HAS SOUPS 229159 WITH SCORE 237004.885
AT ITER 1725 NEW BEST:: SOT 12023741 SOS 7743165 HAS SOPS 7743165 HAS SOUS 229053 HAS SOUPS 229053 WITH SCORE 236796.165
AT ITER 1765 NEW BEST:: SOT 12023734 SOS 7609781 HAS SOPS 7609781 HAS SOUS 228745 HAS SOUPS 228745 WITH SCORE 236354.781
AT ITER 1768 NEW BEST:: SOT 12001516 SOS 7587559 HAS SOPS 7587559 HAS SOUS 217305 HAS SOUPS 217305 WITH SCORE 224892.559
AT ITER 1770 NEW BEST:: SOT 12001518 SOS 7522943 HAS SOPS 7522943 HAS SOUS 217295 HAS SOUPS 217295 WITH SCORE 224817.943
AT ITER 1779 NEW BEST:: SOT 12001514 SOS 7519695 HAS SOPS 7519695 HAS SOUS 217275 HAS SOUPS 217275 WITH SCORE 224794.695
AT ITER 1789 NEW BEST:: SOT 12001507 SOS 7341631 HAS SOPS 7341631 HAS SOUS 216421 HAS SOUPS 216421 WITH SCORE 223762.631
AT ITER 1796 NEW BEST:: SOT 12001506 SOS 7340819 HAS SOPS 7340819 HAS SOUS 216416 HAS SOUPS 216416 WITH SCORE 223756.819
AT ITER 1801 NEW BEST:: SOT 12001500 SOS 7323647 HAS SOPS 7323647 HAS SOUS 216134 HAS SOUPS 216134 WITH SCORE 223457.647
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 12835500 kB
After kill :
MemTotal: 16393232 kB
MemFree: 15641768 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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="DrinkVendingMachine-PT-10"
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 DrinkVendingMachine-PT-10, 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-167819423700640"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DrinkVendingMachine-PT-10.tgz
mv DrinkVendingMachine-PT-10 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 ;